Kurt Gödel and the foundations of mathematics : horizons of truth /

Saved in:

Bibliographic Details
Imprint:	Cambridge ; New York : Cambridge University Press, 2011. ©2011
Description:	1 online resource (xxiii, 515 pages) : illustrations
Language:	English
Subject:	Gödel, Kurt. Gödel, Kurt. Gödel's theorem. Mathematics -- Philosophy. Gödel's theorem. Mathematics -- Philosophy.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11827431

Hidden Bibliographic Details
Other authors / contributors:	Baaz, Matthias, editor. Papadimitriou, Christos H., editor. Putnam, Hilary W., editor. Scott, Dana S., editor. Harper Jr., Charles L., ditor.
ISBN:	9781139077378 1139077376 9781139079655 1139079654 9780511974236 051197423X 9780521761444 0521761441 9781139075114 113907511X 9781139081931 1139081934
Notes:	Includes bibliographical references and index. Print version record.
Summary:	"This volume commemorates the life, work, and foundational views of Kurt Gödel (1906-1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances, and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology, and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Gödel personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Gödel's fundamental work in mathematics, logic, philosophy, and other disciplines for future generations of researchers"--
Other form:	Print version: Kurt Gödel and the foundations of mathematics. New York : Cambridge University Press, 2011 9780521761444
Standard no.:	9786613127235

Table of Contents:

Foreword / Gaisi Takeuti
Preface
Short Biography of Kurt Godel
I. Historical context : Gödel's contributions and accomplishments. Gödel's historical, philosophical, and scientific work. 1. The impact of Gödel's incompleteness theorems on mathematics / Angus Macintyre ; 2. Logical hygiene, foundations, and abstractions : diversity among aspects and options / Georg Kreisel
Gödel's legacy : a historical perspective. 3. The reception of Gödel's 1931 incompletabilty theorems by mathematicians, and some logicians, to the early 1960s / Ivor Grattan-Guinness ; 4. "Dozent Gödel will not lecture" / Karl Sigmund ; 5. Gödel's thesis : an appreciation / Juliette Kennedy ; 6. Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructivity, and Hilbert's program / Solomon Feferman
The past and future of computation. 7. Computation and intractability : echoes of Kurt Gödel / Christos H. Papadimitriou ; 8. From the entscheidungsproblem to the personal computer
and beyond / B. Jack Copeland
Gödelian cosmology. 9. Gödel, Einstein, Mach, Gamow, and Lanczos : Gödel's remarkable excursion into cosmology / Wolfgang Rindler ; 10. Physical unknowables / Karl Svozil
II. A wider vision : the interdisciplinary, philosophical, and theological implications of Gödel's work. On the unknowables. 11. Gödel and physics / John D. Barrow ; 12. Gödel, Thomas Aquinas, and the unknowability of God / Denys A. Turner
Gödel and the mathematics of philosophy. 13. Gödel's mathematics of philosophy / Piergiorgio Odifreddi
Gödel and philosophical theology. 14. Gödel's ontological proof and its variants / Petr Hájek
Gödel and the human mind. 15. The Gödel theorem and human nature / Hilary W. Putnam ; 16. Gödel, the mind, and the laws of physics / Roger Penrose
III. New frontiers : beyond Gödel's work in mathematics and symbolic logic. Extending Gödel's work. 17. Gö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 Gödel : the man and his work / Paul J. Cohen
Gödel and the higher infinite. 20. The transfinite universe / W. Hugh Woodin
Gödel and computer science. 21. The Gödel phenomena in mathematics : a modern view / Avi Wigderson.

Kurt Gödel and the foundations of mathematics : horizons of truth /

Similar Items