1931 (artículo sobre incompletitud) / Europa
Gödel establece límites para la demostración formal
Gödel mostró límites de los sistemas formales efectivamente axiomatizados con capacidad suficiente para expresar aritmética.
La imagen no está disponible. Puedes consultar su descripción y su fuente.
El relato
El artículo de 1931 estableció resultados de incompletitud para sistemas con axiomas especificados de forma efectiva y suficiente aritmética. Bajo condiciones apropiadas de consistencia, algunas proposiciones no pueden demostrarse ni refutarse dentro del sistema; con las hipótesis correspondientes, tampoco puede demostrarse internamente su propia consistencia. Esto no vuelve poco fiables todas las matemáticas ni resuelve directamente cualquier cuestión sobre la mente y las máquinas.
Conexiones y contexto
Turing abordaría después los problemas de decisión mediante algoritmos y computabilidad. Son resultados relacionados, pero distintos.
Fechas y precisión
1931 (artículo sobre incompletitud) Fecha documentada
Se sitúa según el año, mes o día documentado, sin inventar la precisión que falta.
Ubicación representativa en el mapa
Viena
Se señala el entorno investigador de Gödel al publicarse el artículo, no su posterior puesto en Princeton.
Coordenadas representativas · 48.2082°, 16.3738°
El marcador indica un lugar representativo, como una colección de manuscritos, un laboratorio o un observatorio. No significa que el trabajo se realizara solo allí ni atribuye un descubrimiento compartido a un único país.
Bibliografía
- Enciclopedia de Filosofía de Stanford: Kurt Gödel
- Institute for Advanced Study: Kurt Gödel and the Institute
Las referencias se presentan como títulos bibliográficos, sin enlaces externos. Pueden respaldar datos concretos o el contexto; su presencia no certifica cada interpretación del relato.