Kurt Gödel es una figura casi mítica en el ámbito de la lógica, las matemáticas y la filosofía. Su fama se basa en tres logros fundamentales:
- 1930: Demostró la suficiencia del cálculo lógico de primer orden.
- 1931: Probó que todo sistema formal que incluya un poco de aritmética es necesariamente incompleto y que no se puede probar su consistencia utilizando solo sus propios medios.
- 1938-1939: Estableció la consistencia relativa del axioma de elección y la hipótesis del continuo en relación con otros axiomas de la teoría de conjuntos.
Esta obra compila la totalidad de los escritos de Gödel hasta la fecha, los cuales se encontraban dispersos en diversas publicaciones y revistas. Los textos están organizados cronológicamente y cada uno se introduce con un breve análisis por parte de Mosterín, lo que facilita su comprensión y contextualización.
«Kurt Gödel: Obras Completas» es una obra fundamental para cualquier persona interesada en la lógica, la matemática y la filosofía. Su recopilación y análisis contextual hacen que sea una adición esencial a la biblioteca de cualquier pensador crítico.