Interpreting Godel : Critical Essays (Paperback)

1. Introduction: Godel and analytic philosophy: how did we get here? Juliette Kennedy; Part I. Godel on Intuition: 2. Intuitions of three kinds in Godel's views on the continuum John Burgess; 3. Godel 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. Godel's 1946 Princeton bicentennial lecture: an appreciation Juliette Kennedy; 7. Analyticity for realists Charles Parsons; Part IV. The Set-Theoretic Multiverse: 8. Godel's program John Steel; 9. Multiverse set theory and absolutely undecidable propositions Jouko Vaananen; Part V. The Legacy: 10. Undecidable problems: a sampler Bjorn Poonen; 11. Reflecting on logical dreams Saharon Shelah.