El Teorema de Gödel

La vida de Kurt Friedrich G"del (1906-1978) fue, como la de Spinoza oKant, preferentemente sedentaria. Vinculado en su juventud al Círculode Viena, emigró, huyendo de los nazis, a los estados Unidos, paraestablecerse definitivamente en Princeton hasta su muerte. Su obra sereduce a un pu?ado de artículos de lógica matemática y,excepcionalmente, de física o de filosofía, casi todos ellos muybreves, pero de un increíble nivel de creatividad, concisión y rigortécnico.El teorema de G"del es una de las más sensacionales conquistascientíficas del siglo XX. Su autor -que sólo contaba veinticinco a?oscuando lo publicó, en 1931- revolucionó con él los cimientos de lalógica y de la matemática como Heisenberg los de la física con susecuaciones de incertidumbre.Muchos de los más interesantes desarrollos de la informática secuentan entre los frutos cosechados por este legendario teorema, delque, por otra parte, se ha valido el físico Penrose para cuestionarlos supuestos de la inteligencia artificial.El teorema de G"del, ha escrito Hofstadter, es como una perla en unaostra. Su secreto no se percibe escrutando la perla, sino el aparatodemostrativo oculto en la ostra que la aloja. Este libro de Nagel yNewman, dedicado por sus autores a Bertrand Russell, es el únicoexistente que permite a un lector sin base matemática obtener unconocimiento del teorema, de su prueba y de su contexto histórico,suficiente para poder formarse juicio propio sobre las consecuenciasque comporta para nuestro concepto de la mente y de la cultura humana.