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.
No hay comentarios:
Publicar un comentario