Abstract

Part I. Historical Context - Godel's Contributions and Accomplishments: 1. The impact of Godel's incompleteness theorems on mathematics Angus Macintyre 2. Logical hygiene, foundations, and abstractions: diversity among aspects and options Georg Kreisel 3. The reception of Godel's 1931 incompletability theorems by mathematicians, and some logicians, to the early 1960s Ivor Grattan-Guinness 4. 'Dozent Godel will not lecture' Karl Sigmund 5. Godel's thesis: an appreciation Juliette C. Kennedy 6. Lieber Herr Bernays!, Lieber Herr Godel! Godel on finitism, constructivity, and Hilbert's program Solomon Feferman 7. Computation and intractability: echoes of Kurt Godel Christos H. Papadimitriou 8. From the entscheidungsproblem to the personal computer - and beyond B. Jack Copeland 9. Godel, Einstein, Mach, Gamow, and Lanczos: Godel's remarkable excursion into cosmology Wolfgang Rindler 10. Physical unknowables Karl Svozil Part II. A Wider Vision - the Interdisciplinary, Philosophical, and Theological Implications of Godel's Work: 11. Godel and physics John D. Barrow 12. Godel, Thomas Aquinas, and the unknowability of God Denys A. Turner 13. Godel's mathematics of philosophy Piergiorgio Odifreddi 14. Godel's ontological proof and its variants Petr Hajek 15. The Godel theorem and human nature Hilary Putnam 16. Godel, the mind, and the laws of physics Roger Penrose Part III. New Frontiers - Beyond Godel's Work in Mathematics and Symbolic Logic: 17. Godel's functional interpretation and its use in current mathematics Ulrich Kohlenbach 18. My forty years on his shoulders Harvey M. Friedman 19. My interaction with Kurt Godel: the man and his work Paul J. Cohen 20. The transfinite universe W. Hugh Woodin 21. The Godel phenomena in mathematics: a modern view Avi Wigderson.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call