Esta semana la redacción de Analítica (ISSN: 1996-1464) recibió la obra:

Kurt Gödel — Obras  completas, edición de Jesús Mosterín, Segunda edición, Serie «Ensayo», (Madrid: Alianza Editorial), 2006, 472 pp. ISBN: 978-84-206-4773-9

La casi mítica fama de Kurt Gödel entre los 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; 1931 demostró 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 del elección y la hipótesis del continuo respecto de los 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. Esta segunda edición de las Obras completas incorpora 10 nuevos escritos sobre geometría y, de esta forma, reúne ahora todas las obras efectivamente publicadas de Gödel. A fin de unificar internacionalmente las referencias a Gödel, las traducciones aquí presentadas coinciden en su ordenamiento con las de su homólogo Collected Works, además, 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.

«Espero que con los mencionados cambios y ampliaciones, esta segunda edición de las Obras completas del más grande lógico de nuestro siglo sea un instrumento definitivo para el conocimiento de Gödel en España y en América Latina.» (Jesús Mosterín, “Prólogo a la segunda edición.”)

Agradecemos profundamente la gentileza de Alianza Editorial y a su editora por el envío y especialmente por su confianza en nuestra sección de reseñas.