CONTENIDO: PART I: HISTORICAL CONTEXT GÖDEL'S CONTRIBUTIONS AND ACCOMPLISHMENTS
Gödel's historical, Philosophical, and Scientific Work
The impact of Gödel's incompleteness theorems on mathematics / Angus Macintyre
Logical hygiene, foundations, and abstractions: diversity among aspects and options / Georg Kreisel
Gödel Legacy: A historical perspective
The reception of Gödel1931 incompletabilty theorems by mathematicians, and some logicians, to the early 1960s / Ivor Grattan-Guinness
"Dozent Gödel will not lecture" / Karl Sigmund
Gödel thesis: an appreciation / Juliette C. Kennedy
Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructively, and Hilbert¿s program / Solomon Feferman
Computation and intractability: echoes of Kurt Gödel / Christos H. Papadimitriou
From the entscheidungsproblem to the personal computer - and beyond / B. Jack Copeland
Gödel, Einstein, Mach, Gamow, and Lanczos: Gödel remarkable excursion into cosmology / Wolfgang Rindler
Physical unknowables / Karl Svozil
PART II: A WIDER VISION - THE INTERDISCIPLINARY, PHILOSOPHICAL, AND THEOLOGICAL IMPLICATIONS OF GÖDELWORK
Gödel and physics / John D. Barrow
Gödel, Thomas Aquinas, and the unknown ability of God / Denys A. Turner
Gödel mathematics of philosophy / Piergiorgio Odifreddi
Gödel ontological proof and its variants / Petr Hajjes
The Gödel theorem and human nature / Hilary Putnam
Gödel, the mind, and the laws of physics / Roger Penrose
PART III: NEW FRONTIERS - BEYOND GÖDELWORK IN MATHEMATICS AND SYMBOLIC LOGIC
Gödel functional interpretation and its use in current mathematics / Ulrich Kohlenbach
My forty years on his shoulders / Harvey M. Friedman
My interaction with Kurt Gödel: the man and his work / Paul J. Cohen
The transfinite universe / W. Hugh Woodin
The Gödel phenomena in mathematics: a modern view / Avi Wigderson
Índex
