Interlude: About the First Theorem
From MaRDI portal
Publication:4910867
DOI10.1017/CBO9780511800962.019zbMath1270.03002MaRDI QIDQ4910867
No author found.
Publication date: 13 March 2013
Published in: An Introduction to Gödel's Theorems (Search for Journal in Brave)
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) First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) Gödel numberings and issues of incompleteness (03F40)
Related Items (16)
VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY ⋮ On constructivity and the Rosser property: a closer look at some Gödelean proofs ⋮ Is Human Mind Fully Algorithmic? Remarks on Kurt Gödel’s Incompleteness Theorems ⋮ On induction principles for partial orders ⋮ Set theory and the analyst ⋮ Conventionalism, consistency, and consistency sentences ⋮ The scope of Gödel's first incompleteness theorem ⋮ PROVING UNPROVABILITY ⋮ Is Universal Computation a Myth? ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS ⋮ ON THE DIAGONAL LEMMA OF GÖDEL AND CARNAP ⋮ The Epistemology of Computer-Mediated Proofs ⋮ Incompleteness and the halting problem ⋮ FINDING THE LIMIT OF INCOMPLETENESS I ⋮ ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS ⋮ Theorem proving as constraint solving with coherent logic
This page was built for publication: Interlude: About the First Theorem
