Lgica Matemtica. Seccin: 12.01. U.N.A.H.

Bases del conocimiento .

Durante cientos de aos, os matemticos se !a"#an ocu$ado en utii%ar demostraciones gicas $ara
construir desde o conocido !acia o desconocido. & $rogreso !a"#a sido $rodigioso, con cada
nue'a generacin de matemticos edi(icando so"re a magn#(ica estructura ) creando nue'os
conce$tos de n*meros ) de geometr#a. Sin em"argo !acia e (ina de sigo +i+, en ugar de mirar
!acia deante, os gicos matemticos comen%aron a 'o'erse !acia os cimientos de as
matemticas so"re os ,ue se !a"#a construido todo o dems. -uer#an 'eri(icar as "ases de as
matemticas, as# ,ue o reconstru)eron todo desde os $rimeros $rinci$ios con un a"souto rigor a
(in de reasegurarse de ,ue a,ueos $rinci$ios originarios eran sidos.
Los matemticos destacan $or ser riguros#simos cuando se trata de egar a una demostracin
a"souta antes de ace$tar cua,uier a(irmacin. &ste rigor ,ueda mu) "ien e+$resado en una !istoria
,ue narra .an Ste/art en 0once$ts o( Modern Mat!ematics 120once$tos de matemticas
modernas34:
Un astrnomo, un fsico y un filsofo (el ultimo lgico-matemtico, segn cuentan) estaban
de vacaciones en Escocia. Mirando or la ventana del tren distinguieron una ove!a negra
en medio de un rado. "#$u% interesante &observ el astrnomo&, en Escocia las ove!as
son negras'( ) lo *ue resondi el fsico+ "#,o, no' #)lgunas ove!as escocesas son
negras'( El filsofo (lgico-mtemtico) mir sulicante al cielo y entonces articul+ "En
Escocia e-iste al menos un camo *ue tiene al menos una ove!a con al menos uno de sus
costados de color negro.(
Aun mas riguroso ,ue e matemtico ordinario es a,ue ,ue esta es$eciai%ado en e estudio de a
gica matemtica. Los gicos matemticos comien%an cuestionando ideas ,ue otros matemticos
!an dado $or sentadas durante sigos. As#, a e) de a tricotom#a esta"ece ,ue todo n*mero es o
"ien negati'o o "ien $ositi'o o "ien igua a cero. &sto $arece o"'io ) os matemticos o !a"#an
asumido como cierto de (orma tcita, $ero nadie se !a"#a tomado a moestia de demostrar ,ue de
'erdad era 5se e caso.
Los gicos notaron ,ue, !asta ,ue a e) de a tricotom#a no se $ro"ara como cierta, $odr#a ser
(asa, ) si ocurriera esto *timo, a totaidad de un edi(icio de conocimiento, todo o "asado en
dic!a e), se coa$sar#a. 6or suerte $ara os matemticos, a (ina de sigo $asado a e) de a
tricotom#a se demostr como cierta.
Desde os antiguos griegos, as matemticas !a"#an e+istido $or a acumuacin de ms ) ms
teoremas ) 'erdades, ) aun,ue a ma)or#a se !a"#a demostrado con todo rigor, ata#a a os
matemticos ,ue agunos de eos, como a e) de a tricotom#a, se !u"ieran desi%ado sin ser
e+aminados como de"ieran.
Agunas ideas !a"#an egado a (ormar $arte de a sa"idur#a $o$uar ) nadie esta"a seguro de cmo
se !a"#an demostrado en un $rinci$io, si es ,ue en 'erdad se demostraron aguna 'e%7 de modo ,ue
os gicos decidieron $ro"ar cada teorema desde os $rinci$ios ms remotos. Sin em"argo, cada
verdad deba deducirse de otras verdades. &stas 'erdades, a su 'e%, tendr#an ,ue demostrarse antes
a $artir de otras 'erdades a*n ms "sicas, ) as# siem$re. A ca"o de cierto tiem$o, os gicos se
encontraron ocu$ndose de unas cuantas $remisas (undamentaes, tan esenciaes ,ue )a no $udieron
ser demostradas.
&stas $resunciones constitu)en os axiomas matemticos.
Un e8em$o de a+ioma es a e) conmutati'a de a adicin, a cua esta"ece ,ue, $ara cuaes,uiera
n*meros m y n ,
m + n = n + m
Se considera ,ue 5ste ) un $uado de otros a+iomas son e'identes en s# mismos ) $ueden $onerse a
$rue"a con (aciidad si se os a$ica a n*meros concretos. Hasta a!ora os a+iomas !an su$erado
cada com$ro"acin ) se os !a ace$tado como e (ondo *timo de as matemticas. & reto de os
gicos consist#a en reconstruir todas as matemticas a $artir de esos a+iomas.
9odo un e85rcito de gicos $artici$ en e ento ) $enoso $roceso de reea"orar a com$e8idad e
inmensidad de conocimiento matemtico so"re a "ase de un n*mero m#nimo de a+iomas.
La idea radica"a en consoidar o ,ue os matemticos cre#an conocer )a em$eando tan so os
$atrones ms rigurosos de a gica. & matemtico aemn Hermann :e) resume e es$#ritu de a
5$oca: 2La gica es a !igiene ,ue $ractican os matemticos $ara mantener sus ideas sanas )
ro"ustas.3 Adems de de$urar o ,ue )a se conoc#a, con(ia"an en ,ue este en(o,ue (undamentaista
tam"i5n arro8ar#a u% so"re $ro"emas ,ue !asta a!ora no se !a"#an resueto, entre eos e *timo
teorema de ;ermat.
& $rograma (ue dirigido $or a (igura ms eminente de a 5$oca, Da'id Hi"ert. Hi"ert cre#a ,ue en
matemticas todo $od#a ) de"#a $ro"arse a $artir de os a+iomas "sicos. & resutado de eo ser#a
demostrar de manera concu)ente os dos eementos "sicos de sistema matemtico. &n $rimer
ugar, as matemticas de"#an ser ca$aces, a menos en teor#a, de res$onder a cua,uier interrogante
concreto. Se trata de mismo carcter de completitud ,ue !a"#a re,uerido en e $asado a in'encin
de n*meros nue'os, como os negati'os o os imaginarios. &n segundo ugar, as matemticas
de"er#an estar i"res de incongruencias, o o ,ue es o mismo, una 'e% mostrada a 'eracidad de una
$remisa a tra'5s de un m5todo no ser#a $osi"e ,ue mediante otro m5todo se concu)era ,ue esa
misma $remisa es (asa. Hi"ert esta"a con'encido de ,ue, asumiendo tan so unos $ocos a+iomas,
ser#a $osi"e res$onder a cua,uier $regunta matemtica conce"i"e sin temor a una contradiccin.
& < de agosto de 1=00, Hi"ert $ronunci una con(erencia !istrica en e 0ongreso .nternaciona de
Matemticos de 6ar#s.
Hi"ert $ante 'eintitr5s $ro"emas matemticos sin reso'er ,ue 5 considera"a de una $erentoria
im$ortancia. Agunos de os $ro"emas 'ersa"an so"re reas ms generaes de as matemticas, $ero
a gran ma)or#a ten#a ,ue 'er con os (undamentos gicos de a disci$ina. &stos $ro"emas ten#an
a (inaidad de centrar a atencin de mundo matemtico ) de constituir un $rograma de
in'estigacin. Hilbert $retend#a sacudir a a comunidad $ara ,ue o a)udara a reai%ar su sueo de
crear un sistema matemtico i"re de toda duda e inco!erencia. Una am"icin ,ue inscri"i en su
$ida:
:ir m>ssen /issen,
:ir /erden /issen.
9enemos ,ue sa"er,
Legaremos a sa"er.
Gottlob Frege (ue una de as (iguras ms destacadas de amado $rograma de Hi"ert, si "ien en
ocasiones (ue un amargo ri'a de 5ste. ;rege se dedic durante ms de una d5cada a deducir cientos
de com$icados teoremas a $artir de os a+iomas "sicos, ) sus 5+itos o e'aron a creer ,ue esta"a
en e camino correcto $ara egar a com$etar una $arte considera"e de sueo de Hi"ert. Uno de
os $rogresos ca'e de ;rege (ue ea"orar a de(inicin com$eta de n*mero. 6or e8em$o, ?,u5
,ueremos decir en reaidad con e n*mero @A Besuta ,ue, $ara de(inir , ;rege tu'o ,ue de(inir
$rimero a 2tri$icidad3.
2Triplicidad3 es a cuaidad a"stracta ,ue $oseen os gru$os o series de o"8etos ,ue contienen tres
o"8etos. As#, a 2tri$icidad3 $uede utii%arse $ara descri"ir e con8unto de os 2tres $eos tiene mi
"ar"a3 de a cancin in(anti, o a 2tri$icidad3 es adecuada de mismo modo $ara descri"ir a serie
de ados ,ue $osee un tringuo. ;rege not ,ue !a"#a numerosos gru$os ,ue mani(esta"an
2tri$icidad3 ) utii% la idea de los conjuntos $ara de(inir e 2@3 en s#. 0re un con8unto nue'o,
cooc en su interior todos os gru$os ,ue mani(iestan 2tri$icidad3 ) denomin 2@3 a este nue'o
con8unto de con8untos.
6or o tanto, un con8unto contiene tres miem"ros si ) so si se sit*a dentro de con8unto 2@3.
Csta $uede $arecer una de(inicin demasiado com$e8a $ara un conce$to ,ue usamos a diario, $ero
a descri$cin ,ue ;rege reai%a de 2@3 es rigurosa e indiscuti"e, ) adems necesaria $ara e
in(e+i"e $rograma de Hi"ert.
&n 1=02, e m5todo de ;rege $areci egar a su (in cuando se dis$uso a $u"icar .rundgeset/e der
)rit0meti1 12;undamentos de a aritm5tica34, una o"ra gigantesca ) $restigiosa ,ue intent
esta"ecer un nue'o $atrn de certe%a dentro de as matemticas. A mismo tiem$o, e gico ing5s
Bertrand Russell, ,ue tam"i5n esta"a contri"u)endo a gran $ro)ecto de Hi"ert, reai%a"a un
descu"rimiento de'astador.
A $esar de !a"er seguido e riguroso $rotocoo de Hi"ert, !a"#a tro$e%ado con una inco!erencia.
Busse e'oc su $ro$ia reaccinante a temida $osi"iidad de ,ue as matemticas (ueran
intr#nsecamente contradictorias:
)l rinciio suuse *ue sera caa/ de suerar la contradiccin con toda facilidad y *ue lo
ms robable era *ue 0ubiera algn error trivial en el ra/onamiento. 2oco a oco, sin
embargo, se 0i/o atente *ue no era %se el caso. . .
3urante la segunda mitad de 4564 estaba convencido de *ue la solucin sera sencilla, ero,
transcurrido ese tiemo, conclu *ue se trataba de una tarea de envergadura. . .
)costumbraba a asear cada noc0e de once a una, tiem-o en el *ue llegu% a conocer los tres
sonidos distintos *ue emiten los c0otacabras. (7a mayor arte de la gente slo conoce uno de
ellos.) Estaba emecinado en resolver la contradiccin. 8ada ma9ana me sentaba ante una
0o!a blanca de ael. ) lo largo del da, con una breve ausa ara comer, miraba la 0o!a en
blanco. ) menudo, al caer la tarde segua vaca.
No !a"#a esca$atoria a a contradiccin. & tra"a8o de Busse caus un $er8uicio considera"e a
sueo de crear un sistema matemtico i"re de duda, inco!erencia ) $arado8a. &scri"i a ;rege,
cu)o manuscrito se encontra"a )a en a im$renta. La carta de Busse torn in*ti a o"ra de ;rege,
e tra"a8o de toda su 'ida, $ero a $esar de go$e morta $u"ic su ous magnum $esara a ,uien
$esara, ) aadi tan so una adenda a segundo 'oumen: 2Un cient#(ico $uede encontrarse di(#ciD
mente con ago ms indesea"e ,ue 'er ceder os cimientos 8usto cuando a o"ra est concuida. Una
carta de seor Busse me $uso en ta situacin cuando a o"ra esta"a casi en $rensa.3
;ue irnico ,ue a contradiccin de Busse surgiera de as series o gru$os ms ,ueridos $or ;rege.
Muc!os aos des$u5s record en su i"ro M) 6!ioso$!ica De'eo$ment 12La e'oucin de mi
$ensamiento (ios(ico34 e ra%onamiento ,ue $ro'oc su cuestionamiento de a o"ra de ;rege: 2Me
areci *ue una clase es algunas veces, y otras no, un miembro de s misma. 7a clase de las
cuc0arillas, or e!emlo, no es otra cuc0arilla, ero la clase de cosas *ue no son cuc0arillas es
una de las cosas *ue no son cuc0arillas.3 ;ue esta o"ser'acin, curiosa e inocente en a$ariencia, a
,ue e' a a catastr(ica $arado8a.
La $arado8a de Busse se e+$ica a menudo con e cuento de "i"iotecario minucioso.
Un da, deambulando entre las estanteras, el bibliotecario descubre una coleccin de
catlogos.
Ha! di"erentes catlogos para novelas, obras de consulta, poesa, ! dems. #e da cuenta de
$ue algunos de los catlogos se inclu!en a s mismos ! otros, en cambio, no.
%on el objeto de simpli"icar el sistema, el bibliotecario elabora dos catlogos ms& en uno
de ellos 'ace constar todos los catlogos $ue se inclu!en a s mismos ! en el otro, ms
interesante a(n, todos a$uellos $ue no se catalogan a s mismos.
)l terminar la tarea se encuentra con un problema* el catlogo $ue recoge la lista de todos
los $ue no se inclu!en a s mismos +debe catalogarse a s mismo, #i se inclu!e, por
de"inicin no debera estar incluido& en cambio, si no se inclu!e, debera incluirse por
de"inicin. -l bibliotecario se encuentra en una situacin imposible.
Los catogos se $arecen muc!o a os gru$os o cases ,ue ;rege !a"#a utii%ado $ara a de(inicin
(undamenta de os n*meros.
6or o tanto, a incongruencia ,ue atormenta a "i"iotecario causar tam"i5n $ro"emas en a
estructura su$uestamente gica de as matemticas. .as matemticas no pueden tolerar
inconsistencias, paradojas o contradicciones. & $oderoso instrumento de a $rue"a $or
contradiccin, $or e8em$o, se (undamenta en unas matemticas i"res de $arado8as. La $rue"a $or
contradiccin esta"ece ,ue si una a(irmacin conduce a a"surdo, entonces tiene ,ue ser (asa7 sin
em"argo, seg*n Busse, incuso os a+iomas $ueden e'ar a a"surdo. As# ,ue a $rue"a $or
contradiccin $odr#a e'idenciar ,ue un a+ioma es (aso ) no o"stante os a+iomas son e
(undamento de as matemticas ) se os reconoce como ciertos.
Hu"o muc!os inteectuaes ,ue cuestionaron e tra"a8o de Busse a(irmando ,ue as matemticas
eran o"'iamente una acti'idad e+itosa ) $er(ecta. Busse es res$ondi e+$icando e signi(icado de
su tra"a8o de modo ,ue sigue:
26ero Edirn ustedesE nada de esto !ace tam"aear mi creencia de ,ue dos ) dos son
cuatro.3 &stn de todo en o cierto, e+ce$to en casos e+tremos. F es so en os casos
e+tremos cuando ustedes dudan si cierto anima es un $erro o si cierta ongitud es menor ,ue
un metro. & dos tiene ,ue ser dos de ago, ) e enunciado 2dos ) dos son cuatro3 resuta
inser'i"e a menos ,ue $ueda ser a$icado. Dos $erros ms dos $erros son, en e(ecto, cuatro
$erros, $ero surgen casos en ,ue ustedes dudan si dos de eos son o no $erros.
2Gien, en cua,uier caso !a) cuatro animaes3, dirn ustedes. 6ero e+isten microorganismos
,ue ca"e dudar si son animaes o $antas. 2Gien, son organismos 'i'os3, a(irman.
6ero !a) cosas ,ue no sa"emos si 'i'en o no. Ustedes estarn a"ocados a decir: 2Dos
entidades ms dos entidades son cuatro entidades.3 0uando me !a)an e+$icado ,u5 es o
,ue entienden $or 2entidad3 reanudaremos a discusin.
& tra"a8o de Busse sacudi os cimientos de as matemticas ) arrastr e estudio de a gica
matemtica a una situacin de caos. Los gicos eran conscientes de ,ue una $arado8a ,ue acec!ara
as "ases de as matemticas $odr#a a%ar tarde o tem$rano su igica ca"e%a ) causar enormes
$ro"emas. Hunto a Hi"ert ) os otros gicos, Busse em$rendi a tarea de intentar remediar a
situacin ) restaurar a saud de as matemticas.
La incongruencia a$arecida era una consecuencia directa de tra"a8ar con os a+iomas matemticos,
,ue !asta a,ue momento se !a"#an asumido como e'identes $or s# mismos ) su(icientes $ara
de(inir e resto de as matemticas. Una manera de a"ordar e $ro"ema era crear un a+ioma
adiciona ,ue $ro!i"iera a cua,uier gru$o ser miem"ro de s# mismo. &so reducir#a a $arado8a de
Busse ) con'ertir#a en su$er(ua a cuestin de si !a) ,ue introducir en e catogo a,ueos otros
,ue no se incu)en a s# mismos.
Busse $aso a d5cada siguiente e+aminando os a+iomas matemticos, a esencia *tima de esta
materia. &ntonces, en coa"oracin con A(red Nort! :!ite!ead, $u"ic e $rimero de os tres
'o*menes de a o"ra 2rinciia Mat0ematica, un intento, en a$ariencia a(ortunado, de tratar de
aguna manera e $ro"ema surgido de su $ro$ia $arado8a. Durante as dos d5cadas siguientes, otros
utii%aron 6rinci$ia Mat!ematica como gu#a $ara erigir un edi(icio matemtico im$eca"e ), cuando
Hi"ert se retir en , esta"a "astante seguro de ,ue as matemticas esta"an "ien encaminadas !acia
su recu$eracin. A $arecer, su sueo de una gica co!erente o "astante sida como $ara
res$onder a cua,uier $regunta se !aa"a en '#as de tornarse en reaidad.
6ero ocurri ,ue en /01/ un matemtico desconocido de 'einticinco aos de edad !i%o $*"ico un
art#cuo ,ue destruir#a $ara siem$re as es$eran%as de Hi"ert. 2urt G3del i"a a (or%ar a os
matemticos a ace$tar ,ue as matemticas nunca egar#an a acan%ar una gica $er(ecta ) sus
tra"a8os e'a"an im$#cita a idea de ,ue $ro"emas como e de *timo teorema de ;ermat $udieran
ser im$osi"es de reso'er.
Iurt JKde naci e 2< de a"ri de 1=0L en Mora'#a, entonces $arte de .m$erio austroM!*ngaro )
!o) dentro de a Be$*"ica 0!eca. Desde mu) $e,ueo $adeci gra'es en(ermedades7 a ms seria
(ue un ata,ue de (ie"re reumtica a a edad de seis aos. &ste tem$rano roce con a muerte $ro'oc
en JKde una !i$ocondr#a o"sesi'a ,ue $erdur durante toda su 'ida.
9ras eer un i"ro de medicina a a edad de oc!o aos, ,ued con'encido de ,ue ten#a un cora%n
d5"i, si "ien os m5dicos ,ue o atendieron no encontraron ninguna e'idencia de eo.
Ms tarde, !acia e (ina de su 'ida, $ens e,ui'ocadamente ,ue esta"a siendo en'enenado, $or o
,ue renunci a comer ) casi muri de inanicin.
0uando era nio, JKde mostr taento $ara a ciencia ) as matemticas, ) su naturae%a in,uisiti'a
!i%o ,ue su (amiia e $usiera e a$odo de der Herr :arum 1e Seor 6or,u54.
Acudi a a Uni'ersidad de Niena sin sa"er si es$eciai%arse en matemticas o en (#sica, $ero una
serie de con(erencias, ins$iradoras ) a$asionadas, de catedrtico 6. ;urt/Onger so"re a teor#a de
n*meros con'enci a JKde $ara dedicar su 'ida a as matemticas. Las con(erencias eran aun mas
incre#"es si ca"e $or,ue ;urt/Onger $adec#a tetra$e8#a ) !a"a"a desde una sia de ruedas, sin
anotaciones, mientras su asistente a$unta"a en a $i%arra.
JKde se !a"#a esta"ecido en e de$artamento de matemticas a sus tem$ranos 'eintitantos, $ero a
'eces en(ia"a 8unto a sus coegas e $asio $ara asistir a encuentros de :iener Ireis 10#rcuo de
Niena4, un gru$o de (iso(os ,ue se reun#a $ara discutir as grandes cuestiones de gica de
momento.
;ue durante este $eriodo cuando JKde desarro as ideas ,ue arrasar#an os cimientos de as
matemticas.
&n 1=@1, JKde $u"ic su i"ro P"er (orma unentsc!eid"are SOt%e der 26rinci$ia Mat!ematica3
und 'er/andter S)steme 12So"re $ro$osiciones (ormamente indecidi"es de os Q6rinci$ia
Mat!ematicaR ) sistemas a(ines34, ,ue conten#a sus as# amados teoremas de indecidi"iidad.
0uando as noticias de os teoremas egaron a Am5rica, e gran matemtico Ho!n 'on Neumann
cance de inmediato una serie de con(erencias ,ue esta"a cee"rando en a,ue momento )
reem$a% o ,ue ,ueda"a de cico $or un de"ate so"re a re'oucionaria o"ra de JKde.
G3del 'aba demostrado $ue el intento de crear un sistema matemtico completo ! co'erente era
un imposible. Sus ideas se $ueden recoger en dos $ro$osiciones.
6rimer teorema de indecidi"iidad:
Si e con8unto de a+iomas de una teor#a es co!erente, e+isten teoremas ,ue no se $ueden ni $ro"ar
ni re(utar.
Segundo teorema de indecidi"iidad:
No e+iste ning*n $roceso constructi'o ca$a% de demostrar ,ue una teor#a a+iomtica es co!erente.
& $rimer enunciado de JKde dice "sicamente ,ue, con inde$endencia de a serie de a+iomas ,ue
se 'a)a a utii%ar, !a"r cuestiones ,ue as matemticas no $uedan reso'er7 a com$etitud no $odr
acan%arse 8ams. 6eor a*n, e segundo enunciado dice ,ue os matemticos 8amas $od#an estar
seguros de ,ue os a+iomas eegidos no os conducirn a ninguna contradiccin7 a co!erencia no
$odr demostrarse 8ams.
JKde !a"#a $ro"ado ,ue e $rograma de Hi"ert era una tarea im$osi"e.
D5cadas ms tarde, Gertrand Busse medit en 6ortraits (rom Memor) 12Betratos de memoria34
so"re su reaccin ante e descu"rimiento de JKde:
:o ansiaba la certidumbre del mismo modo *ue la gente ansia la fe religiosa. 4ens5 $ue la
certe6a era ms "cil de encontrar en matemticas $ue en cual$uier otra parte. 2ero
descubr *ue muc0as demostraciones matemticas *ue mis rofesores eseraban *ue yo
acetara estaban llenas de falacias y *ue, si la certidumbre se oda encontrar de verdad
en las matemticas, tendra *ue ser en un nuevo camo de las mismas con bases ms
slidas *ue las *ue se 0aban considerado seguras 0asta entonces. 2ero segn avan/aba el
traba!o recordaba sin cesar la fbula del elefante y la tortuga. Una ve/ construido un
elefante sobre el *ue udiera descansar el universo matemtico, el animal me areci
inseguro, as *ue roced a crear una tortuga ara evitar *ue el elefante cayera. 2ero la
tortuga no era ms segura *ue el elefante, y tras unos veinte a9os de arduo esfuer/o llegu%
a la conclusin de *ue no 0aba nada ms *ue yo udiera 0acer ara crear un
conocimiento matemtico indubitable.
A $esar de ,ue e segundo enunciado de JKde dec#a ,ue era im$osi"e demostrar ,ue os a+iomas
(ueran co!erentes, eso no im$ica"a ,ue (ueran inco!erentes. Muc!os matemticos segu#an
cre)endo de cora%n ,ue as matemticas $ermanecer#an siendo co!erentes, $ero no $od#an
demostraro con a ca"e%a.
Muc!os aos des$u5s, e gran terico de n*meros Andr5 :ei di8o: 2Dios e+iste $or,ue as
matemticas son co!erentes ) e dia"o e+iste $or,ue no $odemos demostraro.3
La demostracin de os teoremas de indecidi"iidad de JKde es tremendamente com$icada, ) de
!ec!o un enunciado ms riguroso de $rimer teorema ser#a:
2ara toda clase de frmulas 1 recursivamente ; <consistentes, e-iste una clase
corresondiente de signos r , tal *ue ni = .en r ni ,eg (= .en r ) ertenecen a >lg (1)
(donde = es la variable libre de r )
6or suerte, igua ,ue con a $arado8a de Busse ) e caso de "i"iotecario, e $rimer teorema de
JKde se $uede iustrar con otra anaog#a gica ,ue de"emos a &$im5nides ) ,ue se conoce como
a $arado8a cretense, o a $arado8a de mentiroso.
-pim5nides "ue un cretense $ue a"irm* #o! un mentiroso. .a paradoja surge cuando
intentamos determinar si esta proposicin es verdadera o "alsa. 4rimero veamos $u5 ocurre si
asumimos $ue la a"irmacin es verdadera.
#i es una proposicin cierta, implica $ue -pim5nides es un mentiroso, pero en principio
aceptamos $ue 'i6o una a"irmacin cierta ! por tanto no puede ser un mentiroso. -stamos ante
una incongruencia.
4or otra parte, veamos $u5 ocurre si asumimos $ue el enunciado es "also. #i la proposicin es
"alsa, entonces -pim5nides no es un mentiroso, pero 'emos aceptado $ue emiti un enunciado
"also ! por tanto s $ue es un mentiroso. -ncontramos otra inco'erencia. -n ambos casos, lo
tomemos por "also o por cierto, terminamos dando con una inco'erencia, ! por tanto el
enunciado no es ni verdadero ni "also.
JKde dio una reinter$retacin a a $arado8a de mentiroso ) e incor$or e concepto de
demostracin. & resutado (ue un enunciado como e ,ue sigue:
Este enunciado no tiene demostracin.
Si a $ro$osicin (uera (asa, entonces este enunciado se $odr#a demostrar, $ero eso ser#a contrario
a enunciado. As# ,ue a $ro$osicin de"e ser cierta $ara eudir a contradiccin.
Sin em"argo, aun,ue a $ro$osicin sea cierta no se $uede demostrar $or,ue este enunciado 1,ue
!emos considerado cierto4 as# o dice.
6uesto ,ue JKde consigui traducir a $ro$osicin de ms arri"a a una notacin matemtica, (ue
ca$a% de demostrar ,ue !a) enunciados matemticos ciertos ,ue 8amas $odrn $ro"arse como taes7
son os denominados enunciados indecidi"es.
&ste (ue e go$e morta $ara e $rograma de Hi"ert.
&n muc!os sentidos, e tra"a8o de JKde (ue $araeo a descu"rimientos simiares ,ue se esta"an
$roduciendo en a (#sica cuntica. Husto cuatro aos antes de ,ue JKde $u"icara su o"ra acerca de
a indecidi"iidad, e (#sico aemn 7erner Heisenberg de8 a descu"ierto el principio de
incertidumbre. As# como !a"#a un #mite "sico $ara os teoremas ,ue os matemticos $odr#an
$ro"ar, Heisen"erg mostr ,ue !a"#a un #mite (undamenta $ara as $ro$iedades ,ue os (#sicos
$odr#an medir.
#i, por ejemplo, $ueran determinar la posicin exacta de un objeto, podan 'allar la
velocidad de ese objeto con una precisin relativamente pobre. -sto se debe a $ue para
establecer la posicin de un objeto 'abra $ue iluminarlo con "otones de lu6 pero, para
poder precisar con toda exactitud su locali6acin, los "otones de lu6 tendran $ue contar con
una energa enorme. 8, a la ve6, si se bombardeara el objeto con "otones de alta energa, su
velocidad se vera a"ectada ! se tornara intrnsecamente incierta. 9e a' $ue, en el intento
de determinar la posicin de un objeto, los "sicos tengan $ue renunciar a cierta cantidad de
in"ormacin sobre la velocidad.
& $rinci$io de incertidum"re de Heisen"erg so se $erci"e a escaa atmica, cuando as medidas
de ata $recisin se 'ue'en cruciaes. De modo ,ue gran $arte de a (#sica $udo $roseguir
im$ert5rrita aun,ue os (#sicos cunticos se ocu$aran de cuestiones $ro(undas acerca de os #mites
de conocimiento. Lo mismo ocurri en e mundo de as matemticas. Mientras os gicos se
!undieron en un de"ate atamente esot5rico so"re a indecidi"iidad, e resto de a comunidad
matemtica continu im$asi"e. Aun,ue JKde !a"#a $ro"ado ,ue agunos enunciados no se $od#an
demostrar, e+ist#an otros muc!os ,ue s# $odr#an $ro"arse, ) e descu"rimiento de matemtico no
in'aid nada de o ,ue se !a"#a demostrado en e $asado. Adems, muc!os matemticos cre#an ,ue
as $ro$osiciones indecidi"es de JKde so se encontrar#an en as regiones ms oscuras )
recnditas de as matemticas ) $or tanto nunca tro$e%ar#an con eas. Des$u5s de todo, JKde soo
!a"#a a(irmado ,ue esos enunciados e+ist#an, $ero en reaidad nunca sea ninguno.
Paul Cohen, un matemtico de 'eintinue'e aos de a Uni'ersidad de Stan(ord, desarro un
m5todo $ara determinar ,u5 $ro"ema concreto es indecidi"e ) cu no o es. & m5todo so
(unciona en unos cuantos casos es$eciaes. Sin em"argo no (ue 5 a $rimera $ersona en descu"rir
cuestiones espec"icas $ue "ueran de verdad indecidibles. Una 'e% reai%ado e descu"rimiento,
tom un a'in !acia 6rinceton, demostracin en mano, $ara 'eri(icara con e $ro$io JKde.
JKde, ,ue en a,ue momento esta"a entrando en una (ase $aranoica de su 'ida, entrea"ri a
$uerta, agarr os $a$ees ) a cerr de go$e con un $orta%o. Dos d#as des$u5s, 0o!en reci"i una
in'itacin $ara ir a tomar e t5 a casa de JKde, un signo de ,ue e maestro !a"#a concedido a a
$rue"a e seo de su autoridad. Lo ms sensaciona de todo era ,ue agunos de a,ueos $ro"emas
indecidi"es eran de im$ortancia ca$ita $ara as matemticas. Besut irnico ,ue 0o!en
demostrara a indecidi"iidad de una de as cuestiones ,ue Da'id Hi"ert !a"#a incuido entre os
'eintitr5s $ro"emas ms im$ortantes de as matemticas, a !i$tesis de continuo.
La o"ra de JKde, re(or%ada $or os enunciados indecidi"es de 0o!en, an% un mensa8e
in,uietante a todos a,ueos matemticos, $ro(esionaes ) a(icionados, ,ue a*n $ersist#an en e
intento de demostrar e *timo teorema de ;ermat: S,ui% e *timo teorema de ;ermat era
indecidi"eT ?F si 6ierre de ;ermat !u"iera cometido un error a a(irmar ,ue !a"#a encontrado una
demostracinA &n ta caso ca"r#a a $osi"iidad de ,ue e teorema (uera indecidi"e. Demostrar e
*timo teorema de ;ermat $odr#a ser ago ms ,ue di(#ci, $odr#a ser im$osi"e. Si (uera indecidi"e,
os matemticos !a"r#an $asado sigos "uscando una $rue"a ,ue no e+iste.
0uriosamente, si e *timo teorema de ;ermat resutara ser indecidi"e, eso im$icar#a ,ue tendr#a
,ue ser cierto. La ra%n es a siguiente. & teorema dice ,ue no e+isten souciones con n*meros
enteros $ara a ecuacin
1+ Un V + Un4 W + Un
Si n X2 .
Si e utimo teorema (uera en 'erdad (aso, seria $osi"e demostraro ocai%ando una soucin 1un
contrae8em$o4. F en ta caso e *timo teorema ser#a decidi"e. Ser (aso resutar#a inco!erente con
ser indecidi"e. &n cam"io, si e *timo teorema (uera cierto, no tendr#a $or ,u5 e+istir un camino
tan ine,u#'oco $ara demostraro o, o ,ue es o mismo, $odr#a ser indecidi"e. &n concusin, ta
'e% e *timo teorema de ;ermat (uera cierto $ero ,ui% no !u"iera ning*n modo de demostrarD
o.
Referencia bibliogrfica:
;ragmento de:
Simn Sing!, 1==Y ;ermatZs Last 9!eorem.
9raduccin, Da'id Jaad# ) Hordi Juti5rre%,
&ditoria 6aneta, S. A., 1==<.
Garceona, &s$aa.