Publication:5466245
From MaRDI portal
zbMath1081.03002MaRDI QIDQ5466245
Publication date: 24 August 2005
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03F30: First-order arithmetic and fragments
03F40: Gödel numberings and issues of incompleteness
Related Items
Unnamed Item, Book review of: M. Baaz (ed.) et al., Kurt Gödel and the foundations of mathematics. Horizons of truth, Finitely axiomatized theories lack self‐comprehension, Logic of negation-complete interactive proofs (formal theory of epistemic deciders), A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle, Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006, Revisiting Chaitin's incompleteness theorem, The scope of Gödel's first incompleteness theorem, Gödel's second theorem and the provability of God's existence, Democracy, the theory of voting, and mathematics: a review of Andrank Tangian's `Mathematical theory of democracy', On explicating the concept `the power of an arithmetical theory', A MACHINE-ASSISTED PROOF OF GÖDEL’S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS, Proof Theory in Philosophy of Mathematics