Book contents
- Frontmatter
- Contents
- Introduction
- GENERAL
- PROOF THEORY
- Gödel and the metamathematical tradition
- Only two letters: The correspondence between Herbrand and Gödel
- Gödel's reformulation of Gentzen's first consistency proof for arithmetic: The no-counterexample interpretation
- Gödel on intuition and on Hilbert's finitism
- The Gödel hierarchy and reverse mathematics
- On the outside looking in: A caution about conservativeness
- SET THEORY
- PHILOSOPHY OF MATHEMATICS
Gödel's reformulation of Gentzen's first consistency proof for arithmetic: The no-counterexample interpretation
Published online by Cambridge University Press: 04 August 2010
- Frontmatter
- Contents
- Introduction
- GENERAL
- PROOF THEORY
- Gödel and the metamathematical tradition
- Only two letters: The correspondence between Herbrand and Gödel
- Gödel's reformulation of Gentzen's first consistency proof for arithmetic: The no-counterexample interpretation
- Gödel on intuition and on Hilbert's finitism
- The Gödel hierarchy and reverse mathematics
- On the outside looking in: A caution about conservativeness
- SET THEORY
- PHILOSOPHY OF MATHEMATICS
Summary
- Type
- Chapter
- Information
- Kurt GödelEssays for his Centennial, pp. 74 - 87Publisher: Cambridge University PressPrint publication year: 2010