Lógica para todos


Lógica para todos.


Dan Cryan, Sharron Shatil y Bill Mayblin.



Paidós. 2005.

 

Página 206.
El teorema de la incompletitud de Gödel.
Cuando a sus 24 años Gödel trataba de hacer extensivos sus resultados a la aritmética, alcanzó un resultado totalmente inesperado. Descubrió que cualquier sistema lo bastante complejo como para servir de base a la aritmética será incompleto. Esto significa que el proyecto Hilbert de fundamentar las matemáticas en un número finito de axiomas no podría llevarse a acabo para la aritmética, y mucho menos para algo más complejo como el cálculo.
En esa época, Gödel vivía con lo justo en Viena, con un trabajo no remunerado. Tras la llegada de los nazis, sus amigos y colegas fueron escapando a Norteamérica. El apolítico Gödel era reacio a marcharse, hasta que le declararon apto para servir en el ejército, pese a su desenfrenada hipocondría. En ese momento se apresuró a huir.


Un libro feo, feo, feo... con un título bonito.