Can Mathematics Be Proved Consistent?

DOI10.1007/978-3-030-50876-0MaRDI QIDQ5119164zbMATH OpenOpenAlexFDO

Authors Jan von Plato

Publication date 3 September 2020

Published in Sources and Studies in the History of Mathematics and Physical Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-50876-0

zbMATH Keywords

consistencyGödelincompleteness

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• scientific article; zbMATH DE number 922629
• How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study
• Mathematical Realism and Gödel's Incompleteness Theorems
• scientific article; zbMATH DE number 5545384
• Saving Proof from Paradox: Gödel’s Paradox and the Inconsistency of Informal Mathematics
• Gödel on how to have your mathematics and know it too
• Does Gödel's incompleteness theorem prove that truth transcends proof?
• scientific article; zbMATH DE number 2176167
• Are There Absolutely Unsolvable Problems? Godel's Dichotomy

Cited in

(10)

• Von Neumann explains his game theory to Gödel, September 1940
• Gödel's Introduction to Logic in 1939
• Kurt Gödel's first steps in logic: formal proofs in arithmetic and set theory through a system of natural deduction
• Kurt Gödel on logical, theological, and physical antinomies
• On Gödel's awareness of Skolem's Helsinki lecture
• GÖDEL ON MANY-VALUED LOGIC
• John von Neumann’s Discovery of the 2^ndIncompleteness Theorem
• Stud. phil. Kurt Gödel
• Gödel's introduction to deduction
• Diagonalization as computation: Gödel sentence construction and a type-disciplined blueprint

This page was built for publication: Can Mathematics Be Proved Consistent?

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