scientific article; zbMATH DE number 2198106
From MaRDI portal
Publication:5466245
zbMath1081.03002MaRDI QIDQ5466245
Publication date: 24 August 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)
Related Items
Logic of negation-complete interactive proofs (formal theory of epistemic deciders), Proof Theory in Philosophy of Mathematics, 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, A MACHINE-ASSISTED PROOF OF GÖDEL’S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS, Finitely axiomatized theories lack self‐comprehension, Book review of: M. Baaz (ed.) et al., Kurt Gödel and the foundations of mathematics. Horizons of truth, Revisiting Chaitin's incompleteness theorem, The scope of Gödel's first incompleteness theorem, On explicating the concept `the power of an arithmetical theory', Unnamed Item, 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'
