Matches in Library of Congress for { <http://lccn.loc.gov/2010048055> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2010048055 contributor B11794284.
- 2010048055 created "2011.".
- 2010048055 date "2011".
- 2010048055 date "2011.".
- 2010048055 dateCopyrighted "2011.".
- 2010048055 description "Includes bibliographical references and index.".
- 2010048055 description "Machine generated contents note: Part I. Historical Context - Gödel's Contributions and Accomplishments: 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; 3. The reception of Gödel's 1931 incompletabilty theorems by mathematicians, and some logicians, to the early 1960s Ivor Grattan-Guinness; 4. 'Dozent Gödel will not lecture' Karl Sigmund; 5. Gödel's thesis: an appreciation Juliette C. Kennedy; 6. Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructivity, and Hilbert's program Solomon Feferman; 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; 9. Gödel, Einstein, Mach, Gamow, and Lanczos: Gödel's remarkable excursion into cosmology Wolfgang Rindler; 10. Physical unknowables Karl Svozil; Part II. A Wider Vision - The Interdisciplinary, Philosophical, And Theological Implications of Gödel's Work: 11. Gödel and physics John D. Barrow; 12. Gödel, Thomas Aquinas, and the unknowability of God Denys A. Turner; 13. Gödel's mathematics of philosophy Piergiorgio Odifreddi; 14. Gödel's ontological proof and its variants Petr Hájek; 15. The Gödel theorem and human nature Hilary Putnam; 16. Gödel, the mind, and the laws of physics Roger Penrose; Part III. New Frontiers - Beyond Gödel's Work in Mathematics and Symbolic Logic: 17. Gödel'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 Gödel: the man and his work Paul J. Cohen; 20. The transfinite universe W. Hugh Woodin; 21. The Gödel phenomena in mathematics: a modern view Avi Wigderson.".
- 2010048055 extent "xxiii, 515 p. :".
- 2010048055 identifier "9780521761444 (hardback)".
- 2010048055 identifier 2010048055.html.
- 2010048055 issued "2011".
- 2010048055 issued "2011.".
- 2010048055 language "eng".
- 2010048055 publisher "New York : Cambridge University Press,".
- 2010048055 subject "511.3 22".
- 2010048055 subject "Gödel's theorem.".
- 2010048055 subject "Gödel, Kurt.".
- 2010048055 subject "MATHEMATICS / Logic bisacsh.".
- 2010048055 subject "Mathematics Philosophy.".
- 2010048055 subject "QA9.65 .K87 2011".
- 2010048055 tableOfContents "Machine generated contents note: Part I. Historical Context - Gödel's Contributions and Accomplishments: 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; 3. The reception of Gödel's 1931 incompletabilty theorems by mathematicians, and some logicians, to the early 1960s Ivor Grattan-Guinness; 4. 'Dozent Gödel will not lecture' Karl Sigmund; 5. Gödel's thesis: an appreciation Juliette C. Kennedy; 6. Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructivity, and Hilbert's program Solomon Feferman; 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; 9. Gödel, Einstein, Mach, Gamow, and Lanczos: Gödel's remarkable excursion into cosmology Wolfgang Rindler; 10. Physical unknowables Karl Svozil; Part II. A Wider Vision - The Interdisciplinary, Philosophical, And Theological Implications of Gödel's Work: 11. Gödel and physics John D. Barrow; 12. Gödel, Thomas Aquinas, and the unknowability of God Denys A. Turner; 13. Gödel's mathematics of philosophy Piergiorgio Odifreddi; 14. Gödel's ontological proof and its variants Petr Hájek; 15. The Gödel theorem and human nature Hilary Putnam; 16. Gödel, the mind, and the laws of physics Roger Penrose; Part III. New Frontiers - Beyond Gödel's Work in Mathematics and Symbolic Logic: 17. Gödel'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 Gödel: the man and his work Paul J. Cohen; 20. The transfinite universe W. Hugh Woodin; 21. The Gödel phenomena in mathematics: a modern view Avi Wigderson.".
- 2010048055 title "Kurt Gödel and the foundations of mathematics : horizons of truth / edited by Matthias Baaz ... [et al.].".
- 2010048055 type "text".