Gödel's incompleteness theorems. A guided tour through Kurt Gödel's historical proof

DOI10.1007/978-3-662-54300-9MaRDI QIDQ4975461zbMATH OpenOpenAlexFDO

Authors Dirk W. Hoffmann

Publication date 7 August 2017

Full work available at URL https://doi.org/10.1007/978-3-662-54300-9

zbMATH Keywords

incompletenessGödel

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Proof theory in general (including proof-theoretic semantics) (03F03) Philosophy of mathematics (00A30) History of mathematical logic and foundations (03-03) Gödel numberings and issues of incompleteness (03F40) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• Die Gödel’schen Unvollständigkeitssätze
• An Introduction to Gödel's Theorems
• Toward the philosophy of mathematics. Logicism, intuitionism, finitism, and Gödel's incompleteness theorems. Translated from the English by Deborah Kant and Thomas Bedürftig
• An introduction to Gödel's theorems
• On formally undecidable propositions of \textit{Principia Mathematica} and related systems. I. With an introductory comment by Sy-David Friedman

Cited in

(3)

• Computers as a novel mathematical reality. IV: The Goldbach problem
• Toward the philosophy of mathematics. Logicism, intuitionism, finitism, and Gödel's incompleteness theorems. Translated from the English by Deborah Kant and Thomas Bedürftig
• Die Gödel’schen Unvollständigkeitssätze

This page was built for publication: Gödel's incompleteness theorems. A guided tour through Kurt Gödel's historical proof

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4975461)