La vida de Kurt Friedrich Gödel (1906-1978) fue, como la de Spinoza o Kant, preferentemente sedentaria. Vinculado en su juventud al Círculo de Viena, emigró, huyendo de los nazis, a los estados Unidos, para establecerse definitivamente en Princeton hasta su muerte. Su obra se reduce a un puñado de artículos de lógica matemática y, excepcionalmente, de física o de filosofía, casi todos ellos muy breves, pero de un increíble nivel de creatividad, concisión y rigor técnico. El teorema de Gödel es una de las más sensacionales conquistas científicas del siglo XX. Su autor -que sólo contaba veinticinco años cuando lo publicó, en 1931- revolucionó con él los cimientos de la lógica y de la matemática como Heisenberg los de la física con sus ecuaciones de incertidumbre. Muchos de los más interesantes desarrollos de la informática se cuentan entre los frutos cosechados por este legendario teorema, del que, por otra parte, se ha valido el físico Penrose para cuestionar los supuestos de la inteligencia artificial. El teorema de Gödel, ha escrito Hofstadter, es como una perla en una ostra. Su secreto no se percibe es
