An Introduction to Gödel's Theorems

DOI10.1017/CBO9780511800962zbMath1154.03002MaRDI QIDQ3503833

No author found.

Publication date: 10 June 2008

zbMATH Keywords

Gödel's incompleteness theorems

Mathematics Subject Classification ID

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

J-Calc: a typed lambda calculus for intuitionistic justification logic ⋮ How could the Gompertz-Makeham law evolve ⋮ Contraction, infinitary quantifiers, and omega paradoxes ⋮ Gödelizing the Yablo sequence ⋮ The Different Ways in which Logic is (said to be) Formal ⋮ Hyperloops Do Not Threaten the Notion of an Effective Procedure ⋮ Paraconsistent Computation and Dialetheic Machines ⋮ THE MYTH OF 'THE MYTH OF HYPERCOMPUTATION'