aller au contenu
Kurt Godel and the Foundations of Mathematics : Horizons of Truth Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérifiant…

Kurt Godel and the Foundations of Mathematics : Horizons of Truth

Auteur : Christos H Papadimitriou; Dana S Scott; Matthias Baaz
Éditeur : Cambridge : Cambridge University Press, 2011.
Édition/format :   Fichier d’ordinateur : AnglaisVoir toutes les éditions et tous les formats
Base de données :WorldCat
Résumé :

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

Évaluation :

(pas encore évalué) 0 avec des critiques - Soyez le premier.

Sujets
Plus comme ceci

 

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Personne nommée : Kurt Gödel
Format : Fichier informatique
Tous les auteurs / collaborateurs : Christos H Papadimitriou; Dana S Scott; Matthias Baaz
ISBN : 9780521761444 0521761441
Numéro OCLC : 757682699
Notes : Electronic book text.
Description : 541 S.
Contenu : 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.

Critiques

Critiques éditoriales

Synopsis de l’éditeur

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

 
Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

Tags

Soyez le premier.

Ouvrages semblables

Sujets associés :(1)

Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


<http://www.worldcat.org/oclc/757682699>
library:oclcnum"757682699"
library:placeOfPublication
library:placeOfPublication
rdf:typebgn:ComputerFile
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:publication
schema:publisher
schema:workExample
wdrs:describedby

Content-negotiable representations

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.