passa ai contenuti
Kurt Godel and the Foundations of Mathematics : Horizons of Truth Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

Kurt Godel and the Foundations of Mathematics : Horizons of Truth

Autore: Christos H Papadimitriou; Dana S Scott; Matthias Baaz
Editore: Cambridge : Cambridge University Press, 2011.
Edizione/Formato:   Computer file : English
Banca dati:WorldCat

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


(non ancora votato) 0 con commenti - Diventa il primo.

Altri come questo


Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…


Persona incaricata: Kurt Gödel
Tipo documento: Computer File
Tutti gli autori / Collaboratori: Christos H Papadimitriou; Dana S Scott; Matthias Baaz
ISBN: 9780521761444 0521761441
Numero OCLC: 757682699
Note: Electronic book text.
Descrizione: 541 S.
Contenuti: 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.
Responsabilità: edited by Matthias Baaz, Christos H Papadimitriou, Dana S Scott.


Recensioni editoriali

Sinossi editore

'This is a very useful volume that brings together aspects of Godel's work that relates to logic and mathematics ...' The Mathematical Intelligencer

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks


Diventa il primo.

Documenti simili

Soggetti correlati:(1)

Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Dati collegati

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" ;

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

<> # 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" ;

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

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.