Page 87 - 18 Godel
P. 87
CAPÍTULO 3
El segundo teorema de Godel
Hilbert tardó diez años en elaborar su programa, un
periodo repleto de lucha y debates. Después de todo ese
esfuerzo, cuando el primer teorema de incompletitud de
Godel demostró que el programa era irrealizable, ¿se rindió
Hilbert sin pelear? ¿No buscó grietas en la demostración de
Godel? ¿Ni siquiera protestó? En este capítulo analizaremos
cómo Godel logró presentar la demostración de su
teorema de incompletitud de tal manera que nadie
pudiera dudar de su validez, ni siquiera Hilbert.
