skip to content
Kurt Godel and the Foundations of Mathematics : Horizons of Truth Preview this item
ClosePreview this item

Kurt Godel and the Foundations of Mathematics : Horizons of Truth

Author: Christos H Papadimitriou; Dana S Scott; Matthias Baaz
Publisher: Cambridge : Cambridge University Press, 2011.
Edition/Format:   Computer file : EnglishView all editions and formats

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


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

More like this


Find a copy in the library

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


Named Person: Kurt Gödel
Document Type: Computer File
All Authors / Contributors: Christos H Papadimitriou; Dana S Scott; Matthias Baaz
ISBN: 9780521761444 0521761441
OCLC Number: 757682699
Notes: Electronic book text.
Description: 541 S.
Contents: Part I. Historical Context - Godel's Contributions and Accomplishments: 1. The impact of Godel's incompleteness theorems on mathematics Angus Macintyre; 2. Logical hygiene, foundations, and abstractions: diversity among aspects and options Georg Kreisel; 3. The reception of Godel's 1931 incompletability theorems by mathematicians, and some logicians, to the early 1960s Ivor Grattan-Guinness; 4. 'Dozent Godel will not lecture' Karl Sigmund; 5. Godel's thesis: an appreciation Juliette C. Kennedy; 6. Lieber Herr Bernays!, Lieber Herr Godel! Godel on finitism, constructivity, and Hilbert's program Solomon Feferman; 7. Computation and intractability: echoes of Kurt Godel Christos H. Papadimitriou; 8. From the entscheidungsproblem to the personal computer - and beyond B. Jack Copeland; 9. Godel, Einstein, Mach, Gamow, and Lanczos: Godel's remarkable excursion into cosmology Wolfgang Rindler; 10. Physical unknowables Karl Svozil; Part II. A Wider Vision - the Interdisciplinary, Philosophical, and Theological Implications of Godel's Work: 11. Godel and physics John D. Barrow; 12. Godel, Thomas Aquinas, and the unknowability of God Denys A. Turner; 13. Godel's mathematics of philosophy Piergiorgio Odifreddi; 14. Godel's ontological proof and its variants Petr Hajek; 15. The Godel theorem and human nature Hilary Putnam; 16. Godel, the mind, and the laws of physics Roger Penrose; Part III. New Frontiers - Beyond Godel's Work in Mathematics and Symbolic Logic: 17. Godel'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 Godel: the man and his work Paul J. Cohen; 20. The transfinite universe W. Hugh Woodin; 21. The Godel phenomena in mathematics: a modern view Avi Wigderson.
Responsibility: edited by Matthias Baaz, Christos H Papadimitriou, Dana S Scott.


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...


Be the first.

Similar Items

Related Subjects:(1)

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

Primary Entity

<> # Kurt Godel and the Foundations of Mathematics Horizons of Truth
    a bgn:ComputerFile, schema:CreativeWork ;
   library:oclcnum "757682699" ;
   library:placeOfPublication <> ; # Cambridge
   library:placeOfPublication <> ;
   schema:about <> ; # Kurt Gödel
   schema:author <> ; # Dana S. Scott
   schema:author <> ; # Christos H. Papadimitriou
   schema:datePublished "2011" ;
   schema:editor <> ; # Matthias Baaz
   schema:exampleOfWork <> ;
   schema:inLanguage "en" ;
   schema:name "Kurt Godel and the Foundations of Mathematics Horizons of Truth" ;
   schema:productID "757682699" ;
   schema:publication <> ;
   schema:publisher <> ; # Cambridge University Press
   schema:workExample <> ;
   wdrs:describedby <> ;

Related Entities

<> # Cambridge University Press
    a bgn:Agent ;
   schema:name "Cambridge University Press" ;

<> # Christos H. Papadimitriou
    a schema:Person ;
   schema:familyName "Papadimitriou" ;
   schema:givenName "Christos H." ;
   schema:name "Christos H. Papadimitriou" ;

<> # Dana S. Scott
    a schema:Person ;
   schema:familyName "Scott" ;
   schema:givenName "Dana S." ;
   schema:name "Dana S. Scott" ;

<> # Matthias Baaz
    a schema:Person ;
   schema:familyName "Baaz" ;
   schema:givenName "Matthias" ;
   schema:name "Matthias Baaz" ;

<> # Kurt Gödel
    a schema:Person ;
   schema:familyName "Gödel" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Gödel" ;

    a schema:ProductModel ;
   schema:isbn "0521761441" ;
   schema:isbn "9780521761444" ;

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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