## Find a copy in the library

Finding libraries that hold this item...

## Details

Named Person: | Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel |
---|---|

Material Type: | Internet resource |

Document Type: | Book, Internet Resource |

All Authors / Contributors: |
Matthias Baaz; et al |

ISBN: | 9780521761444 0521761441 |

OCLC Number: | 693553974 |

Description: | xxiii, 515 p. : ill. ; 27 cm. |

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

Responsibility: | edited by Matthias Baaz ... [et al.]. |

More information: |

### Abstract:

This volume commemorates the life, work and foundational views of Kurt Godel by exploring the impact of his work and its future implications.
Read more...

## Reviews

*Editorial reviews*

Publisher Synopsis

'This is a very useful volume that brings together aspects of Godel's work that relates to logic and mathematics ...' The Mathematical Intelligencer

*User-contributed reviews*

Add a review and share your thoughts with other readers.
Be the first.

Add a review and share your thoughts with other readers.
Be the first.

## Tags

Add tags for "Kurt Gödel and the foundations of mathematics : horizons of truth".
Be the first.

## Similar Items

### Related Subjects:(8)

- Gödel's theorem.
- Mathematics -- Philosophy.
- Gödel, Kurt.
- MATHEMATICS / Logic
- Gödelscher Unvollständigkeitssatz.
- Mathematik.
- Philosophie.
- Gödel, Kurt, -- 1906-1978.

### User lists with this item (1)

- November 2011: new books(6 items)
by phillib updated 2011-11-23