Foundations of mathematics: an optimistic message

DOI10.1007/978-3-030-49424-7_20MaRDI QIDQ5013912zbMATH OpenOpenAlexFDO

Authors Stephen G. Simpson

Publication date 3 December 2021

Published in The Legacy of Kurt Schütte (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-49424-7_20

zbMATH Keywords

foundations of mathematicsGödel's refutationGödel's theoremHilbert's program

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Recommendations

• H for Hilbert. \dots and M for mathematics
• scientific article; zbMATH DE number 2101964
• Hilbert and the Problem of Clarifying the Infinite
• Partial realizations of Hilbert's program
• scientific article; zbMATH DE number 4089494

Cites work

• scientific article; zbMATH DE number 5791092 (Why is no real title available?)
• scientific article; zbMATH DE number 6415575 (Why is no real title available?)
• scientific article; zbMATH DE number 3076615 (Why is no real title available?)
• Infinity and truth. Based on talks given at the workshop, Singapore, July 25--29, 2011
• On the outside looking in: a caution about conservativeness
• Partial realizations of Hilbert's program
• Subsystems of second order arithmetic
• The Gödel hierarchy and reverse mathematics
• Toward objectivity in mathematics
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

Cited in

(7)

• Concrete mathematics. Finitistic approach to foundations
• Foundational problems of number theory
• Hilbert and the Problem of Clarifying the Infinite
• Are mathematical theories reducible to non-analytic foundations?
• Toward objectivity in mathematics
• Foundations as superstructure
• What mathematics is the most fundamental?

This page was built for publication: Foundations of mathematics: an optimistic message

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