OBRAS COMPLETAS

Rústica editorial ilustrada. Colección Alianza Universal / 286. Introducción y Traducción de Jesús Mosterín. Contenido: Prólogo - La suficiencia de los axiomas del cálculo lógico de primer orden - Un caso especial del problema de la decisión en la lógica teórica - Algunos resultados metamatemáticos sobre completud y consistencia - Sobre sentencias formalmente indecidibles de Principia Mathematíca y sistemas afines - Sobre completud y consistencia - Discusión sobre la fundamentación de la maternatica - Una propiedad de los modelos del cálculo conectivo - Sobre pruebas de independencia en el cálculo conectivo - Sobre el cálculo conectivo intuicionista - Una interpretación del cálculo conectivo intuidonista - Sobre la teoría de números y la aritmética intuicionista - Sobre el problema de la decisión de la lógica de primer orden - Observaciones sobre aplicaciones proyectivas - Sobre sentencias indecidibles de sistemas formales matemáticos - Recensión de Th. Skolem - Sobre la longitud de las deducciones - La consistencia del axioma de elección y la hipótesis generalizada del continuo - Prueba de la 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 presentadas ante la conferencia del bicentenario de Princeton sobre problemas de las matemáticas - ¿Qué es el problema del continuo de Cantor? - Un ejemplo de un nuevo tipo de soluciones cosmológicas a 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 - Declaración sobre el análisis no-estándar - Bibliografía e Índice. 430págs