scientific article; zbMATH DE number 1855559
From MaRDI portal
Publication:4787958
zbMath1026.01020MaRDI QIDQ4787958
Publication date: 19 January 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On V.A. Yankov’s Contribution to the History of Foundations of Mathematics, RUSSELL AND GÖDEL, Gödel on deduction, STRICT FINITISM, FEASIBILITY, AND THE SORITES, Formal Universes, Why Post Did [Not Have Turing’s Thesis], Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective, The Truth of Proof: A Hegelian Perspective on Constructivism, The scope of Gödel's first incompleteness theorem, Gödel and Intuitionism, THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF