Publication:3584678
From MaRDI portal
zbMath1196.00004MaRDI QIDQ3584678
Publication date: 30 August 2010
arithmetic; computability; proof; infinity; ordinals; Cantor's diagonal argument; axioms of infinity; infinity and logic; infinity and set theory; natural unprovable sentences
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
00A09: Popularization of mathematics
97E30: Logic (educational aspects)
Related Items
ON THE UNCOUNTABILITY OF, A personal account of Turing's imprint on the development of computer science, On constructivity and the Rosser property: a closer look at some Gödelean proofs, Gödel, Gentzen, Goodstein: the magic sound of a G-string