Can Mathematics Be Proved Consistent?

DOI10.1007/978-3-030-50876-0zbMath1466.03001OpenAlexW4232020543MaRDI QIDQ5119164

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

consistencyincompletenessGödel

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)

Related Items (3)

Von Neumann explains his game theory to Gödel, September 1940 ⋮ GÖDEL ON MANY-VALUED LOGIC ⋮ KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES

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