Results 41 to 50 of about 528,576 (239)

Wittgenstein on Pseudo-Irrationals, Diagonal Numbers and Decidability [PDF]

, 2008
In his early philosophy as well as in his middle period, Wittgenstein holds a purely syntactic view of logic and mathematics. However, his syntactic foundation of logic and mathematics is opposed to the axiomatic approach of modern ...
Lampert, Timm
core  

AI and Mathematical Education

Education Sciences, 2012
From ancient times, the history of human beings has developed by a succession of steps and sometimes jumps, until reaching the relative sophistication of the modern brain and culture. Researchers are attempting to create systems that mimic human thinking,
Angel Garrido
doaj   +1 more source

Towards Physical Hybrid Systems

, 2019
Some hybrid systems models are unsafe for mathematically correct but physically unrealistic reasons. For example, mathematical models can classify a system as being unsafe on a set that is too small to have physical importance. In particular, differences
A Donzé, A Platzer, A Platzer, A Tarski, A.M. Manthanwar, CF Morgenstern, E Moggi, F Ceragioli, GE Fainekos, H Jeffreys, HL Royden, J Bochnak, J Cortes, J-B Jeannin, M Dam, M Fränzle, R Goebel, Rafal Goebel, S Kong, S McCallum, T Moor, W Walter   +21 more
core   +1 more source

Kriesel and Wittgenstein [PDF]

, 2019
Georg Kreisel (15 September 1923 - 1 March 2015) was a formidable mathematical logician during a formative period when the subject was becoming a sophisticated field at the crossing of mathematics and logic.
Kanamori, Akihiro
core  

Comparing theories: the dynamics of changing vocabulary. A case-study in relativity theory

, 2013
There are several first-order logic (FOL) axiomatizations of special relativity theory in the literature, all looking essentially different but claiming to axiomatize the same physical theory. In this paper, we elaborate a comparison, in the framework of
A Tarski, A Tarski, A Tarski, EF Taylor, F Previale, G Székely, H Andréka, J Ax, J Benthem van, J Benthem van, J Benthem van, JX Madarász, M Friedman, P Gärdenfors, P Suppes, R Carnap, V Pambuccian, V Pambuccian, W Balzer   +18 more
core   +1 more source

Formalizing Sense Relations in Sentence Level from Logical Point of View: A Study of Mathematical Linguistics [PDF]

̒Ilm-i Zabān, 2019
The present paper studies the possibility of translating “sense relations” in the level of sentences into formal expressions. In so doing, it applies the mathematical logic, especially the logic of propositions within the constraints of sufficient Farsi ...
Maryam Ramezankhani
doaj   +1 more source

Profil Berpikir Kreatif Mahasiswa dalam Memecahkan Masalah Sistem Persamaan Linier Berbasis Kontekstual Ditinjau dari Kecerdasan Matematika Logis

Jurnal Ilmiah Pendidikan Matematika, 2017
This research is meant to understand the thinking profile of students in solving the system linear problem seen from mathematical logic intelligence. This is descriptive qualitative research.
Restu Lusiana
doaj   +1 more source

A Science of Reasoning [PDF]

, 1991
This paper addresses the question of how we can understand reasoning in general and mathematical proofs in particular. It argues the need for a high-level understanding of proofs to complement the low-level understanding provided by Logic.
Bundy, Alan
core   +1 more source

Homotopy theoretic models of identity types

, 2007
This paper presents a novel connection between homotopical algebra and mathematical logic. It is shown that a form of intensional type theory is valid in any Quillen model category, generalizing the Hofmann-Streicher groupoid model of Martin-Loef type ...
Awodey, Steve, Warren, Michael A.
core   +4 more sources

Overspeed correction scheme for dc motor using artifical intelligent approach [PDF]

, 2013
The conventional PI, PD and PID controllers were used as a control strategy for various industrial processes from many years due to their simplicity in operation.
Bollah, Javadius
core