skip to content
Kurt Gödel and the foundations of mathematics : horizons of truth Preview this item
ClosePreview this item
Checking...

Kurt Gödel and the foundations of mathematics : horizons of truth

Author: Matthias Baaz; et al
Publisher: New York : Cambridge University Press, 2011.
Edition/Format:   Book : EnglishView all editions and formats
Database:WorldCat
Summary:
"This volume commemorates the life, work, and foundational views of Kurt Gö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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Named Person: 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
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/693553974>
library:oclcnum"693553974"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/693553974>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
<http://id.worldcat.org/fast/1012213>
rdf:typeschema:Intangible
schema:name"Mathematics--Philosophy"@en
schema:name"Mathematics--Philosophy."@en
schema:about
schema:about
schema:contributor
schema:datePublished"2011"
schema:description""This volume commemorates the life, work, and foundational views of Kurt Gö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 Gö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 Gödel's fundamental work in mathematics, logic, philosophy, and other disciplines for future generations of researchers"--"@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/949591488>
schema:inLanguage"en"
schema:name"Kurt Gödel and the foundations of mathematics : horizons of truth"@en
schema:numberOfPages"515"
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.