Obras Completas/ Complete Works (Spanish Edition)

La casi mítica fama de Kurt Gödel entre lógicos, matemáticos y filósofos descansa en tres logros de importancia excepcional: en 1930 probó la suficiencia del cálculo lógico de primer orden; en 1931 probó que todo sistema formal que contenga un poco de aritmética es necesariamente incompleto y que es imposible probar su consistencia con sus propios medios; y en 1938-1939 probó la consistencia relativa del axioma de elección y la hipótesis del continuo respecto de los demás axiomas de la teoría de conjuntos. Pero sus artículos y trabajos, de una concisión legendaria y de una incomparable densidad intelectual, no siempre resultan fáciles de consultar, pues se encuentran desperdigados en publicaciones, actas y revistas de varios países. Estas Obras completas reúnen la totalidad de los escritos de Gödel hasta ahora publicados. Ordenados cronológicamente, cada uno de ellos va precedido de una breve introducción de Jesús Mosterín, que los sitúa en su contexto más general y a veces los resume someramente. Portada Pretítulo Título Derechos de autor Índice Prólogo 1988 Prólogo 1980 La suficiencia de los axiomas del cálculo de primer orden Sobre la suficiencia del cálculo lógico Algunos resultados metamatemáticos sobre completud y consistencia Sobre sentencias formalmente indecidibles de «PM» y sistemas afines Discusión sobre la fundamentación de la matemática Sobre el cálculo conectivo intucionista Un caso especial del problema de la decisión en la lógica teórica Sobre completud y consistencia Una propiedad de los modelos del cálculo conectivo Sobre los axiomas de Perry Sobre pruebas de independencia en el cálculo conectivo Sobre la inmersibilidad isométrica de cuádruplos de puntos R3 en la superficie de una esfera Sobre la axiomatización del concepto de estar entre por Wald Sobre la axiomatización de las relaciones de conexión en geometría elemental Sobre la teoría de números y la aritmética intuicionista Una interpretación del cálculo conectivo intuicionista Observaciones sobre aplicaciones proyectivas Discusión sobre geometría diferencial sin coordenadas Sobre el problema de la decisión de la lógica de primer orden Sobre sentencias indecidibles de los sistemas formales matemáticos Recensión de Skolem [1933] [Observación sobre la demanda] Sobre la longitud de las deducciones La consistencia del axioma de elección y de la hipótesis generalizada del continuo Prueba de consistencia de la hipótesis generalizada del continuo La consistencia del axioma de elección y de la hipótesis generalizada del continuo con los axiomas de la teoría de conjuntos La lógica matemática de Russell Observaciones ante la conferencia del bicentenario de Princeton sobre problemas matemáticos ¿Qué es el problema del continuo de Cantor? Un ejemplo de un nuevo tipo de soluciones cosmológicas de las ecuaciones einsteinianas del campo gravitatorio Una observación sobre la relación entre la teoría de la relatividad y la filosofía idealista Universos rotatorios en la teoría general de la relatividad Sobre una ampliación todavía no utilizada del punto de vista finitario Posdata a Spector [1962] Suplemento a la segunda edición de Gödel [1947] Sobre una extensión de la matemática finitaria que todavía no ha sido usada Otra versión del primer teorema de indecibilidad Declaración sobre el análisis no-estándar Bibliografía La casi mtica fama de Kurt Gdel entre lgicos, matemticos y filsofos descansa en tres logros de importancia excepcional: en 1930 prob la suficiencia del clculo lgico de primer orden; en 1931 demostr que todo sistema formal que contenga un poco de aritmtica es necesariamente incompleto y que es imposible probar su consistencia con sus propios medios; y en 1938 - 1939 prob la consistencia relativa del axioma de eleccin y la hiptesis del continuo respecto de los dems axiomas de la teora de conjuntos. Pero sus artculos y trabajos, de una concisin legendaria y de una incomparable densidad intelectual, no siempre resultan fciles de consultar, pues se encuentran desperdigados en publicaciones, actas y revistas de varios pases. Estas Obras completas renen la totalidad de los escritos de Gdel hasta ahora publicados. Ordenados cronolgicamente, cada uno de ellos va precedido de una breve introduccin de Jess Mostern, que los sita en su contexto ms general y a veces los resume someramente.