Kurt Gödel : essays for his centennial /
Saved in:
| Imprint: | New York : Cambridge University Press, 2010. |
|---|---|
| Description: | x, 373 p. |
| Language: | English |
| Series: | Lecture notes in logic |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/8209523 |
Table of Contents:
- Part I. General:
- 1. The Gödel editorial project: a synopsis
- 2. Future tasks for Gödel scholars
- Part II. Proof Theory:
- 3. Kurt Gödel and the metamathematical tradition
- 4. Only two letters: the correspondence between Herbrand and Gödel
- 5. Gödel's reformulation of Gentzen's first consistency proof for arithmetic: the no-counter-example interpretation
- 6. Gödel on intuition and on Hilbert's finitism
- 7. The Gödel hierarchy and reverse mathematics
- 8. On the outside looking in: a caution about conservativeness
- Part III. Set Theory:
- 9. Gödel and set theory
- 10. Generalizations of Gödel's universe of constructible sets
- 11. On the question of absolute undecidability
- Part IV. Philosophy of Mathematics:
- 12. What did Gödel believe and when did he believe it?
- 13. On Gödel's way in: the influence of Rudolf Carnap
- 14. Gödel and Carnap Steve Awodey
- 15. On the philosophical development of Kurt
- 16. Platonism and mathematical intuition in Kurt Gödel's thought
- 17. Gödel's conceptual realism