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...