El Programa de Hilbert

Los dos teoremas de incompletitud de Gdel, publicados en 1931, forman

parte de una larga polmica relativa a los fundamentos de las
matemticas. Esta polmica haba comenzado a finales del siglo XIX a causa
de los trabajos de Georg Cantor sobre los conjuntos infinitos, y se haba
exacerbado a principios del siglo XX con el descubrimiento de la Paradoja de
Russell.
En esta polmica, la escuela intuicionista, encabezada por L.E.J. Brouwer,
sostena que el uso que haba hecho Cantor del infinito en acto era absurdo e
injustificado y que toda su teora no era ms que un juego de palabras sin
sentido. Los nicos objetos matemticos vlidos, sostena esta escuela, son
aquellos que se pueden construir algortmicamente en una cantidad finita de
pasos.
Pero el gran matemtico alemn David Hilbert no estaba para nada de acuerdo
con la idea de descartar la teora de Cantor y hacia 1920 intervino en la
polmica para proponer una alternativa al intuicionismo. Fue as como, en una
serie de artculos publicados a lo largo de los diez aos siguientes, le dio forma
al llamado Programa de Hilbert, el cual, en esencia, llevaba la exigencia de
finitud y de constructividad de los objetos matemticos a los razonamientos
matemticos.
Con ms precisin, Hilbert propona la creacin de una nueva ciencia a la que
l llamaba metamatemtica. Esta ciencia tendra como objetivo verificar la
validez de los razonamientos matemticos. Para evitar polmicas, y para
asegurarse de que no surgieran nuevas paradojas, esta ciencia sera
puramente finitista, es decir, la metamatemtica tratara a los enunciados y a
los razonamientos matemticos como si fueran simples secuencias de
smbolos sin significado a los que manipulara algortmicamente.
Con ms precisin, el Programa de Hilbert propona dar un conjunto de
axiomas para la aritmtica que cumpliera estas cuatro condiciones:
1. El sistema deba ser consistente; es decir, no deba existir un enunciado
P tal que P y su negacin fueran simultneamente demostrables a partir
de los axiomas.
 2. La validez de cualquier demostracin basada en esos axiomas deba
ser verificable algortmicamente en una cantidad finita de pasos.
3. Dado cualquier enunciado P, o bien l o bien su negacin deba ser
demostrable a partir de los axiomas.
4. La consistencia de los axiomas (es decir, la validez de la primera
condicin) deba ser verificable algortmicamente en una cantidad finita
de pasos.

(La aritmtica es la teora que habla de la suma y el producto de los nmeros

naturales. Hilbert consideraba que era sta la teora fundamental de la
Matemtica, y no la Teora de Conjuntos.)

Los teoremas de Gdel

En un congreso sobre los fundamentos de las matemticas celebrado en la

ciudad de Knigsberg en septiembre de 1930 Arend Heyting, en representacin
de la escuela intuicionista, dio por terminada la polmica al aceptar que el
Programa de Hilbert era el camino que deba seguir el pensamiento
matemtico. Pero lamentablemente para Hilbert, en ese mismo momento un
joven y an desconocido Kurt Gdel pidi la palabra para decir que l
acababa de demostrar dos teoremas que probaban que el Programa de
Hilbert era completamente irrealizable.
Concretamente, el primer teorema de incompletitud de Gdel, el ms
famoso de los dos, dice que si se cumplen las dos primeras condiciones
planteadas por Hilbert entonces la tercera nunca podr cumplirse. Es
decir, si el sistema de axiomas es consistente y slo se admiten
demostraciones que sean verificables algortmicamente, entonces siempre
habr un enunciado P tal que ni l si su negacin son demostrables. El
segundo teorema, al que no nos referiremos aqu, dice que si se cumplen las
dos primeras condiciones y una versin ms dbil de la tercera entonces es la
cuarta condicin la que no podr cumplirse.

La demostracin del primer teorema

Vamos a explicar las ideas principales de la demostracin del primer teorema

de incompletitud de Gdel. Imaginemos entonces que se ha dado un sistema
de axiomas para la aritmtica que es consistente y supongamos adems que
slo admitimos demostraciones verificables algortmicamente. Tenemos que
demostrar entonces que existe un enunciado, al que llamaremos G, tal
que ni l ni su negacin son demostrables a partir de esos axiomas
mediante las demostraciones admitidas.
El primer paso de la demostracin consiste en asignar a cada enunciado
aritmtico un nmero natural, al que llamaremos el nmero de Gdel de ese
enunciado. Por ejemplo, al enunciado 2 es par podra corresponderle el
nmero 19, mientras que al enunciado 9 es primo podra corresponderle el
nmero 44.
Debemos hacer aqu dos aclaraciones importantes. La primera es que la
asignacin de nmeros de Gdel alcanza a todos los enunciados, tanto a
los verdaderos como a los falsos. La segunda aclaracin es que; los
ejemplos dados ms arriba son meramente hipotticos y sirven solamente para
facilitar la comprensin de la idea. Para asignar realmente los nmeros de
Gdel a los enunciados estos deben estar previamente escritos en un lenguaje
formal especfico y la asignacin en s se hace mediante frmulas claramente
definidas. Adems, los nmeros de Gdel, en general, tienen una enorme
cantidad de cifras.

Segunda parte de la demostracin

Una vez que se han asignado todos los nmeros de Gdel queda
perfectamente establecido cul es el conjunto de estos nmeros que
corresponden a los enunciados que son demostrables a partir de los axiomas
dados. La segunda parte de la demostracin del primer teorema de
incompletitud consiste en probar que este conjunto puede definirse
usando solamente propiedades aritmticas. Es decir, el conjunto formado
por los nmeros de Gdel de los enunciados demostrables es definible
mediante propiedades puramente numricas.
Normalmente esa propiedad numrica es terriblemente compleja de expresar;
pero para que se entienda la idea vamos a suponer que los nmeros de Gdel
de los enunciados demostrables son exactamente los nmeros que se pueden
escribir como suma o resta de tres primos consecutivos. Por ejemplo, dado que
3 5 + 7 = 5, entonces el nmero 5 es el nmero de Gdel de un enunciado
demostrable; lo mismo sucede con el 13, que es -5 + 7 + 11. El 2, en cambio,
no puede escribirse como suma o resta de tres primos consecutivos, por lo que
2 no es el cdigo de un enunciado demostrable (siempre entendemos
demostrable a partir de los axiomas dados).
Es interesante observar que es en esta parte del razonamiento donde
interviene la suposicin de que las demostraciones aceptadas por el programa
de Hilbert son aquellas que son verificables algortmicamente. En efecto, si
esta condicin no se cumpliera entonces no hay modo de garantizar que el
conjunto de los nmeros de Gdel de los enunciados demostrables puede
caracterizarse aritmticamente.

El mtodo de autorreferencia

La tercera parte de la demostracin consiste en probar que, dada

cualquier propiedad aritmtica P, existe un nmero k tal que al enunciado
k cumple la propiedad P le corresponde ese mismo nmero k. Podemos
llamar a esta idea el mtodo de autorreferencia, ya que el enunciado en
esencia est diciendo Mi nmero de Gdel cumple la propiedad P.
Este mtodo nos dice entonces que existe un nmero n tal que al enunciado n
no se puede escribir como suma o resta de tres primos consecutivos le
corresponde como nmero de Gdel precisamente el nmero n. Supongamos,
para fijar ideas, que ese nmero n es el 43. Es decir, estamos suponiendo que
al enunciado, que llamaremos G, que dice 43 no se puede escribir como suma
o resta de tres primos consecutivos le corresponde el nmero de Gdel 43.
Notemos que G dice Mi nmero de Gdel no se puede escribir como suma o
resta de tres primos consecutivos, y como estamos suponiendo que sa es la
propiedad que caracteriza a los nmeros de Gdel de los enunciados
demostrables entonces G est diciendo: Mi nmero de Gdel no corresponde
a un enunciado demostrable. En definitiva, G dice: Yo no soy
demostrable.
Conviene destacar aqu que la referencia a los nmeros que se pueden escribir
como suma o resta de tres primos consecutivos slo sirve a modo de ejemplo
hipottico y con fines puramente didcticos. En realidad Gdel demuestra
que, sin importar cules sean los axiomas propuestos, si se cumplen las
dos primeras condiciones del Programa de Hilbert siempre es posible
hallar un enunciado aritmtico que puede parafrasearse como Yo no soy
demostrable.
La cuarta, y ltima parte, de la demostracin del primer teorema de Gdel
consiste en probar que ni G ni su negacin son demostrables a partir de
los axiomas dados. Para facilitar la explicacin de esta ltima parte vamos a
suponer que los axiomas que se han dado son todos enunciados verdaderos,
una suposicin que parece evidente, pero que la demostracin que hizo Gdel
en realidad no necesita (para Gdel es suficiente con que el sistema sea
consistente; los axiomas, en la versin original del teorema, no necesitan se
verdaderos).
Tenemos entonces que el enunciado G es un enunciado aritmtico que dice
esencialmente G no es demostrable a partir de los axiomas dados.
Observemos que si todos los axiomas son todos enunciados verdaderos
entonces los enunciados que pueden demostrarse a partir de ellos tambin son
verdaderos. Ahora bien, el enunciado G puede ser verdadero o falso. Si fuera
falso, entonces, leyendo lo que dice, deduciramos que G s es
demostrable. Tendramos as un enunciado falso y demostrable, pero esto,
por lo dicho ms arriba, es imposible.
Luego G es verdadero, pero como es verdadero entonces, tomando en cuenta
lo que dice de s mismo, deducimos que no es demostrable a partir de los
axiomas dados. Luego G es verdadero, pero no demostrable. Observemos
que la negacin de G, dado que es falsa, tampoco es demostrable. Es decir, ni
G ni su negacin son demostrables a partir de los axiomas dados. Esto
completa la demostracin del primer teorema de Gdel.