Kurt Freidrich Gdel naci el 28 de de abril de 1906 en Brnn, Moravia (u!

tria"
#un$r%a, en el d%a de ho& 'e()blica *heca+, -u (adre, 'udol(h, .ue un dili$ente e
inventivo (ro(ietario de una ./brica te0til, -u 1adre, Marianne, .ue una cari2o!a 1adre
de .a1ilia 3ue hab%a recibido una e0ten!a educacin literaria en Francia, 4a .a1ilia
Gdel era econ1ica1ente aco1odada & el 5oven Kurt (udo dedicar toda! !u! ener$%a!
al e!tudio, &a 3ue no era nece!ario colaborar a la .inanciacin .a1iliar, -obre!ali en el
traba5o e!colar, -u (ri1er inter6! acad61ico .ue la 4in$%!tica, (ero 1/! tarde acudi a
la! Mate1/tica! &a 3ue era 1/! ./cil (ara 6l e!tudiarla! (or !u cuenta, una ve7 a$otado!
lo! recur!o! 3ue le o.rec%a la e!cuela,
8n$re! en la 9niver!idad de :iena en 192; (laneando e!tudiar F%!ica <erica, #acia
1926 !u atencin volvi a la! Mate1/tica! & !e (rodu5o !u unin a lo 3ue 1/! tarde .ue
conocido co1o el *%rculo de :iena, un $ru(o de 1ate1/tico! 3ue .und la e!cuela
.ilo!.ica conocida co1o =o!itivi!1o 4$ico, Gdel e!tuvo a!ociado con e!te $ru(o
durante 1ucho! a2o!, 4a (rinci(al (re1i!a del *%rculo de :iena era 3ue lo 3ue no e!
veri.icable e1(%rica1ente no tiene !entido, 4a ant%te!i! de e!ta .ilo!o.%a e! la
e!(eculacin 1eta.%!ica, &a 3ue nada (uede !er (robado o re.utado con al$)n $rado de
certidu1bre dentro del !i!te1a 1eta.%!ico, Gdel !e .ue intere!ando (ro$re!iva1ente en
<eor%a de >)1ero! &, de!(u6!, en 4$ica Mate1/tica durante e!to! a2o!,
?n 19@0, Gdel !e doctor en Mate1/tica! diri$ido (or #, #ahn, un notable
1ate1/tico 1ie1bro del *%rculo de :iena, (artir de a3u% co1ien7a Gdel a traba5ar
en !u! 1/! i1(ortante! teor%a! !obre la co1(letitud de !i!te1a! .or1ale!, :ia5 a lo!
?!tado! 9nido! dando un ciclo de con.erencia! & !e encontr (or (ri1era ve7 con
lbert ?in!tein en 19@@, Aedic al$uno de lo! a2o! !i$uiente! al e!tudio de (roble1a!
de F%!ica & de =!icolo$%a, Aurante e!ta 6(oca tuvo 3ue !er in$re!ado varia! vece! en
ho!(itale! (or (roble1a! de !alud,
Gdel !e ca! con dele =orBert en 19@8 & decidieron tra!ladar!e de.initiva1ente a lo!
?!tado! 9nido! en 19;0, -e a!entaron en =rinceton, >eC Der!e&, donde re!idieron ha!ta
el .inal de !u! vida!,
4le$ a !er un $ran a1i$o de ?in!tein, & traba5aron 5unto! lo! a!(ecto! .ilo!.ico! &
1ate1/tico! de la <eor%a General de la 'elatividad, Gdel inclu!o traba5 con 60ito en
la! ecuacione! del ca1(o $ravitatorio, encontrando !olucione! !or(rendente!, <a1bi6n
dedic $ran (arte de !u tie1(o al e!tudio del conce(to de tie1(o, (ublicando vario!
art%culo! & dando varia! con.erencia! !obre el te1a,
'ecibi 1ucho! ho1ena5e! i1(ortante! durante !u vida, Fue no1brado doctor
honorario en 4iteratura (or la 9niver!idad de Eale en 19F1, <a1bi6n .ue doctor
honorario en *iencia! (or #arvard en 19F2 con una 1encin 3ue lo lla1 Gel
de!cubridor de la verdad 1ate1/tica 1/! !i$ni.icativa del !i$loG, Fue ele$ido co1o
1ie1bro de la cade1ia >acional de *iencia! en 19FF & de la cade1ia 1ericana de
la! rte! & *iencia! en 19FH, ?n 1961 in$re! en la -ociedad Filo!.ica de 16rica, ?n
196H, .ue ele$ido 1ie1bro honorario de la -ociedad Mate1/tica de 4ondre!,
Final1ente, en 19HF, el (re!idente Ford le entre$ la Medalla >acional de la! *iencia!,
Batall durante toda !u vida contra !u! (roble1a! de !alud .%!ica & 1ental, *on.e! en
1969 3ue no era ca(a7 de entender el traba5o de lo! nuevo! l$ico!I la en.er1edad iba
cobrando !u (ea5e, 2o! 1/! tarde, lle$ a e!tar convencido de 3ue e!taba !iendo
1
envenenado, =ara evitar e!to, de5 de co1er & acab 1uriendo (or inanicin el 1; de
enero de 19H8,
Kurt Gdel. El genio de la racionalidad
Se$)n 3uiene! 1e5or han e!tudiado !u vida & obra, !u an!ia de racionalidad 3ui7/
(rocedie!e del tra!.ondo recurrente de una ine!tabilidad 1ental, de una hi(ocondr%a,
>o! re.eri1o! a Kurt Gdel, $enio de la! 1ate1/tica! & de la l$ica, de cu&o! teore1a!
de inco1(letitud derivan con!ecuencia! deci!iva!, -u! de!cubri1iento! 1inaron lo!
.unda1ento! !obre lo! 3ue !e con!tru&eron la! 1ate1/tica! ha!ta el !i$lo JJ & han
en$endrado un viva7 debate .ilo!.ico !obre la naturale7a de la verdad, -u!
innovacione! t6cnica! han hecho (ro$re!ar a la! ciencia! de la co1(utacin,
>aci en Brno, Moravia, el 28 de abril de 1906, hi5o de e0(atriado! ale1ane! !in
de1a!iada in!truccin, Kurt .ue un e!tudiante brillant%!i1o, in3ui!itivo, tanto 3ue .ue
a(odado Kder #err Laru1K Gel !e2or =or3u6G, !en!ible, introvertido & ba!tante
enclen3ue, 9na! .iebre! reu1/tica! (o!ible1ente alentaron !u en.er1i7a (reocu(acin
(or la !alud & la dieta, ?!tudi en la univer!idad de :iena en una 6(oca de vaca! .laca!
& e!(lendor cultural, con la intencin de hacer .%!ica, (ero i1(re!ionado (or la!
leccione! de =hili(( FurtCMn$ler & #an! #ahn !e orient hacia la! 1ate1/tica!, lo!
do! a2o! .ue invitado a un !e1inario con el .il!o.o Morit7 -chlicB, a un $ru(o cu&o
no1bre (ronto !er%a .a1o!oN el *%rculo de :iena, 3ue !e in!(iraba en lo! e!crito! de
?rn!t Mach, un ca1(en del racionali!1o anti1eta.%!ico, ll% entr en contacto
ta1bi6n con el .il!o.o 'udol. *arna( & con el 1ate1/tico Karl Men$er, 3uiene! le
a&udar%an a .a1iliari7ar!e con la l$ica 1ate1/tica & la .ilo!o.%a, =or entonce! el
*%rculo !e hab%a en.ra!cado en lo! e!crito! de Litt$en!tein, cu&a ob!e!in (or el
len$ua5e 3ue habla del len$ua5e (1etalen$ua5e+ (udo inducir a Gdel a !ondear
cue!tione! !i1ilare! en 1ate1/tica!,
l$uno! 1ie1bro! del *%rculo de :iena inve!ti$aban (or entonce! lo! .en1eno!
(ara(!icol$ico! (or lo! 3ue Gdel !ie1(re 1o!tr un $ran inter6!, 2o! de!(u6!,
Gdel le con.e!ar%a a un a1i$o %nti1o 3ue en el .uturo !er%a con!iderado e0tra2o 3ue
lo! cient%.ico! del !i$lo JJ hubieran de!cubierto la! (art%cula! .%!ica! ele1entale! & no
!e le! hubiera ocurrido con!iderar la (o!ibilidad de .actore! (!%3uico! ele1entale!,
Gdel nunca co1(arti el (o!itivi!1o recalcitrante del *%rculo de :iena, =or el
contrario, !ie1(re .ue un (latnico convencido de 3ue, ade1/! del 1undo de lo!
ob5eto!, e0i!te un 1undo de conce(to! al 3ue lo! hu1ano! tienen acce!o (or intuicin,
Gdel (en!aba 3ue el valor de verdad de un enunciado e! inde(endiente de 3ue lo
cono7ca1o!, de1/!, !ab%a 3ue dicha .ilo!o.%a !erv%a (reci!a1ente co1o e0ce(cional
au0iliar en el ca1(o de la! 1ate1/tica!, Geor$ Krei!el, un i1(ortante .il!o.o de la!
1ate1/tica!, ha !e2alado co1o caracter%!tica de la actitud .ilo!.ica $deliana la
b)!3ueda (llevada, !in duda, con $ran 60ito+ de nueva! (er!(ectiva! & nuevo! re!ultado!
1ediante an/li!i! de conce(to! a(arente1ente i1(reci!o!, lo cual con.i$ura una actitud
.unda1ental1ente G(latoni!taG,
(artir de 1928, rara! vece! (artici( en la! reunione! del *%rculo de :iena,
-)bita1ente, Gdel ad3uiri e!tatura internacional en l$ica 1ate1/tica con !u te!i!
doctoral, G4a co1(letitud de lo! a0io1a! del c/lculo .uncional de (ri1er ordenG (1929+
2
& con !u 1e1oria G-obre la! (ro(o!icione! .or1al1ente indecible! de =rinci(ia
Mathe1atica & !i!te1a! a.ine!G (19@2+, ?n !u te!i! re!olv%a un (roble1a (endiente
(lanteado (or #ilbert & cBer1annN !i la! re$la! (ara o(erar con conectiva! l$ica! &
cuanti.icadore! (er1itir%an, ad5untado! a lo! a0io1a! de una teor%a 1ate1/tica, la
deduccin de toda! & !lo toda! la! (ro(o!icione! verdadera! en cada !i!te1a 3ue
cu1(liera con lo! a0io1a!, O!er%a (o!ible de1o!trar todo cuanto .uera verdadero (ara
toda! la! inter(retacione! v/lida! de lo! !%1bolo!P ?n un art%culo de 19@1, Gdel
de1o!tr 3ue ha de e0i!tir al$)n enunciado concerniente a lo! n)1ero! naturale! 3ue e!
verdadero, (ero no (uede !er de1o!trado, Q !ea, 3ue e0i!ten ob5eto! 3ue obedecen a lo!
a0io1a! de la teor%a de n)1ero!, (ero 3ue, en otro! a!(ecto!, de5an de co1(ortar!e
co1o n)1ero! (Gteore1a de inco1(letitudG+, -i lo! a0io1a! no !e contradicen entre !%,
entonce!, e!e 1i!1o hecho, codi.icado en enunciado nu16rico !er/ G.or1al1ente
indecidibleG Re!to e!, ni de1o!trable ni re.utable" a (artir de dicho! a0io1a!, *ual3uier
de1o!tracin de con!i!tencia habr/ de a(elar a (rinci(io! 1/! .uerte! 3ue lo! (ro(io!
a0io1a!,
?l teore1a a.ir1aba 3ue nin$)n !i!te1a de le&e! (a0io1a! o re$la!+ (uede tener
(otencia !u.iciente (ara de1o!trar todo! lo! enunciado! verdadero! de la arit16tica, !in
!er al 1i!1o tie1(o tan .uerte 3ue de1ue!tre ta1bi6n enunciado! .al!o!, ?l re!ultado
.ru!tr a #ilbert, 3uien ten%a con.ian7a en la (o!ibilidad de .i5ar lo! .unda1ento! de la!
1ate1/tica! 1ediante un (roce!o Gautocon!tructivoG, en el 3ue la con!i!tencia (udiera
deducir!e de una teor%a l$ica !encilla & evidente, Gdel no cre& 3ue !u! conclu!ione!
de1o!tra!en la arbitrariedad del 16todo a0io1/tico" deductivo, !ino !lo 3ue la
deduccin de teore1a! no (uede 1ecani7ar!e del todo, 5u!ti.icando a!% el (a(el de la
intuicin en la inve!ti$acin .or1al,
4a $enerali7acin de !u! idea! han (er1itido la deduccin de diver!a! con!ecuencia!
relativa! a lo! l%1ite! de lo! (roce!o! in.or1/tico! & co1(utacionale!, 9na de ella! e! la
de1o!tracin de 3ue nin$)n (ro$ra1a 3ue no altere el !i!te1a o(erativo de un
ordenador !er/ ca(a7 de detectar todo! lo! (ro$ra1a! 3ue !% lo ha$an (viru!+, 4a
con!ecuencia (arece a1(liable inclu!o a ca1(o! tan di!tante! co1o el u!o (olicial de la
violencia o la .ilo!o.%a de la! 1ate1/tica! & la l$ica, ?n e!te )lti1o ca1(o, el teore1a
de Gdel debilita el (ro&ecto de una reduccin lo$ici!ta de la 1ate1/tica, -u!
ob!e!ione! & 1an%a! no interru1(ieron del todo !u traba5o $racia! al a.ecto 3ue le
(ro.e! dele =orBert, una bailarina, !ei! a2o! 1a&or, a 3uien conoci en un local
nocturno de :iena durante !u! a2o! de e!tudiante, <ra! un lar$o novia7$o R1al vi!to
(or !u .a1ilia" !e ca!aron en !e(tie1bre de 19@8, ?n 19@9 !e$u%a !u1ido en !u traba5o,
indi.erente a lo! i1(ortante! aconteci1iento! (ol%tico! del 1o1ento, 1ientra! el 1undo
a !u alrededor !e hund%a, !in e1(leo & a (unto de !er reclutado (ara la! .uer7a! ar1ada!
na7i!, Gdel !olicit el a(o&o del 8n!tituto de ?!tudio! van7ado! de =rinceton, obtuvo
lo! vi!ado! de !alida (ara !% & (ara !u 1u5er & en enero de 19;0 a1bo! hicieron un
co1(licado via5e a -an Franci!co, a trav6! del tan!iberiano & de!de EoBoha1a, Gdel
&a no volver%a a !alir de ??99, *uando en 19;6 obtuvo la ciudadan%a e!tadouniden!e,
el 5ue7 3ue le to1 5ura1ento co1eti la i1(rudencia de (edirle !u o(inin !obre la
*on!titucin de ??99, Gdel dio una di!ertacin en toda re$la !obre !u!
contradiccione!, =or .in, en 19F@, .ue no1brado catedr/tico del clau!tro de =rinceton &
ele$ido 1ie1bro de la cade1ia >acional de *iencia!,
Aurante e!to! a2o! daba un (a!eo diario con otro ilu!tre re.u$iado & cole$a, lbert
?in!tein, =or entonce!, Gdel de5 !u traba5o !obre la teor%a de con5unto! & !e orient
@
hacia la .ilo!o.%a & la teor%a de la relatividad, ?n 19;9 de1o!tr 3ue eran co1(atible!
con la! ecuacione! de ?in!tein univer!o! donde !e (udiera via5ar retr$rada1ente en el
tie1(o, -u )lti1o art%culo a(areci en 19F8, Ae!(u6!, !e en!i1i!1 del todo, (areci
en ()blico (or )lti1a ve7 en 19H2, al recibir un doctorado honor%.ico (or la univer!idad
'ocBe.eller, ?n !u ve5e7 cuid con abne$acin e5e1(lar a !u e!(o!a, a 3uien un ata3ue
card%aco de5 inv/lida, <e1ero!o de !er envenado, de5 de co1er & !e e0tin$ui (or
de!nutricin el 1; de enero de 19H8, -u obra e! e!ca!a, (ero la in.luencia & re(ercu!in
de !u! traba5o! ha !ido & !er/ .or1idable, (or3ue a.ectan a toda! la! ra1a! de la l$ica
1oderna, #ace a(ena! uno! a2o! 3ue !e han traducido al$uno! de !u! in6dito!, de!de la
anticuada ta3ui$ra.%a ale1ana 3ue utili7aba, & han !ido (ublicado! (!tu1a1ente en el
tercer volu1en de !u! *ollected LorB!, -u! contenido!, entre lo! 3ue .i$ura una
.or1ali7acin del ar$u1ento ontol$ico de la e0i!tencia de Aio!, han e1(e7ado
ta1bi6n a lla1ar la atencin,
"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
Do!6 Bied1a
htt(NSSCCC,interbooB,netS(er!onalS5o!ebied1a
4a obra l$ica de Gdel ha& 3ue relacionarla de!de el (rinci(io con el (ro$ra1a
.or1ali!ta de #ilbert, -u te!i! doctoral .ue !u .a1o!a (rueba de la !u.iciencia !e1/ntica
del c/lculo l$ico de (ri1er orden, & !lo ten%a 11 (/$ina!, Ao! a2o! ante!, #ilbert &
cBer1ann hab%an deli1itado de un 1odo claro la l$ica de (ri1er orden & (re!entado
un c/lculo l$ico (ara ella, Aicho c/lculo no era co1(leto !int/ctica1ente en el !entido
de 3ue (ara cada .r1ula o bien ella o bien !u ne$acin .uera deducible, ?!to e! a!% &a
3ue un c/lculo l$ico !olo (retende $enerar la! .r1ula! v/lida! (.r1ula! verdadera!
ba5o cual3uier inter(retacin+, & ha& 1ucha! .r1ula! tale! 3ue ni ella! ni !u ne$acin
!on v/lida!, 4o 3ue !i (od%a (lantear!e era la cue!tin de !i el c/lculo era
!e1/ntica1ente !u.iciente, e! decir, !i (er1it%a deducir toda! la! .r1ula! v/lida!,
#ilbert & cBer1ann no hab%an encontrado re!(ue!ta a e!ta (re$unta en 1928, & e!o
(reci!a1ente e! lo 3ue hi7o Gdel do! a2o! de!(u6!, dando re!(ue!ta (o!itivaN el
c/lculo l$ico de (ri1er orden era lo !u.iciente1ente (otente co1o (ara deducir toda!
la! .r1ula! v/lida! (& !lo e!ta!+, ?!te re!ultado 1arc un 5aln en la hi!toria de la
4$ica Moderna & !u(u!o un e!(aldara7o (ro1etedor (ara el (ro$ra1a .or1ali!ta de
#ilbert,
?l re!ultado 1/! revolucionario de la 4$ica del !i$lo JJ, (or el 3ue Kurt Gdel e!
e!(ecial1ente .a1o!o, e! el teore1a de inco1(letitud, (ublicado en 19@1, ?!te teore1a
e! 1/! ./cil de entender !i no! a(ro0i1a1o! a 6l indirecta1ente, *on e!te .in,
(re!entare1o! un ro1(ecabe7a! l$ico & al$uno! t6r1ino! clave ante! de (a!ar a la
di!cu!in del teore1a (ro(ia1ente dicha,
#a& una anti$ua a.ir1acin (arad5ica, lla1ada (arado5a del 1entiro!o, 3ue (uede
a&udarno! a ilu!trar el te1aN G?!ta a.ir1acin e! .al!a,G =a!e1o! a anali7ar tal
a.ir1acin, -i e!ta e! verdadera, e!to !i$ni.ica 3ue la a.ir1acin e! .al!a, lo cual
contradice nue!tra (ri1era hi(te!i!, =or otra (arte, !i la a.ir1acin e! .al!a, la
a.ir1acin debe de !er verdadera, lo cual no! lleva de nuevo a una contradiccin, 9na
ver!in aun 1/! !i1(le de e!ta (arado5a (co1o !e2al 4eCi! *arrol+ e! la a.ir1acin
!i$uienteN GEo e!to& 1intiendo,G ?n e!ta! a.ir1acione! !e (re!enta el .en1eno lla1ado
;
bucle extrao, *ual3uier !u(o!icin inicial 3ue !e ha$a conduce a una re.utacin de
6!ta, Mucha! de la! ilu!ione! (tica! del arte de M, *, ?!cher e!t/n ba!ada! en e!te
conce(to,
Qtro t6r1ino i1(ortante e! el de isomorfismo, ?ntendere1o! a3u% un i!o1or.i!1o
co1o una cone0in entre un nivel del entendi1iento & otro, ?l i!o1or.i!1o 1/! co1)n
e! el 3ue !e da entre el len$ua5e & la 1ente, ?!ta! (alabra! 3ue u!ted e!t/ le&endo !on
co1binacione! de l%nea! 3ue tienen un !i$ni.icado atribuido, ?lla! no !i$ni.ican nada
(or !% 1i!1a!, !on 1era! cone0ione! con conce(to! 3ue e!t/n en nue!tra! 1ente!, ?!te
e! un e5e1(lo di.%cil, &a 3ue e!ta1o! tan aco!tu1brado! a hablar & e!cribir 3ue
olvida1o! 3ue la! letra! & la! (alabra! no !on la verdadera co1unicacin, Qtro e5e1(lo
e! el !i!te1a de nu1eracin ro1ana, -abe1o! co1o e0(re!ar n)1ero! ar/bi$o! (lo!
cuale! !on i!o1or.o! a dedo!, roca!, etc,+ en el !i!te1a ro1ano, (ero ello e! al$o
(elia$udo, ?!ta1o! enterado! del i!o1or.i!1o entre e!to! do! !i!te1a! ti(o$r/.ico!
de!de el 1o1ento en el 3ue nece!ita1o! tra!ladarno! del uno al otro con!tante1ente,
?l )lti1o t6r1ino a con!iderar e! el de sistema formal, ?!te t6r1ino (arece ba!tante
./cil, (ero !u (ro(ia naturale7a hace nece!ario de.inirlo e0(l%cita1ente, 4la1are1o!
!i!te1a .or1al a un !i!te1a ti(o$r/.ico 3ue !ea i!o1or.o a la teor%a de n)1ero!, ?!to e!
co1(arable a to1ar la! e0(re!ione! de len$ua5e natural de la! de1o!tracione!
$eo16trica! & !u!tituirla! (or !%1bolo! 3ue ten$an el 1i!1o !i$ni.icado, -e hace e!to
(ara evitar la a1bi$edad & .o1entar la (reci!in, ?l (unto a tener en cuenta a la hora
de traba5ar con !i!te1a! .or1ale! e! 3ue no (ode1o! u!ar el !entido co1)n o, en
$eneral, cual3uier ar$u1ento a5eno al !i!te1a, ?l For1ali!1o e! un 1ovi1iento, en la
4$ica & en la! Mate1/tica!, i1(ul!ado (or #ilbert en lo! a2o! 20, #ilbert invent un
arti.icial len$ua5e de la l$ica & co1en7 a tra!ladar la! a.ir1acione! de la teor%a de
n)1ero! dentro de 6l, -u (ro(!ito era con!truir !i!te1a! .or1ale! co1(leto! (ara la!
(rinci(ale! teor%a! de la 1ate1/tica cl/!ica, *o1(leto! en el !entido de 3ue cual3uier
a.ir1acin (uede o bien !er de1o!trada o bien !er de1o!trada !u ne$acin, ?l (ro$ra1a
de #ilbert ta1bi6n re3uer%a 3ue !e de1o!trara la con!i!tencia de dicho! !i!te1a!
.or1ale!,
?l teore1a de inco1(letitud de Gdel e! ba!tante !encillo de entender una ve7 he1o!
introducido la (arado5a del 1entiro!o (citada 1/! arriba+, Gdel hi7o 1ani(ulacione!
(ara tra!ladar el len$ua5e natural del 1entiro!o al len$ua5e de la! 1ate1/tica!, 4o 3ue
(rob e! co1(arable (i!o1or.o+ a la a.ir1acin G?!te teore1a no tiene de1o!tracinG,
T4o !or(rendente e! 3ue 6l (rob el teore1aU Ai!e2 !u (ro(io len$ua5e l$ico (ara
e!to, ?n de.initiva, de!cubri 3ue e0i!t%an a.ir1acione! verdadera! 3ue no (od%an !er
(robada! dentro del !i!te1a,
Gdel (rob 3ue todo !i!te1a .or1al 3ue contuviera a la arit16tica ele1ental (un
e5e1(lo de e!te !i!te1a !er%an la! Mate1/tica! co1o un todo+ e! inco1(leto, de1/!,
(or el ca1ino encontr 3ue la con!i!tencia de dicho! !i!te1a! era i1(o!ible de (robar,
?!to no !i$ni.ic el .in del For1ali!1o, (ero !u(u!o un duro $ol(e (ara e!te,
<a1bi6n hi7o $rande! contribucione! a la <eor%a de *on5unto!, co1o la de1o!tracin
de la con!i!tencia relativa del a0io1a de eleccin & de la hi(te!i! del continuo re!(ecto
del re!to de lo! a0io1a!, de1/!, hi7o i1(ortante! contribucione! al e!tudio del
(roble1a de la deci!in, de.ini (or (ri1era ve7 la! .uncione! recur!iva!, (rob la
con!i!tencia de la l$ica & arit16tica cl/!ica re!(ecto de la intuicioni!ta, !e ocu( de la
F
co!1olo$%a relativi!ta & encontr !olucione! !or(rendente! a la! ecuacione! del ca1(o
$ravitatorio de la relatividad $eneral,
6