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 : EnglishVedi tutte le edizioni e i formati
Banca dati:WorldCat
Sommario:

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

Voto:

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

Soggetti
Altri come questo

 

Trova una copia in biblioteca

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

Dettagli

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.

Commenti

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

Etichette

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


<http://www.worldcat.org/oclc/757682699>
library:oclcnum"757682699"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/757682699>
rdf:typej.2:Computer_file
schema:about
schema:author
schema:author
schema:datePublished"2011"
schema:editor
schema:exampleOfWork<http://worldcat.org/entity/work/id/949591488>
schema:inLanguage"en"
schema:name"Kurt Godel and the Foundations of Mathematics Horizons of Truth"
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.