Historia y Cultura: Centenario Kurt Gdel

LOS LMITES DEL CONOCIMIENTO MATEMTICO

Tomemos un conjunto de axiomas de la aritmtica elemental, por ejemplo el de los axiomas de Peano.
Definamos adecuadamente las operaciones de suma y producto. A partir de ah, podemos llegar a probar
una curiosa propiedad de los nmeros naturales, ya conocida

Axiomas de Peano
A1. 0 es un nmero natural.
A2. Todo nmero natural tiene un siguiente.
A3. Dos nmeros naturales con igual siguiente son a su vez iguales.
A4. 0 no es siguiente de ningn nmero natural.
A5. Un conjunto X que contenga a 0 y que si contiene a n contiene a su siguiente, contiene a todos
los nmeros naturales.

por los griegos: la suma de los n primeros nmeros impares es n2. Llamemos T a este enunciado:
T: 1 + 3 + 5 + .. + (2n-1) = n2
Si deseamos probar T, es seguro que debemos apoyarnos para ello en A5, el llamado axioma de induccin,
que reza as
A5: Un conjunto X que contenga a 0 y que si contiene a n contiene a su siguiente, contiene a todos los
nmeros naturales.
No hay escapatoria posible, pues el teorema T est en una rama que parte del tronco A5: se necesita A5
para probar T. Por lo tanto, si del conjunto de axiomas de la aritmtica se elimina el A5, del conjunto de
frmulas vlidas en aritmtica habr que eliminar T. Pero T es una frmula que no carece en absoluto de
sentido; es ms, puede comprobarse para todo n, y siempre es cierta. Nunca falla. Es una frmula
verdadera, pero no demostrable, a menos que A5 se incorpore a los axiomas.
El conjunto de axiomas amputado de A5 se dice que es incompleto, pues no toda frmula legal es
susceptible de ser probada. Cuando toda frmula verdadera puede ser probada, el sistema de axiomas se
llama completo.
Veamos ahora lo que se entiende por axiomas independientes. Un ejemplo histrico es lo mejor en este
caso, sobre todo si el axioma es tan conocido como ste: Por un punto exterior a una recta pasa una, y
una sola, paralela a ella. Euclides y centenares de sus sucesores se esforzaron estrilmente en intentar
demostrarlo a partir del resto de los axiomas de la geometra. A todos les pareca que no era un axioma,
sino un teorema, deducible por tanto de los axiomas. Pero todos estaban equivocados, tal como
demostraron Gauss (1777-1855), Bolyai (1802-1860), Lobachevski (1792-1856) y Riemann (1826-1866).
Era un axioma, y no poda probarse a partir de los otros axiomas. Este hecho se describe matemticamente
diciendo que el axioma de las paralelas es independiente del resto.

Eucld-Bolas

Hyperb-Bolas

Esfer-Bolas

El procedimiento de prueba que usaron Gauss, Bolyai y Lobachevski es muy instructivo: supusieron que el
axioma no era cierto y postularon que por un punto exterior pasa ms de una paralela. Riemann supuso
tambin que no era cierto, pero l se inclin por la hiptesis de que no pasara ninguna paralela. Ambas
suposiciones eran en aquellos tiempos peores que un sacrilegio; sin embargo, y de modo extrao,
aceptndolas no se llegaba a ninguna contradiccin. Sencillamente, se obtenan dos geometras (la
hiperblica y la elptica) distintas de la eucldea, pero sin contradicciones. Todava ms: no tard en
demostrarse que si alguna de las dos nuevas geometras llegara a presentar una contradiccin, tambin
sera automticamente contradictoria la geometra de Euclides. Las geometras no eucldeas eran, por lo
tanto, consistentes. Consistencia significa, pues, que no hay contradicciones. Con ms precisin, un sistema
de axiomas es consistente cuando no es posible probar a la vez un teorema y su contrario.
Euclides

Lobachevsky - Bolyai

Riemann

Geometra Plana

Geometra Hiperblica

Geometra Elptica

Geometra plana, Geometra hiperblica y Geometra elptica

La consistencia de las geometras no eucldeas es relativa, pues

reposa sobre la de la geometra eucldea; lo que se prob es
que si la geometra no eucldea fuera inconsistente, tambin lo
sera la eucldea. Pero queda por probar realmente que la
eucldea es consistente. Bien es verdad que llevamos 2000
aos probando teoremas geomtricos sin que jams hayamos
podido probar, a la vez, un teorema y su contrario. Es
tranquilizador, aunque no definitivo; cualquier da puede
aparecer un genio matemtico desconocido y probar una
contradiccin de ese tipo.
El sueo de Fausto
de todo matemtico
es probar que su
Plano complejo con esferas de Riemann
ciencia est libre de

contradicciones, que resiste todos los asaltos. El sueo del matemtico es probar que su ciencia es
consistente. Y no slo eso; su sueo incluye el que sea completa, es decir, que todo teorema que haya sido
o pueda ser pensado sea susceptible de ser probado o refutado. Por desgracia, este ambicioso programa,
-el programa de Hilbert- es slo un sueo. Un sueo del que nos despert cruelmente en 1931 Kurt Gdel.
El checoamericano Kurt Gdel, probablemente el lgico ms
famoso del siglo XX, y quiz de la historia, nos ha enseado
muchas cosas y ha resuelto muchos problemas muy
complejos. Expongamos alguno de ellos. En 1900, David
Hilbert (1862-1943) propuso 23 problemas en el Congreso
Internacional de Matemticas de Pars; todos ellos parecan
entonces irresolubles y se supona que encontrar su solucin
representara avances considerables en las distintas ramas
de las matemticas. Desde entonces han sido estudiados a
fondo, y buen nmero de ellos han sido ya resueltos. El
problema que llevaba el nmero uno de la lista, llamado
"hiptesis especial del continuo", ha sido uno de los atacados
con xito por Gdel.
Sabamos que el conjunto de los nmeros naturales, N,
posee menos elementos que el conjunto de los nmeros
reales, R, Hilbert lanz la hiptesis de que no era posible
hallar ningn conjunto -infinito, por supuesto- con ms
elementos que N, pero con menos que R. Lo de la "hiptesis
del continuo" se debe a que el conjunto R acostumbra a
designarse genricamente como "el continuo". La hiptesis
de Hilbert no es, a primera vista, ni evidente ni inevidente:
simplemente es inatacable por cualquier parte.
Gdel, en 1938, demostr que si agregamos este enunciado David Hilbert
a la teora de conjuntos como un axioma ms, no ocurre
nada de particular. En concreto, prob que si los axiomas de la teora de conjuntos ms la hiptesis del
continuo fueran inconsistentes, la teora de conjuntos sola tambin lo sera. Por si fuera poco, prob que lo
mismo suceda con el hasta entonces misterioso axioma de eleccin. Ni la hiptesis del continuo ni el
axioma de eleccin puede demostrarse que sean falsos. En 1963, Paul Cohen dio el definitivo carpetazo a la
cuestin probando que si se supona que fuesen falsos, tampoco se llegaba a ninguna contradiccin. Por lo
tanto, ni puede probarse que sean vlidos ni que sean falsos. Se trata, de dos nuevos axiomas
independientes del resto. Uno puede hacer con ellos lo que quiera, razonar con ellos o sin ellos -o incluso
contra ellos-. Nunca incurrir en contradiccin, aunque, eso s, edificar matemticas distintas.

A. Einstein entregndole el I Premio "Einstein" a K. Gdel (al

fondo pintura de I. Newton)

Con todo y ser mucho, esto es slo una parte, la

menos conocida, de lo llevado a cabo por Gdel.
El resultado ms clebre de Gdel es el que
demuestra la imposibilidad del sueo de Fausto.
Gdel prob que si se toma un conjunto de
axiomas lo suficientemente amplio -que contenga
los axiomas de la aritmtica como mnimo- no es
posible probar, con las armas de deduccin del
sistema, que tal conjunto sea a la vez consistente
y completo. Es decir, que en el caso de ser
completo contendra contradicciones. Y en el caso
de no contener contradicciones -es decir, caso de
ser consistente- habra siempre teoremas
verdaderos que nunca podramos demostrar.

Curiosa situacin, que nos condena a aceptar que siempre habr teoremas cuya certeza podremos
comprobar para todos los casos particulares posibles, pero que nunca podremos demostrarlos.
Existe, claro est, una manera que podramos calificar de fraudulenta de probar uno de estos
teoremas-fantasmas: puesto que es un teorema verdadero puede tomrsele por axioma! Ampliamos el
sistema de axiomas con uno ms -precisamente el teorema-, y ya est. Ya hemos demostrado el teorema,
puesto que es un axioma y los axiomas son obviamente deducibles de s mismos. Pero el procedimiento

falla, como era de temer, pues volvemos a estar como al principio: habr otro teorema verdadero e
indecidible en el nuevo sistema axiomtico.
Gdel, pues, ha mostrado en cierto modo las
limitaciones de la matemtica. Esta no puede
probarlo todo; en particular, no puede probar su
propia consistencia.
Tras tan importantes descubrimientos que han
hecho de Gdel una figura casi mtica para los
matemticos, podra pensarse que su nombre
fuera ampliamente conocido. Pero la matemtica
no es una ciencia popular; como ancdota se
cuenta que, cierto profesor universitario
estadounidense afirm en el curso de una
conferencia, a la que asista el mismsimo Gdel,
que nada nuevo se haba visto en lgica desde
los tiempos de Aristteles
El pasado ao, 2005, fue el "Ao Mundial de la
Fsica" en honor a aquel 1905 "annus mirbilis"
de Albert Einstein. Este 2006 debera ser el "Ao
Mundial de las Matemticas" en honor al
Gdel, icono de las matemticas?
centenario de Gdel, pero, por un lado, la
mencionada falta de popularidad y, por otro, las
prisas del ao 2000 (unos por acabar el milenio y otros por empezarlo), nos dejan una vez ms a Gdel, ni
siquiera, a la altura de icono.