omitir hasta el contenido
Kurt Godel and the Foundations of Mathematics : Horizons of Truth Ver este material de antemano
CerrarVer este material de antemano
Chequeando…

Kurt Godel and the Foundations of Mathematics : Horizons of Truth

Autor: Christos H Papadimitriou; Dana S Scott; Matthias Baaz
Editorial: Cambridge : Cambridge University Press, 2011.
Edición/Formato:   Archivo de computadora : Inglés (eng)Ver todas las ediciones y todos los formatos
Base de datos:WorldCat
Resumen:

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

Calificación:

(todavía no calificado) 0 con reseñas - Ser el primero.

Temas
Más materiales como éste

 

Encontrar un ejemplar en la biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que tienen este material…

Detalles

Persona designada: Kurt Gödel
Tipo de documento: Archivo de computadora
Todos autores / colaboradores: Christos H Papadimitriou; Dana S Scott; Matthias Baaz
ISBN: 9780521761444 0521761441
Número OCLC: 757682699
Notas: Electronic book text.
Descripción: 541 S.
Contenido: 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.
Responsabilidad: edited by Matthias Baaz, Christos H Papadimitriou, Dana S Scott.

Reseñas

Reseñas editoriales

Resumen de la editorial

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

 
Reseñas contribuidas por usuarios
Recuperando reseñas de GoodReads…
Recuperando reseñas de DOGObooks…

Etiquetas

Ser el primero.

Materiales similares

Temas relacionados:(1)

Confirmar este pedido

Ya ha pedido este material. Escoja OK si desea procesar el pedido de todos modos.

Datos enlazados


<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

Cerrar ventana

Inicie una sesión con WorldCat 

¿No tienes una cuenta? Puede fácilmente crear una cuenta gratuita.