Page 1497 - Anatema - Neal Stephenson
P. 1497
Palle Yourgrau: Un mundo sin tiempo: el legado
olvidado de Gödel y Einstein (978‐84‐8383‐020‐8).
Rebecca Goldstein: Gödel: paradoja y vida (978‐84‐95348‐
23‐4).
Hao Wang: A Logical Journey: from Gödel to Philosophy
(1997).
Kurt Gödel: Collected Works. Edición de Solomon
Feferman, John W. Dawson Jr. y colaboradores (1990).
Freeman Dyson: Comunicación privada, 2007.
Verena Huber‐Dyson: Comunicación privada, 2006.
La imagen que se extrae de las fuentes anteriores es que
Gödel (al igual que Penrose) era un platónico matemático
integral que dedicó gran parte de su tiempo y sus
esfuerzos a pensar sobre su platonismo y a buscar la forma
de sostenerlo sobre buenos cimientos metafísicos. Durante
la segunda mitad de su vida —todo el tiempo que pasó en
el Instituto de Estudios Avanzados, desde 1940 en
adelante— dedicó la mayoría de sus horas de trabajo a ese
proyecto. Tal y como explican Hao Wang en A Logical
Journey y Howard Stein en su nota a 1949a en el volumen
2 de las obras completas de Gödel, la planificación general
era construir una metafísica rigurosa sobre la
monadología de Leibniz. Como Kant había ofrecido
objeciones a la metafísica de Leibniz y como Gödel
respetaba a Kant, pero no estaba de acuerdo con él, Gödel
precisaba, a principios del programa, tratar y superar las
1497
