Interpreting Gödel : critical essays [E-Book] / edited by Juliette Kennedy, University of Helsinki.
Kennedy, Juliette, (editor)
Cambridge : Cambridge University Press, 2014
1 online resource (xi, 279 pages)
englisch
9780511756306
9781107002661
Full Text
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.