Results 11 to 20 of about 376,786 (202)
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
The Topology-Free Construction of the Universal Type Structure for Conditional Probability Systems
, 2017 We construct the universal type structure for conditional probability systems without any topological assumption, namely a type structure that is terminal, belief-complete, and non-redundant. In particular, in order to obtain the belief-completeness in a
Guarino, Pierfrancesco
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
The Principle Of Excluded Middle Then And Now: Aristotle And Principia Mathematica [PDF]
, 1996 The prevailing truth-functional logic of the twentieth century, it is argued, is incapable of expressing the subtlety and richness of Aristotle's Principle of Excluded Middle, and hence cannot but misinterpret it.
Andrews Doull, Floy
core
mizar-items: Exploring fine-grained dependencies in the Mizar Mathematical Library [PDF]
, 2011 The Mizar Mathematical Library (MML) is a rich database of formalized mathematical proofs (see http://mizar.org). Owing to its large size (it contains more than 1100 "articles" summing to nearly 2.5 million lines of text, expressing more than 50000 ...
A. Grabowski, I. Lakatos, S.G. Simpson
core +1 more source
Logic Integer Programming Models for Signaling Networks
, 2008 We propose a static and a dynamic approach to model biological signaling networks, and show how each can be used to answer relevant biological questions. For this we use the two different mathematical tools of Propositional Logic and Integer Programming.
Haus U.-U. +5 more
core +3 more sources
, 2001 The octonions are the largest of the four normed division algebras. While somewhat neglected due to their nonassociativity, they stand at the crossroads of many interesting fields of mathematics.
Chang, Woo-Nyoung +3 more
core +10 more sources
Teka-Teki Logika untuk Meningkatkan Minat Belajar Siswa Sanggar Kegiatan Belajar Balikpapan Timur [PDF]
, 2019 The success of mathematics learning is supported by the teacher's proficiency in carrying out teaching activities and awareness of students in participating in learning activities.
Musdolifah, A. (Ari) +1 more
core +2 more sources
, 2019 There has been little overt discussion of the experimental philosophy of logic or mathematics. So it may be tempting to assume that application of the methods of experimental philosophy to these areas is impractical or unavailing.
Aberdein, Andrew, Inglis, Matthew
core
Phase-Tunable Thermal Logic: Computation with Heat
, 2017 Boolean algebra, the branch of mathematics where variables can assume only true or false value, is the theoretical basis of classical computation. The analogy between Boolean operations and electronic switching circuits, highlighted by Shannon in 1938 ...
Giazotto, Francesco +3 more
core +1 more source