Beruflich Dokumente
Kultur Dokumente
Latgicade losescpticos
o
!
:O
t
'l
o
-\
LL/
www nt v 0t a c 0m
L matemtica en sus Personajes
Coleccin dirigicla por Antonio PtezSanz
GdET
La tg{eade los escpticos
: I .:..:
4 ,.
tn o r ce
I7 Pr 1 ogo
( 1930- 1931)
16 3 E n P ri n c e to n : fs ' i ca Y fi l osofa
(1 9 4 1 - 1 9 5 6 )
203 Ep l o g o
Ami podre,
209 C ro n o l o g i a
que me ense a contar
2t7 B i b f i o g ra f a
221 N o ta b i b l i o g r fi c a
*
I
i
I
f
i
Pr1 ogo
t de la materia, choca con la mecnica cuntica. Para esta rama, del mtodo hipottico-deductivo, inducir una teora del anlisis de
-
l que se desarroll a partir de la segunda dcada del siglo vein- cierto nmero de experimentos que la corroboran se ha convertido fi
te, las partculassubatmicasno tienen posiciones y velocidades en pieza imprescindible de la prctica cientfica. Sin embargo, ante OJ
definidas de forma independiente,sino una combinacin proba- un horizonte de infinitos casos posibles, el principio de verificacin
bilsticade ambas dentro de los lmites que estableceel principio pierde su base epistemolgica: basta un solo contraejemplo para
o'
de incertidumbre. El propio Einstein tuvo un papel destacado en "falsar" una hiptesis, pero cien pruebas a favor no la hacen del to-
su aparicin, aunque nunca llegara a aceptarlo: pensaba que la do verdadera. Cada nuevo experimento es un lance a da o muerte, n
o.J
t
t mecnica cuntica "nos aporta muchas cosas, pero apenas nos y el quehacer de los cientficos, una "bsqueda sin trmino", como
acerca al secreto del Viejo. Yo estoy convencido de que l no iue- titul Popper su autobiografa.
;
| 1_6 T7
F
L
$
g
Por eso dice Borges que las matemticas, como la msica, pueden
o
U prescindir del Universo.
+)
o_
.(U
U Los diccionarios definen demostracin como "prueba de una
a) cosa, partiendo de verdades universales y evidentes", pero para
LN
o los matemticos cada una de ellas encierra muchos ms secretos.
Guillermo Martnez ha hablado de la "Dequea calma piadosa, ese
o)
singular blsamo intelectual, el simulacro de orden en el caos que
r5
se obtiene al seguir los pasos de un teorema". Ante una proposi-
D etal l e de l as escal eras
b! de una obra de cin cuyo valor de verdad se desconoce. la primera reaccin es
l '1 C E scher semejante a la de los escritores frente al papel en blancr,: un miedo
: casi paralizante, o el impulso de llenarlo todo con operaciones que
raravez conducen a algn sitio. Pero, ms adelante, las pupiias se
CJ acostumbran a la oscuridad y exploran pequeas variaciones de lo
E
:o conocido, o deciden abrir caminos nuevos; cuando la imaginacin
IJ
lo ilumina todo es hora de poner en orden los argumentos. para
un mismo enunciado matemtico caben muv distintos mtodos de
prueba. Voy a detenerme en algunos de los principales.
Una misma lengua puede hablar de muchas cosas: en espaol rentemente tan ajenos a las maternticas como la psicologa o la
estn escritas las frases: "Trae leche del supermercacio'?y "La belle- investigacin de un crimen. Consiste en aplicar las armas del razo-
za ser convulsiva o no ser". Centrarse en las matemticas como namiento lgico ordenado (reglas de transformacin, identidades) O
a
refugio de la seguridad desterrada de otras ciencias fue un cambio a una serie de premisas hasta obtener el resultado que se busca.
de registro. Irrraginen una conversacin en la que slo se permi- Para probar la afirmacin "Scrates es mortal", podemos recurrir a
ten trminos abstractos, en'uueltos en una sintaxis suficiente y de- al silogismo "Si todo A es B, y C es A, entonces C es B". As, si
rD.
mocrtica. Aunque las reglas del juego son precisas, las primeras todos los hombres son mortales, y Scrates es hombre, entonces o
-
rD
palabras de los participantes sern igual de torpes que las jugadas Scrates es mortal. Al menos dos precauciones requiere el uso de la
de un ajedrecista que acaba de aprender el movimiento de las pie- deduccin lgica: en primer lugar, es necesario asegurarse de que OJ
zas. Saben que cualquier referencia al exterior est prohibida, pero las proposiciones de las que nos servimos ya han sido demostradas OJ
les cuesta desprenderse de los ejemplos que han ido acumulando y antes de otra forma; si no, terminaramos dibujando crculos cio-
o.
sos o escribiendo artculos supeditados a la verdad o falsedad de oc
dar a sus ideas la consistencia de lo permanente. Nada ha cambia-
una conjetura. En ocasiones, para simplificar problemas difciles,
do en el teorema de Pitgoras en ms de dos milenios, y tampoco OJ
cambiara si Ios tringulos rectngulos fueran entelequias tan impo- conene imaginarse qu ocurrira si algn otro enunciado fuese
sibles de construir como las escaleras del mundo onrico de Escher. cierto, pero la prueba no podr darse por concluida hasta que se
I 19
II
;
II
I
(^ demuestretambin el segundo.Por otra parte, partiendo de premi- un cubo de un metro de arista. Desdenuestra perspectivaactual,
II
sasfalsaspuede probarsecualquier cosa. Podraafirmar que usted I resulta tan sencillo como construirun nuevo cubo de medida muy
{J I
.cJ ha escrito estaspginas;veamos si le convenzo:supongamosque prxima a VZ -iqu bien funcionarael mundo si ejerciciostan le-
(
(u
1+ 1 = 3, entonces,al restaruna unidad a ambos trminos,se obtie- i ves de aritmtica sustituyesena las intervencionesmilitares!-,pero
ne 1 = 2, que tambinpuedeescribirse2 = l. Lectory autorson dos para un griego era difcil comprender que entre los nmeros, en
personasen principio distintas-la literaturasera,en otro caso, una los que estaba cifrada la armona del Universo,hay algunos cuya
CJ
tautologa-,pero, como 2 = l, lector y autor son la misma persona; I
expresindecimal no termina nunca de escribirse.Porreduccin al
c
es ustedquien ha escrito,aunquerrolo recuerde,el texto que tiene absurdose demuestraque V2 es irracionaly que, dado un nmero
rs
LJ entre sus manos. primo, siempre existe otro mayor. Sigamosel bello argumento de
ho Euclides:
.o
Otras veces para demostrar un teorema conene recorrerlo
J mlrcha atrs, iajar a sus orgenes.Es conocido entre los aficio- "Supongamosque hubiera una cantidad finita de nmeros pri-
nados a los problemas de ingenio un juego en el que interenen mos, digamosn, y llanrmoslos pt,pz,...,pn.Multiplicandotodos
c
Q-,
nueve bolas (cuatro blancasy cinco negras) dispuestasaleatoria- y aadiendo una unidad al resultado,podemos obtener el entero
:o
I mente sobre una circunferencia.A cada movimiento, entre dos Z = pt.pz'... pn+ l. Ahora,el teoremafundamental de laaritntica
bolas se coloca una blanca si los colores son distintos,y una negra aseguraque, dado un nmero, es primo o se descompone como
en casode que coincidan.Luego se retiran las iniciales.Zllegar tn producto de primos. Es claro que la divisinde Z por cualquierade
punto de la partida en el que todas las bolas sobre la circunfe- los p arroja un resto distintode cero; por tanto, la nica posibilidad
rencia sean blancas?La respuestaes no. En efecto, imaginert una es queZ seaprimo. Perohemos supuestoque slo haban nmeros
circurrferenciacubierta por bolas blancas: Zculsera la situacin primos, y con Z tendamos n + 7".
inmediatamenteanterior?Los colores deberan alternarse:negra,
blanca, negra,blanca, negra,blanca, negra,blanca, negra, blanca; Tambin la induccin cumple aqu un papel fundamental.I{e-
pero as nos salendiez bolas.Tambinlos conseguimoscon ocho mos hablado de los problemas que la inhabilitan como base de c,
o doce,y en general,slo con nmerospares.Luego... certidumbre en las ciencias naturales,pero la que se usa en ma-
temticas es total, perfecta, porque asimila en su procedimiento
Quizla forma ms refinada de marcha otrs seala reduccin mismo el patrn de infinitud de los objetosde los que se ocupa, y f
al absurdo,que consisteen suponer falsala tesis que se desea pro- esto permite examinar todos los casos.En su versin ms sencilla, -
o
a
bar y llegar a partir de ella, por medio de pasos ded.uctivos,a un se emplea para probar teoremassobrelos nmeros naturales.Para
absurdo: la negacin de las hiptesis en las que nos apoyamos. Cemostrarpor induccin que una cierta propiedad P(n) es cierta O)
Como todos los pasosintermediosson correctos,el nico error po- si n es un nmero natural, debemos probar primero que P(1) es OJ
sible ha sido considerarfalsala proposicin:ila hemos demostrado verdadera.Suponemosahora que, para cualquier m rratural,P(m)
o'
asl En medio de la mayor epidemia de peste de Atenas, una de- se verifica,y nos queda por demostrarque, en ese caso,P(rn + 1),
legacinlleg hasta Delfospara obtener del orculo instrucciones Ia misma propiedad enunciada para el nmero siguiente,tambin a
OJ
que continuara asombrando durante el resto de su vida que "un "aquellas que, entre todas las lneas, estn situadas de modo igual o,)
hombre sea capaz de alcanzar tal grado de certeza y pureza hacien- con relacin a todos sus puntos", que es menos intuitivo. qJ
do uso exclusivo de su pensamiento". Y tambin qued atrapado
por su hechizo Bertrand Russell, que tuvo una adolescencia infeliz, Despus de las definiciones enen cinco postulados, que las
pero no sucumbi a las tentaciones del suicidio para llegar a saber nculan entre s y establecen a priori la posibilidad de construir
-
OJ
ms matemticas: ciertos esquemas:
ll
23
5
'
6
T
*
d
*
:j un sistema incoherente, porque del primer principio se sigue que
o
*: I i, 'P.st!"s.iltr.ru.,rn. lne reqta desde n punto cualquiera
, , nunca tomara alucingenos, pero del segundo podemos concluir
a, P
o_ hastaun punto cualquiera. que cambiara el misterio de un crimen por los parasos artificiales
^1 .0J
t U. V t protngar continuamente unarecta finita en lnea rcta. del opio y Ia cocana. Los matemticos antiguos no se planteaban
a) III. Y l describirun crctrlocon cualquiei cntro y distancia. estos interrogantes: crean que no pueden ser ciertas afirmaciorres
{ Lt)
IV. Y l ser todoSlos ngulosrectos iguaiesentre s. incompatibles desde un punto de vista lgico y que, si era verdadero
V Y que si una recla al incidir snbre dos rectas hace los ngult-'s el conjunto de axiornhs eucldeos, era automticamente consisten-
OJ
iniernos del mism lado menores que <1osrectos, las dos te. No era necesaria ninguna prueba adicional.
rectaS prolongadas indefinidamente 5e encontra-rn en el
;
b lado en el que estn los ngulos mcnores que dos rectos. Euclides nunca lleg a saber hasta qu punto daba a las ma-
.o
temticas un horizonte esttico que pronto las separara del resto
fs
de ias ciencias. sus enemigos arguyen en su contra la dificultad de
Ninguno de ellos tan famoso como el quinto, equivalente a seguir paso a paso cadenas de razonamientos que se apoyan en
u que "por un punto exterior a una recta dada cabe trazar una y slo "figuras con lneas por todas partes" y lo comparan con un mdi_
E
(, una paralela": por su historia cruzan visionarios que idearon nuevas co que conoce los tratamientos, pero no por qu funcionan. En
geometras y pusieron en cuestin que estos presupuestos fueran las primeras pginas del Mundo como uoluntad y representacin,
preferibles a otros.'[ras los postulados, Euclides coloca las nociones Schopenhauer da un paso adelante y llama ,,brillantespruebas de
cornunes: 1'cosasque son iguaies a la misma cosa son iguales entre perversidad" a algunas de las demostraciones. Sin ernbargo, es in_
s", "las mitades del mismo son iguales entre s", o "ei todo es mayor negable que los Elementos marcan una mutacin en la historia de
que la pane". la cultrrra occidental: desde Euclides, cualquier 'ama del conoci-
miento que se presente como saber deductivo debe volver la sra
Los griegos entendan que los a-xiomas son verdades tan fuera atrs. Es el caso de Spinoza, cuyo tratado de tica lleva el subttulo
de tocia duda, que cualquieta podra descubrirlas por s mismo in- de Demostrada segn el orden geomtrico; o de Descartes, que, =
r}
cluso aislado en mitad del ocano: principios como que "el ser es sentado frente a la estufa de un cuartel alemn, sin cuidados ni pa-
siones que Io turbaran, se lanz a la bsqueda de principios ,,claros c
y no puede no ser" no requieren ms apoyo que su propia autoe- U]
dencia. Eliminaban de esta forma uno de los peligros que amenaza y distintos" sobre los que volver a construir la filosofa entera. :T
ID\
r!
ii
mismo tiempo una sentencia y su negacin. Pensar en las novelas El sueo de una lengua universal qJ
como estructuras donde los datos que nos proporciona el narrador o.i
,. sobre sus personajes sirven de resortes para echar a volar nues- Otra consecuencia importantsima de la obra de Euclides es la
tra imaginacin lgica quiz ilustre el problema. Si admitiramos aparicin del sueo de una lengua universal con la que los hom_
i '1_
l::. - entre los axiomas de Sherlock Holmes, por ejemplo, "Valoraba su bres fueran capaces de nuevo de entenderse. Todo se remonta al (t
J.
salud por encima de todas las cosas" y "Sin casos que resolver, Gnesis, cuando Dios decidi castigar la soberbia humana transfor-
{ mando la lengua de Adn en un sinfn de idiomas distintos; es el
tr, alimentaba su curiosidad de otra manera", estaramos formando
ri 24 -)f,
fi 'i
il
FJ !
K ,
x
t/)
mito de la torre de Babel, que, por su fuerza iconogrfica, ha ins- montndose a la formacin y a la construccin
de las palabras. Esta
pirado miles de representaciones a lo largo de la historia. Muchos ventaja admirabirsima hasta ahora sro proporcionan
la ros signos
o intentos ha habido desde entonces para frenar esta conlusio lin- empleados por los aritmticos y los algebstas,
.(J para quienes todo
LJ guarum: Dante trat de componer un vulgar ilustre, que sirera lo razonamiento consiste en el uso de caracteres,
tn y todo error men_
a)
mismo como lengua cie sabidura que para los asuntos cotidianos; tal equivale a un error de clculo. Meditando prorndamente
r sobre
y, por las mismas fechas, Ramon Llull estudiaba en su Ars magna este tema, de pronto vi claro que todos los pensamientos
huma-
las combinaciones posibles de los smbolos de un alfabeto formado nos podan resumirse'completamenteen unos pocos
a) pensamienios
por nueve letras y cuatro figuras. Ya en el siglo diecisiete, Descar- que deben considerarsecomo primitivos.
Si luego se les asignan los
fu
U tes haba distinguido entre una lengua que "los espritus r,^.rlgares" caracteres a estos ltimos, a partir de aqu
se pueden formar los
caracteres de las nociones derivadas, de
seran capaces de aprender en unas cuantas horas y una lengua donde siempre es posible
extraer sus requisitos y las rrociones primitivas
f;losfica, donde todos los significadosdudosos se suprimiran y los que las componen,
es deci las definiciones y los valores y, por
-: conceptos quedaran representados clara y distintamente. El sueo lo tanto, tambin sus
modificaciones que se pueden derivar de
de esta lengua filosfica a priori se ir desvaneciendo poco a po- las definiciones. Una vez
a) hecho esto, quien se si^,a cle los caracteres
co, mientras surgen otras formulaciones, de tipo emprico, que no as descritos a la hora
c
de razonar y de escribir,o no cometer nunca
L' tratan de crear una lengua de la nada, sino slo de simplificar la errores,o bien los re_
conocer siempre por s mismo, ya sean suyos
gramtica y el vocaLrulario de las existentes. As nacieron el latino o de otros, metliante
comprobaciones muy simples,,.
sine flexione de Peano, el bqsic English, con slo ochocientas cin-
cuenta palabras, o el esperanto, sin ducia la versin ms conocida.
Tendremos ocasin de hablar con ms
detalle de las aporta_
Pero ninguno de los proyectos anteriores tiene la ambicin de ciones del filsofo alemn en un par de captulos,
pues su lectura
lalingua generalis imaginada por Leibniz en varios manuscritos que sugiri a Gdel ra intrcduccin de una tcnica
que dara resulta-
no se descubrieron hasta dos siglos despus de su muerte: dos espectaculares. Entre 1930y lg40 nuestro protagonista
revolu-
cion la lgica moderna, hasta er momento ra
nica disciprinadon-
de la bsqueda de esa lengua universal ha r-D
"Todo razonamiento humano se realiza por medio de ciertos dado frutos brilrantes.
signos o caracteres [...] Si cada vez que el gemetra nombra la u
hiprbola o la espiral en el curso de una demostracin se viera obli- f
rD.
gado a representarse exactamente sus definlciones o generaciones,
-
y luego nuevamente las definiciones de los trminos que entran en
las primeras, tardaa muchsimo en llegar a sus descubrimientos. qJ
;!
I
I
I Un j uego de espej os
i
I
iI
Los primeros estudios sistemticosde las formas de razona-
i miento vlido son obra de Aristteles,que clasific los silogismos
despusde postularque el resto de demostracionespodrareducir-
se a ellos. Un silogismoconsta de tres afirmaciones,de las cuales
las dos primeras, unidas por un trmino medio, son las premisas,
y la ltima, la conclusin,donde no apareceya el enlace entre las
anteriores.Las sentenciasno pueden serarbitrarias,sino afirmacio-
nes universales("TodoA es B"), negacionesgenerales("Ningn,4
c
esB"), afirmacionesparticulares(" Existeun A que es.8"),o bienne- =
gacionesconcretas("Existeun A que no es ^8").Combinandoestas C.
.D
cuatro formas, pueden obtenersesesentay cuatro silogismos,de gq
F.r.
iI'
los cuafesslo catorceson correctos.Sobrela base delosAnalticos
,s
1t primeros y segundos, continuaron trabaiando los escolsticosdu-
rante la Edad Media,con el propsitode demostrar racionalmente
a
p
la existencia de Dios. Entre todas estas tentativas,tal vez la ms o
t or e s " o " e " y " ,e i n tro d u j o l a s c o n s tantes0yl pararepresentarl os "Nadie puede servir a ra vez a dos seores. No es posible servir
que haba
u dos valores de verdad posibles' As, Ios cuatro modelos a la vez a la verdad y a ra ialsedad. si ra geometra eucldea es verda-
forma de ecua- dera, entonces la geometa no eucldea es falsa; y si la geometra
.J descrito Aristteles quedaban matematizados en
,,Todo x es Y" se escriba x(l - y) = 0, donde, al sustituir no eucldea es verdadera, entonces la geometra eucldea es falsa.
ciorres:
encontrar un Si por un punto exterior a una recta pasa siempre una pararela a esa
x por 1, se obtiene tambin | = | ' En esta lnea de
de Morgan' recta y slo una, entonces para cada recta y para cada p.rnto exterior
lgebra para la lgica contitruaron trabajando Augustus
a ella hay una paralela a esa recta que pasa por ese punro y cada
E r n s tS c h r d e ry C h a rl e s P e i rc e ,quei ntroduj ol ossmbol osxyl l '
paralela a esa recta pcr ese punto coincide con ella.
Quien reconoce
antecedentes de los cuantificadores'
la geometra eucrdea corno verdadera, debe rechazar como falsa
la no eucldea, y quien reconoce la no eucldea como verdadera,
debe rechazar como falsa la eucldea. Ahora se trata de arrojar a
Las geometras no eucldeas
una de ellas, a la geometra eucldea o a la no eucldea, fuera de la
lista de las ciencias y de colocarla como momia junto a Ia arquimia
o tro h e c h o c ru c i a l e n e l d e s arrol l odel al gi camodernafue y a la astrologa... iDentro o fuera! iA cul hay que arrojar fuera, a la
eucldeas'
la aparicin, durante el siglo XIX, de las geometras no geometra eucldea o a la no eucldea? Esa es la cuestin,,.
f
t
;.t fue Einstein, a quien la nueva geometra le proporcion el marco La segunda condicin que conviene exigir a los axiomas es
il \J
preciso para desarrollar su teora de la relatidad. En una pgina la independencia, es decir, que ninguno pueda deducirse de ios
iT
+) dems aplicando las reglas fijadas; todos ellos deben aadir nueva
ft
- .4J
bellsima, el padre de la fsica moderna explica que la geometra
.q,
es slo un sistema formal, un coniunto de axiomas y reglas de informacin. Para demostrar la independencia de un axioma res-
(n
deduccin que nada dicen sobre el mundo. Por tanto, hay tantas pecto a los dems, es suficiente con describir un modelo que los
tt)
geornetras como uno tenga paciencia de desarrolla y el cientfico satisfaga todos menos 1,ya que si fuera posible obtenerlo de los
debe iimitarse a elegir la que le vaya mejor, igual que el carpintero otros, autointicarnente sera verdadero en el sistema construido.
CJ
r3 Nada se indica sobre el nmero de uliomasque pueden elegirse
escoge entre el formn, la sierra o el martillo.
rs para una teora;pueden ser infinitos,pero sera entonces difcilmen_
U
Qu ciebaesperarse,entonces, de los nuevos axiomas? Desde te manejable, y no tiene sentido, en cualguier caso, aadir axiomas
.o
luego, consistencia e independencia y, a ser posible, completitud. y axiomas si ya pueden deducirse cle unos pocos. En 1889 el ita-
ftr
J Como hemos apuntado ya, un conjunto de axiomas se dice consis- liano Giuseppe Peano a.riorrratizla aritmtica, introduciendo los
tente cuando de ellos no pueden deducirse simultneamente una siguientes cinco principios, que se han mantenido hasta la fecha,
OJ propiedad y su negacin. Las teoras inconsistentes terminan de- sin ms que sustituir el uno por el cero:
P
o_
.(u negacin es un teorema de la teora. una frmula tal que ni ella ni Pese a su rechazo sceral del nue-
U
u) su negacin son teoremas se llama indecidible. As, en los sistemas vo mtodo axiomtico, Gotttob Frege es
u completos no existen frmulas indecidibles, y lo verdadero coil-tci- considerado de forma casi unnime el
vl
de con lo demostrable. Mientras Frege crea que la existencia de padre de Ia lgica moderna. En el prlo-
modelos matemticos de una teora depencla fundamentalrnente go a Begriffsschrift, eine der arithmetis-
de qu objetos componen el Universo -le gustaba utilizar este argu-
1J
chen nachgebildete Formelsprache des
rg
U mento para defender que slo hay una geometra posible porque reinen Denkens (ldeografo. Un lenguaje
slo existe un mundo-, otros maternticos de la poca, en la lnea de frrnulos, similar al aritmtico, para el
'o
de David Hilbert, con el que Frege mantuvo una agria polmica, eran pensamiento puro), publicada en 1879,
: de la opinin de que la existencia dependa de la consistencia: una Frege sita su proyecto en la estela de la
teoa consistente genera obietos que la verifican. En otras palabras: lingua generalis leibniziana, y lo explica
(U 6ott'.ob Frege
con una bella metfora:
LP
"Cada teora no es sino un tinglado o esquema de conceptos
"Creo que la meior manera de ilustrar la relacin de mi escritura
iunto con ciertas relacionesnecesariasentre ellos, y sus elemen-
tos bsicospueden ser pensadosarbitrariamente.Si entiendo por conceptual con el lenguaje de Ia da es compararla con la relacin
puntos,rectas,planos cualquiersistemade cosas-por ejemplo, el del microscopio con el ojo. EI ojo es muy superior al microscopio,
sistemaformado por amor, ley, deshollinador-,y consideroque to- si consideramos el alcance de su aplicabilidad o la flexibilidad con
que se acomoda a las ms distintas soluciones. Sin embargo, con_
dos mis axiomasresultanvlidosparaesascosas,entoncestambin
resultanvlidospara esascosasmis teoremas,como, por ejemplo, siderado como aparato ptico muestra muchas imperfecciones, de
el de Pitgoras.Cada teorapuede ser aplicadaa una infinidad de las que apenas nos damos cuenta debido a su ntima conexin con
nuestra vida espiritual. En cuanto nuestras metas cientficas plan_
sistemasde elementosbsicos",
tean grandes exigencias a la precisin de la distincin, el ojo se
como l mismo escribe en una carta a Frege. Para explicar estas muestra insuficiente. El microscopio, por el contrario, est perfecta_
c
posiciones enfrentadas, el filsofo de la ciencia Ulises Moulines mente adaptado a tales menesteres, aunque precisamente por ello =
distingue tos sistemas axiomticos "de estilo edencial-concreto", no es aplicable a los dems."
C
que seleccionan unas cuantas verdades prioritarias sobre las que a
u9
o
se fundan las dems proposiciones, de los de tipo "democrtico- Paraactuar de microscopio, el filsofo alemn introdujo algu-
abstracto", donde todos los enunciados de la teoa son candidatos nos conceptosbsicospara el desarrolloposteriorde la lgica;as, a
igualmente vlidos para ser tomados como axiomas, siempre que es el primero que elige dos conectoresprimitivos,la negacin(-) y fi
el resto de proposiciones se pueda deducir a partir de ellos. Otros Ia implicacin "si...,entonces"( ---+),
para definir en funcin de ellos o
autores han hablado de la diferencia entre los sistemas que ponen todos los dems. Igual que no es necesarioaadir nuevosaxiomas (n
orden en estructuras ya conocidas y los que las crean por el simple a la aritmtica de Peano,estosdos conectoresbastanpara construir
hecho de hablar sobre ellas. el resto: por ejemplo, la disyuncinA v B es (- B) -+ A v no es ne-
34 35
I
r cesario incluirla como smbolo independiente. Algunos aos ms tinguir los conjuntos finitos de los infinitos,aunque Cantcr nunca
tarde, Frege considerara primitiva la disyuncin, y reconstruira el llegaraa dar una definicin satisfactoria.Estafalta la supliraalgu-
+J
o-
.(u condicional como (-A) v B. Adems, emple por primera vez los nos aos ms tarde su colega Dedekind,que, en un texto de lggg,
IJ
l
cuantificadores "para todo" y "existe", y distingui la lgica de pri- caracterizabalos conjuntos finitos como aquellos ,,que no se pue_
q.J
mer orden, en la que los argumentos de los predicados son objetos den poner en correspondencia uno a uno con una partepropiade
o y slo se puede cuantificar sobre trminos, de la de segundo or- s mismos". Por ejemplo, el conjunto de los nmeros naturaleses
a) den, donde los argumentos son ya predicados de primer orden y infinito porque podemosrestringirnos a los pares,asociandocada
;! est admitida la cuantificacin sobre clases. uno de ellos con su doble.
i LJ
b Como apunta Jess Mostern, "la extraordinaria importancia de Llegadosal terreno de lo infinito, gran parte de nuestra.sintui-
la ldeografo slo fue valorada mucho ms tarde", gracias sobre ciones se desmoronan;as,a la preguntade si hay infinitosmayores
ao
J todo a los esfuerzos de Bertrand Russell, que reconoci al momen- que otros,la respuestanaturalenseguidasedemuestrafalsa.cantor
to la "honestidad intelectual y el rigor diamantino" de la obra de comenz diferenciandodos potencias:el numerable, que expresa
u Frege. Gran parte de la culpa de su falta de reconocimiento -slo la cantidad de nmeros naturales,y el continuo,que viene dado
E
(j| dos alumnos acudan a sus clases en la Universidad de Jena, y a por el conjunto de puntos de una recta.Durantesu primera poca,
menudo tena problemas para publicar sus investigaciones- la tuvo consiguidemostrarque los nmerosrealesno son numerables,
el simbolismo escogido para dar forma a sus ideas. Era un conjunto y se preguntdespussi hay algn conjuntocon una cantidadcle
de signos bidimensionales, complicados de escribir y componer ti- elenrentosinterrnediaentre la de los nurnerables,Re,y la del con.
pogrficamente, que se distribuan a lo largo de las pginas del libro tinuo, que sola represental'sepor la letra c. para respondera esta
como las notas de una partitura de msica contempornea. Nadie cuestin, tuvo que cesarroilaruna teorade los cardinalestransfi-
los emple despus de Frege, pero suponen el primer punto de nitos, que bautiz con la primera letra del alfabeto hebreo seguida
partida de otras hazaas venideras. Para encontrar el segundo, ten- de un subndice. Se trataba de generalizarIa idea de nmero a la
dremos que desplazarnos hasta Halle, donde Cantor desarroll la que estamos acostumbrados:de la misma forma que puede inter_
teora de conjuntos, algo en apariencia completamente ajeno a pretarseel cero como el nmero de elementosdel conjunto vaco,
nuestra historia. el uno, Ccrrroel cardinal de un conjunto que slo posea un ele-
mento, y as sucesivamente,es posibleasignarcardinalesinfiniros
-
Georg Cantor no era lgico, sino analista; de hecho, empez a a conjuntos infinitos de distinto tamao.cantor crea que entre f{ c
inieresarse por los conjuntos para dar respuesta a algunas cuestio- y c no habra ninguno de estos nuevoscardinales:es lo que se co_
o
nes sobre series de Fourier. Cantor se pregunt qu es un conjunto noce como hiptesisdel continuo, de la que tendremosocasinde
o
con la mxima generalidad posible, y cre, a lo largo de casi vein- hablar ms adelante,cuando estudiemosel legado matemtico de rD
-
qc
o
o-
lD
l
Ninguna de estas paradojas tenda efectos
tan devastadores
como la de Russell, que surgi de improso
en la primavera de
41,
( pregunta surge naturalmente: Zest R en R? Supongamos por un
t,, momento que R perteneciera a R, entonces R no incluye a R,
+J tal y como afirma la propiedad que define Ia clase. Debemos en-
o_
.oJ tender entonces que R no pertenece a R; sin embargo, en ese
(J
r/l
CJ caso, automticamente debera estar en R, pues R contiene a to-
das las clases que no son miembros de s mismas. En definitiva,
R e R e R R, to ca1 viola el axioma del tercio excluso (un
CJ
elemento pertenece o no pertenece a un conjunto: cualquier otra
rE posibilidad est excluida), heredero directo de la idea griega de que
entre el ser y el no ser no hay nada.
.o
o_
"Todas las maanas me sentaba ante una hoja de papel en rD
El conjunto al que se refiere Russellcontiene todas las clases blanco. Durante todo el da, salvo un breve intervalo para comer, a
LN
que no son miembros de s misma. As, la clase de todos los ma- miraba fijamente la hoja en blanco. A menudo, cuando llegaba Ia -<f,
rD
temticosno es membro de s misma porque no es un matemtico, noche, la hoja segua intacta. Los dos veranos de 1903y 1904estn
pero si imaginamos el conjunto de todas las cosaspensables,s se grabados en mi mente como un periodo de absoluto estancamiento
pertenece,pues lo estamos pensando en el mismo momento de intelectual".
escribirlo.En notacin matemtica,tendamosR = {X : X SX\,yla :r
! A2
42 a
i!
J
t11 en Alemania, Frege resaba las galeradasde los Grundlagen der
o
U Arithmetih (Fundamentos de la aritmtica), donde se emplea re-
P
a
petidamente la nocin intuitiva de clase,cuando tuvo noticia de la
.4.,
LJ paradoja a travs de una carta del propio Russell:"Nada ms triste
tn
o) puede suceder a un escritor cientfico que ver cmo, despusde
L/l
o haber terminado su trabaio, uno de los fundamentos de su cons-
truccin se tambalea" -aade corpo apndice.
(u
L'
Entre 1906y 1908,Russellcrey encontraruna solucin defini-
hI) tiva al problema de las paradojasintroduciendola teora de tipos.
.o
Arrteshaba desarrolladoun anlisisde las descripciones,que per-
J
IE mita entender mejor el significado de frasescomo "el actual rey
de Francia",o "el mayor nmero primo". Tambin"el conjunto de
(u todos los conjuntos que no son miernbrosde s mismos" pertenece
a este tipo de sentenciasbien construidas,pero de referentevaco.
Una primera opcin seracondenarla,puessu aceptacinconduce
a paradojas insalvables,pero resultaraimposible saber qu ex-
presionessimilares tampoco son vlidas;era necesarioun criterio
que permitiese discernir unas de otras.SegnIa teorade tipos,las
clasesse diden en distintosniveles en funcin del carcterde los
objetosque las componen: los elementostienentipo uno, lasclases
de elementosforman un segundotipo, las clasesde clases,el terce-
ro, las clasesde clasesde clasesson las entidadesde tipo cuatro,y
as sucesivamente.La norma es que slo se puede afirmar o negar
la pertenenciade un tipo n a la clasede tipo n + l; por eso,la sen-
c
tencia R e R est mal formulada, al tratarsede un enunciadoentre =
elementosdel mismo tipo. Apoyndoseen la teorade tipos,Russell c
rD
reconstruysu sin logicista,y la puso en prcticaescribiendoen- gq
o
tre 1907y 1910,a razn de ms de diez horasdiarias,los tresgruesos
ro
volmenes que componen los Pzh cipio Mathematica. Parael ingls,
a
las matemticasenteraseran reduciblesa la lgica,pues todos sus (
Mientrastanto, la difusin de la paradoja conmocionaba todos
conceptos podan definirse partiendo de unas pocas nocionespu- a
los crculosmatemcos europeos:en Francia,Poincar,enemigo
ramente lgicas, y cualquier teorema sera deducible tambin a
de la nuevalgica,repetactorioso: "La lgicaformal no es estril; r
partir de estos principios. Sin embargo,no fue Russell,sino David
produce contradicciones".En Inglaterra,Whitehead,el maestro de
Hilbert quien puso ms atencin en cmo solucionarel problema.
Russell. anunciaba el fin "de las maanas alegres y seguras". Y
44 45
t/)
surgieran cuestiones nuevas cada da era una rama muerta de la
U
disciplina; por ello, en Pars insisti mucho en qu significaba resol-
P
o_ ver un problema -en la necesidad de dar con un argumento que,
.oJ
partiendo de un nmero finito de hiptesis formuladas en trminos
0.,
exactos, llegara a la conclusin tras un nmero finito de deduccio-
LA
nes lgicas-, y, para fijar sus ideas, escogi los veintitrs problemas
abiertos a su juicio ms importante,s, entre lOs-.qli.eafe destacar
los dos primeros, directamente relacionados con la obra de Gdel:
do en el auditorio de la Sorbona una conferencia en la que comen- elernental, donde se propona ver qu axiomas eran necesarios y
zaba dirigindose as a Ia comunidad matemtica: cules no; fruto de este trabajo surgi Grundlagen der Geometrie
(Fundomentos de lo geometra), que cosech un enorme xito. Hil-
bert pretcnda tambin inaugurar un lenguaje preciso en el que la
"ZQuin de nosotros no se alegrara al levantar el velo tras el que c
eleccin por convenio de una u otm palabra no afectara en abso- l
se oculta el futuro; de echar una mirada a los prximos avances de
luto al significado de los resultados; en este sentido es famosa la
C
nuestra ciencia y a los secretos de su desarrollo durante los siglos
carta que le escribe a Felix Klein donde asegura que ,,uno debera a
futuros? iCules sern los objetivos concretos por los que se esfor-
poder decir siempre, en lugar de 'puntos, lneas y planos', ,mesas,
zarn las mejores mentes matemticas de las generaciones venide- o_
sillas y jarras de cerveza"'. Ms adelante dedic esfuerzos simila- a
ras? ZQu nuevos mtodos y nuevos hechos descubrirn las nuevas
res a persuadir a los cientficos de las ventajas que conllevara una
centurias en el amplio y rico campo del pensamiento matemtico?"
axiomatizacin de la fsica, y se fueron obteniendo de este modo o
resultados como los cie Hamel para la mecnica clsica (1903), o
Hilbert estaba convencido de que las matemticas avanzan me- Robb en la relatidad especial (1914). En resumen, Hilbert era el
diante la resolucin de problemas, y de que un campo donde no hombre al que acudir con un problema de fundamentos.
A -7
th
o En su opinin, el descubrimiento de las tres paradojasque he-
Lj
mos mencionado tuvo una consecuencia doble: por un lado, re-
+-)
.(u quera reformular el edificio matemtico de modo que stas que-
\J
LA dasen eliminadas, pero era necesario hacerlo con mucha mayor
precisin que hasta la fecha para poder asegurarque no volveran
/t
a surgir otras contradicciones.Con este propsito, Hilbert desa-
c.J
rroll su programa a lo largo de casi veinte aos. En un artculo
aparecidoen 1926,"Sobreel infinito",argumentabaque el nico
modo completamentesatisfactoriode escaparde las paradojassin
cometer alta traicin contra el espritude las matemticasconsista
en clarificar la naturaleza del infinito, que se haba demostrado
rU
J til como constructoterico, pero no aparecarealizadoen ningn
rincn del Universoni del pensamiento racional. Si el infinito era
(U
la causa de la crisis, todas las pruebas deban ser sustituidaspor
razonamientosfinitarios. Hilbert nunca lleg a precisar a qu se C onj unto de Mandel brot.
referaexactamente,pero s dio algunos ejemplos de qu aspecto
tendran esasnuevas matemticas;as, demostr que la estructu-
ra = (N, *, l), con cinco axiolnasy un par de reglasdeCuctivas
forma una teora consistente.Pero se trataba slo de una "mnima iQuin no lo habra imaginado?
aritmtica, como una franciscanaflorecilla", y era difcil intuir de
qu manera podran extenderseestos razonamientosa estructuras En definitiva, Hilbert tena Ia esperanza de que lo verdadero fue-
mucho ms complejas. ra equivalente a lo demostrable: si la isla de las verdades tena forma
de circunferencia, los teoremas se ian aproximando infinitamente
Hilbert se dio cuenta tambin de que -bastabacon probar la a ella, como una sucesin de polgonos inscritos; y, al pasar al lmi-
consisterrciade la aritmtica de Peano, porque a partir de ella, te, el velo del futuro quedara descubierto para siempre. Con sus C
usandorazonamientosestrictamentefinitarios,podrademostrarsela teoremas de incompletitud de 1931, Kuri Gdel demostr que ese =
consistenciadel anlisiso la geometa.Pero,mientrasla geometrase archipilago soado por Hilbert era en nealidad una nsula extraa, c
habaaxiomatizadodesde la aritmtica,nadie sabamuy bien sobre de costas abruptas y salientes tan irreguJaresque, a cada intento de oq
o
qu teorapoda demostrsela consistenciade la aritmtica. La con- cubrirlos, se fragmentaban como un fraclal huidizo. o_
tribucinms destacadade Gdelen esteaspectoserahacer hablar
E
de laaritmticaalospropiosnmeros,medianteun cdigoque luego Para ello, tuvo que considerar primero que los enunciados ma-
!
LN
se llam gdelizacin An as, no haba razones para el optimismo temticos eran simples cadenas de srnbolos que se manipulan de o
con el que Hilbert se dirigi de nuevo a los matemticos algunos acuerdo con unas reglas de transformacn formales. Con este en-
F
aos despus:"No hay ningn problema irresoluble.En lugar del foque sintctico, podra guardar en rni, ordenador dos borradores
I ridculolgnorobimus,nuestrocredo es: 'Debemossaber,sabremos"'. distintos de estas pginas, llamndolos "captulo dos" y "captulo 2",
AA 49
&.
( en contactodos parcelasseparadas:las expresionesde un lenguaje
o
U y los objetosa los que se refieren esasexpresiones.
P
.(U
L,, Gdel abri la distincin entre la sintaxisy la semnticade las
l
OJ matemticas con su tesis doctoral de 1929,en Ia que estableca
r el teorema de completitud: en el sistemaaxiomtico de la lgica
- de primer orden, si una afirmacin es verdadera,entoncespuede
E demostrarse.A este resultadopositivo,sin embargo,siguierondos
(It
(J teoremasde incompletitud con los que el segundode los veintitrs
problemas de Hilbert quedaba resueltoen sentido negativo:en un
.o
sistemaaxiornticoaparentementetan sencillocomo la aritmtica
rg usual, sobre Ia que Russellhaba construido los Principia Mathe-
J
siglo ! si bien haba que esperar hasta 1243para que el rey con-
f cediera prilegios a esta antigua aldea, donde haba comenzado
s a establecersepoco a poco un grupo de comerciantesgermanos;
!)
3
9:
53
s
3
E
J
LN
seguan siendo minora, pero controlaban una parte sustancial de po llegaraa ser copropietarioy accionista.Por la correspondencia
U
las finanzas. A mediados del siglo XVI la Reforma se extendi rpida- conservadapor sus hijos sabemosque poseaderechossobre va-
P
o_
.qJ
mente, conquistando tambin a una aristocracia que haba hecho rias patentesy que trabaj hasta sus ltimos das en la mejora de
U odos sordos a la advertencia de los Habsburgo de que no hay sal-
t las tcnicasdel sector.
vacin fuera del catolicismo. Estas y otras tensiones acumuladas
|.n
: condujeron a la Guerra de los Treinta Aos, que asol Europa cen- El 22 de abril de I 90 I Rudolf Gdel contrajo matrimonio con Ma-
g) tral entre 1 618 y I 648 y dio lugar a que las tierras se incorporaran al rianne Handschuch. Su familia comparta con los tos AnnayAugust
o
imperio y pasasen a ser gobernadas desde la capital. Ya en el siglo el nmero nueve de la calle Bckergasse (hoy Pekarsk), un edifi-
fE
U XX, cristaliz con fuerza un sentimiento nacionalista que llevaba cio con patios donde se reunan los vecinos para conversar o tocar
bo siglos fragundose: varios lderes polticos, con Tornas Masaryk a la msica. Los Handschuh, procedentes de la cuenca del Rin, tambin
cabeza, huyeron del pas y fundaron en Francia el Consejo Nacional se dedicaban a la industria del cuero, lo que facilit la relacin entre
J Checoslovaco, que, tras la derrota austriaca en la Ftimera Guerra ambas familias. Adems, Gustav, el abuelo materno de Gdel, era
Mundial, se convertia en el primer gobierno del nuevo estado de un personaje bastante conocido en Brno por su participacin en
a)
E Checoslovaquia. Aun as, la inteligentsia y la alta sociedad estu- la vida pblica: haba ay'r-rdadoa fundar el servicio de ambulancias
eron en todo momento del lado de los alemanes: Gdel nunca e intervino en otras muchas empresas. Tuvo que trabajar mientras
llegara a aprender checo, y hasta que le fue concedida la naciona- estudiaba y, como no disporra del dinero suficiente para adquirir
lidad austriaca, en 1929,sigui confesando sin tapujos que se senta los libros, en varias ocasiones se vio obligado a copiarlos a mano,
un exiliado. o a memorizar sobre la marcha las e-xplicaciones del maestro. Por
eso, se propuso dar la mejor educacin posible a la madre de Gdel
Los antepasados de nuestro protagonista de los que tenemos y sus hermanos, que estudiaron en el Liceo Francs con los hijos
E
noticia proenen, tanto por el lado paterno como materno, de de las familias ms influventes. =
Bohemia y Moravia, y haban recalado en Brno atrados por su inci- =
=r
piente industria textil. A finales del siglo XIX la ciudad era uno de los Marianne haba nacido el 3l de agosto de 1879 y, a diferencia o
principales focos industriales de Austria, que haba seguido el ejem- de su madre, que cultiv siempre una tristeza sostenida, pas una
plo alemn y gozaba de una economa floreciente. Josef, el abuelo infancia muy feliz en el paisaje seguro de aquella Europa de final -
_a
c
de Gdel, se suicid cuando su hijo Rudolf Gdel era todava muy de siglo; slo tras la muerte de su marido, y la de algunas amigas
joven, y esto, aadido a la escasez de recursos de la familia, deter- (+
en campos de exterminio nazi, comenz a envoiverse en un halo
min que no fuera su madre, sino sus tos Anna y August quienes lo de melancola. Sus hijos la recuerdan contemplando absorta los
educaran. En sta de que no poda con las exigencias acadmicas, ejercicios de los patinadores sobre hielo, cuyo milagroso don del
F
pronto decidieron dar al muchacho una formacin ms prctica en equilibrio la sorprenda a cada paso. Le gustaba tambin charlar LO
una escuela profesional. Con el cambio, Rudolf mostr un talento hasta bien entrada la noche, o montar representaciones de tea- I
que haba permanecido oculto hasta la fecha, gracias al cual ob- tro, aunque su especialidad era acompaar los lieder de Schubert
l.J
tuvo su ttulo con sobresaliente y se puso a trabajar en el taller de o Strauss al piano; de hecho, durante toda su vida lament que ]:
Friedrich Redlich, donde permaneci hasta su muerte. No era un ni Rudolf ni el joven Gdel se aficionaran a la msica. Fue una
empleado corriente: la empresa lo apreciaba mucho y con el tiem- mujer de gran cultura, cuya biblioteca contena toda una seccin
54
.'qF
r/l
dedicada a Goethe y que, tras el ascenso de los totalitarismosen abierto camino en un terreno hostil y haba pasado en poco tiem-
Europa, ley cuantos libros de poltica e historia cayeron en sus po de empleado menor de la industria a copropietario de uno de
P
o_ manos para tratar de comprender las causas del desastre.Saba los talleres ms prestigiosos.El padre de Gdel, ms distante, no
'C.)
LN
de memoria muchos poemas, y prefera las lenguasen las que las dej nunca de admirar la cultura y los encantos sociales de su es-
qJ
cosasse aprendende corazn ("by heart", "par coeur"), por la ex- posa, adems del cario con el que lea o cantaba para sus hijos.
(/)
traa intimidad que se estableceentre la razny el sentimiento.Sin Arrrbos permanecieron toda su da muy unidos a su madre y, cuan-
a embargo,no perdi nunca su interspor los asuntosdomsticos: do la distancia los separ, le escribieron multitud de cartas: a los
<)
durante la Primera Guerra Mundial invitaba al menos una vez por cuatro aos Gdel an lloraba desconsoladamente cada vez que
rs
semanaa un amplio crculo de amistadesy, aunque tena sirvientes Marianne sala a hacer algn recado y, en opinin de varios de sus
b
encargadosde la comida, era ella quien supersabacada detalle colegas, siempre necesit tener detrs una figura protectora. Con
del evento. el padre, que dedicaba la may'or parte del da a sus negocios, la
CE
J relacin fue menos clida; pero gracias a sus esfuerzos pudieron
disfrutar de un nivel de vida muy elevado para la scciedad de la
a)
c poca (basta pensar que condujeron uno de los primeros Chrysler
de toda Austria).
=
de Rudolf. Marianne haba sido educada en un rgido protestantis-
=r
mo, y su marido era nominalmente catlico, aunque ninguno de
los dos iba a misa con frecuencia, y todo apunta a que se trat de
una ceremonia pro forma. En casa se celebraban la Navidad y otras -
_c
c
fiestas religiosas, pero los Gdel decidieron criar a sus hijos como
librepensadores: el mayor fue siempre agnstico, y la postura de -+
L a fa mi l i a Gde1.
Gdel cambi varias veces con el paso del tiempo. En un cuestio- o
nario remitido en 1975 por el socilogo Burke D. Grandjean, que
Tras la boda, los Gdel se mudaron a la calle Gomperzgasse constituye una fuente valiossima para sus bigrafos, contestaba O
(actualmenteBezrucova),donde el 7 de febrero de 1902naci su ser "ms desta que pantesta, ms identificado con Leibniz que I
primer hijo, Rudolf.AI hacer recuento de su da setentaaios des- con Spinoza". Y en los ltimos aos lleg a la conclusin de que
l!
F
pus, seral mismo quien reconocieseque el matrimonio de sus en los fenmenos religiosos haba mucha ms racionalidad de la
padres "no fue una cuestin de amor, pero estuvo siempre lleno que se crea: el cristianismo, adems de contarse, poda ser ex-
de afecto y simpata". Marianne admiraba cmo Rudolf se haba plicado.
56 57
o El seircr Por qu
Lj
L1
alta de la colina spielberg, un oasis de verdor en el paisaje negro
de la industria. La casa, recin cnstruida, tena tres pisos, adems
CJ
de un precioso vestbulo modernista: la familia viva en la planta ,:
.U
U baja, la primera estaba reservada para la ta Anna 1'en la superior se
bo
.o construy un apartamento que slo ocupara Pauline, la hermana
soltera de Marianne, una vez terminada la Segunda Guerra Mundial.
rs
J Dos perros solan corretear por un jardn con rboles frutales, sobre
el que Marianne escribi alguna vez un verso tan hermoso como
CJ ,,Morir no sera tan terrible como perder la primavera".
E decadente:
t, En la azotea, Rudolf y Kurt pasaban muchas horas jugando con K urt C de1, a 1a derec ha, rj ra c on fi j ez a
un telescopio, con el que apuntaban a los pinculos de la catedral a 1a c mara, ac oi npaac i c por s u i -reTmanoR uc i ol f.
gtica de Brno y en algunas ocasiones conseguan ver partir los
trenes de la estacin de Viena.
De la infancia de Gdel, su hermano recuerda sobre todo la
costumbre de preguntar por la razn de cualquier cosa: con cinco
C
aos, la familia ya se diriga a l cariosamente como ,,der Herr
Warum" (el seor Por qu), y se conservan varios retratos en ios :
:JI
que mira a la cmara con una fijeza poco corriente, tratando de
averiguar tal vez los secretos de Ia fotografia. =
_o
C
Como gran parte de los nios, Gdel supona que todo tiene
una explicacin; por eso, sus dudas no se limitaban a fenmencs
-
cientficos de causas fciles, sino que le interesaba tambin el posi-
ble orden de lo impredecible: por qu al lanzar un dado sale cierto
La casa de 1os GodeI
a1 pi e de 1a col i na nmero o cules son las probabilidades cle que llueva de aqu a un
S pi el berg en B rno ao. Ms que preguntas embarazosas -aunque una vez interrog a
una intada sobre el tamao de su nariz-, Gdel elega cuestiones r.c
l!
que todos consideran carentes de respuesta. piaget y otros psiclo- F
miten. Gdel las mantuvo durante toda su da, convencido de que nos, Brno quedaba lejos de los campos de la contienda, los nios
o
(J
el caos es una apariencia errnea. Tras su muerte, se encontraron eran demasiado jvenes para enrolarse en el ejrcito, y Rudolf tuvo
+J
varias anotaciones en las que recoga catorce principios fundamen- la fortuna de no ser llamado a filas. Pese a ello, sus concciones
.cJ
LJ
tales para entender la realidad, con enunciados que recuerdan al polticas Ie haban llevado a inverlir mucho dinero en prstamos de
(
(J
Wittgensteirr del Troctatus: el primero aseguraba que e/nuffitloesra- guerra, que perdi tras la derrota de los Habsburgo. Se redujeron
"+ !n
consl.Esposible que esta fuera una de las razones que Io llevaron, de esta forma los ingresos de la familia, pero los Gdel pudieron
?
I
como veremos, a abandonar sus estudios de fsica para adentrarse conservar l;) casa, y ei cambio de nivel de da no lleg a afectar a
OJ
o la educacin de los chicos. Tarrtoes as que lo nico que recordara
por las matemticas, donde l vea todo en orden: ,'Podtmlsrcuutirlo
rg
msnosobreln rutldndl -pregunta en una carta. Gdel aos ms tarde fue cmo los partes de guerra incrementa-
recuperacin haba sido absoluta, el seor Por qu no puedo evitar estudios: el primer curso, la clase de Gdel tena noventa y dos estu- =
f
leer todos los manuales existentes al respecto, y entre ellos los que diantes, pero en 19l 8 el nmero de asistentesya se haba reducido a
=
describan con detalle secuelas terrorficas. Vi desde entonces treinta y seis,entre ellos una nica chica. Gdel se senta atrado por
con el presentimiento de que su corazn se haba sto afectado por todas las materias, pero le interesaban ms las lenguas que la histo- f
_o
la enfermedad; esto le condujo a faltar mucho a clase (entre veinte ria o la literatura.Sigui sacando las mejores notas, con la excepcin c
y treinta das al ao), y a que en el curso siguiente fuera eximido de de imatemticas!, en las que los primeros informes dan cuenta de t
practicar educacin fsica; an as, sus calificaciones no bajaron. un notable, tal vez a causa de su edad. Sin embargo, sus com- -f
se percibira al mismo tiempo un cambio ms sutil -pero de conse- sin hacer uso de la pesada maquinaria de las coordenadas ("Sobre
cuencias no menos duras- en los valores de ese "mundo de ayer" la inmersibilidad isomtrica de cudruplos de puntos en la super-
que describa Stefan Zweig en sus memorias. Mientras tanto, al me- ficie de una esfera" y "Discusin sobre geometra diferencial sin
60 61
'j
li Como seala Douglas R. Hofstadter en su interesante Gdel,
LN
coordenadas", 1933). A los diecisis, al estudiar en profundidad la
U Escher, Bach. Un eterno y grcil bucle, nuestro protagonista dio
obra kaniiana, le impresion muchsimo su descripcin de cmo se
1J sentido matemtico a los bucles que se esconden desde tiempos
o_
.cJ
construye el conocimiento a partir de las sensaciones ms bsicas.
tl
inmenroriales en la msica, el arte o las palabras. Un paseo por el
rtl
q) diccionario no habra sido mala fuente de inspiracin. ZFueas como
Latn y francs eran obligatorios, y Gdel escogi la lengua de
rt) intuy los lmites de Io decidible?
Shakespeare como optativa. El checo era todava un idioma en pro-
OJ
ceso de normalizacin, despus de que su uso se hubiera limitado
En cuanto a las ciencias, por los cuadernos de notas conser-
durante siglos al mbito de la agricultura; tena entonces la vitalidad
rE vados sabemos que el programa de matemtica.s cubra el lgebra
U de las palabras que se oyen por prirrrera r"ez,yMadimlr Holan haba
elernental, la geometra descriptiva del plano y el espacio, y nocio-
b
.o comenzado ya a escribir algunos de los mejores poemas del siglo
nes rudimentarias de clculo en una variable. Ms que en deduc.
XX en esa lengua. Sin ernbargo, Gdel no se interes por aprenderla
cicnes del estilo de las de Euclides, los maestros ponan nfasis en
: ni siquiera cuando se convirti en el idioma oficial de checoslova-
mtodos constructivos para levantar perspectivas, dibujar poliedros
quia, y sus profesores se sorprendan de no haberle escuchado una
o proyectar cilindros. Otras asignaturas que curs durante su estan-
sola palabra en checo. No hay duda de que este rechazo respon-
qJ
62 63
rqlF
(n
o ioven Gdel, aunque en el cuestionario de Grandjean, a la pregunta origin varios conflictcs con su padre. En una de esas salidas de
(J
de qu influencia destacara como especialmente importante para domingo, sin embargo, ley e interpret con Marianne una pgina
+)
o_
.(u el nacimiento de su inters por las matemticas, contest con una de la biografa de Gethe escrita por Chamberlain que hablaba de
LN
escueta referencia a un libro introductorio al clculo de la editorial la teora del color del escritor alemn y de cmo entraba en conflic-
A)
Gschen. to directo con la descomposicin mediante un prisrna hecha por
tn
Newton; aos despus consideraraeste descubrimiento como fun-
u No debemos olvidar otra de las asignaturas que Gdel curs en darnental en su eleccin del estudio de la lgica. Sabemos que tuvo
el instituto y que desempeara urr papel importante en su da, al menos dos amigos: Harry Klepetar, su compaero de pupitre, y
.o
IJ al tiempo que ha dificultado muchsimo la tarea de quienes traba- Adolf Hochwald, con el que jugaba al ajedrez.
'o
jan sobre sus archivos: el sistema de taquigrafa Gabelsberg, que
emple primero para tomar apuntes, y luego en la preparacin El l9 de junio de 1924,Gdel se gradu con sobresalienteen el
rE
de artculos 1'conferencias. Actualmente, el uso de estos mtodos instituto: su nombre era uno de los cuatro que aparecan en negrita
est restringidoa ciertos pases,y al mundo de los negocios o el de- en el anuario, distincin reservada a los mejores estudiantes. En
CJ
recho, pero en la Europa de la primera mitad del siglo pasado era palabras de su hermano, por aquel entonces Gdel tenaya un nivel
(9 comn que los cientficos lo aprendiesen para agilizar en la medlda de matemticas similar al de un licenciado, por lo qrre podra haber
de lo posible la escritura de sus textos: tomaban as notas e incluso empezado directamente los cursos para doctorarse. Sin embargo,
a veces escribancartas con este sistema. No debemos imaginarnos al trasladarse a la Universidad de Viena, donde Rudolf llevaba ya
un estilo de escritura criptogrfico, como el de la mquina Enigma, cuatro aos estudiando medicina, se matricul en fsica en lugar de
pues su uso estaba demasiado extendido como para que a alguien hacerlo en matemticas.
se le ocurriera proteger as la informacin del enemigo. Existan C
=
dos sistemas diferentes, el Gabelsberger y el Stolze-Schrey,que se
f
unificaran unos pocos aos despus de que Gdel aprendiese el
fl
-f
lleg a convertiren bienes de lujo productosde primera necesidad rD
f
como el carbn o el trigo. Por eso Marianne procuraba llevarles o_
comida a sus hijos a menudo, mientrasse haca a la idea de que N
OJ
5
:5
g
tn
nuto.Antes de mudarse,nuestroprotagonistahaba tenido contacto su mnima expresin: no slo no era necesaria preparacin algu-
(J
con la ciudad graciasa varias sitas de fin de semana, y tambin na para acceder a la universidad, sino que los estudiantes podan
+-r
o_
.qJ
por medio de Rudolf y de las crnicas de sociedad del peridico inscribirse en todas las asignaturas que creyeran oportuno. Para
U NeueFreiePresse,que le gustabahojear.
{.n comprobar si su eleccin haba sido correcta, disponan de las hos-
a)
pitieren, varias semanas al inicio del curso en las que eran libres
u)
Peseal descalabrode su economa, la herencia cultural y los de cambiarse de clase antes de pagar la matrcula. Tampoco haba
OJ
monurnentos arquitectnicosque transforrnaronla Viena de fina- exmenes ni se ponan notas, y la diferencia entre los graduados y
les del XIX en el centro metafrico del mundo haban permanecido los que an no lo eran casi se limitaba a una cuestin de edad. El
IJ intactos durante la guerra, y la universidad conserv siempre su nico requerimiento para obtener ei ttulo era una prueba de habi-
bD
.o prestigio.Basadaen el modelo germano,su estructuradescenda litacin al final de la carrera, que se dejaba en manos del estado,
directamente de la de los centros de enseanzamedievales: as, y que sola requerir tres o cuatro aos de estudio en uno o varios
de las cuatro escuelas,tr-esestaban consagradasa la formacin centros distintos. De hecho, era costumbre que los alumnos ms
tcnica (teologa,leyes y medicina), y slo la facultad de filosofa brillantes cambiaran varias veces de universidad, atrados por la
u pona el nfasispreciso en la "investigacinlibre en las artes libe- fama de algrin psstor que enseaba en ellas. As, John von Neu-
(9 rales y las ciencias".Los estudianLesasistana escuelasdiferentes mann, al que volveremos a encontrar ms adelante, fue admitido
en funcin de hacia dude encaminaran su futuro, y era habitual, en la Universidad de Budapest, pero en la prctica slo se exami-
hastaque los nazis lo prohibieron,que se reunieran en fraternida- naba all: asistaa las clases de Einsteinen Berln y a los seminarios
des. En cuanto a ios mtodos docentes, Hermann Weyl recuerda de Hilbert en Gttingen, y ms tarde se matricul tambin en la
que solan combinarselas clasesmagistralescon la resolucin de Escuela Politcnica de Zrich, donde coincidi con su compatriota
ejerciciosen los laboratoriosy los seminariosde investigacin,con- Georg Plya. Naciie llegaba a comprender este extrao don de ubi-
ducidos por los Priuatdozenl,profesorescuyo nico sueldo con- cuidad del hngaro, que frecuentaba tambin los cabarets y tena fl
sistaen las pequeastasasde inscripcinque estabanautorizados fama de bon uiuant. Gdel, sin embargo, estudi siempre en Vie-
tn
a cobrar a los asistentes.Los profesorescontaban a menudo con na, de donde no quiso salir por las frecuentes sitas de sus padres
la ayuda de colaboradoresjvenes que se encargabande resolver y Ia posibilidad de compartir apartamento con Rudolf, que haba OJ
-o
.-\
Ias dudas de los estudiantesy calificar sus ejercicios,pues las cla- encontrado un piso en la calle Floriangasse lo suficientemente am-
=
ses eran muy numercsas:las de Philip Furtwnglersobre teora de plio como para que los dos hermanos durmieran en habitaciones o_
nmeros podan llegar a congregar a trescientoso a cuatrocien- separadas. La calidad de la facultad de matemticas de Viena, don- N
OJ
tos aiumnos.Furtwngler,sobrino del famoso director de orquesta, de enseaban por aquel entonces Wilhelm Wirtinger, Hans Hahn, rD
slo enseabala asignaturacada tres aos, en alternanciacon sus Alfred Tauber, Ernst Blaschke, Eduard Helly, Josef Lense, Leopold
clasesde lgebray clculo diferencial;Gdel tuvo la suertede asis- Vietoris y Lothar Schrutka, no fue, en principio, un factor decisivo. \)
queo7tlufica,y, al parecer,fue este el detonante
tir a ellas,Iasnejores s
de su cambio de vocacin. Dado el carcter peripattico de la formacin de muchos de los
mejores estudiantes, se dise una especie de pasaporte acadmi- \o
Cuestaimaginar,ahogadosen las modernas burocracias,que co, elMeldungsbuch, a efectos de guardar registro de las asignaturas
tuese xito un sistema donde las normas quedaban reducidas a en las que se haban matriculado. No se conserva el de Gdel, pero
6B 69
s se ha podido reconstruir con cierta exactitud el listado de cursos
U
a los que asisti; la cronologa es, en cualquier caso, confusa, pues
+J
o_ sola tomar apuntes de distintas materias en el mismo cuaderno y
.(u
escribir sus reflexiones en los mrgenes vacos. Se conservan notas l l ori tz S c hl i c k (1882-1936).
OJ A s es i nado en L9l 6 en 1as es c al eras
de un curso sobre filosofa europea dirigido por Heinrich Gomperz
rJ) de ta Fac ul tad de Fi l os ofa de-l a
o en el inerno de 1925, en el que, tras cubrir la historia del pen- U ni v ers i dad de V i ena P or
samiento occidental hasta la Reforma, los asistentes habran ledo J ohann N el bc k , qe habj a
o)
E es tudi do i natemti c as Y
textos de Descartes,Leibniz, Spinoza, Kant, Hegel y Schopenhauer.
fU fi tos ofj a j untc a Gde1
(J De fsica slo queda constancia de que asisti a un curso sobre la
bD
.o teora cintica de la materia en 1926, aunque las fichas conserva-
das en los archivos de la biblioteca de la universidad ilustran cules en bandeja de plata. La lectura de revistas y el uso de las mesas de
rs
J fueron sus lecturas del momento: los escritos de Riemann sobre billar y los juegos de ajedrez no supona coste adicional alguno para
ecuaciones diferenciales en derivadas parciales y sus aplicaciones, los clientes, que tenan tambin a su disposicin tiles de escritura;
u la introduccin de Euler al anlisis infinito, la Mecnica analtico de adems, los parroquianos podan solicitar que el correo les fuera
L' Lagrange, junto a otros textos de Dirichlet y, cmo no,los Elementos enado a su caf favorito, y muchos locales tenan un servicio de
de Euclides. guardarropa. Otros contaban con enciclopedias al alcance de los
escritores que quisieran trabaiar all: era el caso del cafe Grierrsteidl,
que frecuentaban Arthur Schnitzler, Hugo von Hofmannsthal y Ste-
El Crculo de Viena fan Zweig. Sus mesas de mrmol constituan un soporte tan bueno
para las ideas como Ios peridicos o las publicaciones cientficas.
=l
En la segunda mitad del siglo XIX, entre el centro de Viena y los
Ln
barrios residenciales de la periferia se erigi la Ringstrasse, una ave- En un caf de estas caractersticas comenz a reunirse cada a_
nida circular con edificios monumentales (la universidad, el teatro jueves un grupo de filsofos y cientficos, que se hacan llamar So-
OJ
de la pera, el parlamento), que encerraba toda la vida intelectual ciedad Ernst Mach. I\lach haba descubierto la importancia de los c
f-D
en un rea relativaurente pequea y de fcil acceso. Tarnbin all se canales del odo interno para el equilibrio, y logr fotografiar balas =
o_
fueron estableciendo poco a poco los mejores cafs de la ciudad, que viajaban a velocidades supersnicas. Sin embargo, enseguicla
N
que con el tiempo daran a Viena un toque distinto del de Londres o centr su atencin en la filosofa: era muy crtico con la metafsi- OJ
Pars.Cuentan que el origen de esta autntica institucin austriaca i ca y admiraba a Hume por haber puesto de relieve el abuso del rD
se remonta al hallazgo de grandes cantidades de caf abandonadas concepto de alma; para 1,igual que el dios de Laplace, el yo era H
(o
por los turcos tras el sitio de Viena de 1683.Al margen de lo verda_- una hipiesis que no necesitaba. La atraccin que muchos miem- l'.J
s
dero de esta historia, en 1900 los cafs se haban convertido ya en bros del grupo sentan por las ideas de Mach no impidi que pronto
clubes informales, espaciosos y bien amueblados, donde el precio cambiaran su nombre por el deWener Kreis, el Crculo de Viena. l..J
de admisin quedaba reducido al de una taza de caf; a cambio, Surgi de este modo uno de los movimientos fundamentales de la
los clientes tenan derecho a permanecer en el establecimiento du- filosofa del siglo XX, opuesto de raz a la doctrina de Heidegger,
rante el resto del da 1' recibir, cada media hora, un vaso de agua que otros consideran el pensador ms destacado de su poca- El
11
rtl
1
:
!
u) cabecilla del Kresera Moritz Schlick, un berlins formado como ron a entender qu atractivoencontrabanellos en estasdisciplinas
U completamenteajenasa la ciencia;de hecho,pareceque la ruptura
fsico bajos las rdenes de Planck, y entre los asiduos,unos vein-
P
3 te, destacabanOtto Neurah,socilogo,economistay filsofo de la de la amistad entre Carnapy Wittgensteinse produjo despusde
.U
l
ciencia; Rudolf Carnap, que haba sido alumno de Fregeen Jena; que el segundoencontraseun libro sobre fantasmascuando curio-
4)
Philip Frank,fsico;Heinz Hartmann,psicoanalista;y, por supuesto, seabaen la bibliotecadel matemtico austriaco.Mientrastanto, en
o Gdel.Karl Poppery Ludwig Wittgensteinslo se reunan con ellos Viena proliferabanlos mdium, y lleg a organizarseun comit de
a) espordicamente. investigacin sobreel fenmeno,del que se conservaun memoran-
do. La madre de Gdelse rnostrsiempremuy crticacon el inters
t!
Pesea susinteresescomunes,los miembros del Crculocubran de su hijo hacia estostemas,a lo que l contestaba:tutt,crstestnts
un arnplio espectrode personalidades;no es de extraar,por tanto, cutjtrstficn,ln,
sobretotlo,por lo rtfclqucrcsultddstingurlos_fintrentts
gt:,
que fuerantan distintaslas relacionesque mantuvieronentreellos. nutnsde lqsrnezcls tlefi'autle,
cretluiclady estufiz1...1perotl sntdo ,lel
itr
J Todoel mundo reconocala extraordinaria lucidezde Schlick,pero, _frunk n0 cs qlt(sintukt,snoqut enflL7s(rn
losresult/,os
t'erdarlert,s.
An as,
mientras para algunos era un hombre clido y modesto, otros no Gdel sigui interesndose por ellos durante toda su da: no cons-
CJ
soportabansu talante aristocrticoy conservador,casi dogmtico. ta que fornrara parte del comit, pero s ley nruchos libros sobre
(,, Carnapy Neurath eran, por su parte, grandsimosamigos, aunque la materia, y crea tambirr en la capacidad de algunas personas
de caracteresopuestos:si el primero era inttovertido,cerebraly -entre ellas su mujer- de predecir los nmeros que apareceran en
sistemtico,Neurath tena fama de vo e ingenioso-haba ideado una ruleta o de comunicarse telepticamente. Su amigo Morgens-
un sistemade dos mil smbolos,que llam rsotrpos,para enseara tern sola recordar la sorpresa de Gdel ante el hecho de que la
leer a los analfabetos;y l mismo firmaba sus cartascon el isotipo ciencia hubiese descubierto las partculas subatmicas elementa-
de un elefante.Adems,en su artculo"Proposicionesprotocolares" les y las fuerzas que las mantienen unidas, pero no de qu factores
nos brinda una de las definicionesms bellasde la ciencia: "somos psquicos bsicos est formado el cerebro.
o-)
como navegantesque tienen que transformarsu nave en pleno mar,
o_
sin jams poder desmantelarlaen un dique de arenay reconstruirla En un principio Schlick se haba referido a la filosofa que se
con los mejoresmateriales".Porsu parte,Carnaphabasido intado desarroflaba en Viena por aquellos aos como Aonsequenter Em- OJ
-13
--5
como FYiuatdozen de filosofade la Universidadde Viena en 1926, pirismus, pero el nombre que ha pasado a la historia es el de posi- a
=
y nada ms llegar se incorpor al Crculo.Comenz a asistira las tismo lgico. En 1929 Carnap y Neurath publicaron un manifiesto
reunionesms o menos por la misma poca que Gdel,y los dos donde exponan sus ideas principales y el Crculo de Viena que- N
OJ
reconocieronal instantela inteligenciadel otro: Carnappodallev,tr daba constituido como escuela: se organiz tambin un congreso rD
a cnbocotttodolulocledemlleslo queenalgurosescrtt's
,le nusellscpresentsbct internacional y, mientras surgan grupos similares en Berln y praga,
ts
slocotro1n'ografia,yGdel estabaa punto de revolucionarla historia comenz a editarse la resta Erkenntnis (Conocimienfo). El punto N.J
.F
de la lgica. de arranque del pensamiento del l*eis era una ctica feroz a la I
ts
metafsica y, en general, a cualquier otra corriente que sugiriera (O
NJ
Carnapy Hahn tenanun extraointerspor los fenmenospa- la existencia de un mundo ms all del que nos es revelado por
ranormales,que Gdel tambin comparti,segn se desprendede los sentidos. Luego, el anlisis del lenguaje de la ciencia dio lugar
i su correspondencia.Los demsmiembros del Kresnunca alcanza- a la distincin entre dos tipos de proposiciones con significado:
'; /2 73
{
t
fI
t
l
las analticas (las de las matemticas y la lgica) son puramente
\., sintcticas, tautolgicas; y, como nada nos dicen sobre la realidad,
P
su comprobacin se reduce al examen formal de su coherencia. Sin
-(u
U
' embargo, las proposiciones sintticas (las de las ciencias natttrales)
u se refieren a los hechos y tienen una verdad natural, que debe ser
confirmada por Ia experiencia.
c,.,
Para los positivistaslgicos, las proposiciones metafsicas sim-
rE
plemente no tienen sentido: al no ser ni analticas ni sintticas no
UD pueden ser verificadas, y su anlisis resulta absurdo. En su opinin
la tarea prir-rritariaconsista en liberar ai pensamiento de la hostiii- Lud|,l i g W i ttgens tei n
trminos carentes de sentido. prendida". Para Wittgenstein, el lenguaje es una pintura del mundo -
=
en correspondencia perfecta con l; por eso, algunas de Ias sen- o_
N
La obra que ms repercusin tuvo en el Kreis fue el Tractatus tencias ms famosas son "Los lmites de mi lenguaje significan los OJ
Logico-Philosophicus. Su autor, Ludwig Wittgenstein, haba nacido lmites de mi mundo" o "lmaginar un lenguaje equivale a imaginar ft
en Viena en 1889 en ei seno de una rica familia de ascendencia una forma de da".
juda, pero pronto se traslad a Cambridge para estudiar all ma- NJ
N
n
en Viena, slo se vera parcialmente eclipsada por las clases de tischen Kolloquiums) contribuy a editar. Sus otros dos grandes
Furtwngler. amigos fueron Herbert Feigly Marcel Natkin, con los que se reuna a
a ocupar la ctedra cie filosofade las cienciasinductivas,vacante donde adquiriracon el tiempo mucho prestigiocomo filsofode la o_
tras la muerte de su maestro Mach. Ambos comenzaron a reunir- ciencia;Natkin,por su parte,abandonla da acadmicanada ms N
o.)
se una vez a la semana con un pequeo gr!.rpode acadmicos,y', terninar el doctorado), se hizo fotgrafoen el Parsde los artistas. .D
casi sin proponrselo,pusieronla primera piedra delWiener Kreis. Aunque siguieronmanteniendo correspondencia,slo volverana
P
Slo se poda acceder a las reuniones por intacin de uno de verse treinta aos despus,en una sita de Natkin a Princeton. NJ
F
los miembros; y parece que fue Schlich,o el propio Hahn, quien
H
anirn a Gdel a que se les uniera cuando todos andaban enfras- En 1931un puado de pginassobreproposicionesformalmen-
lv
cados en una relectura de los textos de Wittgenstein.Durante dos te indecidiblesdieron la vuelta al mundo, y Gdel serarecordado
aos asistia todas las sesiones,pero dejara de hacerlo de golpe a partir de entonces como el joven genio que asest la estocada
en 1928al darse cuenta de que estaba en completo desacuerdo mortal al programade Hilbert.Sin embargo,la gloriaacadmicano
t^ 7 -7
le hizo ms feliz, pues nunca disfrut de una felicidad tan sostenida ,
como la de los primeros aos en Viena, cuando todava frecuen- ,.
P
o_
.cJ
taba los cafs y disfrutaba de la agitacin artstica de la ciudad. i;,.,
U Aunque segua siendo reservado y no le gustaba intervenir en con- t.-':l
a)
v er sa c i o n e s a j e n a s a l a s m a te m ti cas(Mengerl orecuercl acomo
LN
"un hombre de una expresin, tanto oral como e,scrita, la ma- ,,..
'de
yor precisin y brevedad posibles, que nunca tom{ba la iniciativa y 'r
u
io
sola mostrar inters slo con pequeos movimieritos de cabeza"),
ro
tuvo muchos ms amigos en el Kres-donde sus glandsimas habi- :
bo lidades fueron reconocidas inmediatamentq- que burante su etapa
de escolar en Brno.
:
En abril de 1927,sin que se sepa por qu, Gdel se traslad a
u un apartamento en la calle Frankgasse, donde permaneci hasta
el 20 de julio. Cinco das antes, el 15 de julio, una multitud de ma-
nifestantes furiosos haban quemado el palacio de Justicia, y en
la represin policial posterior murieron ochenta y nueve personas.
Tal vez los disturbios no tueran reiacin algrrna con la marcha de A del e N i mburs k y s e c onv i rti
Gdel, pero lo cierto es que no volvera a establecerse en la ciu- en A del e P ork ert des pus de s u pr i mer
matri moni o. Lues o oas ara a s er A dete Gde1.
dad hasta pasados unos meses. El 6 de octubre estaba de vuelta,
dispuesto a mudarse con su hermano a un edificio en la Warin-
Ll
gerstrasse, que le encantaba, pues en sus bajcs se encontraba el a Marianne, y la convivencia no siempre fue fcil. Cuando el nimo
o_
caf Josephinum, uno cie los lugares de reunin predilectos del de la madre mejor, comenz un proceso del que todos guardan .D
OJ
Crculo de \/iena. AII eron durante algo menos de un ao, hasta excelentes recuerdos: muchas noches acudan los tres a represen-
-
que se trasladaron al apartamento de Ia calle Langegasse donde taciones teatrales o a conciertos, que luego comentaban, sentados -
a
ms tarde su madre ra tambin con ellos. La situacin fami- en el sof, hasta altas horas de la madrugada. -_
o
liar cambi repentinamente con la muerte del padre en febrero de N
OJ
1929, cuando slo tena 54 aos. Marianne cay durante meses en el Cuando muri su padre, Rudolf ya haba completado los es- a
pozo de una depresin de Ia que sus hijos esperaban el peor desen- tudios de medicina y trabajaba en dos clnicas muy prestigiosas ts
lace; por eso, pensaron que no era conveniente dejarla sola en la (Wenckebach y Eiselberg), aunque pronto se estableci como ra- NJ
A
casa de Brno, llena de recuerdos y presencias vacas. Alquilaron la dilogo en el instituto Holzknecht. Kurt estaba a punto de terminar I
casa, y los tres se mudaron a un apanamento mayor en Josefstad, el doctorado y empezaba a ser un personaje conocido en el mundo NJ
el barrio de los doctores. Los acompa tambin la ta Anna, que acadmico, por lo que los Gdel reciban con frecuencia la sita de
haba criado de pequeo al padre de Gdel; era una buena persona, otros investigadores, venidos incluso desde el extranjero. Sin em-
pero su pesimismo y su impaciencia a menudo sacaban de quicio bargo, ni la madre ni el hermano fueron conscientes de la magnitud
78 7g
!r
de los descubrimientosde Gdel: tueron que ser otros quienesse Aunque los Gdel slo permanecieron diecisis meses en el
LJ
la sealaran,pues l sola guardar la luz de sus ideas como un apartamento de la calle Langegasse, fue all donde nuestro prota-
P
.c.J
sol interior. En general,los dos hermanos se movan en ambientes gonista recibi la nacionalidad austraca, escribi su tesis doctoral
U distintos y, aunque siempre mantueron buenas relaciones,eran y conoci a Adele Thusnelda Porkert, la hija mayor de un fotgrafo
(n
(u
muy diferentes.Contra todo pronstico,Gdel estaba mucho ms de retratos, que con el tiempo se convertira en su esposa. Cuando
t
interesadoen las mujeres que Rudolf: en palabrasde su hermano, Gdel y ella se conocieron, estaba ya casada, pero era un matri-
o) siempre "le gust mirar a las chicas guapas",e incluso durante una monio infeliz, y Adele pronto se propuso convertirse en el centro
E
ter-nporadacoma casi diariamente en el mismo restaurantepara de atencin de Gdel. El noviazgo se prolong mucho ms de lo
rs
U poder admirar la bellezade la camarera.No queda claro cundo se habitual, pues los padres de Gdel reprobaban completamente la
h
enamor por primera vez: tal vez fue la hija de unos amigos de la relacin; ante sus ojos, Adele era una mujer ilena de faltas: no slo
familia, diez aos mayor que 1,o una tal Marie de la qtre habla a estaba divorciada, era seis aos mayor que su hijo, catlicay de una
J su madre en una carta. familia de clase inferior, sino que se ganaba la da como bailarina
en el Nochtfalter, tn club nocturno ens con nombre de polilla.
En su defensa, Adele aduca haberse dedicado al ballet clsico, pe-
ro la familia de Gdei estaba demasiado influida por la creencia
comn de que una bailarina se pona al sercio del mejor postor,
a cualquier hora, por menos de doscientas coronas. De hecho, era
famoso todava por aquella poca en Viena el caso del pintor Hans
Mark, cuya reputacin haba cado en picado tras su boda, en I 881,
con una bailarina de ballet que le contagi de varias enfermedades
venreas. Rudolf y Marianne no podan imaginar peor esposa para =I
N
OJ
ID
NJ
5
ts
.J
Ad e le y Kurt Gdel
^t
i^ ^
su boda en 1938
RN
81
La sufi ci enci a de l a 1g i CA
(L929- 1930)
Iada en etapas tan distintas como la que nos presenta Gdel, hasta
c
el punto de que resulta difcil encontrar alguna relacin entre los --{r
+4
lgicaterica)de Hilberty Ackherman,donde se planteapor prime- Es posible rastrearlos primeros pasos de Gdel en el estudio
L/t
,'h IJ
+J
ravez si los axiomasy las reglasde deduccin de la lgicade primer de la lgica graciasa las fichas conservadasen los archivosde la
'* orden bastanpara obtener todas las frmulasverdaderas.Tambin biblioteca de la universidad,que indican que por esa poca ley a
.(u
'i i' r las conversacionescon Carnap y dos conferenciaspronunciadas Frege, Schlick y Leibniz, adems de los Principia Mathematicay
trl
por L. E.J. Brour,verese mismo ao en Viena fueron determinantes. un par de artculosde Skolem.No queda claro, sin embargo,qu le
condujo a interesarsepor la cuestinde Ia completitud;tal vezfuera
a)
Este toplogo dans, completamente contrario a los plantea- Hans Hahn, su director de tesis-al que luego agradeceen una nota
mientos de Russelly Hilbert.representabaurratercerava de esca- a pie de pgina t,nrosconsejos il estetrtctlcr quien
sobreln cscrttn'rt
t
U pe de la crisisfinisecularde fundamentos:el intuicionismo,para el le propuso el problerna.En las prlmeras pginas de su disertacin
$ .o cuai la consistenciade una teorano erarazndepesopara suponer
que existenlas entidadesa las que se refiere.Susseguidorescrean
Gdel explica que el clculo de primer orden ser completo slo si
cada-frrrutla vilddpuedededwrce l0r ilrcdodeunasecuencn
delosctxonuts
-: que la mente humana slo puede realizarrazonamientosfinitarios, La completitud de una teora relaciona
_fintn,le inlferencas
fonnnles.
por lo que no aceptabanms demostracionesque las constructivas. dos conceptosen principioindependientes: la demostrabilidad, en
(J
c Muchosteoremasdel lgebray el anlisisse refierena la existencia la que est implicada la sintaxis, y la validez, donde interviene la
de ciertoselementos(por ejemplo, las racesde una ecuacin o semntica. Supongamosque, partienciode una estructura![, se
la forma diagonal de una matriz) y suelen probarsemostrando un construye una teora A, basada en un conjunto E de axiomas.Se
: absurdo que se producira si no existiesen.Para los intuicionistas
I dice que una proposicinP es demostrableen la teora,y suele t"-
estasdemostracionesno eran vlidas:haba que indicar explcita- escribirsef v P o t F P, si los axiomas pueden transformarseen
{ c
mente cul era la raz o cmo se diagonalizala matriz. Cualquier P en un nmero finito de pasos mediante las reglasde deduccin +
uso del infinito estabaprohibido, y tambin el del principio de no- permitidas.En cambio, para que P seavlidaen la estructura,2I F P, a\
a
contradiccin ,ri equivalenteal axioma del tercio excluso debemos comprobar que todos los objetos a los que se refiereP
-(A -A), :f
(A v
-). Cuandoen el segundocaptulodemostramosque existen tienen en efecto esa propiedad.As,la afirmacin de que n3 - n es
infinitos nmeros primos, la clave del argumento consistaen su- dMsible por seis sea cual sea n es vlida en los nmerosnaturales (}
poner que los nicosprimos eranpt,p2, . . . ,pn y construirel entero a
(porque cualquier entero positivo que se escriba en esa forma,
Z = pt 'pz' . .pn + 1, una unidadmayor que el productode todoslos por ejemplo, 24 o 7320,es mltiplo de seis)y demostrableen la OJ
p. Como Z no puede ser primo y compuesto a la vez, Z es primo aritmtica de Peano (ya que existe un argumento que prueba que
o es compuesto;pero Z no es compuesto,ya que ninguno de los es as).
a\
p aparece en su descomposicinfactorial, luego Z es primo. Un
intuicionistanunca aceptaraesta demostracin,sino que tratara En una teora consistente,todas las proposicionesdemostra-
de encontrar un procedimiento que permita obtener el siguiente bles son tambin verdaderas(teoremode ualidez),pero el recpro- FJ
nmero primo a uno dado. Con tantas restricciones,los seguido- co, como veremos enseguida,no tiene por qu ser cierto. Con su I
res de esta corriente a menudo terminaban enunciando teoremas teorema de completitud, Gdel mostrarprecisamenteque en Ia
opuestosa los de la matemtica clsica,como la inexistenciade lgica de primer orden ambos conceptosson intercambiables:to-
funciones discontinuas,y el propio Brouwer tuvo que renunciar a das las frmulas demostrablesson vlidas,y cualquierproposicin
la mayora de su brillante obra anterior. vlida es demostrable.Esto permite sustituirla nocin escurridiza
QA otr
,
U
nulo, con el producto usual ye = In.La teora de grupos tambin nos
proporciona un ejemplo de sistema incompleto ya que la frmula
o
.0J Yx Yy(x+y = y*x), que expresa la conmutatividad de la operacin *,
(-)
a)
es indecidible. En efecto, esta frmula no puede ser un teorema de
la teora, porque en el grupo de las matrices invertibles de orden dos:
CJ
E
U X F ,4 :e > ,E P
t ; i )l?t ) =( ?l) per . t l?)
lltit ; ;)
o
La importancia de Ia segunda forma del teorema de comple-
de verdad por la de demostracin, que es purarnente finitaria. En las
titud radica en que se demuestra as que el mtodo para probar
primeras pginas de su tesis Gdel anuncia tambin la equivalencia
la consistencia de una teora (la bsqueda de un rnodelo que sa-
lgica entre el teorema de completitud y el hecho de que todo
tisfaga los axiomas) es correcto. Para ver que las dos formas son T-
o.)
sistema formal r:onsi.stenteadmita un mocleio. Recordemos que un
equivalentes, probaremos primero por reduccin al absurdo que la
modelo es una est^lctura -formada por un universo de objetos y c
primera implica la segunda. Supongamos que el conjunto de axio-
por la interpretacin del significado de las operaciones, relaciones y
mas es consistente, pero que rrc admite ningn modelo, y sea B .)
constantes del lenguaje- donde los axiomas se realizan. En la teora
una frmula cualquiera del lenguaie. Entonces,B A se verifica =
de g ru p o s , p o r e j e mp l o , l a te rn a (G, * ,e) representarrn ccnj unto -B .)
en todos los modelos de la teora,luego es verdadera;as,I p B - B
dotado de una operacin interna *, asociativa, y tal que e es el OJ
y, por la primera for ma, I r B zr ^8.Por tanto, B y su negacin seran o_
elemento neutro y todos los miembros de G tienen simtrico. Es -
a
demostrables en t, y la teora no sera consistente,lo cual contra-
decir:
dice la hiptesis de partida. Veamos ahora que la segunda forma qJ
Yx Yy Vz [(x *y) x z = x + (y + z)l implica la primera. En efecto, supongamos que existe una frmula o.
A verdadera, pero no demostrable. En ese caso, si aadimos
V x (x x e = e * x = x ) -A
a los axiomas; la teora sigue siendo consistente. Por la segunda OJ
Y x J x -t(x * x t= x-t * x= e) forma, existe al menos un modelo B para la extensin I [-A]; pero
entonces en 6 sean verdaderas simultneamente A v lo cual
As, dar un modelo ?I de la teora de grupos significa encontrar -4.
es absurdo.
un conjunto A, una operacin xs eu interprete el significado de *
w
y un elemento e1eue haga el papel de e, de modo que (A, xu rr) O
, Sin duda, las ideas de Brouwer, que haba mostrado enrgica-
verifique los axiomas anteriores. por ejemplo, los nmeros enteros
mente su desacuerdo con que se pudieran construir modelos para
con la suma ye = 0, o las matrices de orden n con determinante no
todas las teoras consistentes, fueron un estmulo para la tesis de
86
B7
ul Gdel, aunque sigue siendo incierto cmo tuvo contacto con ellas. la obtencin de las primeras imgenesdesde el espacio.Adems,
U
Pareceque no asistia sus conferenciasen Viena,ya que, cuando aunque Gdel distinguaclaramentelas nociones de demostrabili-
P
o_
.(u en 1966la SociedadAmericana de Filosofale encargun obituario, dad yverdad, hastala publicacin delartculode Tarskinadie haba
(J
Gdel declin la invitacin aduciendo que era deltoJoncapaz, pues dado una definicin matemtica formal. No slo eso: en respuesta
OJ
s6lo hsbaysttt
s Brtntwertm yez,
en ryfi, en un viaje relmpago del a un alumno, Gdel escribe que Ln1cnceptlobjett,o tle t,erdadma-
rn
dansa Princeton.De todosmodos, l mismo era conscientede que temtcaesfctl:a 1,sttlortchazdrstrualrluier
t,stoentlnc(scln grLlnsusljc0L11,
OJ su teorema de completitud suponaun triunfo para el programa de tcltttth'ttc0nt0crrrflf
destnrt\0.Aunque el significadode los concep-
E
Hilbeft,por lo que no iba a ser bien recibidopor los intuicionistas. tos semnticos,tal y como se usan al hablar,parecaindiscutrble,
Por eso, aadi una nota donde defenda el uso del principio del muchos argumentoshaban conducido a paradojas.
bD
tercio exclusoy argumentabaque para Brouwer y su escuelael pro-
blema de la srrficiencialgicadeberaplantearseen otros trminos. Godel comenz a trabajar en su tesisdoctoral a finales de 1928,
rU
y en julio del ao siguiente la disertacin ya haba recibido elvisto
A menudo Gdel mostrabasu sorpresaante el hecho de que bueno de sus dos supersores, Hahn y Furtwngler. Todo apunta
a
o nadie antes que l hubiera demostradoel teorema de completitud. a que ni la muerte de su padre rri el ascenso del totalitarisnro que
(9 En una carta a Hao Wang, escritaen 1967,reconoce que sus resul- comenzaba a enrarecer la vida universitaria frenaron demasiado el
tados podran haberse deducido fcilmente de la obra de Skolern trabajo de Gdel. El 6 de febrero de 1930 obtuvo oficialmente el
y aade: est6cegr.ta de loslgcttsesd,- verusntrgtrntt,pero creoqueIa ttulo de doctor, pero esto no garantizaba un empleo, y tampoco r-
OJ
explcncn
no esdfcl de encontrar:sctlebeLlutiLr-fitbde la nctruilqrste- la posibiliciad de comenzar una carrera acadmica como Priuat- ur
nolgcanecesartt
hscol0 mcfamcferntca 1 losmtodosnttfntnros nruSt dozent. Para ello se requera tener la habilitacin, es decir, realizar --n
extenddtt
por espoca. La distincin entre las visiones semnticasy un trabajo de investigacin de la mayor relevancia posible: Gdel
sintcticasa la que apuntbamosen el segundocaptulo no estaba eligi el segundo problema de la lista de Hilbert. m
clara para los primeros lgicos,y, aunque Fregey Russellya haban -
OJ
presentadoclculos deductivosparciales,no llegarona plantearse
o-
cuestionesmetamatemticas.Tampocoestabanen condicionesde La prueba del teorema de completitud
hacerlo porque entendan an la lgica como una lengua univer- OJ
sal que habla de todo y de la que resultaimposible salir,mientras Los resultados de la tesis doctoral de Gdel aparecieron por
o.
que para responder a estaspreguntasera preciso mirar el clculo primera vez bajo el ttulo de "Uber die Vollstndigkeit des Logik-
deductivo desde arriba, desde un metalenguaje que hablara del kalklls" ("La suficiencia lgica de los axiomas del clculo deduc-
OJ
lenguaje.As, la proposicin "en cualquier tringulo rectngulo,el tivo de primer orden") en el volurnen 37 de la revista Monatshefte
cuadrado de Ia hipotenusaes igual a la suma de los cuadradosde fr Mothematih und Physih. Tras una resin concienzuda, en la (O
!
los catetos"pertenecea las matemticas,porque se refierea figuras que haba suprimido las reflexiones iniciales y aadido nuevas re-
geomtricas,pero "hay muchas demostracionesdistintasdel teo- ferencias bibliogrficas, el artculo, de una brevedad extraordinaria,
rema de Pitgoras"es ya un enunciadometamatemtico.En cierta qued sto para sentencia a finales de octubre de 1929, aunque
medida, la lgica sufri un cambio con la introduccin del meta- no se publicara hasta septiembre del ao siguiente. Mientras tan-
lenguaje anlogaal conocimiento de la Tierra antes y despus de to, Gdel fue presentando su demostracin en distintos crculos: el
RR
89
) coloquio de Menger, en mayo, y la segunda ConferenciaInterna- go, introduce algunosdetallestcnicossobren-tuplasde variables,
o
U
cional sobre la Epistemologade las CienciasExactas,celebradaen como la validez de la frmula:
P
o-
.(J
Knigsbergen septiembre.Casia modo de abstract,Gdel comien-
za exponiendo el estatusquo del problema de la completitud: V xr . . . YxnF( x1 . . . xn) A lxr . . . 1xr G ( xr . . . xr )
LA
OJ
-
- - + lxr . . . axnF( x1. . . xn) A G ( x1. . . xn)
LN
sistema axiomtico de los Principio Mothematica -del que excluye Teorema ll: Cada frmula de la lgica de primer orden es o refu_
ts
el principio de asociatidad, pues Bernayshaba probado que era table o satisfactible (sobre un uniuerso infinito numeroble).
NJ
redundante-y formula de modo explcitoalgunasreglasde deduc-
I
cin que se usarn constantemente,como el modus ponens, que En efecto, supongamosqueA fuerauna frmula verdadera,en_
permite deducir B de las premisasA y A --+B, o la regla de susti- tonces por
-A es falsa,Iuego no satisfactible. el teorema II, -4 s,
tucin, que afirma que si ?'(x) es un teorema de la teora,tambin refutable,es decir,
--A,y en consecuenciaA,que es semntica-
lo es el resultadode sustituirx por cualquier constanteen ?".Lue- mente equivalente,es demostrable.As se prueba que II implica I.
90 91_
&
F
formal, construye ahora un modero !, con los nmeros naturares
Recprocamente,sea A una frmula de la lgica de primer orden:
i
t LN
f,
o
.dJ
un
modelo y son satisfactibles.eueda dernostradaas la quinta propo-
demostrable,luego A es refutable.
o) sicin,y con ella rosteoremasI y II: Entonces est tlnroqucclsstcnnr. hace
(./) verdadernla,frmula
A continuacin, Gdel dene una especieparticularde frmrr- n a . Aspues,ettestec&toft e essntrtctbb,conloque
h fenniunlolnl,ruebadcInsu,ficcnca
OJ
las, las llamadas K-frmulas, frmulas prenex (comienzan con un ,Jelslenn, ,txonins
rribn itid.icnrlo.
prefijo de cuantificadores),que carecen de variables libres indi-
r El artculocontienean muchos resultaclos
L) viduales (todas ellas se ven afectadas por cuantificadores)y cu- de inters.En l9l5
bD yo prefiio comienza con un V y termina con un :l' Por ejemplo, Lwenhein haba demostrado que si una frmura es satisfactibre
YxYyaz (x = y ---'> z = 0)es unaK-frmula;no as(x = x)v - (x = x), en un modelo cualquieraentoncestambines satisfactibleen un
modelo infinito numerabre,y Skorem habagenerarizadoesta pro-
donde no apareceil cuantificadores.Gdel reduce el estudio de la
rq
J
piedad a un conjunto arbitrario de frmuias de primer orden.
completitud al caso de las K-frmulas,ya que, tal y como afrma el El
, tsnnIo es
o sotsJoctble teorema de Lwenheim-skoremse deduceahora como corolario
a) tercer teorema, s cadaX-frnnln esreJtrtttble
tanto, bastacon mostrarque tcdas las K-frmu- de la demostracinde Gder.se estudi4 adems,cmo pocrraam-
D cualquierftinnula.;por
pliarseel alcancede los resultados,aadiendoa los seisaxiomas
las son satisfactibleso refutables.Para ello, se define el grado de
consideradosal principiolas frmulasx = x\ x =y ___+
una K-frmula como el nmero de series de cuantificadoresuni- (Fx Fy). r
[,os teoremas vll y vil searanque para ra rgicade primer-orden
versalesen su prefijo, separadosunos de otros por cuantificadores ln
con identidad la situacin es la misma: cada frmula verdadera
existenciales;y se procede por induccin sobre este grado. El teo-
C
--
es demostrable.Tambin podra generarizarse
rema IV prueba el paso de inuccin'.si uda K-frnruindegradon es er teorema de com- a'i
o-
gradon, y las frmulasB <-+y y B ---)7r1/sofi vlidas.Porla hiptesis satsfncflsle
o contene
tm sul,conjunto_finto
cryva
con-ftmcn
esrefutnble.Este
o refutable,luegotambinlo sonBy resultadose sigue inmediatamente del:
de induccin,7es satisfactible OJ
zr1a. Llegado este punto, slo queda por probar que las K-frmulas c.
Teorema Xz Para que un conjunto infinito numeroble I de frmutas
de primer grado son satisfactibleso refutables;esta propiedad se
sea satisfactible es necesario y sufrciente que cada subconiunto
enuncia como teorema Vy es la ms difcil del artculo' -
nito de I seo satisfoctibte.
Ahora a representa cualquier K-frmula de primer grado y NJ
que se conoce con el nombre de teorernade compacidacJy que
prefijo zr.A partir de a, Gdel construyeuna sucesin{4,} de frmu- I
7u --)ltnan. Gdel introduce despusuna de las principalesnove- mente, los ltimos parrafos del artculo estndedicados a probar la
dades del trabaio: si hasta ese momento toda la prueba haba sido independenciade los ocho axiomasque sehanvenidoconsiderando.
92 93
. que incluye los axiomas de Peano. Ahora consideraremos la lis_
(n Modelos no estndar
U
'-
E ta ampl i ada conA6,
-i
= O , At , - i = s0, , 42, - i = ssQ . . . donde i es
una nueva constante y s representa la funcin sucesor. para cada
de com-
Tras la publicacin de la obra de Gdel el teorema
+)
en todas las de- das todas las afirmaciones que puedan hacerse sobre los nmeros
bo axiomas. En cualquier caso, las ideas empleadas
de modelos y de naturales, pero que no es isomorfo al clsico, plres, al ser distin-
mostraciones constituyenlos pilares de la teora
ms im- ta de todos, la constante i no puede ser ningn nmero natural
gran pane de Ia lgica actual' Una de las consecuencias
(g
J
primeros mode- finito.
portantes derivadas de l es la aparicin de los
que si una
CJ los no estndar. El teorema de completituC asegura
en el que los axio- Otra versin del teorema de Lwenhein-Skolem afirma que si
teora es consistenteentoncesexisteun modelo
tiene una teora t tiene al menos un modelo lnfinito !I. entonces tiene
mas se verifican, pero nada dice sobre qu caractersticas
mucho tiempo se moclelos infinitos de cualquier cardinal y, por tanto, no isomorfos r-
ese mocielo ni sobre cmo construirlo' Durante OJ
de a 1I. As, ninguna teora infinita puede ser categrica. Siguiendo el
pens que la teora caracterizaa unvocamente ia estructura (n
c
sean iso- ejemplo de Skolem, en 1960Abraham Robinson decidi utilizar los
sus modelos; dicho de otro modo, todos los modelos -+
tendra una sola no estndar de los nmeros reales en el que, en lugar de aadir
laciones de equivalencia, el conlunto cociente =
n
constantes mayores que todas las dems, se extenda el sistema
clase.
con cantidades infinitamente pequeas. De esta forma se daba por
fin sentido matemtico preciso a la,s nociones intuitivas sobre las
Sin embargo,en un artculode 1933,"Sobrela imposibilidad
.D
Skolem cons- aos antes, pues nunca lleg a precisar qu eran y cmo deban
un conjunto finito de axiomas", el lgico noruego
al consi- manejarse los infinitsimos. En el marco del antisis no estndar,
truy un modelo para la aritmtica que no era isomorfo
oq
si para todo e > 0 existe un > 0 tal que siempre que lx -yl < d se
tenga lf(x) - f9)l < e, resulta ahora: f es uniformemente continua
si ysl o si para t odoxey t ales euex r y se t iene f ( x) = / ( y) , donde
jcuttad de sus investigaciones'aunque tambin contiene algunas
que Ao,Ar,A2,.. ' fue- x ^, y significa que los nmeros r e y difieren slo en una cantidad
aportacionesmuy novedosas.supongamos
infinitamente pequea.
raunalistadeaxiomasparacaracterizarlosnmerosnaturales,
95
94
,1
.j
e
:
tsi
#
,..!
(n
En marzo de 1973Robinson, con el que Gdel haba mante-
U
:i
nido abundante correspondencia,dio una charla sobre el anlisis
.tJ
o
.ol
no estndar en el Instituto de EstudiosAvanzados.En el coloquio
L:.
U
t.rl
posterior,Gdel hizo una declaracin,ingenuay entusiastaa partes
a)
iguales,que merece la pena transcribir:
shnplficncin-t'adlta el descubrimefil.atra rszr,todna mctsct'tt' Hacia 1930 la situacin del programa de Hilbert daba razones
{ tncenle, eslasguentc: Iatrtn'ttcaempezfi conlosnmerostttttrales para la esperanza: el primer requisito, formalizar la matemtica, pa- fi
I
a;
y procede nrcdsnte la ntnplacn sucesivrtdelsstema nuntrco conlos reca haberse completado con xito en los Principia, y varios lgi-
ori
II nuneros rnconales, negath:os, rrqcofinles,efc.Perl elpaso completa' cos trataban de demostrar la consistencia de los sistemas formales
(n !
ffffile ilatLu'aldespuis de losnn'rerosreales, a saber,Ia ntrodttccnde clsicos, comenzando por la aritmtica. Aunque en la introduccin :
Iosnfntesntales, hasdosi;nplemente ontido.Pensa qtrcenlossglos a su tesis doctoral Gdel ya haba sugerido la existencia de sentencas )l
tlfi0sdespvLs
descrr,-tllssetrescffits dela n,-enin delclcilodferettciol. prograrna con un resultado en la misma lnea del teorema de com- o
t
1:ir(1 ctfrsexfrng-:tu.ct reJerente ,tl nismttlapsode tienryo,a en otra direccin: se haba. demostrado que es imposible dibujar - L
saber,el hechodequeprobletnas talescomoel de Femtat,quepueden un mapa perfecto de la Tierra, ya que "dos superficies isomtricas
ts
serJbrmuladosen dezsgnosdeartmtcaelemental, todsvacrecerl tienen la misma curvatura de Gauss", y Heisenberg acababa de
de haber sdoplanteados. establecer un nuevo lmite para la ciencia con el principio de inde- )
desolucn trescentos aos despus Qtzlc'
omsn menconada seaengrxparteresponsafsl delhechodequq en terminacin, segn el cual no se puede medir al mismo tiempo y
j comparacn cttnel enormedesarroLlo deInsmaterntcas absfrnctas,Ia con idntica exactitud la posicin y la velocidad de los electrones.
I Con sus teoremas, Gdel pondr a la vista de todos las limitacio-
solucn deproblemas numrcos clmplcadls haquedado nuy atrs'
i nes intrnsecas del mtodo axiomtico: en cualquier sistema formal
ie
I
6
(n
que incorpore suficiente aritmtica elemental hay sentencias ver-
U ^1ci, a. i,-", t < ^ l",1 ol ,:., (. /. * tl .li\6iti
daderas que no son demostrables (primer teoremo de incomple- t, ..^ /,a 7' t
^-
'..
+J
o_
.(U titud), y la solucin no consiste en aadir esas sentencias como /1n,,, i;'!,i t, L" r- tj ,t t,!- u r-- .a,; I , ti, i F, .:
';t, c!..1 ,* .". t't/ ; a-
axiomas, porque entonces aparecen otras nuevas. Adems, la con- z ,l ;.t'4 ?q -n ri'r.
'
ir o,-
, ^ tly-, r,J{
a) ;.!t t'.i", '
sistencia de esos sistemas no puede probarse dentro de ellos mis- i ;e, r-, , ' l r v l t ;'i ! 'r 4.n* ci t-.
r/) ^..f*
mos, es decir, "la aritmtica es consistente" es un ejemplo de este
a tipo de proposiciones indecidibles (segundo teorema de incom- -t! :\'! , ./.,.,,,. , At:tf,t'*q
r:j'j'-'-i-i""'
E
pletitud). .it.^.t
1tl .1. l!,a.::.l.- u
':
:: . ,r I a, (.
rU ".,
\J
'o El 26 de agosto de 1930, Gdel, Carnap, Feigl y Waismann se t , -J - ' t t rr" , -, 1 ^ ./ i;, t- 4 3,+l .j.j *: l) t l \1al
^
reunieron en el caf Reichsrat para comentar algunos detalles de ,i 1-,.r.rlt I ; lrs ! -k. !.t , ,,1t.!:, r xt.)i .-.1.! , t t"
"-r' -
la Conferencia sobre la Epistemologa de las Ciencias Exactas en la , )1. r- i-l . fl t;, rt
, . , i -: t ' : 4.,rr .!l.t
it
-.-
; que todos tenan pensado intervenir la semana siguiente; pero en- ,w ..i.- i t., er.r, .;., r,.". tt A, ct i t., |
.) i,,',! ,.1 ,.,:
ol.l
,,1
,
seguida ei tema de la conversacin se desplaz hacia los descubri- \.:l-'t {--f- .j,:,j ,:,,, r- ! /4 ';:- h .,.1
,l
(, mientos de Gdel, cuyo alcarrce Carnap no logr entender al prin- It:--.
.- l'
cipio. El encuentro, organizado por la Gesellschoft fr empirische T-
, l:,;'1..1
clscas;aunque
parecequeno habadescubierto
todavael segundo de sus reservas ante los criterios de consistencia enunciados por su
teorema de incompletitud.
maestro Hilbert. Ms adelante, el 20 de noembre, Von Neumann
98 99
le escribir contndole cmo ha descubierto que en un sistema pectivas fascinantes. La impresin que me caus fue tanto mayor
U
,i consistente es posibie transformar en una contradiccin cualquier debido a la concisin y sagacidad del enfoque de Gdel".
P
o_
.0-.,
prueba de la indecidibilidad de la frmula 0 = l, y se ofrece a
explicarle sus resultados cuando se publiquen. Sin embargo, tres Adems, aVon Neumann le gustaba contar que, durante el tiem-
u
das antes Gdel haba enviado el manuscrito "Uber formal unents- po en el que haba tratado de demostrar la consistencia de las ma-
o cheidbare Stze der Principia Mathemotica und verwandter Syste- temticas clsicas usando mtodos finitarios, aunque no se haba
AJ
me" ("Sobre proposiciones formalmente indecidibles en Principia percatado, como Gdel, de las dificultades a la hora de formalizar
c
L'lathematiccy sistemas afines"), donde apareca ya el segundo teo- el concepto de verdad, s haba obtenido algunos resultadosparcia-
ao
U rema de incompletitud, al Moncttshefte fr Mathematih und Physik. les positivos que lo llevaron a trabajar ininterrumpidamente. Una
u "Puesto que has probado la indemostrabilidad de la consistencia noche, so que haba superado el ltimo escollo, se levant so-
como continuacin natural de ius resultados anteriores, no publi- bresaltado y pens en el problema hasta el da siguiente, pero, a
t
-J car nada al respecto" -responde John von Neumann al enterarse la hora de acostarse, quedabatr todava cabos por atar. Esa noche
I OJ
de la noticia. so de nuevo que haba descubierto la solucin, pero, al tratar de
E redactarla, encorrtr otro fallo en los argumentos y decidi dedicar-
:o
(, Restrltara natural que Von Neumann, con su sndrome de pri- se a otros asuntos. "iQu suerle tuvieron las matemticas de que
mero de Ia ciase,se hubiera enfurecido ante la intromisin de Gdel yo no soase nada la tercera nochel". r-
en sus investigaciones,pero el matemtico hngaro lo tena en alta
esiima. Tanto es as que en mitad de un curso en la Universidad de Tambin David Hilbert se encontraba en Knigsberg, aunque no -
Berln anunci que acababa de "recibir un artculo en el que un jo- en Ia Conferencia sobre la Epistemologa de las Ciencias Exactas,
-
ven matemtico viens mostraba que los objetivos que Hilbert tena sino en un encuentro de la Sociedad de Fsicos y Cientficos Ale- =
OJ
en mente eran irrealizables",y eligi los teoremas de incompletitud, manes, que lo haba invitado a pronunciar su charla "La lgica y la
o_
en lugar de sus propios resultados, como tema de las conferencias comprensin de la naturaleza", justo el da despus del anuncio de
de P r i n c e to nd e 1 9 3 1 . Gdel. Aunque Hilbert y l nunca llegaron a entablar conversacin,
l
es muy posible que Gdel se encontrara entre el pblico que es- r)
Fue all donde Stephen Kleene, uno de los lgicos que mejor =
cuch a Hilbert proclamar que no existen problemas irresolubles. !
conocieron la obra de Gdel, oy hablar por primera vez sobre los Slo una semana ms tarde, cuando se enter de lo que podramos
teoremas de incompletitud: "Un da de otoo de 1931, el confe- llamar, en clave de novela policaca, los sucesos de Knigsberg, Hil- -f
a+
c
renciante en el coloquio matemtico de Prirrceton era John .on bert le pidi una copia del borrador del artculo a travs de Paul
Neumann. En lugar de hablar de su trabajo, que era abundante, Bernays, con el que sola colaborar. Tras su desconcierto inicial,
coment los resultados del artculo de Gdel, que acababa de sa- pronto acept la demostracin de Gdel, en la que slo encontraba
O
fir publicado en el Monatshefte, pero en el que an no habamos argumerrtos impecables desde un punto de sta lgico. De hecho,
reparado ni Church ni nosotros, sus alumnos [...]. Tras el coloquio, fueron Hilbert y Bernays quienes dieron la primera prueba com-
el curso de Church continu como hasta entonces, centrado en su pleta del segundo teorema de incompletitud, que en el artculo de
sistema formal, pero al mismo tiempo los alumnos nos lemos el Gdel sfo se esbozaba, a la espera de una segunda parte fu proxitn;t
artculo, que a m me abri todo un mundo nuevo de ideas y pers- que nunca lleg a escribir. No deja de ser paradjico que
p(tr(.11,
i00 l_01
LN
fuese el propio Hilbert quien completara el teorema que pona en Del teorema de validez al de incompletitud
serias dudas su trabajo de veinticinco aos. Entre enero y mayo
P
.(J
de 1931, Hilbert estudi con detalle la demostracin, que Carrrap Los griegos haban descubierto ya que una proposicin demos-
U
segua considerando "nluy difcil de entender". Para salvar lo que trable en una teora es autonrticamente verdadera en la estructura
a
quedaba en pie de su programa, Hilbert introdujo algunas innova- sobre la que sta se construye. Este resultado, escrito en el lengua-
o ciones tcnicas, como la r..,-regla,que, para cualquier frmula F sin je de la lgica moderna, se conoce con el nombre de teorema de
tirasa la autorreferencia que solvent en pocas palabras con su cin de ?', es decir, una sucesin finita de fi'mulas cuyo ltimo
brillantez habitual. Una semana ms tarde present los teoremas elemento es la propia 7. Vamos recorrindoia frmula a frmula: -
m
de incompletitud en el coloquio de Menger, aunque ste se encon- cada una de ellas podr ser un axioma u obtenerse de las anterio-
r)
traba en Houston, como profesor intado del Rice Institute. Durante res mediante ciertas reglas de deduccin. Sea A la frmula que =
qJ
su ausencia, Menger haba dejado a Georg Nbeling a cargo de las encontramos en el isimo paso. Si A es un axioma, entonces
a_
reuniones: cuando su sustituto le escriLipara informarle sobre la es verdadera de acuerdo con la definicin de los modelos de una
intervencin de Gdel ("Algunos resultados rnetamatemticos so- teora; si, por el contrario, A se ha deducido de las l- I frmulas an- 3
bre completitud y consistencia"), Menger interrumpi sus clases de teriores, basta con observar que las reglas de inferencia estn bien
.)
o
teora de la dimensin para resumir parte de la solucin de Gdel
=
construidas slo si la conclusin es cierta siempre que lo sean todas
al segundo problema de Hilbert. Al darle la enhorabuena, Menger las premisas. r+
le propona tambin un problema relativo al clculo proposicional, a+
c
que constituye el germen de "Una propiedad de los modelos del El teorema de validez establece la implicacin err el sentido
clculo conectivo". de izquierda a derecha, pues, dado un teorema de la teora, po-
LO
demos asegurarnos de que ser vlido en todos sus modelos. La
O
El 25 de marzo de 1931 Gdel recibi las primeras copias del pregunta surge ahora de forma natural: Zes el recproco cierto?, I
ts
artculo ms famoso de la historia de la lgica: veinte aos despus es decir, dada una proposicin que sabemos verdadera en la es-
Von Neumann seguira recordando aquel momento como "un hito tructura \li, Zser necesariamente un ieorema de la teora t? Para
que podr disarse desde remotas distancias en el espacio y en el ilustrar el significado de esta cuestin, Dawson imagina en Log-
tiempo". cal Dilemmas dos tablas infinitas que recogen todas las frmulas
102 103
{l
,t
5
t/)
F(y) con su interpretacin en los sucesivos nn'reros naturales: en Comoesbensshido, ely,rogreso clelnmstematcahnca unamtryor
la primera, escribiremos una D en la casilla (m,n) si es posible exacttud ha conducdo a lnfonnnlizacn dc exteilsls donnos delo
t
E
tJ
.q.,
U
demostrar F^(n) y una / en caso contrario; en la segunda tabla
pondremos un 1 en la posicin correspondiente si F^(n) es ver-
msma, tll modoquelnscleducctnes
'le
cL)nuilL1s pocttsreglasntecncns.
pucden
Losssfenas
llevnrse acsbo de acuerdo
msamplos
?", -fornales
u construidos hast,tla fea stnelsstemq dcicrsftincipia Mathematica
dadera y un 0 si es falsa. As, cada vez que aparezca una D en la
LN
I
t primera tabla encontraremos un 1 en la segunda, pero, Zse corres- 7 ltr teorntuotnfcatleconjlurtos deZermelo-Fr,tcnkel (desat.rolla,la
{ ponden todos los 1 de la segunda tabla con una D de la primera? ttberormentc l(1rJ. v0t1l,luuncmn) .
]C
De ser as, se obtendra una equivalencia perfecta entre la pro- Estttstlosssretlns s0ntail extens()s, ryrctoaos lost:tiodos ,ldnnr-
ro
piedad sintctica de scr demostro,ble y la propiedad semntica de trttrfutemplemlos lny cndnen ln nafant;tttit puerlenur-fornttlzrtdos
ser uerdadero, anloga a la que Gdel ya haba probado pai'a la en dlos,esolccr, rducdosa x{110s li\cLs ct:rtnttts
) rtglas,lenJcrenci,t.
: Esnatural,l,0r tiittflt,etntrltt cttnieturr.tdeqtte*os axotnos
lgica Cc primer orden en su teoremr de completitud, y existira 7 rcglo:
r
I un algoritmo capaz de demostrar cualquier afirrnacin verdade- nfercnca sonntltcentc: psrttdctidrtoldslLls rcstlfles nnttentticds
'le
ra. Pero nada es tan sencillo en la isla de las verdades matemti- qLrcpulLmsrJtwnulodtsendchos sstenbls.Et.tIorytesgiesetnuestrLl
a,)
cas: Gdel construy una frrnula verdadera (l), pero indemos- queesfl 110 $ t1s,snotyte,en ktsdossstenascitttdoshrg,problunrrs
E
(9 trable (/j. rcltttt'ttttttttt
snrpltsdt ltt fcoror.\uarafu losnunertsuLrturLlas qLt(
110 ser
ltys/,c'1deJucdos itpfit'tird( loslrr,rt. Estttstuacn noresJc
m Inesptcnl nsttmlezndelos -o
Es incorrecto imaginar el teorema de incompletitud como un sstcnms cstnblecitlos,sill)ifteLtiettLl
a LuhT
resultado contradictorio con el de completitud, pues ambos se re- nntlsnnclase le sstcntas_fbrntlcs enlosques,:ncltg,, efiplrtiLulLtr, a
(+
fieren a distintas cosas: en un sentido semntico, la palabra com- todosar1utllos quexrryanpor adcndcun ni.tnerof,nto,leLlxlmts,
-rD
pleto significa capaz de demostrar todo lo que es vlido, mientras nryoniendo queningunaproltoscn-fttlsa set0rt;edetnctstrnble port rtud =
que, desde un punto de sta sintctico, completo quiere decir ca- dt:Iosaxonttsnndt\os.
o_
paz de probar o refutar cada sentencia de Ia teora. As, en 1929 a
. Gdel demostr que la lgica de primer orden era completa en el Gdelcomienzadescribiendoel sistemaformalP considerado
f
primer sentido, es decir, que todas las frmulas verdaderas son en la demostracin,que se obtiene a partir de la teorasimple de o
-
=
demostrables y, al ao siguiente, obtuvo una prueba de que la tipos de los PrincipiaMothemoticc, tomando los nnrerosnaturales
aritmtica (y cualquier sistema formal en el que puedan introdu- como elementosde tipo I y aadiendolos axiomasde Peano;se .D
(+
cirse los nmeros naturales) es incompleta en el sentido sintctico. trata, pues, de un sistema interpretado,en el que cada frmula, n
C
De todos nodos, Gdel no corra el riesgo de caer en esta am- aciemsde ser una cadena de smbolosabstractos,expresaalgu- o_
bigedad porque las dos interpretaciones se distinguen en alemn na propiedad (verdaderao falsa) sobre los nmeros naturales.Los
signosprimitivosdel sistemaP son 0, s (el siguientede), (no), (.o
con los trminos uollstiindig, que en el captulo anterior algunas ve- -
ces hemos traducido por suficiente,y entscheidungsdefinit, formado v (o), I (existe), - y los parntesis de apertura y cierre, adems
a partir del verbo decidir. Es precisamente esta segunda idea la que de variables de tipo I (numricas), de tipo 2 (sentenciales),que
Gdel usa en la introduccin a su artculo "Sobre proposiciones expresanrelacionesentre los nmeros naturales,y de tipo 3 (pre-
formalmente indecidibles en los Principia Mathematica y sistemas dicativas),que son clasesde variablesde tipo 2. A lo largo de este
afines": captulo he introducido ligerasmodificacionesen las tcnicasem-
i04 105
pleadas por Gdel en su artculo de 1931con el fin de presentar sus mente por las incongruencias a las que poda conducir. pero Gdel
o
U consigue alejarse de ellas, sustituyendo la nocin de verdad por la
resultados con la mayor ciaridad posible. Por eiemplo, l no con-
-p pw'amenftjormrtl \' fi'nrc\rc',
tn,is tlblde indecidibilidad: sin riesgo de
sidera primitivo el cuantificador existencial, sino el universal, que
'0J
contradicciones, la afirmacin sq, htdentostrttl
es verdadera y, por
U representa por fI. El predicado de igualdad se puede definir en fun-
OJ tanto, indecidible, con lo que conerte a P en un sistema formal
cin de los otros smbolos: = / s una abreviatura de la frmula
LN
(-A(x) v A(y)), dondeA es unavariable de tipo 2. He optado incompleto.
o lA
- -
c) tambin por modernizar la notacin de algunas de las relaciones
c
recursivas:as, escribiremos Gen (x, y) en lugar de x Geny'
ru
Los nmeros de Gdel
.o A continuacin se formalizan los a-riomas segundo, cuarto y
quinto de Peano y se establece la validez de cualquier frmula En su cuento "La Biblioteca de Babel", Borges imagin una
J que resulte de sustituir X, Y, Z por otras frmulas en las reglas de biblioteca, aparentemente tan infinita como el Universo, cuya ley
deduccin: interna haba descubierto un genio del pasado;
XvX-:X; X--+XvY,
"Este pensador observ que todos los libros, por diversos que
X v Y --.l' v X'. (X --+Y) --+(Z v X'-+ Z v Y') sean, constan de elementos iguales: el espacio, el punto, la conra, -
o
las veintids letras del alfabeto. De esas premisas incontrovertibles
En segundo lugar, Gdel introduce un mtodo para codificar dedujo que la Biblioteca es total y que sus anaqueles registrantodas rD
los objetos formales del sistema P que permite asignar a cada su- las posibies combinaciones de los veintitantos smbolos ortogrficos
-
cesin de rmulas un nmero natural, su nmero de Gdel, y, (nmero, aunque vastsimo, no infinito) o sea todo lo que es dable =
o)
recprocamente, decidir si un nmero dado es la codificacin de expresar: en todos los idiomas. Todo: la historia minuciosa del por_
o_
alguna frmula. Gracias a esta ingeniosa idea, todas las afirmacio- venir, el catlogo fiel de la Biblioteca, miles y miles de catlogos o
nes metamatemticas tienen un correlato numrico: por ejemplo, falsos,la demostracin de la falacia de esos catlogos,la demostra_
cin de la falacia del catlogo verdadero, la relacin verdica de tu
la propiedad de que B sea una subfrrnula de A se convierte en o
-
J
muerte, Ia versin de cada libro a todas las lenguas, el ti.atadoque
una cierta relacin en'rrelos nmeros de Gdel de A y B, que bien 15
Beda pudo escribir (y no escribi) sobre Ia mitologa de los sajones, .D
podra ser que uno dida al otro. En particular, pueden "expresarse (+
los libros perdidos de Tcito".
numricamente" propiedades tan importantes como la de ser un a+
c
axioma, la negacin de una sentencia o una frmula deducible. o_
En un sentido muy general, un alfabeto es un conjunto finito
de signos que se combinan en ristras de tamao arbitrario
Apoyndose en estas tcnicas y en la paradoja del mentiroso, donde
el mismo smbolo puede ocupar posiciones
Gdel se dio cuenta de que no es posible expresar la verdad y la distintas y repetirse. I
TJ
g(-l x(sx= o) ) = 2s x3e x5r 7 x 7 3x 113x 1317x lTr r x 19rx23's r--
o
En el marco de la lgica, las gdelizaciones proporcionan meto-
Llegado este puntc, tal vez el lector se pregunte por qu en el sis- +
dos numricos de represeniacin de frmulas, igual que las juga- .D
tema de numeracin de Gdel no aparecen signos bien conocidos
das de ajedrez pueden codificarse mediante un sistema de letras
como la conjuncin, el condicional o el cuantificador universal.La -
o
y nmeros, de forma que "CfS Ah4" contenga toda la informacin =
q.J
respuesta es que estos smbolos son slo abreviaturas informales, L4
.! relevante sobre el movimiento del caballo que se encontraba en la
t que en la metateora se pueden definir en funcin de la negacin,
casilla f5 para comerse al alfil de la h4. Para demostrar los teore- rD
fa disyuncin y el existe; de hecho, la gdelizacin propuesta por
!t
mas de incompletitud, Gdel introduio la primera gdelizacin cle :f
Gdel contiene ms signos de los estrictamente necesarios pues
* la historia -o, tal vez, la segunda-, en lo que constituye a juicio o
-=
los parntesis pueden suprimirse, como demuestra el teorema de
de muchos el sistema de representacin ms importante des-
pus de la geornetra analtica de Descartes, que hizo corresponder lectura nica. Veamos algunos ejemplos:
n
pares ordenados de nmeros reales a los puntos del plano, y cier- (+
S (A n B) = g( - ( - , 4 v - B) ) =2sx- 3r 3*55"7t 22 x117x 13st 17r s2
*19r s
tas ecuaciones algebraicas a las figuras gecntricas. En su artculo, o
-_
g(A B) = g( ( - A) v B) =213 xTisx l1z* 13r d
Gdel asigna primero nmeros impares del uno al quince a los - "3sr . 5172
smbolos primitivos del sistemaP: g(v xA) = g( - lx( - A) ) = 25x3e x 5r 7x 7r 3x 11sx 13 72
x lTr s
I
'f lingua generalis, Leibniz haba propuesto resumir todos los pensa- .:
mientos en un puado de ideas primitivas, a las que fuese posible
J( 11 13 l5
asignar coracteres para formar a partir de ellos los caracteres de
108 t_09
(^ las nociones devadas. En efecto, si hiciramos corresponder a /(n) al de ciertos f(n), donde todos los n son estrictamente meno-
o
U
cada idea simple un nmero primo, los pensamientos compues- res que n; as,es posible ir descendiendo hasta encontrar un caso
P
tos podran obtenerse como producto de los nmeros primos de base,por ejemplo, /(0) o f(l), de valor conocido.Algunasde las re-
.(u
\J
ur sus ideas componentes, y todas las verdades conceptuales que- laciones recurrentesms conocidasson la que permite calcularel
u factorial de un nmeo, o Fn = Fn-t * Fn-2,que, tomando Fo = Fr = I ,
daran representadas por verdades aritmticas. En particular, el es-
t1
tudio de las relacionessujeto-predicadose reducira a comprobar define la sucesinde Fibonaccil,1,2,3, 5, 8, l3i;**"**'
si el carcter del sujeto es mltipTcil(ffiUIl]gro del predicado. La a*=.*,*,'- _
OJ
anaiogadel programa leibnizano con los mtodos de Gdel es de- Las funciones recursivasprimitivas se obtienen a partir de cier-
tas funcionesti'ialespor composiciny recursin,y "tienen la im-
U masiado fuerte como para considerarla fruto del azar; ms bien,
ho durante sus primeros aos en viena, en los que asistia los semi- portante propiedad de que, para un conjunto dado de argumentos,
.o
narios de historia de Ia filosofa del profesor Gomperz, Gdel haba el valor de la funcin puede computarsernedianteun procedimien-
fit
J ledo los manuscritos inditos det filsofo alemn, editados por to nnito". En 1742Goldbachplante a Eulerla preguntade si todos
Louis Couturat en 1903.A su modo, tambin Leibniz se planteaba
o
o) la cuestin de cmo reconstruir la idea que representa un carcter
:o
(9 dado. Como todos los nmeros naturales se descomponen de rna-
nera nica como producto de primos, en su caso era suficiente f-
o
con obtener dicha descomposiciny buscar en la enciclopediade (,
ideas primitivas los pensamientos correspondientes a los factores. .-D
o_
una frmula o no, es decir, un procedimiento automtico que, tras rD
un nmero finito de pasos, concluya si existe alguna frmula con l
r)
nmero de Gdel /V. o
=
c
En el test anterior,despusCe las etapasmarcadascon un as- a
{
J Ios nmeros pares mayores que dos pueden escribirse como suma radica en que, puesto que cada frmula de P lleva asociada unvo-
i p
a-
.cJ
de dos primos. Los primeros casos se estudian fcilmente (4 = 2+2,
6 = 3 + 3 ,8 = 3 + 5 , 1 0 = 3 + 7 ,...), pero el probl ema si gue estando
camente un nmero de Gdel, las relaciones metamatemticas
entre las frmulas cuyas gdelizociones Son x1,r2, ...,xn se trans-
!i
abierio casi tres siglos despus. Llamando nmeros de Goldbach forman en propiedades aritmticas de esos mismos nmeros. Esta
r OJ
a los pares para los que la conjetura es cierta y considerando la equivalencia constituye una increble iuente de metforas sobre los
LN
funcin f(n) = I si n es un nmero de Goldbachy f (n) = 0 en ca- teoremas de incompletitud: Hintikka ha comparado el artificio de
so contrario, la cuestin podra plantearse en otros trminos: debe nuestro protagonista con una obra de teatro en la que cada actor
E
ser f (2n) = I para todo n > 2. Fijado un nmero par cualquiera, representa al rrrismo tiempc su personalidad propia (en este caso,
k
fl
(J
es posible decidir en un nrrrero finito de pasos si es un nmero la de ser un nmero natural) y un carcter prestado (el papel de
ru
de Goldbach: para elio basta con considerar todos los pares de proposicin formai que interpreta), y otros autores suelen recurrir a
nmeros prirnos (p,q), con p I e, y calcular p + e.En caso de smiles musicales para hablar de una "asombrosa sinfona intelec-
(c\
I que ninguna de estas sumas coincidiese con el nmero dado, la tual" avarias voces. De ahora en adelante, para no hacer tan pesado
conjetura resultara falsa y habramos encontrado un conrraejem- el texto, en lugar de escribir siempre "la frmula cuya nmero de
OJ
E
plo; si, por el contrario, alguno de los p + ees n, hemos obtenido Gdel es x", algunas veces diremos simplentente la frmula x (con
(5 una descomposicin posil--le.Por snpuesto, esto no nos acerca a la cursiva).
solucin real del problema, pero hace ms probable que sta sea f-
positiva y es una fuente de confianza. En trabajos posteriores, Gciel En el artculo se consideran cuarenta y seis funciones y relacio- s
a+
se referira a las cuestiones cie esta naturaleza precisamente como nes -casi cuarenta y seis modos de ser, como los de Aistteles-, a
o
de tpo Cloldbac"li.
Irrtthlemns Como cabe esperar, otra vez las cosas no de las cuales todas menos la ltima son recursivas primitivas. En-
r-D
son tan fciles como parecen: Ia mayora de los problemas no son tre ellas destacaremos Gen(x,y), Sb(x, u,y)y Bew(x), relaciones de =
OJ
de tipo Goldbach. As, resulta imposible disear un algoritmo que dos, tres y un argumentos respectivamente. Gen(x,y) es la gene-
o_
busque un contraejemplo para la conjetura Ce los primos gemelos, ralizacin de la frmula cuyo nmero de Gdel es y respecto de
segn la cual existen infinitos nmeros primos p tales que p + 2 es la variable cuyo nmero de Gdel es x, es decir, el resultado de =
tambin primo. aplicar el cuantificador universal a la variable x en y. Tomemos, por
=
ejemplo, la frmula que, interpretada en el sistema de los nme-
ros naturales, indica que, hay algn nmero y para el que existe r+
Aritmetizacin de la matemtica + f y (y = sx). La generalizacin intuitiva de la frmula respec-
-v 1 : C
to de x af;rma que todos los nmeros naturales tienen sucesor, es o
Partiendo de las funciones recursivas primitivas, Gdel intro- deci r, VxJy( y = sx) , o lo que es lo m ism o, - lr - ly- 0/ = sx) ,
duce las relaciones homnimas: una relacin R entre n nmeros el tercer axioma de Peano. Si hacemos corresponder ahora a cada (,
naturales es recursiva primitiva si y slo si existe una funcin recur- una de estas frmulas su nmero de Gdel: I
r72 113
I
en el sentido algortmico de los problemas de tipo Goldbach si una acuerclocon lo anterior,hagamos corresponder a Q(x, y) su nmero
a+
frmula es demostrable o no. Suponiendo que pudier.ademostrarse de Gdel q. Si generalizamos esta frmula respecto de la variabie .D
o
la proposicin de nmero de Gdel x, habra que examinar una por x podemos obtener P = Gen(17,g), que slo afirma, hasta el mo- ID
una todas las demostraciones de P hasta ver si alquna de ellas termi- mento, que la frmula cuya gdelizacin es y no es demostrable
na con x; pero six correspondiese ala gdelizacin deuna frmula en el sistema P. Ahora, sea r el resultado de sustituir en Q(x,y)
e
indemostrable, entonces el proceso sera infinito. Con una leve nro- l a vari a ble y pcr p, es decir , r = Sb( q, l9, p) . r es el cor r elat o
dificacin, dada una frmulaA, podemos construir eQ,i para ex- numrico de la proposicin r,letamatemtica siguiente: x no es
t-
presar que la frmula de nmero de Gdelx no es una demostracin una demostracion de " x no es una demostracin de .v". Ya slo fal-
=
de ACv);por tanto, V xQQ,_v) asegura que A(y) no es demostrable. ta generalizar esta ltima frmula respecto de la variable x; de este 9
modo, estaramos afirmando que no es demostrable que y no sea iD
+
Es ahora cuando entra en juego la paradoja del mentiroso; re- demcstrable o, poniendo la proposicin en boca de 1l "no soy de- r+
=
cordemos que esta anti:-lomia,cuya prinrera formulacin suele atn- mostrable". Su gdelizacin no ser otra que Gen(17,r) -o, corno .J
buirse a Epimnides de Creta, surge al afirmar "soy una proposicin escribe Gdel, 17 Genr- que, naturalmente interpretada,afirma su
falsa", ya que entonces la sentencia es verdadera si y slo si es fal- propia indecidibilidad y es la sentencia que andbamos buscando'
sa. La solucin propuesta por la teoa de tipos de los principia En fo sucesivo abreviaremos por G la frmula 17 Gertr. I
(O
Mathematica supona eliminar cualquier clase de autorreferencia,
de modo que las frmulas que hablaban de s mismas simplemente Llegado este punto, resulta necesario imponer alguna condi-
estueran mal formadas. A Gdel esta prohibicin le result desde cin restricti'a al sistema P considerado. En lugar de establecer
un principio demasiado drstica, pues: que slo pueden probarse las frmulas verdaderas, Gdel supone
i1A 115
,qilF
t
I q-J
aJ
ru
U
que P sea consistente, G es verdadera, ya que, si fuera falsa,
taramos afirmando que es posibre demostrar u.a frmura falsa,
cual contradice la hiptesis de coherencia del sistema. pero,
es_
lo
edente como los dems, pues involucraba regiones infinitamente
leianas dei espacio. Muchos matemticos trataron de demostrarlo
si G partiendo del resto de axiomas, pero result ser independiente de
.o es verdadera, entonces, como ella misma indica, G no es denros_
la geometra absoluta, ya que, extendiendo los cuatros primeros
trable; a esto se refera Gdel al hablar de prtttt:stt;ntsturdttderas
ru por a-xiomasde Euclides con la negacin del quinto postulado, se ob-
_l su catctida, rero ndcntostrttbls.
otros razonamientos conducen a la tenan teoras consistentes -como la geometra riemanniana, cuyo
misma conclusin; supongamos que G fuera demostrable, enton_
(j
modelo ms sencillo es una esfera, si identificamos los puntos con
c ces automticamente se volvera falsa, pero, al ser falsa, no podra
puntos de su superficie, y las rectas con los crculos mximos. Lo-
LT probarse en un sistema consistente; as, G sro puede ser
inde- bachevski logr oetnostrar que si la geometra hiperblica era con-
mostrable y, por tanto, verdadera. Tal vez pueda probarse entonces
sistente tambin lo era la eucldea, y Klein y Beltrami establecieron T-
slols exstetrcn
de tm,:prichn de in consist*tcn,evdq'0 se resrrelveal instante disponiendo tambin de un instrumento de o
rnb,o io,r'*rda, =
y seraconcebbre
Itntaros' clueexste-sett medida. E
crtmostraciones
jnrtas tn pu-
deronrepresefltsfse ryte
enP. Sin embargo, la comunidad r+
matemtica no
o en esia obserwacin sino una forma ms o menos eregante Otro error frecuente es fruto de entender los teoremas de in- e+
de completituc como un comodn aplicable a todos los sistemas que
c
dorar ra prdora,y muchos consideraron c_
definitivamentefracasa-
do el programa del alemn. En 1936, aparecen en la fsica o la filosofa. Por supuesto, "Sobre proposi-
Gerhard Gentzen,a quien se
debe el smbolo V para el cuantificador ciones formalmente indecidibles en los Principia Mathematica y
universal,obtuvo la prime_
ra demostracin,usando recursos transfinitos, sistemas afines" poco o nada tiene que ver con interpretaciones I
de ra consistencia
de la aritmtica clsica;y tambin tan peregrinas como la de un fotgrafo posmoderno que arguye, rg
Gdel continu trabajandoso_
bre posiblesextensionesder mtodo haciendo uso del teorema de incompletitud, que no existe la ins-
finitarioen las que pudiera
demostrarseIa coherenciade p. tantnea perfecta, o la de quienes lo nculan con el budismo zen
r_8 o intentan acercarse a las enfermedades de la mente:
i19
.qil|l;
r/l
Precisamente, una de las consecuencias inesperadas del la teora de conjuntos!, se realiza en un modelo numerable", y en
U
teorema de Gdel era la imposibilidad de distinguir la locura del general, contra aquellos que entendan las pruebas como deduccio-
+J
o- genio. Dado que todos los sistemas poseen proposiciones ver- nes formales en lugar de como mtodos metamatemticos para de-
.qJ
\J
daderas que no pueden ser demostradas,es posible que existan terminar si una proposicin es verdadera o falsa. Sus puntos de sta
a)
tambin razonamientos ciertos que no se pueden comprobar. La eran tan diferentes de los de Gdel que le impedan entender sus re-
r
mente, como las matemticas, es incapaz de cuidar de s rnisma sultados. Quiz por eso no tuviera ningn inters en conocer a nues-
frente a la incoherencia. Una persona nunca podr discernir si tro protagonista: parece que se resisti cuando un grupo de aclitos
E
est loca o cuerda pcr el simple hecho de que no tiene un marco quiso presentarle a Gdel y propuso que todos almorzaran juntos en
rU
U externo de referencia fuera de su propio cerebro. El demente lo alto de una colina cercana. Tras queiarse amargamente de que no
bn
slo puede rrredirsecon la lgica de la demencia y el genio,con estaba en condiciones fsicas para subi de que no habra suficiente
la lgica de la genialidad. comida si Gdel se les una, o, simplemente, de que no le gustabasu
rg
J
aspecto, los dos terminaron conversando sobre lgica colina arriba.
_ Lo primero que sorprende al estudiar la recepcin de los teore-
mas de incompletitud es la indiferencia de muchos matemticos,
3 Pero ,sc ltitcfrcona-iucel ctwienzafu unn lrtrgcami:titd: el21
ancLtetxtrl
(, que redujeron su alcarrce "a la construccin de la sentencia pa- de septiembre Zermelo le escribe contndole que ha encontrado
tolgica 17 Genr"; y la seguridad de quienes af,rmaban que Gdel un fallo que invalida toda la demostracin, pues de sus resultados f-
o
haba cometido errores en el momenio cumbre de su razc-namien- "podra desprenderse una frase que, como la paradoia de Russell, (
to. Lo cierto es que el trabajo de Gdel era ininteligible para la afirmara su propia falsedad". Gdel se tom la paciencia de expli- -+
rD
o
mayor parte de sus colegas, pues incorporaba tcnicas novsimas, carle, en una carta de diez folios, que el concepto de verdad slo
rD
y la lgica ha sido siempre un campo de estudio reducido. Adems, se haba usado en el esbozo informal de la introduccin, pues, a lo =
qJ
como reflexionaba Thomas Kuhn, "en la ciencia, la novedad surge largo del artculo, quedaba reemplazado por el de demostrabilidad,
o_
slo con dificultad, puesta de manifiesto por la resistencia, sobre que no incurre en contradicciones, a menos que supongamos que .D
el fondo que proporciona lo esperado. Inicialmente, slo se experi- Terminaba dicindole tambin que el
ts demostrnlr:.
todolo vcrdarlertt =
menta lo presto y lo habitual, incluso en circunstancias en las que a)
problema que crea haber detectado era consecuencia de Ia suposi-
ms adelante se observarn anomalas".
=
cin de que el concepto de verdad es expresabledentro del sistema c
P, una hiptesis sLry,ttl ttttt.De poco sirvieron, sin embargo, tan-
En septiembrede 1931Gdelaj a Bad Elsterpara hablarso- tas aclaraciones: Zermelo sigui poniendo pegas durante mucho
-t
r+
c
bre los teoremas de incompletitud ante los miembros de ia tJnin tiempo, que Gdel decidi no refutar. Al leer parte de la corres- a
MatemticaAlemana. Fue all donde encontr a uno de sus princi- pondencia entre los dos lgicos, Carnap asegur que Zermelo no
pales detractores,un Ernst Zermelo sexagenario,mtryrascble,
quese haba entendido nada de los teoremas de incompletitud. Tampoco
O
senttt y
malfratado, que conoca mejor que nadie lo duro que resulta Wittgenstein y Russell los comprendieron.
luchar por una idea, pues su axioma de eleccin, como veremos (O
enseguida,haba tenido que vencer innumerablescrticas.Las mis- En unas Obseruaciones sobre los fundomentos de lo matemti-
mas burlas de las que haba sido objeto las empleaba ahora contra co publicadas tras su muerte, Wittgenstein arremete contra Gdel
"el skolenismo,la doctrina de que cada teoramatemtica,iincluso en un apndice que la mayora de los estudiosos del filsofo alemn
lr?0 12r
no consideran a Ia altura del resto de su obra. Como l mismo afir- la lgica desde Aristteies", gracias en parte a obras dirigidas al gran
U
ma, el propsito de Wittgenstein no es "hablar de la demostracin, pblico como Gdel's proof, de Ernst Nagel y James Newman, y a
P
CL
.(U sino rozarla mientras habla"; as, en Iugar de discutir cmo se cons- tres traducciones del artculo al ingls que aparecieron entre 1962y
U
rn truye la sentencia 17 Gen r, o si es correcto probar su indecidibilidad 1967. La primera de ellas, firmada por un profesor de la Universidad
a)
a la manera de Gdel, rechaza el contenido metamatemtico del de Edimburgo, se public sin la autorizacin de Gdel, quien, al no
artcufo. Uno de los rnotivos recurrentes del Tractatus es lo inade- responder a la solicitud, oblig a la editorial a ponerse en contacto
A) cuado que resulta resolver los problemas del lenguaje recurriendo directamente con elMoneilshefie. Se trataba de una traduccin llena
c
a una estructura de orden superior; por eso, como apunta Manuel de fallos que recibi una crtica devastadora d,elJournal of Symbolic
U Garrido, "lo que tlilbert, Tarski y Carnap propusieron como meta- Logic e hizo temer a Gdel que los lectores pensaran que l haba
bD matemtlca y metalgica le pareca un mal sustituto de la vieja me- intervenido en el proceso. Afortunadamente, Elliot Mendelsol pron-
tafsica, que, tanto los formalistas como los nuevos positivistas pre- to la sustituy por otra, para una antologa titulada El indecidible,
J tendan eliminar". Wittgenstein vea un contraste desmedido entre que mejoraba muchos pasajes. Pero la traduccin que Gdel pre-
el rigor de las construcciones sintcticas de las funciones recursi- fera era obra de Jean van Heijenoort, casi un personaje de novela.
g)
vas primitivas y "la nebulosa semntica del programa" que haca co-
(9 rresponder a cada frmula su nmero de Gdel. Aunque algunas de De joven, Van Heijenoort haba sido revolucionario y lleg a
estasconsideraciones puedan resultar de inters, Wittgenstein tam- convertirse en el secretario 1, guardaespaldas personal de Trotsky,
1-
bin se pregunta por qu es imposible expresar las proposiciones al que acompa en su exilio en Turqua, Francia y Mxico. Des- ;
cle la fsica en el simbclismo de la lgica, o escribe que "la contradic- pus del asesinato de su dolo, ei hallazgo causal de unos Principia ;'
cin que surge cuando alguien dice 'Estoy mintiendo' interesa slo Mathematica en una biblioteca de Nueva York condujo a Jean u I
porque ha atormentado a la gente" y "la proposicin 'P es indemos- las pasiones sosegadas de la lgica. Ueg a ser un erudito fbrmi- g
trable' tiene un sentido diferente despus de haber sido probada". dable, capazde hablar ingls, alemn, francs, espaol y ruso con H
Russell, por su parte, en una cana escrita en 1963, reconoca que: fluidez, y con conocimientos enciclopciicos de matemticas y fi- B
losofa. Sin embargo, los das revolucionariosde su juventud no se
;
"Hace cincuenta aos que nc trabajo seriamente en lgica ma- mudaron en una lnguida da acadrnica: sustituy el calor de las 3
temtica, y casi el nico trabajo que he ledo desde entonces es el utopas comunistas por una da enluelta de tormentos anrorosos.
i,
de Gdel. Me doy cuenta, por supuesto, de que es de fundamen- Mientras preparaba Ia edicin de las obras completas de Gdel en
z
tal importancia, pero sigue siendo para m todo un quebradero de Stanford, una antigua amante lo conrrenci para volver a Mxico, l
cabeza; me hizo feliz no trabajarya en lgica matemtica. Si un con- y, all, en la cama, le peg tres tiros antes de dispararse ella mis- e
iunto de axiomas dado conduce a una contradccin, es claro que al ma en la boca. Para traducir el artculo fundamental de Gdel, Van :
menos un axioma debe ser falso. ZSeaplica esto a la aritmtica de la Heijenoort trabaj en estrecha colabsacin con Gdel, y ambos S
escuela y, si es as, podemos creernos algo de lo que nos ensearon
discutieron ms de un centenar de crynbios para mejorar el texto. ?
de pequeos? ZDebemos pensar que 2 + 2 no es 4 sino 4001?"
Aunque trat siempre de nrostrarse cordial, en su opinin, Gdel
S
era el individuo "ms tenazmente meliculoso" que haba conoci- 5
A partir de la dcada de los cincuenta comenzaron a entenderse
do nunca, como avalan las sesenta ctas que se escribieron y sus
los teoremas de incompletitud como "el avance ms importante de
abundantes conversaciones.
722 r23
..qF
o Otros trabajos tambin para frenar los problemas econmicos que empezaban a
U
acuciarlo.
P
o
.q,)
Sera de esperar que Gdel hubiese enviado la demostracin
(_, de los teoremas de incompletitud como trabajo de habilitacin na- Por esta misma razn, haba pedido tambin la Dozentur, pre-
4)
da ms publicarse, pero no lo hizo hasta junio de 1932. Mientras rrequisito para iniciar una carrera docente. Junto con el escrito de
LA
tanto, sigui interniendo activamente en el seminario de lgica habilitacin era preciso adjrrntar una lista de temas sobre los que
de Hahn y en los coloquios de Menger, clonde Oswald Veblen, uno el candidato podra dar su leccin de prueba (probeuortrag) ante
a)
c
de los miembros del Instituto de Estudios Avanzados de Princeton, un tribunal; Gdel escogi: ltign snrbolit;r,
Jrncittnrcntoslirgkosrlt lrr
rE
le escuch hablar por primera vez y sali trastabillado por su "in- ,trtiltiicci;, d attiliss,frinilruttctrtos de ln gLttnttrtt, ttxotntziicitinlt ltt
bo creble densidad de pensamiento". En el currculum tae para la ftor!n fu ii]\Ltnf(ts,t! yririktit,t ,lt lt cott-sste
ititt1,lit ;onpicttu,tttlekts fto;ns
habilitacin, Gdel sealaba que haba sido responsable de elegir !,stre: Jireccarcs tlt nvesrigncn
!,t'ttc1,lcs sohrc los_fiutinnrctros
rg -farrrrtlcs,
) algunos temas de debate de los encuentros y de ayudar a otros de I nntnrt't (logrt,ntt:,
jttnntlsn'ro e ntuciatrsnto),d ctilnlo dc clttsts
conferenciantes. Adems, por esas fechas trabaj como reseis- fu Boob .t' Pe!'cc,t, resilttla-,rtcttff:stle ftoritt ik Lt ilrcdtla.La comisin
c
CJ
ta del Zentralblatt fr Mothematik und ihre Grenzgebiete, donde se reuni el 25 de noembre de 1932,presidida por el decano de
(-, aparecieron sus recensiones de varios artculos de Neder, Betsch, la facultad, y con la presencia, entre otros, de Furtwneler, Hahn
Hasse, Scholz, Von Juhos, Skolem, Carnap, Heyting, Klein, Dinger, (que haca las veces cie secretario), Menger y Schlick. Al presentar
o
Kacsmarz, Lewis, Quine o Chen. Se haba comprometido tambin a Gdel, Hahn destac que su tesis doctoral sobre la suficiencia L
a colaborar con Heyting en un libro sobre el estado de la investiga- lgica del clculo de primer orden ya era un logro muy notable,
- ,D
cin en los fundamentos de la matemtica para la editorial Springer. pero que el escrito que haba presentado para la habilitacin era un o
-.\
ft
Los dos haban acordado que la obra deba recoger las tendencias resultado de primera magnitud, que "haba atrado la mayor aten_ =
o-)
principales (logicismo, formalismo e intuicionismo) y que Gdel cin en los crculos cientficos" y supona un jaln en la historia de LA
se ocupara de la redaccin de los tres primeros captulos, cuyos las matemticas; el solicitante, en resumen, superaba con creces el o
ttulos prosionales eran: "Breve intrcduccin histrica: la crtica corte habitual. Con slo un voto en contra, del profesor Wirtinger,
=
de Poincar", "Las paradojas y los intentos para clarificarlas" y "El que pensaba que lel artculo de 1931 repeta muchos resultados
o
clculo de la lgica y su desarrollo posterior: el logicismo". Sin em- del teorema de completitud!, Gdel se conrti en docente, y su j
-
bargo, Gdel fue retrasando la entrega cada vez ms, primero por leccin de prueba fue fijada para febrero del ao siguiente.En lugar
.+
problemas de salud y luego por los trmites para su viaie a Prin- de alguno de los temas de la lista, la comisin le pidi que diser-
a+
ceton y otro tipo dc proyectos -estaba resando varios captulos tara sobre "El clculo proposicional irrtuicionista',,y la leccin fue o_
de un libro de Menger sobre geometra, y tambin la Metolgica aprobada varios das despus, esta vez sin votos en contra.
de Carnap, donde encontr errores en la definicin de las llama- r.o
I das frmulas analticas-. Finalmente, tuvo que publicarse slo la Gdel saba, an as, de qu hablaba, y en junio de 1932,apro- o
I
segunda mitad, que Heyting haba terminado casi dos aos antes. vech parte de sus investigaciones en la ponencia "sobre la teora
Gdel se conrti en Ia pesadilla de sus editores: aunque se vea de nmeros y la aritmtica intuicionista". Como apuntbamos en
incapaz de escribir los artculos en el plazo estipulado, continuaba el captulo anterior, el intuicionismo haba surgido en respuesta a
aceptando encargos, no slo por admiracin a sus mentores, sino las paradojas emergentes de la teoa de conjuntos. para eliminar
1.24 125
( cualquier contradiccin posible de las matemticas, los intuicionis-
o
(J
tas haban generado un sistema ms restrictivo, donde el infinito
P
o
.(U no entraba en juego, y las demostraciones constructivas daban se.
guridad a los teoremas. Las frmulas vlidas en esta lgica se nos
(u
presentan a priori como un subconjunto propio de las del clculo
LN
clsico sin ms que establecer una traduccin de los conectoreS
A,) de una teora a otra. Gdel demostrar que eI rAd[xoco tambin
es cierto, es decir, que el clculo conectivo clsico es un subsiste:
rc
ma del intuicionista. As, cualquier teorema de la aritmtica clsica
ho es otro teorema de la intuicionista, y todas las irrconsistencias que
surjan en el seno de la lgica usual son automticamente contra-
rU T iempos de cri si s
J dicciones en el otro clculo. Ms que una solucin, ei intuicionismo
es un disfraz.
( 1 932-1939)
Q)
(-,
pblica; pese a ello, en los catorce meses que dur su mandato (,f
;l
::3
:$
..i
I LN
colegasprofesores,que sufrieronvejacionescontinuasy no podan Flexner haba contribuido de forma decisiva a la fundacin del
U
entender la falta de compromiso por su parte. Sin embargo,cuan_ instituto. Los hermanos Bamberger haban amasado una grandsi-
P
.cJ do Gdel regresde su primera estanciaen Princeton,la gravedad ma fortuna en su negocio textil, que vendieron por veinticinco mil
U del panorama deterior hasta tal extremo su salud fsicay mental,
(n dlares slo seis semanas antes del crack de 1929.'Talvez por este
a)
que tuvo que ser ingresadoen el sanatorio Purkersdorf,donde Ie golpe Ce suerte, decidieron dedicar parte de su riqueza a un acto
(n
diagnosticaronun colapso nervioso. filantrpico y pensarcn en un principio en fundar una escuela de
odontologa. Fue el propio Flexner quien les convenci de que era
c
Durante el otoo de 1932Gdel estu- ms urgente crear un instituto puntero de investigacin que se dedi-
IE
vo muy ocupado con sus trabajos de in_ cara a las matemticas, pues, a su iuicio, no slo constituan la base
.o vestigacin, la solicitud para convertirse del resto de las ciencias, sino que haba un inslito acuerdo entre los
en Dozent y los preparativos de su viaje a, matemticos sobre quines eran las mejores mentes, ms all de
-: Amrica. Fue Oswald Veblen quien tuvo las envidias y miserias caractersticas cie otros mbitos acadmicos.
la idea, dos aos antes, de que sera de Con este espritu naci el Instituto de Estudios Avanzados, basado en
CJ
gran provecho ianto para GCel como el Rockefeller Institute for Medical Research que diriga el hermano
para el Instituto de Estudios Avanzados de Flexner: como un templo consagrado a la investigacin donde
(LA,S)que pasara all el curso 1933-1934. no haba clases ni estudiantes,y las obligaciones de sus miembros,
Veblen se haba doctorado en la Univer- entre los que se encontraban Einstein y Hermann Weyl, eran mni-
sidaci de Chicago con una axiomatiza-
Ab r a h a m F le xn e r mas. Por eso, Flexner no imaginaba meior "oportunidad para que
cin de la geometra eucldea diferente Gdel continuase su trabajo con otros colegas"; en especial,Veblen
de la propuesta por Hilbert, y enseaba en Princeton desde 1905, haba pensado que sea muy fructfera la colaboracin de Gdel
pero no dispona en ese momento de la autoridad necesaria pa- con Alonzo Church, que con el tiempo se conrti en uno de los --l
ra realizar la oferta, por lo que decidi sugerirle a Menger que le mejores lgicos americanos: "creo que puede ser interesante para
ofreciera a Gdel un puesto de un ao, con un sueldo de aproxima- el formalismo de Church entrar en contacto con tu espritu crtico"
damente dos mil quinientos dlares y alguna suma adicional para -le escribe. Tambin Von Neumann, que diriga un seminario sobre
cubrir los gastos de desplazamiento. Menger dio acuse de recibo r:-
mecnica cuntica en el IAS, le anim a incorporarse al claustro, iD
con una tarjeta y traslad la intacin a Gdel, que no respondera y parece que ambos se encontraron en Viena a finales de junio de
hasta transcurrido mucho tiempo, cuando estuvo seguro de que 1933 para hablar sobre Princeton. -
una estancia en los Estados Unidos no afectara en modo alguno a
los trmites para su habilitacin. Sin embargo, Veblen no recibi la
tarjeta del organizador de los coloquios eneses y, temiendo que Venia legendt
su propuesta se hubiera perdido en el ancho ocano, en un tele- NJ
I
grama urgente el 7 de enero de 1933:para entonces, Gdel ya haba Antes de su primer viaje a los Estados Unidos, Gdel ejerci su
decidido viajar al IAS, y su respuesta, en una carta larga donde ex- (O
recin conquistada libertad de ctedra con un curso de dos horas
plicaba los motivos de su dilacin, fue inmediata. poco despus, semanales sobre los fundamentos de la aritmtica en el que habran
Abraham Flexner, el director, en la invitacin oficial. participado al menos quince estudiantes, ocho de ellos mujeres. Las
128 129
condiciones del ejercicio de la docencia empeoraban a marchas En 1936Church haba conseguido probar que, aunque la lgica de
forzadas: imitando a sus secuaces alemanes, los nazis austriacos primer orden es indecidible, algunos tipos especiales de frmulas
+J
o-
.cJ
ponan bombas y apaleaban a los estudiantes judos alrededor de no lo son; en particula las clases de frmulas prenex cuyos prefijos
la universidad, en la que, a causa de un anacrnico privilegio, la po_ son de l a for m a ax1 "'xn, Y x1 "'x, o 3x, '"xr Yf t "'y- son deci-
OJ
lica no estaba autorizada a intervenir. El nico consuelo posible era dibles. En 1930,Gdel extendi estos resultados a frmulas prenex
volver la vista hacia Alernania, donde la situacin era considerable- con slo dos cuantificadores universales seguidos y continu traba-
ntente peor: la ley de Restauracindel Servicio profesional Civil,del jando sobre el tema. Por primera vez, Gdel no haba presentado
c
7 de abril de ese mismo ao, haba supuesto la expulsin de todos sus descubrimientos en el coloquio de Menger, pues se trataba de
IE
los profesores judos de las universicladesalemanas, v en algunos una prueba con detalles intrincados y sutiles,tan sutiles que Gclel
h
casos las plantillas quedaron reducidas hasta en una tercera parte. cometi un error qtte pasara inadvertido durante ms de cincuenta
Se lra discutido mucho sobre ei posible antisemitismo de Gdel, a aos. No es cierto que ci f(lreffil I tcunbtnputdo scrprobatlopor el msmo
tg
J menudo teniendo en cuenta el poco apoyo que habra rnostrado qLriltcttn d sgnoth Itlentd;td,como afirma
practltnintopfirLt_intulLl:
a algunos de sus amigos de esta raza. Por el ambiente intelectual en la ltima frase del artculo.
u en el que se moa, muchos pensaban que l mismo era judo; as,
L9 en una pgina del segundo volumen de su autcbiografa, Russell En el Instituto de EstuciiosAvanzados, la investigacin se re-
recuerda cmo "sola ir a casa de Einstein una vez a la sentana tomaba cada primero de octubre con un acto acadmico en el
para discutir con Gdel, Pauli y 1. Estas conversaciones eran en que Gdel quera estar presente, por eso tena previsto partir cle
ciel'ta medida decepcionantes, porque, a pesar de que los tres eran Southampton (lnglaterra) a bordo del Berengaria, que cruzaba el
judos, exiliados y cosmopolitas, tenan una inclinacin germana Atlntico en seis das. Varios amigos fueron a despedirlo a la esta-
hacia la metafsica". Cuando en 1971 alguien llam la atencin de cin de tren de Viena, en la que tom el Orient Expressy donde, tal
Gdel sobre este prrafo, redact una respuesta, donde comenza- y como describe uno de ellos, "un caballero de aspecto elegante, -t
ba aclaranoo que l no era judo, aturqtLeest6cuestiln() tl1gs rtnguno presumiblemente su hermano doctor, permaneca apartado de no- rD
=
m1to,rr',,
en la que no se aprecia muestra alguna de odio hacia el sotros y se fue tan pronto como el tren se puso en marcha, mientras
pueblo judo. De hecho, quienes lo trataron, apuntan que tena una los dems nos despedamos an". Sin embargo, la suya fue una sali-
o_
relacin muy amistosa con ellos. da en falso, porque durante el aje Gdel enferm y decidi volver
a casa; unos das despus su familia lo convenci de que volera
--
Poco tiempo despus del final del curso sobre los fundamentos a intentarlo a bordo del Aquitanio, qtte pudo tomar esta vez. El 6
de la aritmtica, Gdel se march de vacaciones con su madre a de octubre, en el puerto cie Nueva York lo esperaba uno de los her-
Bled, un balneario situado en la actual Eslovenia muy prximo a manos Bamberger, con el que aj en coche hasta Princeton. El
(O
la frcntera austriaca, donde pudo descansar de la redaccin ,Cesu primer trmite all fue encontrar alojamiento, en el nmero 32 de la
NJ
aftculo "Sobre el problema de decisin de la lgica de primer or- Vandventer Avenue.
den", que aparecera en el volumen 40 del Monatshefte. Dado un
conjunto de frmulas, el problema consista en deternlinar si existe Se conserva mucha informacin sobre la actividad de Gdel en
I
un procedimiento automtico que permita decidir en un nmero el LASdurante el segundo semestre, gracias al minucioso registro de
it finito de pasos si cada una de las frmulas es satisfactible o Kleene, que estaba terminando en ese momento su tesis doctoral
13 0 'o. r31
i
t
I
I
t'
(n
bajo la tutela de Church; sobre los primeros seis meses, sin embargo, les matemticos". Por sugerencia de Veblen, dos de los alumnos
U
las fuentes escasean. Es de suponer, de todos modos, que Gdel tomaron unos apuntes, que el Instituto public ese mismo ao y
+J
c
.cJ
particip en el seminario de mecnica cuntica, un campo que le que luego pasaran a formar parte de la antologa El indecidible.Las
U interesaba mucho, pero al que no haba tenido tiempo de dedicar notas comienzan con una definicin lo ms general posible de siste-
,}: c.)
, la atencin necesaria hasta entonces, y trat de mejorar su ingls. ma formal matemtico, es decir, utt sstem fu sgnos-iuntoc0nreglLls
PrLr
4'; L/)
f! Tambin empez a colaborar con Church, aunque ambos tenan utlizarlosque permitan decidir en un nmero finito de pasos si una
CJ
opiniones muy diferentes sobre el alcance de los teoremas de incom- frmula est bien construida o no. En la introduccin se adelantaya
c
pletitud que Gdel acababa de demostrar. No era la primera vez que nryletos,p nr rt'ttda fon n ui;t, rv * dekr ble L'(c - (v.
que elsistu n tji r il'Iai ser t)
,/
v (J se ponan en contacto: el ao anterior Gdei haba escrito a Church Probsrenosnns t aelanfe que(bn1o lascondca nrsqtrcserail exlrts5fq5) unsslttt'ul
*.. bo
Y. con algunas preguntas sobre su artculo "Un conjunto de postulados de Is artntct c(tnn-fimil-
queptLtdn{x'lresfrrtodasloscrnnrcittdas
-f'ornml
\ ij para la fundamentacin de la lgica", que haba publicado Annals El
Iasno esctutrytk. artculo lo completan una definicin precisa de
fg
f of Mathemadcs en 1932. Merece la pena reproducir un fragmento
J
las funciones recursivas primiiivas, una erposicin ms clara sobre
' muy significativo de la respuesta del matemtico americano:
t.
los nmeros de Gdel y ciertas consideraciones novedosas sobre
CJ
el concepto de verdad, muy en la lnea de Tarski, aunque Gdel
(9
"No logro entencier que una prueba de la ausencia de contra- no ley sus obras hasta 1936 cuarrdo fueron traducidas al alemn.
dicciones que empiece por asumir que los Principia Mathematica
estn libres de contradicciones sea de gran utilidad, porque que los
Principia Mothematica no tienen contradicciones es dudoso, o !n- Vuelta a Europa
cluso improbable. De hecho, la nica evidencia de su consistencia
,( es la evidencia emprica que surge del hecho de que ha sido usado El seminario de Gdel tuvo lugar entre febrero y mayo, con una
durante algn tiempo [...] sin que se haya encontrado todava nin- pausa a mediados del mes de abril, en la que Gdel aj a Nueva --1
guna contradiccin. Si mi sistema est realmente libre de contra- York y Washington para dar dos conferencias de carcter dir,ulgati-
dicciones, entonces la misma cantidad de trabajo para deducir sus
=
vo. Por esa misma poca Flexner le ofreci dos mil dlares como
consecuencias valdr como edencia emprica de su consistencia,'. beca para el ao siguiente. A principios de junio de 1934,despus
o_
de un viaje de algo ms de una semana a bordo de un navo ita-
Church vea su clculo 2 como una formulacin radicalmente liano, Gdel desembarc en Gnova, dispuesto a pasar tres das
nueva de la lgica, ajena a las estructuras de las que se haba ocu- de descanso en Venecia antes de volver a casa. La situacin que LN
pado Gdel en su teorema de incompletitud. La mejor prueba de se encontr en Viena preparaba el escenario de un conflicto de-
que Church no acababa de entender la potencia de los resultados vastador: el 8 de junio el ministro de educacin Schuschnigg haba
de Gdel es que crea que la incompletitud dependa de algn rno- declarado que los rectores electos y los decanos de las universida-
do de las particularidadesdel sistema formal que se considerase. des slo seran reconocidos por el gobierno si se afiliaban al Frente
IU
I
Talvezpor ese motivo, como sealaDawson,para su curso de Prin- Patritico, y tambin Gdel se o obligado a hacerlo en mayo de (-o
ceton, Gdel cambi el ttulo "Sobre proposiciones formalmente 1935 para poder continuar con su curso sobre "Captulos selectos (p
indecidibles de Principio Mathematica y sistemasafines" por otro de la lgica matemtica". Dos meses despus se reconoci el po-
ms general:"Sobreproposicionesindecidiblesen sistemasforma- der del ministro para retirar temporalmente de su cargo a todos
132 133
I
I
conocimiento del psiquiatla Julius wagner-Jauregg, que haba re-
a
los profesores qlle considerase oportuno, y uno de los primeros
en caer fue Gomperz, cuyos seminarios de historia de la filosofa cibido el premio Nobel en 7927 por un nuevo tratamiento para la
]J
o
.CJ
haban impresionado a Gdel aos antes. Como consecuencia de demencia paraltica; fue l quien diagnostic un colapso neroso,
U
Ln
la propaganda fascista, la presin y el miedo, adems de la incipien- probablemente causado por un exceso de responsabilidades, del
qJ
te fuga de cerebros, Ia da intelectual enesa se fue debilitando que el paciente se recuperara pronto. Aunque el 6 de noembre
poco a poco, y quienes permanecieron en sus universidades eran Gdel asisti de nuevo a los coloquios, cuyas actas sigui editando
qJ nacionalistas radicales que hacan proselitismo entre sus alumnos. con ayuda de Abrham Wald, decidi posponer su sita al Instituto
de Estudios Avanzados hasta el otoo siguiente, con el fin de evi-
E
El propio Menger, que siempre se haba mostrado muy reacio a
ru
(J
abandonar Viena, describa as la situacin: "no creo que haya en tar posibles recadas. Menger describe as su participacin en los
a0
'o
Austria ms de un cuarenta y cinco por ciento de nazis; el porcen- encuentros durante esta segunda etapa:
taje en las universidades debe de ser de un setenta y cinco por
ro
ciento; pero entre los matemticos con los que tengo que traiar, "Gdel se mostraba ms retrado despus de su regreso de
con la excepcin de algunos de mis estudiantes, es del cien por A mr ica, aunquesegu aconver sandoconlosasist ent esalColo-
4)
'iJ cien". Tambin l terminara emigrando. quio [...]Siemprecaptabala esenciade los problemasmatemticos
:o
L9 rpiday concienzudamente, y susrespuestas,tan preclsascomo su-
En medio de estos tristes aconteci- cintas,solanabrirnuevoshorizontesanalticosa susinterlocutores.
mientos, la salud fsicay mental de Gdel Todoeso lo expresabacomo si fueracompletamenterutinario,pero
sufri un grave deterioro. Durante sll es- con una tirrrideztan encantadora,que despertabalas simpatasde
tancia en Princeton ya haba manifesta- muchos oYentes".
do algunos de los problemas digestivos,
reales o psicosonrticos, que le perse- Durante este interludio en Viena, Gdel centr sus lecturas en -l
guiran toda su da; y la mujer de Ve- la fsica (Eddington, Planck, Mach, Schrdinger, Lorentz, Dirac) con E
blen a menudo le preparaba algunos pla- el objetivo de completar la formacin recibida en el seminario de E
tos para que "no se olvidase de cenar". Von Neumann. Slo unos aos desptrs, a medida que Gdel iba :
Gdel pas la semana del 13 al 20 de desarrollando un miedo obsesivo a que lo envenenaran y a morir o
Ka r l Menger
octubre de 1934en el sanatorio Purkers- intoxicado por los gases que escapaban de su frigorfico, todas estas ?
dorf, que haba fundado a principios de obras seran sustituidas por manuales de toxicologa y farmacia, ;
siglo un irrdustrial en un antiguo balneario. Con alrededor de quin- especialmente uno dedicado al monxido de carbono. Este hecho, ;
ce habitaciones individuales, ms que una institucin mental en el en opinin de su hermano, responda a planes secretos de suicidio. ;
sentido moderno, era un lugar de retiro para personas que, como No queda claro si Adele con Gdel durante esta poca, aunque 3
Y
Gdel, tenan un temperanento inestable o se vean sobrecargadas se conseryan varios documentos en los que aparecen registradot
de trabajo. An as, Gdel etaba hablar sobre su situacin: al con- ,,el sr. y la sra. Gdel" antes de casarse. En cualquier caso,
como s
tarle a Veblen qu haba estado haciendo en Europa se refiri tan Adele contribuy a la mejora del estado de salud de Gdel mucho :7
slo a certosproblen'tas y a su insomnio
can uns muelitmal empastadr ms de lo que pudiera pensar su madre y, a partir de entonces, se
habitual. Para mayor seguridad, el caso de Gdel fue puesto en dedic a probar todo lo que l coma.
134 r _35
rqFr
El nico indicio de sus trabajos de esta poca es una nota de A principios de agosto Gdel escribi a Flexner contndole que
U
apenas dos pginas, "Sobre la longitud de las deducciones", en la durante varios meses se haba encontrado bien y que esperaba colt
o_ que Gdel muestra cmo al pasar de un sistema formal dado a lusnuna nueva estancia en Princeton el otoo siguiente. Esta vez
.(J
otro de tipo superior no slo es posible defurcrcertnssenfencas que el viaje transcurri sin incidentes, en compaa de VTolfgangPauli y
c.) Paul Bernal's, que tambin haban sido becados por el instituto. Du-
pret,nn;cnteeran indeduchies,sno tnntbnaclrtr exn'sordnnrnntente
tinn
o nltnddie den'nsfrttcLtfies
deldsquey dsponamos. Sin embargo, parece rante el trayecto, Gdel le explic a Bernavs todos los detalles de la
que fue durante su segundo curso en Viena cuando a Gdel se le prueba del segundo teorema de incompletitud. Gdel encontr alo-
c
ocurri la idea de la demostracin de la consistencia relativa del iamiento sin dificultad en el nmero 23 de Madison Street, donde
f6
a-xioma de eleccin con los dems axiomas de la teora de conjun_ tena pensado permanecer hasta el final del primer trimestre. Sin
bc
tos, que constituye el germen de la tercera gran obra matemtica embargo, a mediados de noviembre sufri una nueva depresin y
-o
de Gdel, como describiremos en el siguiente captulo. tuvo que regresar a Viena. aunque el claustro del IAS acord invi-
(E
J tarlo otra vez cuando estuviera completamente recuperado. A pe-
Si hace algunas pginas nos referamos a los cambios radicales en ticin de Gdel, Veblen prometi no informar a su hermano sobre
E las etapas de la da de Gdel, lo mismo puede decirse ahora sobre su situacin, pero pronto cambi de idea y, a fin de etar riesgos
:c
L9 sus intereses matemticos, pues, a partir de ese momento, casi no innecesarios, le mand un telegrama advirtindole de que Gdel
prest atencin al desarrollo de Ia lgica de la recursin y la teora de llegara a Le Havre el 7 de diciembre. Pas tres das en Parsy, cuan-
modelos. En opinin de sus bigrafos, "fue esencialmente un abridor do crey encontrarse mejor, tom l mismo un tren hasta Viena.
de nuevos caminos, alguien que atacaba grandes problemas y haca
descubrimientos incisivos, pero dejaba Ios detalles para otros',, como
habaocurridoya con elsegundo teorema de incompletitud. EIpeoraodemvdo
--l
Al hacer recuento de su da mucho tiempo despus, Gdel re- rD
=
cordara 1936 como uno de los peores aos de su vida: pas varios o
meses en un sanatorio para enfermos nerosos en Rekawinkel, y
!-)-
tambin se conservan facturas de otro centro mdico en Golling bei rD
+J
o_
.(u
r:',,,'i:
Unlul
u
(/)
ingresado en I93l en el Kn
a)
ro Ilege cle Cambriclge, rlonde
rU
u
E
1., ma Io ms ambicioso
-l
=
o
o_
..:.-.i ..1:,. ,.i,::.. r,:,...r.. :... .
..:i:r.i .t::i ,
(,
NJ
I
l 138 139
*q -w
!!
*11,
*
fl i
conocer a Gdel. Tampoco pudo conocerlo Gregory Chaitin, que
q -p
o_
en Conuersaciones con un matemtico cuenta cmo, despus de
haber acordado un encuentro por telfono, su visita fue cancelada:
'cJ
I
"Era la primavera ya: normalmente no deba estar nevando. Pero
*
t nevaba, y rni cita qued anulada. Yo tena que volver a la Argentina
I
ese fin de semanaypresentque no tena otra oportunidad. Yasfue,
porque Gdel muri poco despus".
TT
,{ r
1
if bl.) Notre Dame
rs
A mediados de noviembre de 1937,aparentemente por proble-
ngrtsos,,tt n -utt,ezdepcndmd':lpretodelo:fictorcstlc1'roduccn.
sios Sepaf,t mas de dinero, Gdel se mud del apa-rtamento de la Josefstdters-
I de la teora de conjuntos y la hiptesis del continuo, al tiempo consideramos su vehemente oposicin al rgimen nazi y su poco
n
que revisaba unos cuadernos escritos en Princeton, que contenan cuidado al hablar sobre 1. Despus de varios meses, en los que
dos secciones: la primera, sobre el axioma de eleccin, con la llen tres cuadernos enteros con trabajos sobre la hiptesis del
etiqueta de rein (copia en limpio); la segurrda, sobre la hiptesis continuo, Gdel escribe a lVlengerel l5 de diciembre: ittstttm estc
del continuo, bajo el rtulo de halbfertig (a medias). nrcmul he comenzs'loa prohnr ltt ndependenc
de Ia hptusdel ct',ntru0,
aullryrcno s s tendrt.riro 0 n0, y le pide discrecin, porque era la __r
Sin embargo, 1936 fue un ao glorioso para la lgica: Church segunda persona despus de Von Neumann que tena noticia sobre ;
public los artculos en los que empleaba su famosa fesspara es- sus nuevas lneas de trabajo. Precisamente, a su regreso a Euro- !
tablecer la indecidibilidad de la nocin de verdad aritmtica ("Un pa, Von Neumann se cit con Gdel a finales de enero de 1938,y ;
problema irresoluble en teora elemental de nmeros") y mostra- ambos conversaron acerca los descubrimientos de Gdel y sobre *
ba que el problema de decisin de la lgica de primer orden, del la posibilidad de que ste sitara de nuevo el Instituto de Estudios .l
que Gdel se haba ocupado entre l93l y 1933, no tena solucin Avanzados el curso siguiente. Finalmente las fechas quedaron de ;
("Una nota sobre el Entscheidungsproblem"). Se furrd tambin lhe este modo; Gdel dara un seminario sobre teora de conjuntos j'
Journal of Symbolic Logic, Kleene continu con sus investigaciones en hinceton durante los meses de noviembre y diciembre, y en-
;
sobre la 2-definibilidad y Alan Turing obtuvo una beca para doc- tre febrero y junio se trasladara a la Universidad de Notre Dame 3
torarse en Princeton bajo la direccin de Church. Turing tena un (en South Bend, cerca de Chicago) para ensear lgica elemen- ':
grandsimo inters en encontrarse con Gdel en Princeton, pero tal. Estaba preocupado por rl nglshsuf;cente,h falts de experencia G
durante el semestre que pas all Gdel estaba todava en Viena (n lrrnrcrlsoffsls) eltempo
lntadipnrolrrrporrrlos.
Paratranquilizar- g
recuperndose de su ltima crisis. Perseguido por su homosexuali- lo, Menger acord con l que los dos juntos se ocuparan de la
dad, Turing se suicidara en 1954 sin haber tenido la oportunidad de asignatura.
I 4L
Dos semanas despus de su llegada al lAS, Gdel as al de_ prueba. El artculo completo no se publicara hasta el ao siguienie.
3
cano de la Universidad de Viena de que iba a pasar ese ao en A finales de octubre Gdel haba asistido a una convencin de la
;
Ios Estados Unidos. Antes haba tenido que pedir un adelanto de Sociedad Americana de Matemticas con el fin de comentar all con
t3.
y trescientos dlares a veblen para comprar el billete de barco. por Menger algunos detalles sobre el curso de Notre Dame. La sorpresa
c'i fue encontrarse tambin con Emil Post, un lgico de origen pola-
distintas cuestiones burocrticas, Veblen no estaba autorizado a
hacerlo, pero se ofreci a adquirir l mismo el billete. Gdel slo co -aunque haba emigrado con sus padres a los Estados Unidos
:
u pudo salir con veinticinco dlares de Alemania, por lo que soli- cuando slo tena siete aos-, que haba introducido las tablas de
io verdad como procedimiento de decisin para la lgica proposicio-
cit tambin que le fuera enado algo de dinero a Nueva york. A
p esto se le aadieron otros problemas para realizar el aje, porque nal, y algunas nociones fundamentales para la teora de autmatas
.3 todo el mundo anticipaba elestallido de la Segunda Guerra Mun- y lenguajes forrnales. Post haba probado en 1920 la completitud
dial, y la mayoa de los barcos iban completamente ilenos. Gctel de un fragmento del clculo de primer orcien, y estuvo cerca tam-
;
J reservo primero un camarote en el Lamburg, que tena presta bin de obtener el primer teorema de incompletitttd. Por eso se
la llegada a Amrica el 7 de octubre; sin embargo, ms adelante comprende tan bien la anotacin de su diario el mismo da del en-
_
le escribi a Flexner preguntando si podra conseguirle un pasaje, cuentro con Gdel: "Durante quince aos estuve considerando la
t
porque si tto, ttttpodra r. Finalmente parti l solo en el Neu, yorh- idea de asombrar al mundo matemtico con mis ideas heterodoxas;
el da 15. Seguramente el cambio de planes se produjo porque no encontrarme al responsable principal del desvanecimiento de ese
consegua encontrar un billete para Adele, con la que se haba ca_ sueo me ha entusiasmado". La actitud de Post hacia nuestro pro-
sadcslo una serrtanaantes, el 20 de septiembre. A Ia boda, por lo tagonista no era de resentimiento, sino ms bien de admiracin. AI
civil, slo asistieron los familiares inmediatos de la pareja y algunos da siguiente le escribi una carta de cuatro folios donde terminaba
conocidos. Su hermano Rudolf estuvo presente en la ceremonia, reconociendo que nada de lo que l hubiera podido conseguir "ha
pero, cuando muchos aos despus le preguntaron sobre el tema, reemplazado la esplndida actualidad de tu demostracin [...], des- -l
lo nico que recordaba era que, a pesar de Ia duracin del noaz- pus de todo, no son las ideas sino su ejecucin lo que constituye lD
=
-a
go, Gdel no Ie haba presentado a Adele ha_stael momento en el una seal de grandeza". Le hablaba tambin del trabajo interrumpi- o
que decidieron casarse. Tanto Menger como Veblen, curiosos por do por su enfermedad maniaco-depresiva y de cmo los teoremas
o-
saber quin sera esa mujer que haba cuidado de Gdel durante su de incompletitud podran haberse desprendido como corolarios de
enfermedad, crean que el matrimonio sera muy beneficioso para su dernostracin de la existenciade problemas absolutamente irre- a)
l
Gdel. Tl vez por eso, Gdel quea que Adele lo acompaara en solubles. Aunque la proposicin indecidible sobre la consistencia
su tercer viaje a Princeton, aunque finalmente tuvo que quedarse de la aritnrtica tena enorme inters, "muchas veces se ha malin-
en el apartamento de Viena. terpretado el significado del teorema y su relacin con las posibles
pruebas de consistencia".
l.J
Nada ms llegar al instituto Gdel se puso a trabajar,y el 9
de noviembre ya haba enado a los Proceedings of the National Tras su estancia en Princeton, Gdel lleg a Notre Dame en \o
Academyof Sciencesun anuncio de su descubrimientode la consis- enero de 1939y, al parece busc un lugar de residencia en el cam-
tencia relativade la hiptesisdel continuo y el axioma de eleccin, pus. Menger recordara ms tarde sus discusiones con el prefecto
donde daba tambin un bosquejo de las ideas principales de la del edificio, "un ejo sacerdote, con coslumbres muy arraigadas",
1,42 L43
(n
o por cualquier cosa. Gdel se encontr bien durante todo el trirnes-
U
tre, pero no se le vea contento y se refugi, como sola, err su
#
.qJ
trabaio. Aunque Menger organizaba all un simposio a la manera
LJ
rn de sus coloquios eneses, el ambiente intelectual, de herencia to_
o)
mista, no supona ningn estmulo para Gdel, que tampoco quera
hablar de la situacin poltica de Europa. En Notre Dame, Gdel dio
C.J
clases de "Teora de conjuntos" e "lntroduccin a la lgica", dsg
'tf
optativas para los estudiantes graduados. AJ segundo de los cursos
rE
IJ solan asistir unos veinte alumnos, de los cuales la mitad eran jve-
hr) nes profesores y doctorandos con buena formacin matemtica, y
'o
la otra mitad filsofos uiejos, convencidos de la inutilidad de la lgi-
-: ca moderna. Dirigindose especialmente a ellos, Menger mostr en
E1 probl ema de1 cont'i nuo
la primera clase varias cuestiones para las cuales la lgica aristotli- ( 1939- 1940)
CJ
o ca resultaba insuficiente. En las siguientes sesiones, Gdel trat de
L9 dar, en ln ntddtt dc lo posblt,tma tlr canplett:t,lt: cnto ls detluccones
lgcaspo'lnu ser raducdttss utt cerfo ntmeroJe leyesprrntt,ns.Luego
introdujo los conectores con ejemplos del lenguaje cotidiano, ex_
plic su sentido con las tablas de verdad y dio una a.xiomatizacin TN
de la lgica, basada esencialmente en la de Russell,que inclua slo En un artculo aparecido en 1947 Gdel cornienza explicando
-'i
cuatro axiomas y tres reglas de deducci n. Atutquesclta contertrJoen
o
estfuulnr-le gustaba recordar a Gdel-, los afirnncorrcsque se tnfiltit:
o
cotnonxontsdebernsr lo ns settcllas =
1 natlchrtl nts settclloque
ltosbles, o.J
qued)trffe en iosprncpsMsthemntLcL)titlrelrcffis.La ltirna
l, !, a-
-
parte de la asignatura habra estado dedicada al anlisis del clculo
de predicados, al papel de los cuantificadores y las antinomias. si dos conjuntos tienen el mismo nmero de elementos responde a
o
=
la idea intuitiva de contar y comparar los resultados. sin embargo, a+
Antes de abandonar Notre Dame, Gdel acept las invitaciones la intuicin a menudo conduce a resultados contradictorios, pues =
c
para volver al Instituto de Estudios Avanzados en el otoo de lg39 no es cierto, como cabra esperar, que todos los infinitos sean del
y dirigirse al Congreso Internacional de Matemticos (lCM) el ao mismo orden: hay algunos mayores que otros. Para dar sentido ma-
siguiente. Sin embargo, su salida de Austria se retras mucho ms temtico a estas ideas, el concepto de nmero se sustituye por el de
de lo presto, y el ICM de 1940 fue cancelado tras el comienzo de cardinal, y la operacin de contar, por la posibilidad de establecer
la Segunda Guerra Mundial. una biyeccin. Dados dos conluntos finitos A y B con el mismo car- 5
.E o/l
J
0, b3 r-)
mos numerables. Para comprobar si un conjunto A es numerable,
b1
P4 b4
-
=
0, dl cl2 d3 g) c
(^
o comenzar por 0,275...Reiterando el proceso se comprueba al ins_ con un procedimiento similar al sucesor que construye los natu-
p
tante que x no es uno de los nmeros reales de la lista: en efecto, rales desde el cero: igual que 2 = ss0, f{z se obtendra como 22"0'
o_
'cJ
x no es el primero, porque sus primeras posiciones son diferentes; Afirmar que no existe ningn cardinal entre Nn y el del conjunto de
n no puede ser tampoco el segundc, ya que, aunque sus primeras sus partes supone que, o bien ambos son iguales, o 2N' es estric-
a)
cifras decimales coincidiesen, la segunda es distinta por construc_ tamente mayor que Nr, y ninguno de los dems alephs cae entre
cin; el tercero, difiere de x en la cifra cr, y as sucesivamente. por ellos. El tecrema de Cantor, que establece que el cardinal de un
tanto, el conjunto de los nmeros reales tiene cardinal mayor. al conjunto es estrictamente menor que el de sus partes. restringe las
T]
que llamarelnos c de continuo. posibilidades a la segunda opcin.
cs
-: plantearse en otros trminos si introducimos el concepto de las par- Axioma de x[ensinalidad: si A y B son coniuntos tales que
,
; )r .=[ [; ) . [ ; ) . .[,i , ).[ n) )_",
l s , { . a) a_
a
r')
o
ls elementos de B
Se demuestra tambin que el cardinal de las partes de un con-
junto infinito, pongamos que de 17elementos, es 2,/. Como Gdel \1. Axioma de eleccin: si A es un conjunto cuyos elementos
5
s.n todos conjuntos, y esos elementos son disjuntos dos a C
o
sealaba al comienzo de su artculo, el cardinal del continuo coinci-
,, ..dtir no vqcios, ento,nc.gs-l4,utu,"n.de,!,contiene al mer.los
de con el de las partes de los nmeros naturales; as, c = 2No,y esto ts
r-o
permite reformular la hiptesis de Cantor: H, = 2no. En trminos
(.o
ms generales todava, tal vez sea l{r*, = 2N, para cada n, con lo
que quedara establecida la relacin entre un ordinal transfinito y 5
O
el siguiente. Esta conjetura se conoce con el nombre de hiptesis
generalizada del continuo, y su importancia radica en que, de ser
cierta, permitira definir todos los cardinales infinitos a partir de l*"
'48 149
g
,
*ii
g
,'g
g
( Al introducir los cardinales infinitos, el padre de la teora de
o
U
conjuntos deseaba que dos cardinales cualesquiera siguiesen sien-
{J
de sus miembros, pero no se daba pista alguna sobre el modo de haba introducido una importante distincin entre clases y conjun- E
.I
encontrar dicha funcin. Adems, haciendo uso del axioma de elec- tos, que l llamaba simplemente 0bi0sde tpo I1 ollinos de tpo lI: o
(t
cin, el llamado problema de lo medido -la pregunta de si puede los conjuntos seran aquellas clases que no son fuente de contra-
a
asignarsea cada subconjunto A del espacio eucldeo r-dimensional dicciones cuando las consideramos miembros de otras clases; sin
un nmero no negativo que satisfaga ciertas propiedades- encon- embargo, las clases propias son tan gigantescas (biyectables con el o
f'D
traba respuestas sorprendentes. As, era posible demostrar que al- universo de todos los conjuntos) que no pertenecen a ninguna otra.
gunos subconjuntos de la recta real no tienen longitud y que, si di- As, ia paradoia de Russeli haba surgido por considerar la clase
dimos una esfera de volumen unitario en m+n partes disjuntas, las propia de todos los conjuntos que no son miembros de s mismos, =
rt
m primeras y las n primeras pueden volver a combinarse median- porque, como ningn corrjunto se pertenece, baio la mscara de la =
c
te giros, simetras y traslaciones en iotras dos esferas de volumen autorreferencia estbamos hablando en realidad de todos ellos. c
uno! Gdel demostr que todas las sospechas eran infundadas: si
(.o
los dems axiomas de la teora de conjuntos eran consistentes, tam- Pese a la importante observacin, segua sin quedar del todo
bin lo es el sistema que resulta de anadir el axioma de eleccin, claro qu es un conjunto. De la misma forma que los nmeros ts
y lo mismo ocurre con la hiptesis generalizada del continuo. En (.o
naturales se obtenan a partir del cero aplicando repetidamente 5
un primer avance de sus descubrimientos, publicado por los Pro- la funcin sucesor, Von Neumann trat de aclarar cmo podan
ceedings of the National Academy of Sciences, Gdel enunciaba el construirse, partiendo del vaco y a travs de las operaciones de la
siguiente teorema: unin y las partes, todos los conjuntos. Estableci de esta manera
150 1s 1_
c
'J\ una jerarqua acumulativa en la que la posicin de cada conjunto los axiomas de la teora de conjuntos, el axioma de eleccin y la
dependa del nmero de veces que se hubieran aplicado estas hiptesis del continuo.
P
o_ operaciones para obtenerlo. En trminos precisos, es posible definir
'qJ
U una aplicacin R, con dominio los nmeros ordinales, que satisfaga
LA Suponiendo que la teora de conjuntos sea consistente, el teo-
a
las propiedades: rema de completitud garantiza la existencia de un modelo (C , U , E),
)
- R(0) = 6 donde C es el universo de las clases,U el de los conjuntos y E in-
IJ R (a + 1 ) = s(R (o)) terpreta la relacirr usual de pertenencia. Gdel se restringe ahora
tructibles (V = L). Por supuesto, Gdel no pretende que la construc- se!1sflstleducruna respuivn.tt,si ns ru\.Dcsdeluego,s se
-fucst, F
tibilidad valga para cualquier conjunto, -de hecho, la probabilidad nterpreta deestemotlo(.su1,,tt,ro
Iqctssttc(a Jtrt)g
fu losxamtts)
de que un conjunto sea definible es nula-, pero aadir V = L le y,rortres
posibiltlndts
parnloconpttu'a:
puefuxr demostrahk,
rgfirtnble
permite describir un modelo que verifica simultneamente todos i o ndtcdble.
L52 153
q
a
,t
t
,*iil
t/)
En Ia primavera de 1963,Paul Cohen, dando carta blanca a Gdel para modificar todos los detalles que
U
un joven matemtico de Stanford, pudo considerase oportuno sin consultrselo. cuando por fin se public el
+J
Cemostrar que la negacin de la hipte- artculo, entre 1963 y 1964,Cohen recibi una medalla Fields, y la
\cJ
ut sis del continuo (extste un cardinal r tal universidad de stanford Ie ofreci una plaza de profesor. En el Con-
CJ
que i'is < * < 2No),tambin es consisten- greso Internacional de Matemticos celebrado en Mosc, church
(n
te con el resto de .xiomas.As, la con- fue el encargado de pronunciar la loudatio de cohen. para ello, se
,r-jtura de Cantcr resultaba ser indecid!- puso en contacto con Gdel, v lo primero qrie hl2-oTue-pieguntarle
(U si
E
ble, y la teora de conjuntos, incompleta. eran ciertos los rumores de que l ya haba probado la independen-
ro
Gdel ya haba iniuido estos resultados cia de la hiptesis dei continuo veinte aos antes,pero que no haba
bo querido dar a conocer su hallazgo.Gdel, que en ese momentc se
.o -d.osrdzone:pttra:rcrlosrrnrlLrc,
tleltt nconss-
Pa u l Co h e n ten:i,t deIn trrgctifi,
sesequr'tt
lttnconsstencia hallaba inmerso en la revisin de unos artculos, se limit a negar
ao
-J tlel notndt se;uercn
tl*tfarn [...] l, d,;tra que hubiera encontrado una demostracin. El trabajo de cohen no
rna pnrcba dellxonw de elccn-,pero no fue capaz de demostrarlos Iogr cambiar la opinin de Gdel sobre la falsedad de la conjetura
a) de Cantor, aunque, despus de que la hiptesis se hubiera demos_
n durante los diez aos siguientes a la publicacin de sus artculos.
Cohen se haba doctorado con una tesis sobre el anlisis armni- trado independiente, tal vez
l,rdcrgsyficndo In ctrc:tndesu t,erdnd,
(9
vedado de la lgica. Finalmente, Cohen opt por escribir a Gdel Los problemas de Gdel con las autoridades americanas eran
r
pidindole su visto bueno; y ste, en su respuesta,consideraba que consecuencia de sus dos intentos de entrar en los Estados unidos f
.-t
la demostracin et'a,en todoslosasy,cc'15,
h nrciorposhley reconoca con vistas a establecer all su residencia permanente. Durante su
l
haber experimentado el mismo gozo que ante una obra de arte. convalecencia en Europa, su pasaporte haba caducado, pero en el c
o
otoo de 1938 Gdel pudo regresar a princeton gracias a un permi_
Por eso, le conmin a publicarla lo antes posible en los Po- so de salida alemn; por eso, no esperaba tener tantos problemas
ceedings of the Notional Aca'7emy of Sciences, donde ya haban el curso siguiente. Mientras vola a Europa a bordo d,el Bremert, ro
aparecido sus demostraciones de la consistencia relativa. Se ofre- slo le preocupaban el reencuentro con Adele y la publicacin de (o
5
ci tambin a hacerle algunas sugerencias para mejorar el manus- sus conferencias sobre la hiptesis del continuo. De hecho, nada
crito, que Cohen, sin conocer el perfeccionismo crnico de Gdel, ms llegar escribi a Bernays pidindole que le aclarase algunas
acept entusiasmado: cansado de los retoques infinitos. terminara cuestiones sobre el sistema axiomtico del que se haba serdo en
154 155
LN
o un artculo para el Journal of Symbolic Logic y, a pesar del tiempo que le fuera concedido un nuevo pasaporte, pero en ese momento
transcurrido desde su ltima carta, le exiga una respuestainme- su mayor problema era otro distinto.
P
.c.,
diata para no retrasarms la entregade los textos corregidos.Von
Neumann,por su parte, haba comentado con Gdel la posibilidad Gdel no haba informado al rector de la Universidad de Viena
a)
de que las notas del curso, adems de repartirseentre los asisten- de su ltima estancia en el Instituto de Estudios Avanzados antes
t
tes,aparecierancomo monografaen losAnnalsof Mathemaflcs.Tal de llegar Princeton. Seis semanas antes de su marcha, el ministro
era el prestigio de la revista,editada por la Universidadde Prince- de educacin promulg un edicto que prohiba a todos los profe-
ton, que los autoresno cobrabanningntipo de derechos,aunque sores, tambin a los retirados o destituidos, negociar con centros
tg
seguan conservando el copytight; Gdel lo mantuvo casi treinta e-xtranjeros de enseanza sin la aprobacin Cel Reich; as, cuandc
bo aos, hasta que decidi venderlo por cien dlares, una alirta mu1 el decano recibi la carta de Gdel, lo primero que hizo fue reen-
guerlsa -a su juicio-, pero ridcula en comparacin con las ganan- virsela al ministerio de educacin. Slo en julio del ao siguiente,
-: cias de la PrincetonUniversityPresspor un volumen que an sigue con una dilacin poco habitual, se iniciaron las pesquisas para ave-
reimprimindose. riguar si Gdel se encontraba en los Estados Unidos por asuntos
a) personales, o como profesor intado de alguna universidad. Con-
(9 Durantelos meses siguientesGdel mantuvo viva la esperanza cluido el informe, en lugar de retirarie la autorizacin para ensear,
de poder regresaral Institutode EstudiosAvanzadosen septiembre. decidieron que no se le concedera la renovacin corno Dozent,
Dos das antes de que Hitler invadieraPolonia,en lo que constituye que ya inclua un pequeo sueldo, cuando la solicitase. A media-
un autntico "rcord a la hora de no vel'seenvuelto en el umbral dcs de septiembre Gdel se encontraba en una situacin difcil: no fTl
de los acontecimientos histricos", le enva una carta a Menger slo era casi imposible que Ie dejaran salir de Alemania, sino que,
o
disculpndosepor no disponer del tiempo suficiente para contri- con su permiso a punto de caducar, se haba quedado rtualmente
buir con ms trabajosal coloquio. Gdel parecar de nuevo en sin empleo.
rD
otro mundo, tan improbable como los modelos cosmolgicosque =
imaginardespus:slo el anunciode que debasometersea una Por si fuera poco, a esto hay que aadir que haba tenido
o_
prueba de aptitud para el ejrcito lo devol por un instante a la muchsimos problemas para traspasar los fondos de su cuenta en
realidad.En cierto modo haba anticipadola convocatoria,pero es- Princeton a otra en un banco de Viena: tuvo que escribir, entre r\
o
taba convencido de que lo despacharanenseguida;enlugtr dce;0, otras cosas, la nica carta donde encontramos un Heil Hitler de
a+
ni exsntenseplspltsl durantetneses,
cottIo queme-fuemposbie sllt' delttas su puo y letra. Desesperado, pens incluso en buscar un puesto f
c
anfesdeqr,te h guerra.Finalnrcntc,
cstallarc flree,rclntrarln parnlsbores
hAbl de de trabajo en una fbrica, pues ils nlnrros fiLi(ril strft;icntes
py11,i1,i'
lo quehzoanmsdfclobtener
retaguarda, elpernsodesalda.Las auto- dursntemuchonttsten4to.En la reconstruccin minuciosa de su da,
ridades alemanas haban hecho caso omiso de las alegacionesde Dawson ha estimado que la fortuna total de los Gdel era de cin-
Gdel sobre sus problemas de corazny las secuelasde las fiebres co mil seiscientos dlares, aunque la rnayor parte de este dinero I
reumticasde su infanciay,afortunadamente,tampoco tueron en proceda de la casa de Brno, ocupada por su madre y la ta Anna,
cuenta su estanciaen el sanatorioPurkersdorf,pues quizshubiese que no poda venderse. Gdel aprovechar sus problemas de di-
terminado en un campo de concentracin.l mismo era conscien- nero como argumento para que le fuese otorgado un permiso de
te de que su enfermedad podra convertirseen un obstculopara salida. Por una parte, el rector no tena dudas de que "Gdel crea
156 757
o_
.qJ
dispuesto a tolerar su falta de compromiso con el rgimen nazi. Sin pacin [...] En casos que envuelvan condiciones distintas de las
(, embargo, era consciente de que si no le dejaban salir, ni l ni Adele anteriores se prestar atencin a todos los hechos referentes a la
i.
u
tendran cmo mantenerse y, por eso, propona que se le ofreciera naturaleza de las actidades educativas del solicitante y al tipo de
L
alguna posicin pagada dentro del imperio "para hacerle cambiar institucin con la que ha trabajado antes. El solicitante debe esra-
entrada de veintisis mil alemanes. Quedaba una mnima posibili- en consecuencia, menos formal que en otras universidades".Gdel a)
dad de extender sados sin cupo a los "inmigrantes que durante estaba resignado ya a permanecer en Viena, y se haba mudado con =
(+
al menos dos aos hubiesen intentado entrar como profesores de Adele de los suburbios a un nuevo apartamento, perc, en noem- f
una universidad o seminario acadmico. y tambin a sus mujeres bre de 1939, recibi una paliza que le hizo cambiar de opinin.
c
si los acompaan", pero, a la hora de la verdad, esta clusula, que Mientras paseaba con Adele por el campus de la universidad, vesti-
hubiera salvado las das de muchos intelectuales europeos, tena do, como de costumbre, con una gabardina y un sombrero negro, (O
que enfrentarse a las trabas de Awa M. Warren, responsable ltimo una banda de jvenes nazis Io confundi con "uno de aquellos pe-
de interpretar la ley para su aplicacin: ligrosos profesores judos que dedicaban las horas a pensar". Sus
A
atacantes lo acorralaron y, de un puetazo, hicieron volar sus gafas, O
"Normalmente, a una persona que solicite un sado sin cupo hasta que Adele consigui ahuyentarlos a golpes con el paraguas.
como 'profesor' se le requerir que muestre que en ese momento Aunque Gdel no result herido, el incidente le revel de pronto la
158 159
(^ gravedadde su situacin y, para principios de diciembre, ya haba tren y los obligaran a dar la r,uelta. Cuando llegaron a Yokohama, su
U barco ya haba partido, por lo que tuvieron que esperar al President
decidido buscar un modo de salir de Europa.
P
o Cleuelond, que no sala hasta el da 20.Aunque el nuevo cambio de
.o
Camino de Berln, dio una conferencia sobre la hiptesis del planes habra supuesto en un principio ms tensin, Gdel y Adele
A)
continuo y el axioma de eleccin en Gttingen.De acuerdo con pudieron descansar un poco y aprovecharon para hacer algunas
(
la crnica que se conserva, la charla fue un modelo de claridad compras, porque haban salido de \4ena slo con lo estrictamente
(l.J expositiva:Gdel situ primero el problema en Ia historia,y luego necesario (de hecho, cuando termin la guerra Gdel le pidi a
c
defini las lneas maestrasde su demostracinsin detenerseen su hermano que le enviase un cargamento con todos los libros y
r"o
cletallestcnicos ni clculos laboriosos.Aprovech tambin para papeles que haba olvidado en sus archivos).
ho rendir tributo a Hilbert que, en su artculo "Sobre el infinito", haba
anticipadoen su opinin algunasde las ideasms importantesde Los armadores del Cleueland estaban obligados a enviar a las
J la prueba. Ya en la capital alemana, Gdel obtuvo su permiso de autoridades americanas un minucioso registro de cada uno de sus
salidala maanadel 17de diciembre,aparentementecomo conse- pasajeros que inclua no slo una descripcin fsica, sino tambin
a)
cuenciade las gestionesdel nuevo directordel Instituto,que haba los resultados de sus indagaciones sobre la salud mental de los via-
t, argumentado que "era ario y uno de los mejores matemticos del jeros. Los Godel aparecen registrados en tercera clase, en medio de
nrundo":su papelen el ejrcitono aumentarala gloriade Alemania, una larga lista de nombres y apellidos chinos: Gdel "mide 1,70,es
pero s colocara a su pas en lo ms alto si le era permitido conti- delgado, de complexin ligera, moreno y de ojos azules"; Adele es
nuar con sus investigaciones.Adems,era improbable que su caso un poco ms ba!a, tiene "pelo claro y ojos grises". Durante el inte- fTl
sentaraprecedentes"porque son contadsimoslos hombres de su rrogatorio, los dos aseguraron que no haban sufrido ninguna clase
E
vala cientfica".Tres semanasdespuslleg el sado americano, de desrdenes mentaies. Despus de que atracasen en el muelle
-
entre cuyascondicionesse encontrabala de abandonarEuropapor de San Francisco el 4 de marzo, ya slo les quedaba por recorrer
rD
el este. el oeste americano. Durante el trayecto, Gdel pudo contemplar =
OJ
la belleza de los paisajes, que luego recordara, cuando su imagen
c_
Como el peligro de que un ciudadano alemn fuese arrestado de Europa se redujo a las postales que reciba de su madre'. dt1u, ft
mientras trataba de cruzar el Atlntico era muy grande, Gdel y rnconastgn honito;s10(xstil1cn il Lcgno()este. a)
ts
viajaronhastaMadivostok en el Transiberiano.Gdel nunca ms se LO
5
refiri a este viaje, pero Adele contaba a menudo que era siempre o
-
=
Pese a su apariencia de zona residencialde postn, llena de al
a
mansiones vetustasy campos de golf, Princeton era en 1940el o
=
centro matemtico del Uniuerso.Del rnismo modo que la Viena
finisecular haba concentrado en unas pocas calles a los mejores --+r
',os
desu vda,en el que record muchos paisajes de sus tardes de
G
domingo en Brno. Sin embargo, la duea de la posada en la que K
se alojaron se form una impresin muy distintade "aquel hombre ?
perdido por extraosmares del pensamiento":duranteel da Gdel
se pasabalas horas en su habitacin,yAdele haca las camas para 6
que nadie del servicio entrasea moleslarlo.nicamentedejaba la
pensin despus del atardecerpara pisear,con las manos apoya-
163
-il
das en la espalda, hasta la medianoche. Caminaba siempre por la ternales de Adele, era demasiado mayor cuando se cas con Gdel,
carretera de Parker Point, una ruta paralela a la costa, donde an se y tema que sus problemas mentales fuesen hereditarios. Gdel, por
P
o_ encuentran las mansiones de verano de las familias ms ricas. Con su parte, quiso evitar que se reprodujera el cncer manifestado re-
.CJ
(n los Estados Unidos en guerra, al ver de noche a un extranjero pa- pentinamente en la familia de Adele, y ambos decidieron no tener
a)
seando solo por all, muchos pensaban que era un espa inientando hijos. Durante la Segunda Guerra Mundial, ayudaron a mantener un
establecer contacto corr los submarinos alemanes. orfanato, pero cuando se les ofreci la posibilidad de adoptar un
qJ
beb, Gdel objet que slo alguien de su sangre podra llevar su
E
Probablemente lo que ms le impresion a Gdel de Brooklin apellido. Adems, algunos problemas de salud haban comenzado
(o
fue la pureza del aire que se respiraba. De vuelta a hinceton, l a preocupar a la pareja: Gdel pensaba que coma en exceso y que
y Adele se mudaron de apartamento para evitar /.rs nutlttshutrtosd sLLestnLtglesraba
pctn'quctt Vena,pero raravez lleg a superar los
la ;'tlcfic"n, el primer sntoma de su paranoia final. Estaba obse- y
cincuenta cuatro kilos. Sus meiores amigos pronto se vieron en la
rg
J sionado con los gases txicos que escapaban del frigorfico y de obligacin de cuidarlo.
las estufas: haba prohibido que se calentara la casa en invierno, e
incluso lleg a devolver una cama por el fuerte olor a barniz. Sus Oskar Morgenstern, con el que Gdel haba trabado amistad en
m
colegas comenzaron a preocuparse, hasta tal punto que Aydelotte Viena, fue una de las primeras personas con las que se reuni al :i
consult con un mdico si la conducta de Gdel podra volverse llegar a Princeton. En 1938, mientras daba un curso en la Universidad
peligrosa. Tal vez por eso el instituto tard tanto en ofrecerle una -
:f
164 165
t
de Carnegie,la anexinde Austriaacelersu cesecomo directordel tos, envueltosen largusimasconversacionescamino del Instituto.
LJ
Instituto Austriaco para la Investigacin en Economa, pero, gracias "Todos los das los vea atravesarel sendero desde Fuld Hall a Ol-
+J
o a una generosaoferta de Flexner,pudo continuar con su trabajoen den Farm.No s de qu hablaran:seguramentede fsica,porque a
.(u
U Amrica. Morgensternestaba deseoso de que Gdel le informara Gdel tambin le interesabaesta materia" -comentabaun investi-
LA
u
de primera mano sobre la situacin poltica en Europa,pero la nica gador.Los dos poseaninteligenciasde primer orden y haban ob-
tn
confesinque logr arrancarle fue:El cafesLh't Nunca dejarade
sco. tenido resultadosespectacularesa una edad muy temprana:Gdel
sorprenderse de la poca conciencia poltica de Gdel,de su inters demostr el teorema de incompletitud con slo veintitrsaos,y
(U
por los fa.ntasmas y de la relacincon Adele,a la que veacomo "una Einsteincumpli los veintisisen su onnismirabilis.Einsteinse dio
tu
LJ tpica lavandera enesa, exageradae inculta" que jams podra cuenta muy rpido de que Gdel necesitabauna segundamaCre,
bo integrarseen la da acadmicade Princeton.'A Gdel,desdeluego, labor que ya haba desempeadoVeblen entre 1933y 1938y eue,
\ .o
!
le faltaun tornillo" -escribe en susdiarios.Susprofecasno tardaron tras su muerte, correspondeaa Morgenstern.
J en cumplirse:todos los que tratabancon Adele no hacan ms que
criticar cmo "monopolizabalas conversaciones,hablando a gritos En ocasionesGdel disentade las opiniones de Einstein,pe-
u con su mal ingls",ylas mujeresno soportaban"su gustohotrendo". ro en temas candentes,como la indeterminacinde la mecnica
c
Tambinlos geniosse equivocan,debade pensarMorgenstern,que cuntica,susideasdiscurranpor caminos paralelos:ambos tenan rTl
=
nunca cuestionel talento matemtico de Gdel: el axioma de que "nada de lo que ocurre en nuestromundo se debe
--'r
al accidenteo ala estupidez",pues"laraznporssolanuncayerra".
Adems, crean en ia necesidad de maridaie entre la ciencia v la r')
a
"No hay absolutamente ninguna duda de que Gdel es el mejor
-
lgico vivc; es ms, pensadores eminentes como Hermarrn Weyl y
John von Neumann han declarado que es definitivamente el mejor
--
lgico ciesde Leibniz, o incluso desde Aristteles. Parecera que en
(
la historia entera de la Universidad de Viena la figura de ningn
a)
profesor ha eclipsado a la de Gdel [...]. Einstein me cont una vez OJ
--+'
Gdel haba conocido a Einstein en su primera estancia en
el Instituto de EstudiosAvanzados,despus de que los presenta- ts
ra Paul Oppenheim, pero su clebre amistad no comenzara hasta F
F
que Gdel se establecidefinitivamenteen Princeton.En palabras
F
(o
de quienes los conocieron, Einstein era alegre y siempre se rea, Ol
Or
mientrasque Gdel tena un carcterserio y solitario.Aunque eran
diferentesen muchos aspectos,los dos congeniaronbien desde el Y u n a r m a g e n m e n o s c onoc .i da,
principio, y, a partir de 1942,todo el mundo los vea siempre jun- tomada en to s j a r d i n e s d e 1 IA S en P r i nc eton.
166 r67
r/) filosofa: "la ciencia sin epistemologa es, en la medida en que sea Gdel comienza hablando del carcter doble de la lgica, que,
(J
concebible, primitivay confusa", declar Einstein unavez, mientras adems de ser la disciplina qu etrstasobreclnses,relnconeslcontbnscones
p
o_ Gdel apostillaba: fa epstemologra
sfl clfitnctl conIa cencssacotn,erte desgnos,en vezdehablardenmeros,_funcones1fr.guras se haba
geomrrcas,
,qJ en
U wtescluemaraco.Dejvenes, los dos haban tenido que escoger entre demostrado uns cencspreva a todsslas dents,quecontenelasnocones
t-ll
Frustrado por su estancamiento en la prueba de la indepen- exiga simplicidad a los enunciados, y de la limitacin de tamao,
dencia de la hiptesis del corrtinuo, Gdel centr su atencin en la que impide considerar conjuntos demasiado grandes, equivalentes -fl
L/)
filosofa, justo en el momento en el que el editor de la "Biblioteca de al universo de todas las cosas.
filsofos vos" le haba pedido un artculo sobre la lgica matemti- CJ
la coleccin, haba respondido a las dems contribuciones. Gdel aceptatflde taleslbjetls resultatan legltmacotxola ceptacit,de loscuerpos -n
esperaba con ilqsin su rplica, pero todo se redujo a una pequea y hnytsntrtsrazlfiesparLlcreerefiIp.exstewadenquellos
_fsns, contoenlndees- OJ
nota, en la que aseguraba que "le habra llevado demasiado tiempo porque soilflecesnrlsparaohtenerm
fo-s, sstentadentntemtcas
satsfactor0,
formarse una opinin crtica de las ideas" de nuestro protagonista, enelmsmo sentdo
enquelos
cuerposfrscoslo
sonparauflateora
satsfnctora
de s
pues "haban pasado ms de dieciocho aos desde sus ltimos tra- fluestras sensbles.
})ercePcones Gdelargumenta que el propioRussell, I
bajos en lgica matemtica". En la versin final del artculo, Gdel al enunciar el principio del crculo vicioso, supona la existencia de (O
o)
estas totalidades, y que para construir una teoa sin clases haba O)
aprovechaba al mismo tiempo para examinar Ia posicin de Russell
en las dos introducciones a los Principia Mathematica y malizarla terminado considerando tantos objetos (incluso, sentencias de lon-
con sus propias ideas filosficas. gitud infinita no numerable) como los que pretenda eliminar. El
168 169
rjl
o filsofoingls,por su parte,haba tomado la teorade conjuntosco- cardinales infin!tos, de "la intuicin teolgica no se pueda postular la
U
mo apoyo a sus ideas,pues considerabaimposible que existiesela existencia de los ngeles". Incluso despus de que Cohen probara la
l-J
o clasevacay que los conjuntos de cardinal uno pudieran distinguir- independencia de la hiptesis del continuo, Gdel sigui buscando
.(u
t/l
se del nico elementoque los compone.A pesarde que los objetos una solucin al problema: a su juicio, los signos formales se referan
a los que se refiere la teora de conjuntos transfinitano pertenecen a entidades abstractas, pero existentes, de modo que era razonable
ul
al mundo material, Gdel segua sosteniendoque podemos tener preguntarse por la verdad de la conjetura de Cantor.
cias.Poreso le gustabams la compaa de Einstein-que pensaba Entonces, como escribe Mostern" "si los axiomas habituales
-+
que la fsicaes slo un medio para desvelaralgunosde los secretos de la teora de conjuntos dejan esa pregunta sin respuesta, ello
de la realidad fsica objetiva- que la de los positivistasdel Crculo solo significa que esos axiomas son insuficientes y qlre en el futuro
de Viena,para quienes su sin de la ciencia era poco menos que tendrn que ser completados con nuevos axiomas que permitan --+,
una herejaimperdonable. decidir estas y otras cuestiones abiertas cie la matemtica". OJ
H
U
El platonismo ontolgico de Gdel ha sido criticado por otros 5
muchos autores: Charles Chihara, en La ontologa y el principio En busca del Leibniz perdido
del crculo uicioso, argumenta en su contra que "uno no se siente O)
inclinado a creer en la existenciade fantasmasslo porque alguna Como demuestra un texto publicado tras su muerte, Gdel di- Ol
teoa de los fantasmasexija su existencia",y no ve razn alguna vida las corrientes del pensamiento en la derecha, donde habra
para que, si de la intuicin matemtica se sigue la realidad de los que situar el espiritualismo, la teologayla metafsica. y la izquierda,
170 17I
!
a
o cuyos mejores representantes son el escepticismo, el materialisrno seudnimo del "que agita la lanza" (spear-shaker), con el que lo
y el positismo. Desde el Renacimiento, Ia historia de la filosofa conocan en latn algunos de sus contemporneos. Del mismo mo-
{J
.(u haba sido la historia del desplazanliento de la derecha a la izquier- do que Cantor crea que sus descubrimientos eran silenciados por
v) da, de la que slo se haban salvado, durante mucho tiempo, las intereses geopolticos,Gdel estaba seguro de que Leibniz hal,t't.rido
(u
matemticas. La gran crisis de iundamentos no era, en opinin de plr suscdtores.Consigui convencer a Mor-
sttbt'tefldt
sstentficonunfe
tn
Gdel, razn suficiente para que se adoptara una sin de izquier- genstern para que los dos microfilmaran sus manuscritos y deposi-
a) das de esta ciencia, pues ras paradojas de Ia teora de conjuntos taran ulla copia en Princeton, a salvo de la intervencin de manos
=
hthnn stloyn resuckasdt rm rnorlocfiryilcfL1firctxtc
snisactoro enemigas. Para hacer ms atractiva la idea, Gdel le contaba que
r ) cs oltyo
!'n (jLre
cuillqu(rt1 efit(fidtt
Ia por
tcorn. eso, haba que poner el nasis haba encontrado varios estudios de Leibniz sobre la importancia
.0
preciso m el ttlfvtt fu ioscatmptoiy en hacer claros los significados, cientfica de la ieora de iuegos, y que el filsofo alemn descubri,
de un modo similar al que Leibniz haba ideado para poner fin a ros tresciento.saos antes, las antinomias de la teora de conjuntos, la
ro
--J errores del pensamiento. ley de la conservacin de Ia energa y algunos de los paradigmas
ms recientes sobre la resonancia del sonido.
u
o Gdel terminaba su artculo sobre
(-' Russellhablandode lacharacteristicauni_ Los problemas comenzaron cuando Morgenstern trat de en-
m
=
uersalisde Leibniz,que,-rr/lcllros rlctre(rsr6 contrar el catlogo de las obras de Leibniz: la nica copia de la que rc
!,tl br as,
desnrr oll
este clcul o del
r nzon nntett- se tena noticia haba sido depositada en la biblioteca de la Acade- -
f
unls pacoscentrjcos \^
selrctos,lessrrollnran yt gieron a la Fundacin Rockefeller para solicitar una subvencin. De
clculohnstael extrentoder1ue'la hunnnarl pronto, todo el mundo pareca interesarse por Leibniz: una empre- OJ
Ge o r g Ca n to r tuvese suqltailce ufifiue1)o rip0deh$trLttn(nt0 sa alemana haba pianeado realizar este mismo proyecto con fines
--h
qM lrnt:utrrn
laupnri,!,,rd
di lo ,nrnr ltuttna comerciales, y Paul Schrecker, de la Universidad de Pennsylvania,
muchons delo clueun nstrtunentoptcoha aunnntadttlLutiafttt,sti. andaba a la caza de los textos. Aunque "el aparato necesario para
Gdel estabaconvencido de que Leibniz realmentehaba construi- editar la obra de Leibniz" se encontraba, en su opinin, en manos -+
do la enciclopediade ideasprimitivassobrelas que se asentabasu rusas, fire l quien finalmente complet la tarea. Mientras tanto, OJ
codificacin.sin embargo, estosmanuscritosno haban salido a la Menger y Gdel comentaban el avance de las investigaciones:
luz a causa de una conspiracinsecreta. N
I
I
tn
o -ZAcasoalguien en el mundo se ha vuelto ms inteligente
reyendo para convertirse en ciudadano estadounidense. Uno de los primeros I
U
a Voltaire?
+) obstculos con los que tuvo que enfrentarse fue que, como Gdel
.(U y Adele haban salido de Viena poco despus de la anexin, pensa-
U Ms adelante, Gdel pas a interesarsepor Husserl y
r^ err sus ban que los Estados Unidos ya no reconocan a Austria como pas
ltimos aos tambin sostuvola teora de que, de haber pubricado
t/') independiente: as, al haberse registrado como alemanes, fueron
o todas las consecuenciasder empreo del mtodo fenomenolgico,
sospechosos durante mucho tiempo de simpatizar con el nazismo.
a el filsofoaremn habrasido asesinado.Estesndrome
de la cons- Cuando en l947,.dgspus de que se aclararan los malentendidos,
piracin sera,desde entonces,una constanteen la
da de Gdel. Gdel pudo al fin nacioralizarse, tuvo lugar una de las ancdotas
cuando fue intado a pronunciar una conferencia con
motivo del ms conocidas de la historia de nuestro protagcnista.
ho
.o congresosobre probremasmatemticos en er que se cerebraba
el
bicentenariode la rundacin de la universidad de princeton,
vea Como todos los solicitantes,Gdel deba dar cuenta de su co-
-: en los preparativospara su organizacinclaras edencias
de un nccimiento de la legislacin estadounidense en un examen sobre la
secretoslo comparable al proyecto Manhattan,y el hecho
(u de que Constitucir'r.Dada su altura intelectual, yteniendo en cuenta que el
c Ias actas no llegaran nunca a publicarse no hizo
sino confirmar juez era amigo de Einstein, la prueba podra haberse reducido a un
su idea de que algo se tramaba mientras las mejores TN
mentes del mero trmite, pero Gdel quiso prepararse a conciencia. Conforme f
instituto discutan.An as, acept participar en ia primera
sesin se acercaba el da, no pudo etar confesarle a Morgenstern, que
del encuentro, donde ensalz cmo el concepto de -
computabili_ acudira, iunto a Einstein, de testigo, que acababa de encontrar res-
dad haba permitido que, por primera vez, se definieran
nociones quicios lgicos que hacan de la carta magna americana un sistema a
epistemolgicastan interesantescomo Ia de qu es
dernostrabre inconsistente. Al principio, tal vez lVlorgensternse habra tomado la -
y qu no, con independenciade un lenguaje concreto.
Gdel pro_ noticia como otra extravagancia ms, pero rpidamente compren-
pona, en este caso, dos sugerencias "artamente -+
especurativas,,. di que, ccn lo obstinado que era Gdel, en cuanto le dejaran ex-
relacionadascon Ia incorporacinde axiomas de infinitud.
poner su descubrimiento peligrara la obtencin de la nacionalidad.
Por tanto, Einstein y Morgenstern decidieron distraer a Gdel en la
medida de lo posible: antes de subiral coche, Einstein le pregunt si
Ciudadano Gdel +
estaba listo para su penltimo examen - amquetl.n
nurchopara elrhnrc,
$ferl-, y, despus de esta pequea broma macabra, cont historias (
En abril de 1940,tras la llegadade Gdera princeton,
er director de un cazador de autgrafos que lo persegua. Al llegar al juzga-
del Institutode EstudiosAvanzadoshaba escrito ar cnsur
aremn do todo pareca estar bajo control, pero el juez Forman comenz OJ
en Nueva York y al encargado de asuntos exieriores
de la embajada diciendo:
para solicitaruna prrrogade su permiso de saiida,que
caducabaa .F
finales de julio. Gdel intentabaseguir dos vas opuestas
de actua- -Usted tena hastaahora la nacionalidadalemana.
F
I
cin: por un lado, pensando que podra acarrearieproblemas
con -Ferdcne,seor,austraca-corigi Gdel.
las autoridadesaremanas,al lregara ros Estadosunidos O)
haba de- -Ah, ya, el maldito dictador.Afortunadamente,eso no es posibleen
clarado que no estabaentre sus intencionespedir la
nacionaridad; Amrica.
pero' en cuantole renovaroner permiso de sarida,
inici los trmites -Al contrsro-interrumpi Gdel-: iyo s cmo!
i74
t75
l
Viendo el desastre que se avecinaba, el juez, al que quizs desdeel prncpo[...]. una cosct
plr Afircfi, snorechnzttdo esclara:
hubiera advertido Einstein, trat de acallar a Gdel, que comenzaba bnjoel logan de "denocracitt"
Atnrcaestjugondo conIaguerrn.
.tJ
.(U
a exponer con pasin sus descubrimientos, y llev el examen hacia
preguntas rutinarias: "'lhmpoco es necesario meterse en honduras". Ms adelante se mostrara an ms pesimisla: vivitttttsenLfittttutl-
CJ
Hoy, la lgica dontica se ocupa precisamente de evitar que cuando do eil el Lfteel fill)ent) fltleveptr centl dclas cosasbellns-iu,:ron
destrudss
o se incorporan nuevas leyes a un cdigo cil surjan contradicciones ntuffrsslsro;aban.Como muchos otros intelectuales, Gdel anhelaba
qJ o equvocos. Una semana ms tarde, esta vez sin incidentes, Adele un cambio de gobierno, pero no apoy a Stevenson, sino a Eisenho-
al
tambin obtuvo sus papeles. De la ceremonia posterior ambos se lver en las elecciones de 1952;Einstein iba proclamando: "ZSabis?
rnarcharon con /n dctt,lcqut la nncc'tnllid
d nucrcitnt, nl contrttroi;uecns Gdel se har,rrelto loco: ihavotado a Eisenhower!".Aunque le preo-
.o tttdaslnsdt'nns,realnt'nfc sgnficolro
algo. cupaba la situacin de Oriente Medio, en la que prevea un conflicto
de dimensiones mundiales, consideraba que era demasiado pronto
to
J Sin llegar en ningn caso a convertirse en un patriota, la na- para otra guerra y que el nuevo presidente, nlgueufu losqueslollega
cionalidad americana aument el inters de Gdel por la poltica, al poder cnd cm aio-<,hara todo lo posible para irnpedirlo. Como
u hasta el punto de que en una carta escrita a su madre en 1952 con- seala Dawson, en las cartas a su madre Gdel aparece, como en
Fn
fesaba que, durante dos meses, su preocupacin por el estado ciel ningn otro sitio, inmerso en los asuntos cotidianos. Por esa poca =
pas le haba impedido concentrarse en otra cosa. Lamentaba el haba recuperado el gusto por la cultura de sus primeros aos en -
plan de'liuman para promover la histeria anticomunista, y la caza Viena: iba a la pera, frecuentaba los museos de arte moderno y l
f,
a)
de brujas del senador McCarthy -que haba llegado a perseguir a lea a Gogol ,Zweig y Kafka, sus contemporneos favoritos. a
r+
algunos cientficos muy prximos, como Oppenheimer- y la carre-
=
ra armamentstica le haban llevado a cuestionarse la moral de su Las noticias que Gdel reciba de su madre no eran esperanza-
-+
pas. Estas opiniones las expresaba sin reparos en largas cartas a doras: aunque ella haba sobrevido al nazismo, varios familiares
su madre, sin ser consciente de que el correo entre los Estados haban muerto en cmaras de gas, y el estado se haba incauta-
UniCos y Austria estaba gilado. No es de extraar, entonces, que do de una parte considerable de la casa de Brno. Reestablecerel
el FBI tuviera conocimiento "para propsitos informativos" de dos contacto con la familia de Adele fue ms difcil, y cuando al fin lo
-n
extractos de su correspondencia en los que al parecer haba mani- consiguieron se enteraron de que su padre haba muerto. As las co-
festado una actitud procomunista. Gdel slo escuchaba hablar de sas, Adele quiso viajar a Europa para cerciorarse de que su madre a
la defensa de la patria, el sercio militar obligatorio y la inflacin, y estaba bien, y Gdel estuvo de acuerdo en que una sita mejorara +
estaba convencido de que n en Ia msne.qraAlemsn deHtler Isscosns mucho el estado anmico de su mujer. Sin embargo, l se encon-
habanestldo tsn tnll: traba muy a gusto en Amrica , dondeIa genteesdezvecesmsshnplca
Gdel (.o
;t todojmc0fl mejor,y no tena intenciones de acompaarla. .F
ts
sigui escribiendo a su madre una carta larga ms o menos una
Ensten
alertolmtntdodelospelgros debuscar Ltpazrearnntlose vez al mes: ie contaba sus nuevas investigaciones e inclua siempre ro
o nthndncJonl adt,ersar0.
Dioqueeste procedmentl n0contlucr
a algo de dinero para que pudiera seguir mantenindose. El tono era, O)
Ittpaz,snoa ln grerra,y estabaen lo certo.Esbenssbidoqueel otro por lo general, muy relajado, salvo algunas incursiones de su madre
nttodo(ntentarllegara ut ttarcrdoamstoso) n squernJue
ntentado en el tema de la comida y la relacin con Adele.
{ r"
". / o L77
1
/l
Gdel se senta totalmente libre de discutir sobre religin con como slo haba hecho antes con el teorema de incompletitud o la
U
su madre, de modo que las cuatro cartas que se escribieron entre hiptesis del continuo. Morgenstern y Einsteirr procuraban gilar-
+J
.cJ
el verano y el otoo de 1961 constituyen un documento imprescin- lo desde lejos y cenaban con l varias veces por semana, aunque
U
dible para entencler su posicin. Con una mezcla del cristianismo durante algn tiempo, mientras ambos estaban de viaje, tuvo que
u
tradicional y de la fe decimonnica en el progreso, Gdel criticaba ser Gdel qulen cuidara de s mismo. Sobrevi, y finalmente pudo
r
o que la mayoa de los filsofbs modernos entendiesen que su obli- pubiicar 'A remark about the relationship between relatity theory
u gacin primera era sacar a Dios de las cabezas de la gente. Atmque and idealistic philosophy" ("Una observacin sobre la relacin entre
estamosiEos desercapaces
dedarb,tse
cientficsals,snteolgcn
dclnrmdo,es la teora de la relatidad con la filosofa idealista").
rE
injustificado sostener que nada de lo religioso es accesible median-
ho
. te el entendimiento. Gdel crea que hayda ms all de la muerte, Ltk't Ll( It)saspecflsmts nferesnnfes
tJela tcora de ln relatvdadparn
esgrimiendo un argumento poco consistente para su formacin de Lmapersln connre,resesflosjccs en elhechode ryrcproporcontuttt
conssie
-: lgico: It cencttha nostrad.t ryrc Ia regulardnd7 el ordm prevttlecenso- t,sn nttvrt ) sorprvfl,,tede Lt naturdlezadel tempo, eseente msteroso
lnscosas,as que el mundo est racionalmente organizado.
bre tc,das que,pLr 0tr6 larte, parececansttut'Lt bnse
/ tl|tnvt,nrntecctnfrsdicforo
OJ
Entonces, si no hubiera otra vida, no tendra sentido crear al ser del mwu,loI de nue*ra prlpa exstenri.Einstein haba
de Iq exstenctt
humano, con todo su potencial de comprensin v desarrollo, para imaginado a un pasaiero subido en un tren de alta velocidad, y
fTl
=
que slo pudiera conseguir tma de cndttcien costts
de lasqte escttpca.En se haba preguntado si los sucesos que una persona situada junto -!
ese "paraso intelectual" que imaginaba Gdel, el hombre seguira al terrapln vea exactamente en el mismo lapso de tiempo eran -
:f
a)
recordando todo lo aprendido y accedea a nuevas verdades con tambin simultneos para el ajero. Para Gdel, el punto crucial rD
r'
la misma claridad con la que se percibe que 2 x 2 = 4. de la teora estaba en replantearse el significado absoluto de la o
simultaneidad: desde el momento en el que un observador, con =
las mismas pretensiones de validez que otro, puede asegurar que -n
Viajes en el tiempo A ocurri antes que B, afirmaciones del tipo "los sucesos A y B
n
son simultneos" pierden su objetidad. Esto lo consideraba una OJ
A finales de la primavera de 1946, cuando Gdel estaba termi- prueba inequvoca de que filsofos como Parmnides y Kant haban
nando su artculo sobre la hiptesis del continuo para el Monthly, dado en la diana al rechazar la naturaleza objetiva del cambio y ei l
Schlipp Ie int de nuevo a colaborar con Ia "Biblioteca de filsofos tiempo: es el sujeto quien los pone. Hay en estas reflexiones una
vos", en este caso en un libro homenaje a Einstein con motivo extraa confusin entre la relatidad y la subjetidad del tiempo, -n
de su sexagsimo cumpleaos. Schlipp esperaba que escribiera'un pues, de la misma manera que las propiedades "de estar cerca" o
artculo informal sobre su amistad con 1,pero Gdel present una "ser menor" son relativas, pero no subjetivas, Einstein slo haba
sesuda reflexin sobre los nexos de la teora de la relatividad con puesto de relieve la necesidad de referir las propiedades de un F
la filosofa idealista, qu retras varias veces la entrega del manus- objeto a un sistema de coordenadas. En particular, el tiempo de I
crito. Despus de muchos trmites, Adele haba conseguido ajar un suceso sera relativo a dnde se coloca el reloj que lo mide.
a Europa para reencontrarse con su madre y arreglar algunos pro- Sin embargo, introduciendo un sistema de referencia mvil, que
blemas del piso que todava posean en Viena. Durante los siete se desplaza con las galaxias, la relatividad general permita que los
meses que permaneci all, Gdel se sumergi en la relatidad, observadores sincronizasen sus relojes con un tiempo universal,
1.78 I/J
f;
cerca se encuentra.De repente,el universodejaba de ser esttico,
r./l
que aparece como cuarta coordenada en la ecuacin de la mtrica
de tamao fijo, como se haba credo hastaentonces:no slo se
LJ
de Lorentz:
P
.CJ expanda,sino que, cuanto ms lejos estabauna galaxia,mayor era
\J
tn
cosnolgcas de lnseancttnes su velocidad de despedida.Dado que sus solucionespresentaban
CJ Ahora ben,en todaslcssolucones
un universo estacionario,Gdel no poda pretenderque el modelo
gratitatoras(esdecr,en todr,slosunversos posbles) qnesecuk)cefl
cosmolgico fuera real, pero el nertt hecho conlas
deIa compntbldacl
hastaelpresente,los tempos localesdetodosestos obsat't
atlores
secncnjnn
Iryes e4loscpte
dalosLrnt'ersos
del tnttu'aleza nopuede unlapso
exstt' objett'o
.ti
O
eotunsalotempo rmr,etsttl,
demotlo porlocyeplrcce,
ryrc, resuknposble
E
cn
tnntbn
susgnficrtdo
ie tempoirrojnnlgodeltzsrrlrrc los ettlls
Ltntttrsls
t
ro consrlerarestetenrylcotnoel "verdsdeni,' qtrcdurn objett,antene,
definrtn tienpoabsoluro.
cyrcseptrcrle
ntenfrssryrclasdscrepnncas en losrcsultadas cleInsneddrtsdeotros
observstloresresl,':ctl
dc estctew'o pueden cansdersrse conn Lebdas
rdat'lonn reslectlql estado Lo que ms llam la atencin de la cornunidadcientficafue la
rE a la hlluencnqueejerceuntnoynento
J
medodclmoymento deIs mstcrnsobrclosl1t'(lrcsosdemsicny los existenciade lneasde tiempo cerradasen los Universosrotatorios
,
de nuestro protagonista.Hastala fecha, en todos los modelos cos-
f ;n guw'nl.
procesosfsros
rnolgicosconocidos,si dos sucesosP y Q estabansituadossobre
a)
$ E
!a lTt
t,-
la misma lnea del Universo,P preceda a Q, o bien P era anterior =
II En el cursode susinvestigaciones, Gdelse habadado cuenta a Q, es decir, las trayectoriasno volvan a aproximarsea ninguno
-!
en rotacin. Se propuso,por tanto, construir un nuevo Universoen del campo gratatorio igual que todos los dems, podart encon-
el que el tiempo perdiera de una vez por todassu carcterabsoluto. --
I trarse dos lneas de universo de tal forma que en una de eilas P
I' En el artculo "An example of a new type of cosmologicalsolutions fuera anterior a Q, y en la otra Q precediesea P. Estesorprendente
to Einstein'sfield equationof gratation" ("Un ejemplo de un nuevo descubrimiento abra las puertas a los aies en el tiempo, pues,
OJ
curvatura constante.No se trata, en cualquier caso, de un modelo tein, que pronto se interes por las contribucionesde su amigo,
que pueda representar el mundo real, ya que no se observa el estas posibitidadesle haban hecho pensar durante mucho tiem- F
efecto Doppler que lo caracteriza.Estudiandolas distanciasentre po; por eso, quera saber hasta qu punto los aies en el tiempo
galaxias,Hubble se dio cuenta en 1929de que en los espectrosde tendran consecuenciaspara el universo real. La primera paradoja
la mayora se observaba el desplazamientoal rojo caracterstico que siempre se plantea es una versin modemizada del mito de
de las fuentesde luz que se alejan, el mismo fenmeno por el que Edipo: as las cosas,un ajero en el tiempo podra remontarsea
escuchamosms agudoel tono de una sirenade polica cuantoms la infancia de su padre y matarlo, tal vez por accidente,sin intuir
180 181
LA
el futuro de su rostro, antes de que lo hubieran concebido. Esfas Gdel habl ante el Congreso Internacional de Matemticos, cele-
U
contradccones
y ctrassmlares-dice Gde l- parn probor In hnposbldadde brado en Cambridge (Massachussets), donde present sus nuevos
+)
o_ Itsunhtersosenconsderacn
presLrplfienqueesrealnentelrrqcnbleel vajede
.(J resultados, "Rotating universes in general relativity theory" ("Uni-
(J
uno msmon su pasado.La energa que sera necesaria para alcanzar versos rotatorios en la teora general de la relatividad"), en los que
u
unavelocidad de al menos 212.000kilmetros por segundo "supera ya no hay lneas cerradas ni son posibles los viajes en el tiempo. En
t/)
en mucho cualquier magnitud que pueda esperarse nunca que sea el pblico haba centenares de personas, y Gdel recibi muchos
una posibilidad prctica". aplausos antes y despus, pero echaba en falta que slo el diez por
15
sentan un punto de inflexin en el desarrollo de asuntos centrales ir juntos al cine. Por fin |os malos aires parecan haberse esfumado
de la relatividad moderna. de su da: cuando Morgenstern cen con l a principios de 1947lo -+
.oJ
incompletitud, y los quince mil dlares de dotacin le ayr-rdarana pre apareciendo.Reflexionabatambin sobre las relacionesde su
\J
r hacer frente a las facturas mdicas. El resto de los miembros del obra con el conocimientode la mente humana, en la lnea de otros
0.,
comit (Von Neumann, Hermann Weyl y el propio Einstein) estaban autores que haban sto en los teoremas de incompletitud el fin
v)
tambin entusiasmados con la propuesta, pero ya haban decidido del mecanicismo. Gdel estabaseguro de que tl trabajodela mcnte
(U concedrselo a Julian Schwinger, un fsico y matemtico de Har- hurn,a nopueJeserreducdtt nl delcerebro,
r1ueenapartnco de toclos
esrmct
vard que recibira el Nobel algunos aos despus, y lo saba uno mtc1uttct-finttt,
aunque sus argumentosno eran de tipo matemtico,
.E
de los patronos de la fundacin. Finalmente, el jurado decidi que sino filosco. Gdel aprovechde nuevo para criticar a quienes
ho ambos compartiran el premio, y, mientras se recuperaba, Gdel sostenanque las matemticas eran de nuestra entera creacin,
.o
recibi con euforia la noticia: aunque era casi alrgico a las cere- pues, en ese caso,seradflclnente concebble
c\ue
algutios detn-
1;robleina
J monias. su trabajo por fin haba sido valorado en su justa medida. portnncalletarttntqiltoteffiplsnsttlucn.
l seguasiendo un platnico
Durante el acto pblico, Oppenheimer alab la obra de Schwinger, convencido:-losobjetos t hechos matemcttcos
exst*tobjetr,antentc
7 conn-
CJ
yVon Neumann dijo aquello de que los teoremas de incompletitud depcndencia demrestrls acflsy decsttnes
mentales;,forman
unarenldatd ohietva
:o
(9 "podan siempre disarse desde remotas distancias en el espacio nryerorqtrcnopodemos crearn ctunbsr,
snoslopercbr
y tlescrbt
. tTl
f
y en el tiempo". En medio del ambiente festivo, Einstein entreg la.s
rnedallas:"sta,querido amigo, es para ti: iaunque no la necesites!". -
5
Junto a una tumba abierta lf
a
Pero Gdel s la necesitaba. ste fue el comienzo de una cadena
Cuando Gdel fue nombrado, por fin, profesor del Institutode =
sin fin de reconocimientos, como su incorporacin a la Academia
Nacional de Ciencias y la London Mathematical Society, o los doc- EstudiosAvanzados,ya habacomenzadosu retilo de las matemti- -+
torados honoris causo por las universidades de Yale y Harvard. De cas: despusde la conferenciaGibbs,no dio ningn seminario,y (n
a)
pronto, Gdel no vea con tan malos ojos salir de Princeton, e incluso tampoco asistaa las clasesde otros profesores(Br ni t dahedrsdo OJ
volvi a tener la idea de ajar a Europa para buscar los manuscri- uil semnnr0,
,v tSufiplitt tdrdtetnpe:ttr !1./0siitt(Lteta
) nueve.No so1 bimo
tos de Leibniz y hacerle una visita a su madre, a la que llevaba efiess
cL)ss
detodosntttdos. \[ntcn t,o1a it''n-ferencas
porcluetengodjutltctdes
sin ver once aos. Se escribieron muchas cartas durante el verano, pnrnsryurlas,aLtilque
c.tlzcben el tetnadelcyerratnn).Gdel dej sin o
a
pero cuando lleg septiembre, para la desesperacin de su madre, terminar un ensayo,en el que refutabala idea de Carnap de que
Gdel no se encontraba con fuerzas; adems, lo haban invitado a las matemticasson sintaxisdel lenguaje,para la misma coleccin -
AJ
dar una charla ante la American Mathematical Society en diciembre en la que ya se haban publicado sus reflexionessobre la lgica
ts
de ese ao. Se trataba de la prestigiosa conferencia Gibbs, uno de de Russelly la filosofade la relatidad. Todo su trabajo se redujo
N
los puntos centrales de la reunin de Ia sociedad, y Gdel era el durante mucho tiempo a revisarartculosanterioreso supersar la
primer lgico de la historia al que se le ofreca tal honor. En "So- traduccinal inglsde sus textosalemanes.En cuanto a las labores P
me basic theorems on the foundations of mathematics and their administrativasdel instituto,tena que encargarsesobre todo de la
philosophical implications" ("Algunos teoremas bsicos sobre los seleccin de los lgicos que seran intados cada curso. Sus co_
fundamentos de las matemticas y sus implicaciones filosficas"), legas pronto le cedieron completa autoridad,para evitar las largas
tb TB7
esas mismas fechas, Von Neumann se encontraba en un estado ter-
deliberacionesy las llamadas telefnicasa horas intempestivas.A
minal, pues haba subestimado siempre los peligros de los ensayos
L)
finales de 1954,Gdel sufri una depresinms fuerte, que le hizo
P nucleares para la salud humana: se expona al menos una vez al
o
.(u creer que morira de un ataque al corazn'
U ao, en el laboratorio cle los lamos, a intensas radiaciones y acuda
q)
La rnuerte, en un intervalo relativamentebreve, de tres de sus tambin a contemplar las pruebas de la bomba atmica. En agosio
(n
o mejores amigos (Einstein,Von Neumann y Veblen) no contribuya de 1956 le detectaron un cncer de huesos en el hombro y, aunque
a
mejorar su estado.La que ms le impact fue la de Einstein,en trataba de sobrellevarlo con su habitual humor, en noembre ya no
poda moverse de una silla de ruedas. El deterioro fue tan implaca-
o
abril de 1955.A diferencia del resto de la comunidad cientfica,
rg ble que 1,que siempre haba sido ateo, busc refugio en la religin
U Gdel no saba nada de los problemas de circulacin de Einstein,
b.o tc tacensuhfierittr,pues lo haba visto
que ll*aht w.rildlLlftttiLhcendr, catlica: el cncer le colaps Ia meirte, pasaba las noches dando
.o
trabajandoy defendiendo con ahnco sus ideas polticas hasta el gritos de terror, y as muri en febrero de 1957,con slo cincuenta
ro
mismsimomomento en el que su reloj quiso pararse.Gdel dei de y tres aos.
A dete Gode.l
yeces. personal,
Ello estrctantente heperddofiruchsn1 i1flsumlrcrte, de la resta Dialctica,en cuya fun-
en 1957
encuefltaque efi lthnos
sLts estulo
tlrts qn ns dacin haba intervenido. En el pri-
sobretodotenendo
la mpresn mer texto que escribaen alemn desde su exilio, Gdelplanteaba
snpatco conngo deloquehnba estado ) med.qbo
ntffictt, (.fl
que
C,qurr* nrortrirsens exlr,verf10-Hai querercn,cer .senprefhe el estado de las pruebasde consistenciacasi treinta aos despus +
ban,,t,reservLldt.N quedacrtenequem estqLlo dessludltavueloa del segundoteoremade incompletitud."Uber eine bishernoch ni- OJ
apitto.peroenufl p{v fls 66q5itnes htonndoutl p,tefitesonmlbro 7, pliacin todavano utilizadadel punto de sta finitario") comienza 5
F
parece
ntlqLteben, quevlj reatperartdo elcontrol' exponiendo algunosrasgosde las demostracionesfinitarias(*ilo se
ts
nosyernite hablnrtleol:_ittosnntenttcls
enlnndds enqrepodetnossealarlos
Mstarde,Gdel ayud a ordenarlos papelesque el fsicohaba oproducrlos efectit
antente y
unl c0t6fruccn),luego
ntedrtnte propone el
dejado en su despacho,y en el acto conmemorativo celebrado en uso del concepto de funcin computable para traspasarel marco
plf prtnerat,ezdoshorascotl'ryletns
su honor guant 7 Hn1dn.Por
deBach restringidode Hilbert.
188 189
(n
Aunque, despus del fin de la Segunda Guerra Mundial, Adele
(J
aj en varias ocasiones a Europa para sitar a su familia, Gdel ya
P
.cJ
no volvera a moverse de Princeton, y tuvo que ser su madre qrrien
U
( lo fuera a ver. En 1958 Gdel le sugiri la posibilidad de que ajara a
u
Amrica junto con la hermana de Morgenstern, pero finalmente fue
(/)
Rudolf quien la acompa. Por aquellas fechas, la madre de Adele,
u que empezaba a tener sntomas de demencia senil, va con ellos
E
en la casa, pero Gdel les busc alojamiento en un hotel cercano.
ac
(J El reencuentro fue tan agradable que su madre regres otras tres
b
.o veces, una cada dos aos. Tras la ltima sita a Princeton su sa-
rtr
lud empeor a marchas forzadas: en julio de 1964 se rompi un unamente
J brazo en una cada y, rnientras se recuperaba, sufri un ataque al
corazn. Tuvo que permanecer en cama durante meses, hasta que
10 il, 3 i: ; ; , 3 ;
a)
los mdicos le diagnosticat'on una angina de pecho. Gdel trataba
(, de tranquilizarla a su manera: le escriba asegurndole que slo
era una afeccin nerosa, de la que se recuperara antes de que
pudiera darse cuenta, y la animaba a tener pensamientos alegres.
Estuvo de acuerdo en compartir los costes del tratamiento con su Aurrque nunca haba sido muy sociable, en los ltimos aos de
hermano Rudolf, pero nunca pens en ajar a Europa, aunque Io su da Gdel se aisl de todo el mundo; salvo Oskar Morgenstern,
m
hubiera tenido muy fcil, ya que Adele verane all en 1965 y 1966. sus amigos haban muerto, y el instituto traslad su oficina a la nue-
Precisamente se encontraba en Viena cuando su suegra muri, el va biblioteca, separada del resto de despachos. Amparndose en
o.)
23 de julio de 1966, a los ochenta y seis aos. Adele asisti al entie- su estado de salud, Gdel rechazaba cualquier intacin que le (
rro en representacin de Gdel y, como resultado del mal tiempo, obligase a clejar Princeton por un da: no quiso asistir al homenaje
o_
vol con una bronquitis. Gdel renunci a su parte de la heren- de la Universidad de Viena, ni a un gran encuentro sobre teora
c
cia; ms tarde, ante los reproches de su hermano por no haber axiomtica de conjuntos. La mayor parte de sus colegas etaron
Oi
acudido al entierro, se defendera con frialdad: Plr qudabcrshtthr presenciar sus crisis, primero intermitentes, y crnicas desde el
I
otoo de 1975. Como en los dos episodios anteriores, Gdel sufra a
pennanecdo a una tunlbaaberta?
baiolalluva dtrante una hora-1unto
(+
ataques paranoicos de hipocondra, pero Adele ya no se encontraba rD
en condiciones de calmar sus miedos. Ella misma haba tenido que
ts
retirarse de escena poco a poco, aquejada de hipertensin y artritis.
-*J
Durante un aje por Italia sufri una apopleja que la oblig a re- I
mista de un cncer de prstata, y sola interesarse por su hijo, que todo el sistemade deducciones.Comenztambin a trabajarsobre
estudiaba matemticas en Princeton; hablaban sobre economa, dos asuntosque considerabade exfrnordilaraunportonda: la forma- a
c
y Oskar lo encontraba "especialmente encantadcr". Sin embargo, lizacin del argumentoontolgico de san Anselmoy el hallazgode =
OJ
en enero de 1970 tuvo que llevarlo al hospital: Gdel estaba segu- la potencia real del continuo. =
a
ro de haber sufrido un ataque al corazn, y pronto mostr snto-
r+
mas de paranoia. Pensaba que los doctores no le administraban los Gdelcreaque, introduciendolospostuladosprecisos,podran a
medicamentos indicados y que alguien cambiaba cada noche las explicarseconceptosmetafsicoscomo Dios o alma que el Crcu-
descripciones de su enfermedad en los libros de consulta. Dos das lo de Viena haba rechazado de raz; pero se resistaa publicar O)
despus le cont por telfono que estaba bajo un hechizo hipntico; sus resultadospor miedo a que lo confundiesencon un creyente: I
era consciente de su debilidad, pero no la atribua a la desnutricin, como cuando se interes por Ios fantasmasy los mdium, slo (.o
!
sino a la libertad que le daba el instituto, donde no tena que dar quera mostrar que la prueba ontolgicapuede llevarsea cabo en
clase ni organizar seminarios. En su siguiente visita, Morgenstern lo el seno de la lgica formal. En mayo de 1970le envo a Tarskiun
describe como un "cadver ente", presa de las alucinaciones y manuscrito titulado "Some Considerationsleading to the Probable
192 t_93
is lJz" ("Algunas Entre l97l y 1972slo comparti sus pensamientoscon Mor-
Ll')
conclusion that the True Power of the continuum
U probable de que la genstern y Hao Wang, un profesor entonces en la Universidad
consideraciones que conducen a la conclusin
sto Rockefeller.Wang se desplazabaa Princeton cada dos semanas
potencia verdadera del continuo sea H2") para que le diera el
P
.qJ
Academy para charlar con Gdel y tomar nota de sus opiniones,que luego
\l
r
bueno antes de enarl alos Proceedings of the National
u diseminara en De las matemticos a la filosofa, Un uiaje lgico:
of s c i e n c e s .E n s e g u i d a Se e n c o n traronerroresfatal esensurazona-
!n que la hiptesis de de Gdel a la frlosofa y Reflexionessobre Kurt Gdel, uno de los
miento, y Gdel sigui repasndolo' seguro de
xi|tnas r:01111' retratosclave para entendersus ltimos aos.En estasobras se ve
c.J
cantor era falsa: correga su demostracin, aada
publicacin de mejor que en ningnsitio su tendencianaturala la introspeccin:
blesalateora de conjuntos y anunciaba la pronta
razn' de que como sanAgustn,Gdelsostenaque la verdadhabitaen el interior
sus ideas. Pero l rnismo estaba convencido, y con
que Se hubiera del hombre y que es all donde tenemos que buscarla:
bo sus resultados eran inCorrectos; ademS, una vez ljlr ay,renltr
ftndttn suttJo'
jubilado, nhryunnprthlitcitt ttrts
elttrtedelntrL)spcccn,htw
qrcsahe r clusnttrttr.
una de rasfuncionesde
fa filosofaes, precisamente,gr nin nvestgacn centficn,porque /os
rnattmtcos r ecluh"ocan.
As,los stcultradcen
Ltostit,sfLrs nsnsmos alhablar
u Exilio intelectual tlelantroslteccn,
queil(1rercnlrcilc0nr0 perenca. sneml;argo, elconcepfo
cieconjwffon0 selbefiecomactbstracctin delctexpyls1iI. Gdel nunca
M i e n tra s G d e l s e e n c e rra b aensmi smo,enel i nsti tutocrecan dej de sostenerque /n-tcostts dtbenreducrse n lasdcns platncns, pero
Rebecca no estaba muy segurode en qu momento deben mostrarsepor
los rumores sobre qu haca con su tiempo libre' Segn
Goldstein, un grupo de doctorandos se teuna una vez a la sema- primera vez las verdadesmatemticas.En el pasado,las conside-
contaba racionesabstractasse introducandemasiadotarde,pero la nueva
na para poner en comn sus pesquisas: entonces, alguien
que rn
en latn, y otro todos pedagoga-crea Gdel- las habaadelantadoen exceso,pLrqlteun|
que lo haba sto leyendo poesa ertica
manos. Ya tiene:uesoheralg.mas
los libros sobre Leibniz de la biblioteca estaban en sus mafeffitcss
antesdenprecar el vitlory iabelleza:
que lo OJ
slo se comunicaba por telfono: peda a sus compaeros
o
a Menger
llamasen en lugar de ir a sitarlo, y una vez le pregunt Lo tlue delt mstorsees d t,erilotlcranffife asontbrosontnero a_
a
qu haba sido del algebrista Emil Artin, cuyo despacho estatra de tcorernas smyles )rno tt'itittles qtrc
)trelacones prevalecen
en lns o
c
m e n o s d e c i e n me tro s d e l s u y o .A unquesi gui obteni endoresul ta' ftffttctlt(iticas
[...]. Eu m opnn, cstgpropdaddelasnntentitcits f
AJ
desdn;
dos interesantes, tema que sus ideas fuesen recibidas con refle_in
clenlgmmodoel orden2 h regularLlad quepretalecenen el
=
pe n s a b a q u e e l p o s i ti s mo d e s u j uventudenV i enai nvadaaho- mwtdo1ter0, queesnruchsnttt mayr delo quelepnrecenl obscrt,sdor .D
Harvard (+
ra la enseanza americarra. As, cuando la universidad de *perjcal. fi
william James,
le int a pronunciar las prestigiosas conferencias
(o
rechazlla propuesta porque consideraba que sus departamentos Duranteel ao siguienteGdel fue mucho ms sociable:quiso
Despus de aceptar la publicacin de un recibir el doctoradohonoris causo por la universidadRockefeiler, !
eran den"tasado enrprstns.
y lo co-
nuevo artculo, cambiaba varias veces de opinin al da se que se lo concedi a instanciasde Hao Wang,y una semana des- (o
\
prematuramente pus de la ceremoniainterno en un acto de homenajea Von Neu-
municaba a sus editores. Gdel crea que exponer
s u s i d e a s ,a n te s d e c o m p l e ta rtodosl osrazonami entos,eradarl es mann, en el que preguntsiI al algo
depnradAjko
enladeademancluina
un trato injusto, lo cual reafirma su arraigado platonismo' quecxlzcsupf0p0pflgra,nacoffipletmente
. En ese momento, Gdel
L94 195
en contra' "Esto cay tan mal en el departamento que se
Vl
decidi,
U unnimemente, que en lo sucesivo la lgica se tratara por
separa_
+J
o
do". Algo similar vor a ocurrir aos ms tarde, en un caso
\qJ
cuya
onda expansiva sacudi incluso a ros peridicos. Er nuevo
director
a del IAS haba propuesto construir una facultad de ciencias
sociales,
lo y muchos cientficos desenterraron el hacha de guerra.
-o El primer
nombramiento fue aceptado, pero cuando se propuso ra incorpora-
CJ
c cin de Robert Bellah, un socilogo de las religiones, comenzaron
.U las disputas: "Muchos de nosotros -deca un matemtico-
nos he_
on mos molestado en leer su insignificante obra. He sto candidatos
,o
G d e 1 ju n to a H ao Wang- flojos, pero jams haba tenido la se'sacin de estar perdiendo
el
au tiempo tan miserablemente". En la reunin Gdel habra
.J tomado
propusiese la palabra para pedir que se rristinguiese entre h ,fruencny l0 yer-
necesitaba ms que nunca un grupo de amigos que le
de dad ob-ietva
de las ideas de Beilah, pero, aunque esiaba en-contra,
CJ
E comunicar SuSdescubrimientos, "recordndole la conveniencia
era preciso". AveCes almor- termin abstenindose.
(, ponerlos por escrito y presionndolo, si
zaba con Abraham Robinson o Paul Bernays, pero para la mayora
En mayo de 1975,ra universidad de princeton decidi conce-
de sus colegas segua siendo muy inaccesible, y haba perdido todo
que derle el reconocimiento que tantas veces le haba negado.
su inters por los asuntos del instituto. Casi todos los profesores Hasta
y la lgica no el misnro da de la ceremonia, paur Benacerraf, el principar
se encontraban all cuando l lleg haban muerto, artfice
del doctorado, trat de convencerlo de que asistiera, pero Gdel m
era ya una de las lneas prioritarias de investigacin. Durante algn
l pensaba que Iopropohtbrt't silo rribirlohsrc dczaos, armismo
tiempo, Gdel lleg a pensar que se celebraban reuniones sobre tiem-
po que los de Yale y Harvard, y nunca se ileg a reer la OJ
a sus espaldas. raudatio del
programa: o
ii con un ejercicio de clase, y desarroll en poco tiempo una teorta cimientos de nuestra compresintanto de ra mente humana ct_- D
-t
de
en la que el problema quedaba resuelto slo como corolario mo del alcance de uno de sus instrume'tos favoritos:el mtodo
otros descubrimientos de mayor emergadura. El Instituto de Estu- axiomtico.como todas ras revolucionesde importancia,sta no
dios Avanzados quera fichar a Milnor, pero Oppenheimer se opuso slo ha puestode rerievelos rmitesde los ejos mtodos sino que I
i.'
fl
ia Medalla Nacional las maanas y soportaba con rara entereza las rdenes de Gdel,
r/| Tresmeses despustampoco quiso recibir
que le mandaba comprar naranjas y luego las tiraba a la basura. Eli-
en Washingtonel presidente
de la Ciencia,que le haba entregado
(J
P
zabeth era una de Ias pocas personas que apleciaba algunos de los
.(U
de los EstadosUnidos. talentos de Adele: su ayuda fsica debi de ser menos importante
LA que la posibilidad de hablar un rato cada da. No pudo convencer a
4)
Gdel, sin embargo, de lo insuficiente de su dieta: desayunaba un
LN
Yaslo nrytiYas
tomodecisones
huevo duro, acompaado algunas veces de un sorbo de t, y slo
(u en lo verdadero de coma un plato de judas verdes en todo el da.
La hipocondra y la seguridad de Gdel
ro seguateniendo ideas muy
sus luicios ponan en peligro su salud:
Tras su letargo, la paranoia de Gdel despert con fuerza en
bn extraassobrelama|nutricinynoestabadispuestoarecibiraten-
febrero de 1976:llamaba a Morgenstern dos o tres veces al da para
cinmdicacompleta.DurantetreintaaosGdetredactundiario
y se tomaba la pedirle auxilio, porque la polica estaba a punto de detenerlo y los
pormenorizadode sus problemascleestreimiento'
el cctel de laxantes'toclos mdicos conspiraban contra l; un da quera ver a su hermano y al
temp...tur. variasveces al da' Viendo
maana' Morgensternse siguiente lo odiaba. A finales de marzo pesaba menos de cuarenta
-'C-J ellos autorrecetados,que tomaba cada
o
1974los problemas de salud se kilos e ingres en el hospital convencido de que morira rr rrlenos
(9 sorprendade que siguiesevo' En
prstatase haba ensanchado de una semana; pero unos das despus, sin el permiso del doctor,
trasladaronde la mente al cuerpo:su
urinarios' A pesar volvi a casa caminando. Aunque Wang lo llamaba para consultarle
hasta tal punto que le bloqueaba los concluctos
de Adele' crea que todo algunas dudas sobre teora de conjuntos, Gdel ya slo estaba preo-
de los fuertes dolores y de las splicas
y se resisti hasta cupado por su salud y la de Adele, que tuvo que permanecer en
poda controiarsebebiendo leche de magnesio m
un catter' que el hospital entre junio y agosto, presa del delirio. Es difcil imaginar
Lt nna a ser l'.ospitalizado'E'nabril le introduieron
que lo trataban no cmo se las apa Gdel durante tanto tiempo: apenas cocinaba
se arranc al cabo de unos das; los mdicos -
OJ
por darle el alta' Durante la y pasaba muchas horas en compaa de su esposa. Mientras tanto,
saban qu hacer con l y terminaron
y triste"' pero volvi a Morgenstern sucumba a una metstasis, pero sigui atendindolo
convalecencia,Morgensternlo vio "delgado a
hasta el final. Slo dos semanas antes de su muerte escribe en su
recuperarse.Seraya la ltima vez' c
diario una entrada escalofriante: 5
OJ
fro: con ms de
En los meses siguientesGdel tena mucho j
o
el t a casa de los Mor-
veinte grados de temperatura, iba a tomar "Ha vuelto a llamarme Gdel [...] y hemos estado hablando cer-
(-+
gorda' y tena que pedirles
gensternenvueltoen dos iersisde lana ca de un cuarto de hora. Despus de preguntarme de pasada cmo o
quitaba el abrigo en todo el
ms ropa prestada;otras veces no se estaba y de asegurarme [...] que el cncer no slo se me detendr, P
de las tareas del hogar' ren tratar con 1, que ia suya no es una situacin de emergencia
hecho nunca, quien tena que ocuparse -!
muchsimo dolor' y (exactamente lo mismo que me dijo, punto por punto, hace unas @
Los problemasde prstataseguancausndole
semanas, hace un mes, hace dos aos), y que debera ardarlo para
ambosdecidieroncontrataraunaenfermera.ElizabethGlinka,que
que lo internasen en el hospital de Princeton [...]. Tambin me ha
habaconocidoalosGdelvariosaosantes,cuidabadeAdelepor
199
L98
o
aseguradoque, har cosa de dos aos, aparecierondos hombres
q u e fi n g a n s e rm d i c o s [...].Eranestafadoresquepretendani n-
2 gresarloen el hospital,y le cost mucho tiempo desenmascararlos
4V suponepa-
conversacin
t...1.Me cuestadescribirlo que semeiante
o ra m:h e a q u u n o d e | o s h o m b resmsbri l l antesde| si gl o,al que
algn tipo
o estoymuy unido, a todas luces trastornado'aqueiado de
de
de paranoia,y que esperaque lo ayude; ["'] pero yo soy incapaz
la movilidad v procuraba
J hacerlo. Ni siquiera cuando conservaba
ayr-rdarlo conseguanada [..']' Ahora, al aferrarsea m' -porque no
:
,,o tiene a nadie ms, eso est claro- agravala cargaque ya soporto"'
9
est n ent er r,.#'..t" : li:i:"t"J:'o 0" r., nceton
En julio de 19'17Adele tuvo que someterse a una operacin
y no pu-
de urgencia: pas varias semanas en cuidados intensivos
ausencia' nadie ms leyeselos ataquesde Marianne,e intua que
E
l)
do volver a casa hasta poco antes de la Nadad' En su el hermano
quera en realidadvenderlas,como hizo algunos
G del s e d e j m o ri rl e n ta m e n te .C uandoseenter,sl ounashoras aos despuscon
colg el las que conservaba1.Adereno entendauna palabra
despus, de que el cncer haba podido con Morgenstern' de rosartcu-
y mejor amigo los de su marido, pero era ms conscienteque
telfono sin decir palabra. Con Adele en el hospital su Gdel de la gloria
del adis: en la que haban ido encumbrndorodesdesu lregada
mueno, ya apenas quedaban testigos de su ceremonia a Amrica y
preocupados, mantuvointactostodoslos paperes,que decidi
en princeton, los investigadores del instituto estaban ceder al instituto.
de Muchos detalles de la paradjicada de Gdel rn
pero no saban qu hacer; fuera, slo Hao Wang era consciente slo han podido
que su muier reconstruirsea travsde ellos.
la gravedad de Ia situacin. Un da le llev un pollo o
la mirilla'
haba cocinado para 1, pero Gdel se qued detrs de
OJ
LN
.(u que-
de 1936'Muerto Gdel' ella
U
(^ no habra publicado nada a partir
(u econmicos' Durantetres aos
daba invliday sin grandesrecursos
hasta que falleci el 4 de febre-
en la soledad ms absoluta
LA
c
y genio fro, muestran de algn modo la sensibilidad que tuvo. En
LA podramos dejarlo construyendo todas las frmulas del lenguaje
Las nueuqs confesiones, de William Boyd, la aparicin de Godel
preguntarle cules son verdaderas' Antes o despus, el ordenador
+) a su nocin sfo es fugaz. El protagonista acaba de rodar la pelcula definitiva
.0J
dara con la sentencia indecidible 17 Gen r que escapa
cierta' Al del cine mudo, pero el lanzamiento coincide con los primeros cor-
tJ
LA
de verdad, aunque nosotros podamos identificarla como
CJ tometrajes sonoros, y su arte pasa sin pena ni gloria para el gran
r edu c i rl a l g i c a a l a s i n ta x i s ,l a m qui nanosal dranuncadesu
decidir esta pblico; slo Gdel reconoce su maestra. Otra novela publicada
o asombro y pasara el resto de la eternidad tratando de
en 1999,En busca de Klingsor, contiene la siguiente escena: mien-
a)
proposicin que, naturalmente interpretada, afirma que es indeci-
de tras el personaje principal, un fsico llamado Francis Bacon, asiste
dibie. "Lttego la mquina seguir sin ser un modelo adecuado
tu por delante de a un seminario de Gdel, irrumpe su novia. a la que por lo visto le
Ia mente". Ella, que est viva, "ir siempre un paso
est siendo infiel, en Ia sala de conferencias del Instituto de Estu-
ho cualquier sistema formal, osificado, muerto"'
dios Avanzados. Comienza a gritar hasta encontrarlo, y, cuando la
rg atencin se haba desplazado de la hiptesis del continuo a las lti-
J
Los teoremas de incompletitud como fuente de metforas
mas filas "el profesor Gdel anunci que no podra continuar con
la clase y comenz a llorar, irrefrenablemente". Su gran conflicto
CJ
Ningn resultado matemtico ha sufrido tantas sobreinterpre-
-nos viene a decir el auior por boca de Von Neumann- no son las
taciones como el primer teorema de incompletitud' La situacin
que mu- proposiciones formalmente indecidibles, "sino su amor desgarrado
recuerda a las lecturas posmodernas del Quiiote, en las
del mundo' y turbulento por una prostituta: su propia esposa".
chos fillogos han pergeado un anticipo de su sin
don
As, adems de ser un libertario ms volteriano que Voltaire'
Mientras el pasaje imaginado por Boyd es perfectamente posi-
Q ui j o te h a b a i n v e n ta d o e l fe mi n i smoydescubi ertol osS ecretos
que se la deja ir' ble, pues Gdel mantuvo durante toda su vida la sensibilidad artsti-
de la alquimia. Deca Horacio que la voz' una vez
ca de los primeros aos en Viena, En busca de Ktingsor yerra de
no sabe regresar; tal vez si hubieran deiado reposar sus orgumentos
tanta raz al retratar a Gdel, al que no le gustaba mostrar en pblico
bajo sieie llaves, los enferraos de gdelitis no habran dadc
sus sentimientos. Lo haca siempre con dificultad, en voz baja, a
es tu p i d e z a l a i mp re n ta :..d e s d e e| daenqueGdel demostrque
solas con sus mejores amigos, y el resto lo reservaba para la escri-
noe x i s te u n a p ru e b a d e l a c o n s i stenci adel aari tmti cadeP eano
pudieron tura. Por eso es absolutamente inverosmil que se echara a llorar
formalizable en el rnarco de esta teora, los politlogos
Lenin y exhi- delante de todos sus colegas, pero incluso si no lo fuera, la des-
comprender, por fin, por qu haba que momificar a
los aos cripcin de Adele es muy injusta: dedic su da a Gdel, y antes
birlo a los camaradas en un mausoleol' (Rgis Debray). En
la de la guerra lleg a alimentarlo cucharada a cucharada hasta que
posteriores a la publicacin de los teoremas de incompletitud'
de la l recuper casi veinte kilos. ZNo es ms de lo que se espera de
obra de Gdel permaneci atrapada en el reducido crculo
una esposa? La inteligencia humana -deca yeats- debe escoger
lgica, pero tras la aparicin de Gdel's Proof y del superventas
pasaron' entre dos aspiraciones excluyentes: "perfeccin de la vida, o de la q
Gdel, Escher, Bach. Iln eterno y grci! bucle, sus ideas
obra". Cronistas de desgracias en el mundo hay muchos, pero slo
como don Quiiote, a formar parte del inconsciente colectivo' 5
la importancia de la obra de Gdel lo conerte en materia narrati- E
va: cuando haya muerto Avellaneda, los teoremas de incompletitud
Ap a rti rd e e n to n c e s ,G d e | comenzsudal i terari a.R ecuerdo
un seguirn siendo un hito en el tiempo y el espacio.
especialmente dos novelas que, lejos de presentrnoslo como
207
20 6
+
-
il
Cronolog a
1f
ir
1930 Gdel recibe el doctorado por Ia Universidadde Viena 1933 Gdel se convierteen Dozentu.ry da su primer curso sobre
U (6 febrero). fundamentosde la aritmtica (marzo).
P
.(u Presentacinde su teorema de completitud en el coloquio de Tras ajar a Amrica a bordo del Aquitania, Gdel se incor-
U
(n Menger(14 maYo). pora al Institutefor AdvancedStudy(tAS)como profesorin-
tado.
r GdelanunciaporprimeraVezSusresultadosdeincompleti-
tud en el caf Reichsrat,donde se rene con carnap, Feigly Pronunciala conferencia"The presentsituationin the foun-
c.J
Waismann (26 agosto). dations of mathematics" ("La situacinactual en los funda-
mentos de las matemticas")para la American Mathematical
U Gdel inierene en la conferencia sobre la Epistemologade
Society.
bD lasCienciasExactascelebradaenKnigsbergentreel5yel
Tdeseptiembre.Elda6presentaSuteoremadecompleti- 1934 Conferenciasen el IAS sobre los teoremasde incompletitud
J
tud, y en una mesa redonda celebrada en la ltima sesin (febrero a mayo).
delcongresoanunciaqueexistenproposicionesverdaderas,
Charlaante la New YorkPhilosophicalSociety:"The existence
u pero indecidiblesen los PrincipiaMothematico'
of undecidablepropositionsin any formal systemcontaining
("La
Se publica "ber ciie Vollstndigkeitdes Logikkalklls" arithmetic" ("La existenciade proposicionesindecidiblesen
suficiencialgicaclelos axionrasdel clculo deductivode pri- cualquiersistemaformal que contengaaritmtica")( I 8 abril).
merorden'')enlosMonatsheftefrMclthematikundPhysik,
Conferenciapara la Academia de Cienciasde Washington:
n.o37,PP.349-360(sePtiembre).
"Can mathematicsbe proved consistent?"("ZPuededemos-
Gdelenvasu artculocon los dos teoremasde incompletitud trarseque las matemticasson consistentes?")(20 abril).
al Monotsheftefr Mathemotik und Physik(l / noembre)'
Vueltaa Europaa bordo del Rex (26 mayo-3junio).
Cana de Von Neumann a Gdel anuncindoleque ha descu-
Eleccin como miembro de Ia American Mathematical So-
bierto l mismo la indemostrabilidadde la consistenciade la
ciety (AMS).
aritntticapor sus propios medios (20 noembre)'
Muerte de su mentor Hans Hahn (24 julio).
l93l publicacinde "ber formal unentscheidbareStzeder Prin- En el otoo de 1934Gdel ingresaen el sanatorioPurkersdorf
cipia Mathematica und verwandter Systeme"("Sobre propo-
de Viena para un t-ratamientocontra la depresin nerviosa.
sicionesformalrnenteindecidiblesen PrincipiaMathematica
ysistemasafines'')enlosMonatsheftefrMathematikund 1935 Comienzasu curso"Captulosselectosde la lgicamatemti-
Physik,n.o38,PP.173-198. ca" en la Universldadde Viena (4 mayo).
3
=
Presentacinde los teoremasde incompletitud ante la unin Gdelpresentasu ltima contribucinal coloquio de Menger, d
MatemticaAlemana, donde se encuentra con la firme opo- un artculosobreIa longitudde las demostraciones(19junio).
S
sicin de ErnstZermelo (15 de septiembre)' Gdel vuelve a Amrica a bordo del Georgicy le comunica a ;'
1932 Gdel obtiene laHabilitation de la universidadde Viena Von Neumann que ha conseguidodemostrarla consistencia
(1 diciembre). relativa del axioma de eleccin (octubre).
210 2Ll
- I
El 17 de noviembre Gdel sufre una depresin,renuncia a su Conferenciaen Gttingensobre el problema del continuo,Ia
U
beca en el IASy vuelve a Viena a principios de diciembre' nica vez que habl en Europasobreestosresultados
P
o_ (15 diciembre).
.o
(J 1936 "El peor ao de rni da". Gdel pasa medio ao en un sana- Despusde muchosprobleinascon lasautoridadesalemanas
U')
OJ torio. y estadounidenses,
los Gdelobtienenpermisosde salida
r
Moritz Schlick es asesinadopor uno de sus estudiantes (19diciembre).
CJ
(22 iunio).
1940 Publicacinde "The consistencyof the axiom of choiceand
U 1937 Cursosobre teoraaxiomticade conjuntosen la universidad of the generalizedccntinuum-hypotheslswith the axioms of
bD de Viena (mayo-junio)-La noche entre el 14 y 15 de junio set theory" ("La consistenciadel axioma de elecciny de
.o
cclel descubreel paso crucial para demostrarla corsistencia la hiptesisgeneralizada del continuocon ios axiomasde la
J
(E
relativade la hiptesisdel continuo' teorade conjuntos") como monografadel Annals of Mothe-
{
f,
matics.
I u 1938 Anexinde Austriaal III Reich(13 marzo)'
I Tras obtener el visado como inmigrantessin cuota, Kurt y
t
GdelSeCaSaenVienaconAdele(20septiembre)yviajasolo Adele Gcielajan a Princetona travsdel Transiberianoy el
a Princetonpara reincorporarseal IAS (octubre)' barco PresidentCleueland(Yokohamaa San Francisco)(lg
CursoenellASsobrelaconsistenciarelativadelaxiomade ener.o-4marzo).
eleccin y la hiptesisdel continuo (octubre-diciembre)' Gdel se incorporaal claustrodel IAS,mientrasen la Univer-
Publicacindel artculo"The consistencyof the axiom of choi- sidad de Viena deciden aceptarlo comoDozenf (primavera).
ce and the generalizedcontinuum-hypothesis"("La consis-
Conferencia en la Universidadde Bro',,rm:,,Consistencyof
tencia del axioma de eleccin y de la hiptesisgeneralizada
Cantor'scontinuumhypothesis"("Consistencia de la hipte-
del continuo") en los Proceedingsof the National Academltof
sis del continuo de Cantor").
vol. 24,pp.556-557(noviembre)'
Sciences,
conferencia en el VL encuentro de la AMS:"The consistency 1941 Conferenciaen la Universidadde yale: ,,ln what senseis in-
of the generalizedcontinuum hypothesis" ("La consistencia tuitionist logic constructive?"("ZEnqu sentido es la lgica
de Ia hiptesisgeneralizadadel continuo")' intuicionistaconstructiva?")(15 de abril) y curso en el IAS.
1939 Entre enero y febrero Gdel da un curso de lgica junto a 1943 Gdel comienzaa trabajaren Ia filosofade las matemticas.
Menger como profesor intado de la Universidadde Notre a)
Se celebra un acto de homenaie en su honor en el IAS con Dawson, John. W. Jr., Logical Dilemmas" The life and uork of Kurr
Gdel, Wellesley,Mass.:A K Peters,1996.
intervenciones de Andr Weil, Hao Wang, Simon Kochen y
Devlin,Keith, "Lost innocence", The Guoran, 26 abril 2001.
Hassler Whitney (3 marzo).
Dumitru, Anton, History of Logic, Kent: Abacus Press,1372.
l98l Fallece Adele (4 febrero).
Eco, Umberto,La bsquedo de la lengua perfectaen Ia culturo europeo,
Barcelona:Crtica,1999.
Enderton, Herbert 8., A Mathematical Introduction to Logic, SanDiego:
.\cadenric Press,I 972.
t!
Euclides,Elementos, Madrid: Gredos, 2000.
Ferreirs, Jos, Lobyrinth of Thought: A History of Set Theory and its
Role in Modern Muthematics, Basel: BirkhaserVerlag, lg9g. qq
220 221