Interpreting Gödel : critical essays / edited by Juliette Kennedy, University of Helsinki.
"The logician Kurt Gödel (1906-1978) published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, among other things, that within any formal system with resources sufficient to code arithmetic, questions exist which are neither provab...
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge ; New York :
Cambridge University Press,
2014.
|
| Subjects: |
Table of Contents:
- 1. Introduction: Gödel and analytic philosophy: how did we get here? / Juliette Kennedy
- Part I. Gödel on Intuition: 2. Intuitions of three kinds in Gödel's views on the continuum / John P. Burgess; 3. Gödel on how to have your mathematics and know it too / Janet Folina
- Part II. The Completeness Theorem: 4. Completeness and the ends of axiomatization / Michael Detlefsen; 5. Logical completeness, form, and content: an archaeology / Curtis Franks
- Part III. Computability and Analyticity: 6. Gödel's 1946 Princeton bicentennial lecture: an appreciation / Juliette Kennedy; 7. Analyticity for realists / Charles Parsons
- Part IV. The Set-theoretic Multiverse: 8. Gödel's program / John R. Steel; 9. Multiverse set theory and absolutely undecidable propositions / Jouko Väänänen
- Part V. The Legacy: 10. Undecidable problems: a sampler / Bjorn Poonen; 11. Reflecting on logical dreams / Saharon Shelah.