Gödel. Paradoja y vidaUna introducción magistral a la vida y pensamiento del hombre que transformó para siempre nuestra concepción de las matemáticas. Se considera a Kurt Gödel el lógico más importante desde Aristóteles. Su monumental teorema de la incompletitud demuestra que en cualquier sistema formal de aritmética existen proposiciones verdaderas que, sin embargo, no pueden demostrarse. Este resultado creó una conmoción mucho más allá de las matemáticas, poniendo en duda nuestra concepción de la naturaleza y la mente. Rebecca Goldstein, novelista y filósofa, explica la visión filosófica que inspira las matemáticas de Gödel, y revela el error en las interpretaciones de su teorema por parte de los pensamientos filosóficos entonces en boga, desde el positivismo al postmodernismo. Irónicamente, tanto Gödel como su íntimo amigo y colega en Princeton, Einstein, se sentían exiliados intelectuales justo cuando sus trabajos eran aclamados como los más importantes del siglo XX. Para Gödel esta sensación de aislamiento tuvo unas consecuencias trágicas. Este libro, lúcido y accesible, permite al lector comprender el teorema de Gödel, dando vida al mismo tiempo a este genio excéntrico y torturado y a su mundo. “En su libro penetrante, accesible y magníficamente escrito, Rebecca Goldstein no sólo explora el trabajo de uno de los más grandes matemáticos, sino también la relación de la mente humana con el mundo que la rodea.” Alan Lightman, autor de Einstein's Dreams. Traducción de Víctor Úbeda Fernández |
Comentarios de usuarios - Escribir una reseña
Las reseñas no se verifican, pero Google comprueba si hay contenido falso y lo retira una vez identificado
Reseña de usuario - Marcar como inapropiado
El primer teorema de incompletitud de Godel deja fuera la posibilidad de que un sistema formal coherente se anexe a la lógica aristotéliica.
Godel cree que estos sistemas son coherentes porque poseen un modelo en el ámbito de lo abstcto. (pero no necesariamente se requiere un modelo en este ámbito para asegurar la coherencia, tampoco es condición necesaria y suficiente)
Índice
Introducción | 13 |
Un platónico entre positivistas | 49 |
Hilbert y los formalistas | 109 |
La prueba de la incompletitud | 131 |
La incompletitud de Gödel | 183 |
Agradecimientos | 231 |
247 | |
Términos y frases comunes
afirma aritmética axiomas Bellah Carnap ciencia ción Círculo de Viena coherencia conclusión conocimiento cuestión dado David Hilbert Dawson decir Dem(x demostración de Gödel Einstein y Gödel ejemplo empírica enunciado eran escribió estaba existe expresar fbcs Feigl filósofo finitista física Flexner fuese genio hablar Hahn Hao Wang hipótesis del continuo ideas incluido incompletitud de Gödel indemostrable infinito Instituto intelectual intuiciones Königsberg Kurt Gödel Leibniz lenguaje lógi lógica límpida lógica matemática mate matemá máticas Menger mente metamatemática modo Morgenstern mundo Neumann numeración de Gödel número Gödel números naturales objeto obra oraciones paradoja parece pensadores Philosophy Platón podía positivistas lógicos pregunta primer teorema Princeton priori problema programa de Hilbert propiedad proposición razón realidad relación resultado Russell Schilpp Schlick segundo teorema sentido significado símbolos sistema axiomático sistema formal supuesto tautología tenía teorema de incompletitud teoremas de Gödel teoría de conjuntos tesis tico Tractatus Turing universidad verdad verdadera verdades vienés Waismann Wittgenstein