Obras completas

Portada\r......Page 1
Pretítulo\r......Page 3
Título\r......Page 5
Derechos de autor\r......Page 6
Índice\r......Page 7
Prólogo 1988\r......Page 11
Prólogo 1980\r......Page 13
La suficiencia de los axiomas del cálculo de primer orden\r......Page 23
Sobre la suficiencia del cálculo lógico\r......Page 39
Algunos resultados metamatemáticos sobre completud y consistencia\r......Page 41
Sobre sentencias formalmente indecidibles de «PM» y sistemas afines\r......Page 53
Discusión sobre la fundamentación de la matemática\r......Page 90
Sobre el cálculo conectivo intucionista\r......Page 95
Un caso especial del problema de la decisión en la lógica teórica\r......Page 99
Sobre completud y consistencia\r......Page 103
Una propiedad de los modelos del cálculo conectivo\r......Page 108
Sobre los axiomas de Perry\r......Page 111
Sobre pruebas de independencia en el cálculo conectivo\r......Page 114
Sobre la inmersibilidad isométrica de cuádruplos de puntos R3 en la superficie de una esfera\r......Page 118
Sobre la axiomatización del concepto de estar entre por Wald\r......Page 121
Sobre la axiomatización de las relaciones de conexión en geometría elemental\r......Page 125
Sobre la teoría de números y la aritmética intuicionista\r......Page 129
Una interpretación del cálculo conectivo intuicionista\r......Page 138
Observaciones sobre aplicaciones proyectivas\r......Page 141
Discusión sobre geometría diferencial sin coordenadas\r......Page 143
Sobre el problema de la decisión de la lógica de primer orden\r......Page 148
Sobre sentencias indecidibles de los sistemas formales matemáticos\r......Page 167
Recensión de Skolem [1933]\r......Page 201
[Observación sobre la demanda]\r......Page 204
Sobre la longitud de las deducciones\r......Page 207
La consistencia del axioma de elección y de la hipótesis generalizada del continuo\r......Page 210
Prueba de consistencia de la hipótesis generalizada del continuo\r......Page 215
La consistencia del axioma de elección y de la hipótesis generalizada del continuo con los axiomas de la teoría de conjuntos\r......Page 231
La lógica matemática de Russell\r......Page 313
Observaciones ante la conferencia del bicentenario de Princeton sobre problemas matemáticos\r......Page 346
¿Qué es el problema del continuo de Cantor?\r......Page 354
Un ejemplo de un nuevo tipo de soluciones cosmológicas de las ecuaciones einsteinianas del campo gravitatorio\r......Page 373
Una observación sobre la relación entre la teoría de la relatividad y la filosofía idealista\r......Page 387
Universos rotatorios en la teoría general de la relatividad\r......Page 396
Sobre una ampliación todavía no utilizada del punto de vista finitario\r......Page 411
Posdata a Spector [1962]\r......Page 421
Suplemento a la segunda edición de Gödel [1947]\r......Page 424
Sobre una extensión de la matemática finitaria que todavía no ha sido usada\r......Page 432
Otra versión del primer teorema de indecibilidad\r......Page 447
Declaración sobre el análisis no-estándar\r......Page 451
Bibliografía\r......Page 453