scientific article
From MaRDI portal
Publication:3584678
zbMath1196.00004MaRDI QIDQ3584678
Publication date: 30 August 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
arithmeticcomputabilityproofinfinityordinalsCantor's diagonal argumentaxioms of infinityinfinity and logicinfinity and set theorynatural unprovable sentences
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Popularization of mathematics (00A09) Logic (educational aspects) (97E30)
Related Items (4)
ON THE UNCOUNTABILITY OF ⋮ On constructivity and the Rosser property: a closer look at some Gödelean proofs ⋮ A personal account of Turing's imprint on the development of computer science ⋮ Gödel, Gentzen, Goodstein: the magic sound of a G-string
This page was built for publication:
