MOSTERÍN, JESÚS
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 19381939 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.
Jesus Mosterin, uno de los filosofos hispanos de mayor prestigio internacional, es profesor de Investigacion en el Instituto de Filosofia del CSIC, catedratico de Logica y Filosofia de la Ciencia de la Universidad de Barcelona, profesor invitado en varias universidades de Europa, Asia y America. De su extensa obra, merecen citarse Los logicos (2000), La naturaleza humana (2006) o Ciencia viva (2006).
