scientific article; zbMATH DE number 2204804
From MaRDI portal
Publication:5316409
zbMath1072.03005MaRDI QIDQ5316409
Publication date: 13 September 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Biographies, obituaries, personalia, bibliographies (01A70) Philosophical and critical aspects of logic and foundations (03A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Intuitionistic mathematics (03F55)
Related Items
Intuitionistic completeness of first-order logic, Proof vs Provability: On Brouwer’s Time Problem, Weyl and Intuitionistic Infinitesimals, A SOLUTION TO THE SURPRISE EXAM PARADOX IN CONSTRUCTIVE MATHEMATICS, A Dialogical Account of the Intersubjectivity of Intuitionism, The philosophy of logic, Mathematics as information compression via the matching and unification of patterns, The creating subject, the Brouwer-Kripke schema, and infinite proofs, Brouwer’s Ideas and Intuitionistic Fuzziness, Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session, Gödel and Intuitionism, Higher order functions and Brouwer’s thesis, Formally computing with the non-computable
