La prueba de Godel

Opiniones de los lectores

El libro ofrece una introducción clara al teorema de incompletitud de Gödel, dirigida a lectores con escasos conocimientos previos de lógica formal y matemáticas. Si bien es elogiado por su accesibilidad y por los exhaustivos antecedentes que proporciona antes de profundizar en la demostración, algunos lectores consideran que le falta profundidad a la hora de explorar las implicaciones más amplias de la obra de Gödel. En general, el texto es bien recibido por su claridad, aunque algunas críticas señalan áreas en las que podría haber sido más claro o detallado.

⬤ Excelente presentación de la demostración de Gödel, que hace accesibles las ideas complejas a los no especialistas.
⬤ Explicación exhaustiva de los antecedentes y el contexto que rodean la obra de Gödel.
⬤ Breve y fácil de leer, a menudo manejable en una o dos sesiones.
⬤ Contiene tablas y sintaxis matemática clara para reforzar los conceptos.
⬤ Se aprecian las ideas analíticas, lo que hace que el libro sea informativo y atractivo para los interesados en la filosofía de las matemáticas.

⬤ Algunos lectores creen que le falta profundidad en la interpretación de las implicaciones del teorema de Gödel.
⬤ Algunos lectores consideran que algunas partes del texto son confusas o poco claras, sobre todo en lo que se refiere a notación y conceptos.
⬤ La conclusión se considera abrupta, dejando a los lectores con ganas de explorar más las ramificaciones filosóficas.
⬤ Las explicaciones detalladas de los autores pueden parecer a veces demasiado densas u orientadas a los hechos, lo que hace que la experiencia de lectura resulte menos atractiva para algunos.

(basado en 107 opiniones de lectores)

Título original:

Godel's Proof

Contenido del libro:

En 1931, Kurt G del publicó su artículo fundamental, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems". Este revolucionario artículo cuestionaba ciertos supuestos básicos en los que se basaba gran parte de la investigación en matemáticas y lógica. G del recibió el reconocimiento público a su trabajo en 1951, cuando se le concedió el primer Premio Albert Einstein por sus logros en las ciencias naturales, quizá el mayor galardón de este tipo en Estados Unidos. El comité del premio describió su trabajo en lógica matemática como "una de las mayores contribuciones a las ciencias de los últimos tiempos".

Sin embargo, pocos matemáticos de la época estaban preparados para entender la compleja demostración del joven erudito. Ernest Nagel y James Newman ofrecen una explicación legible y accesible, tanto para eruditos como para no especialistas, de las ideas principales y las amplias implicaciones del descubrimiento de G del. Ofrece a toda persona culta con gusto por la lógica y la filosofía la oportunidad de comprender un tema hasta ahora difícil e inaccesible.

Con motivo del 50 aniversario de la publicación original de La prueba de G del, New York University Press se enorgullece de publicar esta edición especial de aniversario de uno de sus libros más vendidos y traducidos. Con una nueva introducción de Douglas R. Hofstadter, este libro atraerá a estudiantes, académicos y profesionales de los campos de las matemáticas, la informática, la lógica y la filosofía, y la ciencia.