Teorema Godel

Introduccin.................................................................................................................................................................
3
Preparacin de la mente...............................................................................................................................................4
Paso 1.............................................................................................................................................................................4
Paso 2.............................................................................................................................................................................4
Paso 3.............................................................................................................................................................................4
Paso 4.............................................................................................................................................................................5
Paso 5.............................................................................................................................................................................5
Paso 6.............................................................................................................................................................................5
-Friederich Ludwig Gottlob Frege.......................................................................................................................................5
-Bertrand Russell..............................................................................................................................................................6
-AlfredNorth Whitehead...................................................................................................................................................6
Paso 7.............................................................................................................................................................................7
Presentacin..................................................................................................................................................................8
Toma 1...........................................................................................................................................................................8
Toma 2...........................................................................................................................................................................8
Toma 3.........................................................................................................................................................................10
Implicaciones..............................................................................................................................................................11
Matemticas.................................................................................................................................................................11
Ciencia.........................................................................................................................................................................11
Folosofa.......................................................................................................................................................................12
Lingstica....................................................................................................................................................................13
Informtica...................................................................................................................................................................14
Vida artifcial................................................................................................................................................................15
Mente y conciencia.......................................................................................................................................................15
El Budiszmo Zen..........................................................................................................................................................16
Demostracin..............................................................................................................................................................18
Biografa......................................................................................................................................................................20
Ligas y referencias.......................................................................................................................................................24
El teorema de Gdel Dr. Alfredo Alejandro Careaga
Hipercuadernos de Divulgacin Cientfca Direccin General de Divulgacin de la Ciencia
Introduccin.................................................................................................................................................................3
Preparacin de la mente...............................................................................................................................................4
Paso 1.............................................................................................................................................................................4
Paso 2.............................................................................................................................................................................4
Paso 3.............................................................................................................................................................................4
Paso 4.............................................................................................................................................................................5
Paso 5.............................................................................................................................................................................5
Paso 6.............................................................................................................................................................................5
-Friederich Ludwig Gottlob Frege.......................................................................................................................................5
-Bertrand Russell..............................................................................................................................................................6
-AlfredNorth Whitehead...................................................................................................................................................6
Paso 7.............................................................................................................................................................................7
Presentacin..................................................................................................................................................................8
Toma 1...........................................................................................................................................................................8
Toma 2...........................................................................................................................................................................8
Toma 3.........................................................................................................................................................................10
Implicaciones..............................................................................................................................................................11
Matemticas.................................................................................................................................................................11
Ciencia.........................................................................................................................................................................11
Folosofa.......................................................................................................................................................................12
Lingstica....................................................................................................................................................................13
Informtica...................................................................................................................................................................14
Vida artifcial................................................................................................................................................................15
Mente y conciencia.......................................................................................................................................................15
El Budiszmo Zen..........................................................................................................................................................16
Demostracin..............................................................................................................................................................18
Biografa......................................................................................................................................................................20
Enlaces y referencias...................................................................................................................................................24
3
ndice
ndice
Querido lector,
El teorema de Gdel es uno de los resultados
fundamentales de las matemticas del siglo XX y una de
las aportaciones cruciales a las matemticas de todos
los tiempos. Por su importancia, es equiparable a la
teora de la relatividad de Albert Einstein o al principio
de incertidumbre de Werner Heisenberg.
A pesar de su enorme relevancia, poca gente
fuera del mundo de la ciencia ha odo hablar de l. Es,
sin embargo, un teorema que no es difcil de entender,
que provoca enorme inters en quienes lo llegan a captar
y cuyas aplicaciones ilustran fascinantes paradojas
matemticas.
Tal vez la mayor aportacin de Kurt Gdel (1906-
1978) es que, junto con otros trabajos de pensadores
del siglo XX, sus teoremas establecen lmites para
las matemticas en particular y para el conocimiento
cientfco en general. En pocas palabras lo que Gdel
nos dice en su teorema es que nunca llegaremos a
conocer todos los secretos del Universo.
Esto es verdaderamente importante, pues antes
de este resultado, los cientficos y el pblico en general
considerbamos que no exista lmite alguno para la
ciencia. Creamos ingenuamente que era slo cuestin
de tiempo, pero que al final llegaramos a comprender
todos los secretos de la naturaleza. Los pensadores
posteriores a la Revolucin Industrial consideraban
que la naturaleza era como una inmensa mquina
preprogramada y con optimismo afirmaban que, tarde
o temprano, los cientficos llegaran a conocer todas
las reglas de la mquina. Hoy sabemos que existen
aspectos que son imposibles de conocer debido a
las limitaciones inherentes a cualquier sistema de
conocimientos, incluida la ciencia misma.
Muchas personas han afrmado que la ciencia
no tiene respuestas a todas las preguntas. Cualquiera
puede decir esto. Lo verdaderamente importante del
trabajo de Kurt Gdel es que l fue el primero en
demostrar rigurosamente esta aseveracin y construy
su demostracin usando el lenguaje preciso de la lgica
simblica. Gdel utiliz el rigor de las matemticas para
demostrar, sin lugar a dudas, que las matemticas
mismas son incompletas. Qu quiere decir esto?
Qu implicaciones tiene para el conocimiento humano?
Porqu es tan importante ste resultado?
Kurt Gdel
(1906-1978)
En este HiperCuaderno veremos los siguientes
temas que te permitirn comprender el teorema de
Gdel y sus implicaciones:

I.- Introduccin
II.- Ayudarte a preparar tu mente para entenderlo
III.- Presentarte de una manera sencilla el teorema
de Gdel
IV.- Hablar de sus implicaciones
V.- Darte una demostracin informal del teorema
VI.- Hablar un poco de la vida de Kurt Gdel
VII.- Incluir un conjunto de ligas a otras pginas
relevantes

Espero que este trabajo sea de tu inters. Mucho
te agradecer, querido lector, que me escribas dndome
tus comentarios y sugerencias que me permitirn aclarar
tus dudas y mejorar el texto de este HiperCuaderno.
Un amistoso saludo,
Alfredo Alejandro Careaga
Subdirector de Innovacin Tecnolgica
Direccin General de Divulgacin de la Ciencia
Universidad Nacional Autnoma de Mxico
acareaga@universum.unam.mx
4
ndice
ndice
Para comprender el teorema de Gdel tenemos que
preparar la mente: colocarla en una disposicin especial,
acostumbrarla poco a poco a clarifcar paradojas y
entender contradicciones aparentes.
Para empezar a calentar motores, consideremos
la famosa frase de Scrates:
Yo slo s que no s nada"
Scrates afrma que sabe una sola cosa y por
lo tanto se contradice al decir que no sabe nada. Ese
algo que l sabe es justamente que no sabe nada. Si
es verdad que Scrates no sabe nada entonces se
contradice al afrmar que yo slo s que, pues eso
que sabe, ya es algo.
Piensa, querido lector, en la aseveracin que
Scrates plantea. Es muy probable que l la haya dicho
con plena conciencia de la contradiccin que encierran
sus famosas palabras.
Scrates hace referencia a s mismo y ah es
donde aparece la contradiccin. El teorema de Gdel
tiene que ver con afrmaciones que hacen referencia a
s mismas.
Consideremos ahora la antigua paradoja llamada
paradoja de Epimnides o del mentiroso. Epimnides
era un cretense que supuestamente hizo la inmortal
aseveracin todos los cretenses mienten. Supongamos
que te encuentras con Epimnides, quien te dice:
Soy un mentiroso empedernido. Nunca digo la
verdad.
1
Qu podemos concluir? Analicemos esto con
cuidado. Empecemos a usar un poco de lenguaje
matemtico. Titulemos a la proposicin anterior con la
letra A. Podemos escribir:
A = [Nunca digo la verdad]
Si esto es cierto, entonces Epimnides siempre
miente. Por lo tanto todas las afrmaciones que l diga
son falsas. En particular la frase A, que l mismo dijo, es
necesariamente falsa y en este caso podemos concluir
que l siempre dice la verdad. Es decir que si A es
verdad, entonces A es mentira y viceversa.
Pinsalo un momento para que te convenzas de
que existe una contradiccin inherente en la frase debido
a una referencia a s mismo.
Este cuadro del pintor surrealista Ren Magritte
presenta el mismo tipo de contradiccin, pues debajo
de un objeto que claramente es una pipa est escrita
una frase en francs que dice Esto no es una pipa. El
cuadro se llama La Traicin de las Imgenes.
Cuando las palabras y las imgenes hacen
referencia a s mismas, aparece el potencial para lo que
Magritte llama la traicin y de esta forma surgen las
paradojas y las contradicciones.
Gdel tuvo la intuicin de que una proposicin
matemtica podra hacer referencia a otra proposicin
matemtica y posiblemente a s misma. Esto, como
veremos ms adelante, no es tan fcil como parece,
pues la referencia debe de hacerse usando lenguaje
matemtico.
3
2
5
ndice
ndice
Veamos una variante de la paradoja de
Epimnides. Imaginemos ahora que aparece
nuevamente ante nosotros y nos dice:
Esta aseveracin es falsa.
Epimnides est diciendo la verdad o est
mintiendo? Analicemos esto con cuidado usando un
poco de lenguaje matemtico. Llamemos a la proposicin
anterior B. Podemos escribir:
B = [Esta aseveracin no es verdad] = [B es falsa]
Entonces hay dos posibilidades: B es verdadera o
bien B es falsa. Veamos cada posibilidad en detalle:
Si B es verdadera, entonces, como B se refere
a s misma, resulta que lo que B dice es verdad. Y
justamente, lo que B dice es que B es falsa.
La otra posibilidad es que B sea falsa. En este
caso, lo que B afrma es mentira y lo que afrma es que
B es falsa. Entonces resulta que B es verdad.
Nuevamente encontramos que la contradiccin
aparece en una frase que hace referencia a s misma.
Este tipo de paradojas que violan la dicotoma
habitual que separa las aseveraciones en verdaderas
o falsas inspir a Gdel a usar el razonamiento lgico
para analizar al propio razonamiento lgico. Esta idea
de hacer introspeccin en las matemticas result muy
poderosa y fructfera.
Una forma de expresar el teorema de Gdel
se parece a la aseveracin B, pero Gdel sustituye la
palabra verdad por la palabra demostrable. La
aseveracin que veremos ms adelante es:
G = [Esta aseveracin no es demostrable] = [G es
indemostrable]
Lo que dice Gdel es que G puede ser verdad,
pero que no vamos a poder demostrar que es verdad.
Aqu aparece por primera vez el hecho de que la verdad
es ms poderosa que la demostrabilidad.
La siguiente paradoja que vamos a analizar es una
variante interesante de la de Epimnides.
Consideremos las siguientes dos frases:

4
La siguiente oracin es falsa.
La oracin anterior es verdadera.
Estas dos aseveraciones tomadas por separado
no encierran ninguna contradiccin, pero tomadas
juntas aparece la paradoja. Esta vez te dejamos que las
analices y llegues a la contradiccin.

Es interesante observar que la autoreferencia a la
que hemos atribuido la aparicin de las contradicciones
lgicas en los ejemplos anteriores est, en este caso,
escondida. El disfraz de la contradiccin es un crculo
vicioso, ya que la primera frase hace referencia a la
segunda y viceversa. Esto se parece a las Manos que
Dibujan, de M.C. Escher.
Finalmente veamos lo que se conoce como la
"paradoja de Russell". Antes de plantearla les platicar
su historia:
A fnales del siglo XIX el matemtico Friederich
Ludwig Gottlob Frege (1848-1925), uno de los fundadores
de la lgica simblica, propuso que las matemticas
podan reducirse a la lgica y dedic la mayor parte de
su vida a demostrarlo.Escribi dos grandes y difciles
tomos titulados Las Leyes Bsicas de la Aritmtica.
Public el primer tomo y cuando el segundo estaba ya en
la imprenta, en 1902, recibi una carta de un joven de 30
aos llamado Bertrand Russel, quien con gran modestia
le plante una paradoja que generaba una contradiccin
en el sistema de axiomas de Frege. Despus de muchas
cartas entre ambos y de tratar de reparar su sistema de

6

5
6
ndice
ndice
axiomas, Frege decidi fnalmente publicar su segundo
tomo, pero en la introduccin escribi que haca la
publicacin con gran tristeza, pues la obra de toda su
vida quedaba en entredicho por la paradoja de Russell.
Bertrand Russell (1872 1970) fue uno de los
pensadores que ms lograron hacer avanzar a la lgica
en el siglo XX. La paradoja que descubri puso en duda
al campo entero de las matemticas, pues pareca que la
metodologa de stos (que est basada en la lgica) tena
contradicciones esenciales y profundas. La paradoja de
Russell propici numerosos e importantes trabajos en
teora de conjuntos, lgica y flosofa para consolidar
nuevamente los fundamentos de las matemticas.
Veamos entonces la paradoja de Russell explicada
en trminos sencillos:
Vivimos en un pueblo apartado de la civilizacin.
En este pueblo es mal visto que los hombres lleven
barbas, por lo que todos estn rasurados. En el pueblo
hay un solo barbero que rasura a todos los hombres que
no se rasuran a s mismos. Entonces podemos separar
a los hombres en dos conjuntos: aquellos que acuden al
barbero para que los rasure (conjunto al que llamaremos
B) y aquellos que se rasuran a s mismos (conjunto
SM).
Sir Bertrand te pregunta, En cul de estos dos
conjuntos est el barbero?
Tal vez contestes el barbero est en el conjunto
SM pues l se rasura a s mismo. Es decir, que el
barbero rasura al barbero, verdad? Pero si esto es as,
entonces acude al barbero para que lo rasure, lo cual
implica que forma parte del conjunto B.
Tambin puedes responder que el barbero forma
parte del conjunto B de los hombres que le piden al
barbero que los rasure. Pero como l es el barbero, esto
quiere decir que se rasura a s mismo, lo cual lo coloca
en el conjunto SM.
Te queda claro que hay una contradiccin difcil
(imposible) de resolver?
Friederich Ludwig Gottlob Frege
(1848-1925)
Bertrand Russell
(1872-1970)
Alfred North Whitehead
(1861-1947)
Para terminar mencionar que fue el propio
Bertrand Russell, junto con otro gran matemtico, Alfred
North Whitehead (1861-1947), quien logr reparar el
dao causado a los cimientos de las matemticas por
su famosa paradoja. Entre ambos publicaron en 1913
una de las obras monumentales de esta ciencia, a la
que titularon Principia Mathematica y en la que lograron
volver a consolidar sus fundamentos.
7
ndice
ndice
Sin embargo, unos cuantos aos despus
lleg Kurt Gdel, quin volvi a poner en aprietos al
propio Bertrand Russell, a las matemticas y a todo el
conocimiento cientfco.
Para terminar y dejar descansar la mente te voy a
contar un chiste gdeliano:
Dos hombres muy machos discutan sobre la
ferocidad de sus respectivos perros. Mi Dragn, deca
el primero, es tan fero que se come a tu perrucho de un
solo bocado. Ests muy equivocado, responda el
segundo, mi Diablo es capaz de matar al tuyo en menos
de un minuto. Despus de mucho discutir decidieron
encerrarlos en un cuarto oscuro y dejar que ganara el
mejor. Al cerrar la puerta empez la pelea. Durante un
rato se escucharon ladridos, gruidos, alaridos y de
pronto silencio. Esperaron un poco ms, abrieron la
puerta, encendieron la luz y lo que encontraron fue la
punta de las dos colas!
Bueno, si me has seguido hasta aqu, tu mente ya
est preparada para entender El teorema de Gdel.

7
comentarios
8
ndice
ndice
El teorema de Gdel (Toma 1)
En 1931 Kurt Gdel public un artculo titulado:
Sobre proposiciones formalmente no decidibles en
Principia Mathematica y sistemas relacionados
La proposicin VI de este artculo es lo que hoy
se conoce como el primer teorema de Gdel. Esta
proposicin dice lo siguiente:
PROPOSICION VI. A toda clase c de frmulas
-consistente recursivas le corresponde una clase-signo
r tal que ni v Gen r ni Neg (v Gen r) pertenecen a Flg(c),
donde v es la variable libre de r.
Esta es una traduccin al espaol de lo que Gdel
public en alemn, aunque igual podra estar en alemn
o en jeroglfcos egipcios, pues ni t, querido lector, ni yo
la entendemos.
Vamos entonces a empezar de nuevo, pero
intentando explicar esta increble proposicin VI de
manera sencilla y comprensible.
El teorema de Gdel (Toma2)
Analicemos el ttulo del artculo:
Ya vimos, cuando hablamos de la paradoja
formulada por Bertrand Russell, que Principia
Mathematica fue el importantsimo libro escrito
por Russell y Whitehead entre 1910 y 1913 en el
que presentaron una formulacin, aparentemente
completa (es decir, que toda proposicin verdadera
poda demostrarse) y consistente (o sea que nunca
apareceran contradicciones y ni paradojas), del
razonamiento matemtico. Consideraron que su
metodologa permitira construir cualquier formulacin
matemtica presente y futura.
El efecto inmediato de esta publicacin fue el de
tranquilizar a todos los matemticos de la poca, pues
volva a darle solidez al edifcio lgico que la paradoja
de Russell haba conmocionado. Esta magna obra
exorcizaba aparentemente las difcultades; sin embargo,
no dejaba totalmente claro que nunca sera posible
obtener resultados contradictorios. Tampoco era del todo
evidente que en verdad todas las matemticas estaban
potencialmente contenidas en su metodologa.
La calma dur casi veinte aos. Luego lleg el
huracn Gdel.
En su artculo de 1931, Gdel se refere a
Principia Mathematica y sistemas relacionados. Esto
implica que lo que va a decir es vlido en la estructura
lgica que proponen Russell y Whitehead en su libro, as
como en cualquier otro sistema similar o relacionado, y
con esto abarca a todas las construcciones de la lgica
matemtica que se basan en un conjunto de axiomas.
Un axioma es una creencia bsica que se acepta
sin demostracin alguna y que sirve como cimiento
para construcciones intelectuales subsecuentes. Los
sistemas basados en axiomas incluyen a todas las
matemticas, a buena parte de la ciencia y a numerosos
territorios intelectuales todava inexplorados. Gdel es
precavido y no se atreve a afrmar que lo que va a decir
es vlido universalmente. Su teorema es vlido para
todo sistema basado en un nmero fnito de axiomas. Lo
que esto abarca es verdaderamente muchsimo territorio
intelectual.
Bien, sigamos adelante. Ya hemos entendido la
parte fnal del ttulo del artculo: Gdel nos va a decir algo
muy importante que es vlido para todos los sistemas
que se describen en el libro Principia Mathematica, as
como para cualquier otro sistema lgico basado en un
nmero fnito de axiomas. Veamos ahora la primera
parte del ttulo, eso de proposiciones formalmente no
decidibles:
Una proposicin es una aseveracin o una
afrmacin que puede ser verdadera o falsa. Por ejemplo,
la siguiente es una proposicin:
Dos ms dos son cinco o en lenguaje matemtico:
2 + 2 = 5
La falsedad de esta afrmacin puede demostrarse
con facilidad.
Una proposicin formalmente decidible es
aquella aseveracin cuya verdad o falsedad puede

1

2
9
ndice
ndice
decidirse o demostrarse usando la metodologa formal
de la lgica matemtica del sistema en el que estamos
trabajando. Es decir, que a partir de los axiomas bsicos
del sistema y usando las reglas de la lgica podemos
llegar a demostrar sin lugar a dudas si la proposicin
es verdadera o falsa. En cambio, una proposicin
formalmente no decidible es una aseveracin que
puede ser verdadera o falsa, pero que, ojo!, hagamos
lo que hagamos usando los axiomas y el formalismo del
sistema lgico matemtico, nunca vamos a poder decidir
o demostrar si es verdadera o falsa.
Entonces el ttulo original del artculo de Gdel:
podra haberlo escrito de la siguiente manera:
Les voy a hablar de aseveraciones cuya
verdad o falsedad no vamos a poder decidir usando
los razonamientos de sistemas lgicos basados en
axiomas, como son, por ejemplo, los del libro Principia
Mathematica.
Si ahora traducimos la famosa proposicin VI
(conocida como el teorema de Gdel) a un lenguaje fcil
de entender podramos escribir sencillamente:
Teorema de Gdel: Existen aseveraciones cuya
verdad/falsedad no vamos a poder demostrar.
Fjate qu interesante se est poniendo esto.
Gdel no se interesa en saber si una aseveracin es falsa
o verdadera. Lo que afrma es que en cualquier sistema
lgico basado en axiomas, existen aseveraciones cuya
verdad o falsedad no vamos a poder decidir. Antes
de Gdel esto ni siquiera se consideraba, pues lo
interesante de una aseveracin era poder demostrar
que era verdadera o bien que era falsa. A partir de Gdel
aparece una diferencia muy sutil entre verdad/falsedad y
demostrabilidad.
Dicho de otra manera, Gdel nos hace ver
que la verdad es una categora ms poderosa que la
demostrabilidad.
Aclaremos esto. Lo que Gdel demuestra es que
en todo sistema axiomtico formal existen aseveraciones
cuya verdad o falsedad es imposible de decidir desde
dentro del sistema. Si nos salimos del sistema, entonces
podremos saber si son verdaderas o falsas, pero dentro
del sistema no. Este resultado se conoce como el
teorema de indecidibilidad de Gdel. (Existir esa
palabreja de indecidibilidad en espaol? Bueno, si no
existe, la aadimos y ya. Lo que quiere decir es que no
podemos decidir al respecto).
El tipo de paradojas lgicas que vimos cuando
estbamos calentando la mente es justamente
proposiciones no decidibles.
La existencia de estas paradojas o proposiciones
no decidibles deja al sistema lgico de referencia
debilitado. Un matemtico quisiera que su sistema
basado en unos cuantos axiomas fuera sufcientemente
poderoso, completo y consistente para que fuera posible
decidir formalmente sobre la verdad o falsedad de
cualquier proposicin.
Cul es el problema?, podra decir otro incauto
matemtico, la solucin est simplemente en ampliar
el sistema lgico en el que estamos trabajando con
un axioma adicional que permita demostrar que la tal
aseveracin indecidible es en efecto verdadera o falsa.
Y el asunto qued resuelto, no?
No, porque el teorema de Gdel vuelve a operar
en este nuevo sistema lgico aumentaddo ya que van a
existir otras nuevas proposiciones cuya verdad/falsedad
no van a poder decidirse. Cada vez que aumentemos
nuestro sistema con un nuevo axioma reparando as el
problema de las proposiciones no decidibles, aparecern
otras nuevas proposiciones no decidibles. Para resolver
todo este embrollo tendramos que seguir aadiendo
axiomas y ms axiomas hasta llegar a un sistema lgico
con un nmero infnito de axiomas, lo cual es imposible.
Para aclarar las objeciones anteriores, Gdel
demostr que en un sistema formal sufcientemente
rico y poderoso para que la verdad o falsedad de
cualquier aseveracin siempre pueda decidirse, existirn
proposiciones contradictorias y paradjicas. Esta
vertiente se conoce como el teorema de incompletez
de Gdel. (Otra nueva palabreja para aadir a nuestro
idioma).
Recapitulando, el teorema de Gdel nos dice que
ningn sistema basado en un nmero fnito de axiomas
est completo, ya que siempre existirn proposiciones
cuya verdad o falsedad ser imposible de decidir.
Equivalentemente, si se requiere que el sistema
est completo, en el sentido de que siempre podamos
decidir sobre la verdad o falsedad de una proposicin,
entonces aparecern paradojas y el sistema no ser
consistente.
10
ndice
ndice
Es decir, que de todas todas nos cuerna el toro.
Para terminar volvamos a enunciar el teorema de
Gdel de varias maneras sencillas y comprensibles:
El teorema de Gdel (Toma 3)
Aplicado especfcamente al libro Principia
Mathematica el teorema de Gdel dira:
El sistema propuesto en Principia Mathematica
incluye proposiciones indecidibles.
Principia Mathematica fue entonces la primera
vctima del teorema de Gdel, pero ciertamente no fue
la ltima. Cuando Gdel dice sistemas relacionados
incluye a cualquier sistema axiomtico, en cuyo caso
su teorema puede formularse de manera ms general
estremeciendo as a las matemticas enteras:
Toda formulacin axiomtica y consistente en
matemticas incluye proposiciones indecidibles.
Pero su teorema es todava ms general, ya que
muchas ciencias y otras construcciones intelectuales de
la humanidad se basan en conjuntos de leyes o axiomas.
Entonces el teorema de Gdel en toda su generalidad se
podra plantear as:
Toda formulacin axiomtica y consistente incluye
proposiciones indecidibles.
Esta ltima formulacin nos dice simple y
sencillamente que cualquier construccin intelectual
que se base en un conjunto de axiomas y que sea
internamente consistente (es decir, que no admita
contradicciones internas), nunca quedar completa ya
que siempre tendr en su seno proposiciones que no
podr entender, explicar ni decidir si son verdaderas o
falsas.
Usando la segunda versin del teorema de
Gdel, podramos decir que si logramos construir un
sistema intelectual sufcientemente poderoso para
que sea completo (en el sentido de siempre poder
decidir, explicar y entender cualquier proposicin), lo
lograremos pagando un precio muy alto: que en dicho
sistema aparecern irremediablemente contradicciones
y paradojas, por lo que ser inconsistente. Es decir:
Si un sistema es consistente, entonces es
incompleto, y si el sistema es completo, entonces es
inconsistente.
Como puedes imaginar, lector, las implicaciones
del teorema de Gdel para las matemticas, la ciencia y
el conocimiento humano en general, son inmensas y sus
efectos han sido devastadores para quienes crean
que la ciencia, llegara a descifrar completamente a la
naturaleza. Hoy, gracias a Gdel, la ciencia se ha bajado
de su arrogante torre de marfl, los cientfcos nos hemos
vuelto un poco ms humildes y todos hemos tenido que
aceptar las limitaciones inherentes en el potencial del
conocimiento.
En los siguientes temas veremos algunas
implicaciones del teorema, una demostracin informal y
poco rigurosa, datos biogrfcos de Kurt Gdel y enlaces
para que puedas profundizar en el tema.

3
comentarios
11
ndice
ndice
En esta seccin vamos a analizar algunas consecuencias
del teorema de Gdel en diversos sistemas de
conocimiento.
Empezaremos por aquellos sistemas que estn
sustentados rigurosamente y cuyas hiptesis cumplen
con las requeridas por dicho teorema. Poco a poco
iremos considerando sistemas que relajan ms y ms
las hiptesis subyacentes, conscientes de que tal vez
ya no sea posible que el teorema se aplique con todo
rigor, pero permitiendo a cambio que nuestras mentes
conciban nuevas posibilidades y se planteen preguntas
interesantes.
Sabemos que el teorema de Gdel puede
demostrarse de una forma rigurosa y que se aplica
a cualquier sistema de razonamiento basado en un
conjunto fnito de axiomas o leyes bsicas. Estos
sistemas incluyen a todas las ramas de las matemticas,
a muchos planteamientos de la flosofa y la lingstica,
as como a las ciencias duras como la fsica o la
astronoma. Sin embargo, otras ramas del conocimiento
humano, por ejemplo las ciencias sociales como la
economa, la psicologa o la sociologa u otras todava
menos cientfcas, como la teologa o la historia, no
permiten que el resultado del teorema de Gdel se les
aplique con rigor y las implicaciones que se obtengan de
esta dudosa aplicacin pueden ser falsas.
En pocas palabras, lo que el teorema de Gdel
parece afrmar en trminos muy generales, es que el
conocimiento racional nunca podr penetrar hasta el fnal
y alcanzar la verdad ltima y defnitiva del universo. Esta
limitacin no solamente es vlida para los conocimientos
que la humanidad pueda llegar a alcanzar con toda
su ciencia y tecnologa presente o futura, sino que va
ms all del ser humano y habla de cualquier sistema
fnito de conocimientos, cualquier ser creado por un ser
biolgico, electrnico o de cualquier otro tipo, aunque no
lo podamos imaginar.
Esta limitacin fue la causa de infnita angustia
para matemticos, cientfcos y flsofos, pero,
paradjicamente, la comprensin y aceptacin del
teorema de Gdel es tambin una suerte de liberacin.
En las palabras de Rudy Rucker: Para muchos
estudiantes de lgica la comprensin profunda
del teorema es prcticamente una experiencia mstica.
Esto se debe en parte a la leyenda que el nombre de
Gdel lleva consigo, pero en el fondo se debe a que la
comprensin de la naturaleza laberntica del castillo que
te aprisiona, de alguna forma te otorga la libertad.
MATEMTICAS
Empecemos entonces considerando el efecto del
teorema de Gdel en las matemticas.
Este teorema termin con numerosos intentos a
lo largo de un siglo entero para establecer un conjunto
fnito de axiomas que cimentara y permitiera construir
a la totalidad de las matemticas, tanto las conocidas
como las que se descubriran en el futuro. Los intentos
ms importantes haban sido los de Cantor, Frege,
Hilbert, Russell y Whitehead. Los resultados de Gdel
constituyen un parteaguas para las matemticas,
mostrando que stas nunca quedarn completas y que
siempre quedarn problemas que no podrn resolverse
bajo ningn conjunto de reglas o procedimientos.
Gdel demostr que dentro de cualquier sistema
lgico rgido, como el que Russell y Whitehead
desarrollaron para la aritmtica, se pueden formular
proposiciones para las cuales es imposible decidir si
son verdaderas o falsas dentro de los axiomas del
sistema. Esto es, dentro del sistema existirn siempre
aseveraciones perfectamente bien defnidas que no
pueden ser aceptadas como ciertas ni rechazadas
como falsas. Por lo tanto uno nunca podr, usando los
mtodos tradicionales, estar seguro de que los axiomas
del sistema matemtico en cuestin no nos llevarn a
contradicciones. Esto destruye la esperanza que una
vez tuvieron los matemticos de lograr la certeza en
la solucin de cualquier problema planteado de forma
lgicamente correcta.

1
CIENCIA
Si nos referimos ahora a la ciencia y al mtodo
cientfco en general, el teorema de Gdel, sumado
al principio de incertidumbre de Heisenberg y a la
impredicibilidad esencial de los sistemas caticos,
establecen limitantes profundas para los alcances del
conocimiento cientfco. El resultado, en ltima instancia,
es la muerte irremediable del ideal cientfco tradicional,
que era el de establecer un conjunto de leyes o axiomas
bsicos a partir de los cuales pudieran deducirse y
comprenderse todos los fenmenos de la naturaleza.

1
12
ndice
ndice
La fsica es tal vez la ciencia que mejor ha
establecido sus leyes bsicas o axiomas sobre los que
construye su conocimiento. Por esto mismo, es de todas
las ciencias la que mejor comprende las implicaciones
del teorema de Gdel y de los dems resultados
mencionados en el prrafo anterior. Los fsicos han
entendido y aceptado que las limitaciones de su
disciplina no se deben tanto a la falta de presupuestos,
o a la necesidad de construir instrumentos cada vez
ms poderosos, ni tampoco a la velocidad del avance
en sus descubrimientos y ni siquiera a las restricciones
inherentes a la mente humana. Hoy ya saben que nunca
llegarn a resolver todos los problemas que plantea
su disciplina debido a que todo sistema racional de
conocimientos es esencialmente incompleto.
Una forma distinta de entender porqu la fsica,
como cualquier otro sistema simblico fnito que usemos
para describir o modelar al universo, es incompleta,
es aceptando que la fsica, o dicho sistema simblico
fnito, no existe aparte del universo, sino que es parte
integrante de l. Tambin nosotros mismos, los fsicos
y los pensadores formamos parte del universo. Puesto
que tanto el sistema de conocimientos como nosotros,
sus creadores, somos parte del universo, nuestra ciencia
y nuestra comprensin del universo representan un caso
de un sistema haciendo un modelo de s mismo. Es
decir, se trata de una pequea parte de a realidad
(nosotros y nuestros sistemas simblicos) intentando
hacer un modelo de la realidad completa (el universo).
Esto nunca puede tener xito debido a la paradoja que
resulta de la autoreferencia: el modelo es parte del
universo, por lo que, en efecto, el universo tendra que
ser mayor que s mismo (est claro?).
Tambin podemos entender la imposibilidad
esencial de que un modelo (cientfco o de cualquier tipo)
sea completo mediante un argumento iterativo:
* El modelo modela al universo y el universo incluye al
modelo, entonces
* El modelo debe modelarse a s mismo, entonces
* El modelo debe modelar al modelo modelndose a s
mismo
* y as ad infnutum.
FILOSOFA
La flosofa, o mejor dicho, las flosofas, son
disciplinas del conocimiento que tambin parten de un
sistema fnito de axiomas bsicos, por lo que tambin
deben de sujetarse a las limitaciones impuestas por
el teorema de Gdel. La implicacin es que cualquier
sistema flosfco, sin importar su grado de complejidad,
resulta incompleto. Es decir que todo sistema flosfco
contiene dentro de s mismo, ms aseveraciones
verdaderas que las que puede demostrar como tales de
acuerdo con sus propias reglas. Es decir, que muchas de
las verdades flosfcas nunca podrn decidirse dentro
del sistema flosfco que consideremos, cualquiera que
este sea. Y aun si el sistema flosfco en cuestin se
aumenta, incluyendo un nmero indefnido de axiomas
adicionales, siempre existirn verdades que no pueden
ser formalmente derivadas del conjunto aumentado. El
teorema de Gdel establece que la verifcabilidad es un
concepto ms dbil que la verdad, en tanto que existen
proposiciones verdaderas que no es posible verifcar,
sin importar la complejidad del sistema flosfco
subyacente.
Para muchos pensadores, el teorema de Gdel
constituye el ltimo clavo en el atad de la flosofa
clsica. Hubo una poca en que la flosofa abarcaba
todos los campos del conocimiento (Filos=amor,
sofos=conocimiento), pero con la llegada del mtodo
cientfco y el resultante auge de la ciencia, la flosofa
fue perdiendo poco a poco muchos de los objetos
de su estudio. La lgica, por ejemplo, que una vez
era un baluarte de la flosofa, hoy forma parte de las
matemticas. La lingstica, antes tambin del inters
de los flsofos, ahora queda comprendida en la teora
de la informacin. Las especulaciones flosfcas sobre
la mente humana, que dieron lugar al nacimiento de la
psicologa, hoy encuentran poderosos resultados en
los trabajos de investigadores en inteligencia artifcial e
informtica.
La flosofa, desplazada en muchos de sus
territorios por la ciencia, ha tenido que ir encontrando
nuevos objetos de estudio. De alguna forma el teorema
de Gdel cierra un crculo para la flosofa, pues hoy un
flsofo sabe de las limitantes que el teorema de Gdel

1
13
ndice
ndice
implica para su disciplina, por lo que est obligado a
redefnir su objeto de estudio y terminar amplindolo
para considerar nuevamente a todo el conocimiento,
pero desde una nueva perspectiva que considera ya las
limitaciones impuestas por Gdel.
Por ejemplo, el credo bsico del positivismo
lgico lo resume Rudolf Carnap en su manifesto cuando
dice: No damos respuestas a cuestiones flosfcas y
de hecho rechazamos todo problema flosfco, sea de
la metafsica, la tica o la epistemologa. (Passmore,
John.Logical Positivism. En The Encyclopedia of
Philosophy, vol. 5, pp 52-57).
El panteamiento de esta escuela flosfca es que
toda aseveracin flosfca abstracta como "todo es
uno no tiene sentido. No es que sea verdadera o falsa,
sino que simplemente carece de signifcado. Esta postura
se basa en el principio de verifcabilidad de acuerdo
al cual el signifcado de una aseveracin es idntico al
mtodo para verifcarlo. Puesto que los positivistas no
hallaron forma alguna de verifcar aseveraciones como
todo es uno o lo absoluto no existe en el tiempo,
estas aseveraciones se consideraron como carentes de
signifcado.
Curiosamente muchos flsofos modernos
encuentran campos frtiles para su disciplina en
aspectos del conocimiento que tambin le interesaron
a Gdel, a Einstein y a otros grandes pensadores
por el simple hecho de que no se basan en sistemas
axiomticos fnitos. Nos referimos a lo que se pudiera
llamar el misticismo. Wittgenstein, quien tuvo infuencia
sobre Gdel en sus aos de estudiante en Viena,
dice al respecto: Hay en efecto cosas que no
pueden ponerse en palabras. Ellas simplemente se
manifestan. Ellas constituyen lo mstico.
El propio Wittgenstein, amigo cercano de los
integrantes del Crculo de Viena, aunque no miembro
del mismo, ofrece en su maravilloso libro Tractatus
Logico-Philosophicus una solucin a los problemas
tradicionales de la flosofa: Aquello de lo que no
nos es posible hablar, debemos dejarlo pasar en
silencio. Wittgenstein a veces tom posturas flosfcas
que se asemejan al misticismo Zen. En el libro citado
elegantemente describe su posicin:
Sentimos que aun cuando todas las posibles
preguntas cientfcas tengan ya una respuesta,
el problema de la vida no habr sido tocado. Por
supuesto, no quedarn ya preguntas que hacer y
esto es justamente la respuesta. La solucin del
problema de la vida se halla en la desaparicin del
problema.

1
LINGSTICA
La lingstica es una de esas reas del
conocimiento humano cuyo objeto ha sido estudiado por
diversas disciplinas atendiendo a numerosos enfoques.
Por ejemplo: la flosofa clsica estudi la forma como
las personas hablan y escriben (gramtica, retrica,
sintaxis, etc.); la lingstica propiamente dicha estudia
los aspectos profundos de las estructuras gramaticales
y sintcticas del lenguaje; la psicologa ha investigado
los mecanismos mentales del lenguaje y la interaccin
entre lenguaje e inteligencia; la informtica considera
la comunicacin en general incluyendo los lenguajes
formales que hablan las computadoras entre s;
la robtica e inteligencia artifcial intentan construir
mquinas autnomas e inteligentes que se comuniquen
entre s y con los seres humanos.
Sin importar cul sea el enfoque particular hacia el
lenguaje, el punto de partida de todas estas disciplinas
es la existencia de un conjunto fnito de reglas o axiomas
sobre los cuales se establece la creacin y el uso de
los lenguajes. Es posible que algunas de estas reglas
bsicas no se expresen en forma explcita o que ni
siquiera se conozcan todava. Sin embargo, en todas
las disciplinas mencionadas se intenta establecer dicho
conjunto fnito de axiomas a partir de los cuales se
construyen los lenguajes. Debido a esto el estudio del
lenguaje y las comunicaciones tambin est limitado por
el teorema de Gdel.
14
ndice
ndice
En la primera seccin de este HiperCuaderno
vimos ya ejemplos de esto. Frases como Yo slo
se que no se nada o Esta aseveracin es falsa
nos llevan a contradicciones en el uso del lenguaje.
Estas contradicciones son ejemplos de las limitaciones
impuestas por el teorema de Gdel a cualquier sistema
lingstico.
En trminos de Gdel puede demostrarse que
en todo sistema lingstico consistente algo
debe de resultar indecidible. Una frase indecidible es
precisamente la aseveracin de esa verdad, es decir la
aseveracin que dice de s misma que no es verifcable.
Un lenguaje consistente no puede incluir una oracin
que se niega a s misma y permanecer consistente.
La excepcin ms signifcativa e importante es la
poesa. Al poeta se le permiten todas las inconsistencias
que desee, todas las contradicciones y todas las
paradojas. Pero la poesa no viola al teorema de Gdel
porque justamente no est basada en un conjunto fnito
de reglas o axiomas, sino todo lo contrario: la poesa
goza de toda la libertad en el uso del lenguaje y no
requiere de consistencia alguna. Si hacemos referencia
al ltimo prrafo de la seccin anterior (flosofa) queda
claro que la poesa se escapa de las garras del teorema
de Gdel por que pertenece al mbito del misticismo.
INFORMTICA
Una computadora, por poderosa que sea, tiene
un nmero fnito de componentes o transistores en su
unidad de procesamiento central. Cualquier programa
que corra en dicha computadora, por complejo que sea,
tiene un nmero fnito de instrucciones. Los componentes
del hardware y del software incluyen dentro de si los
axiomas bsicos del sistema computacional. Entonces,
todo sistema lgico de razonamiento y de conocimientos
basado en computadoras cumple con la hiptesis
del teorema de Gdel y por lo tanto est sujeto a sus
resultados.
Esto implica que es imposible programar una
computadora, por poderosa que sta sea, para resolver
todas las cuestiones matemticas que se le planteen
o para modelar todos los sistemas que se deseen. El
teorema de Gdel establece limitantes esenciales para
la computacin y en especial para inteligencia artifcial
en tanto que afrma que siempre existirn problemas
indecidibles dentro de dicho sistema computacional.
Es posible que estos problemas puedan decidirse con
una computadora todava ms poderosa, pero tambin
para sta existirn nuevas incgnitas indecidibles. Un
ejemplo es el de un programa que realiza un conjunto
de operaciones matemticas, pero que por complejo
y sofsticado que sea, nunca podr determinar que ya
termin de realizar sus clculos.
El teorema de Gdel ha sido utilizado para
argumentar tanto a favor como en contra de que
una computadora algn da llegar a ser tan
inteligente como un ser humano. Los que afrman
que la computadora nunca alcanzar la inteligencia
de un humano argumentan que la amplitud de los
conocimientos y capacidades de la mquina estn
limitados por un conjunto de axiomas fnito y por lo tanto
debe de obedecer al teorema de Gdel, mientras que el
humano no tiene estas limitaciones y puede descubrir
verdades inesperadas. Los oponentes de esta postura
argumentan que tambin la mente humana es fnita y
por lo tanto tambin est sujeta al teorema de Gdel, por
lo cual algn da, por lejano que ste sea, se construir
una computadora cuyos componentes sean del mismo
orden de magnitud a los de la mente humana o todava
mayores.

1
15
ndice
ndice
Nuevamente esta especulacin sobre si la
mente humana funciona con base en un conjunto fnito
de axiomas nos lleva, como llev al propio Gdel, a
considerar aspectos que slo podran califcarse como
pertenecientes al misticismo.
VIDA ARTIFICIAL
Es una rama de la informtica que pretende crear
sistemas vivos que residan completamente en una
computadora. Los elementos de estas especies virtuales
exhibiran todas las caractersticas de los seres vivos
incluyendo su evolucin. El teorema de Gdel es difcil
de interpretar en este contexto, pues la defnicin misma
de vida (como tambin la defnicin de inteligencia ) no
puede considerarse todava como bien establecida,
clara y consistente. Sin embargo, intentemos plantear
algunas cuestiones especulativas interesantes.

El propio Gdel afrm que el mecanicismo en
la biologa puede demostrarse matemticamente como
falso; sin embargo, nunca realiz tal demostracin. Es
posible que los avances de vida artifcial lleven a la
demostracin postulada por Gdel. Es probable que los
avances de las investigaciones de esta disciplina estn
todava lejos de resolver completamente la pregunta
qu es la vida?. Es posible tambin que esta pregunta
no tenga respuesta o que sea la pregunta equivocada.
Pero cualquier intento de responderla, desde los
proyectos, ms modestos que slo pretenden explicar
qu es la vida, hasta los ms ambiciosos que desean
sintetizarla, nos dan mucho material para especular y
nos acercan a una mejor comprensin del mundo en el
que vivimos y de nuestra posicin en l.
MENTE Y CONCIENCIA
La seccin anterior nos obliga a plantearnos
preguntas como qu es mi mente? y qu es mi
conciencia?
Muchos cientfcos piensan que el cerebro
humano, constituido por un nmero acotado de
neuronas e interacciones electro-qumicas, es la base
de un sistema formal increblemente sofsticado, pero
basado en un conjunto fnito de reglas y axiomas. Si
esto fuera cierto, entonces el teorema de Gdel
implicara que existen hechos que son verdaderos, pero
que nuestra mente nunca podr demostrar o creer o ni
siquiera concebir.
No hace demasiado tiempo aparecieron en
la ciencia occidental ideas especulativas de que la
conciencia es mayor que el universo y que el universo
entero est contenido dentro de la conciencia. Esta
es una idea antigua en oriente en donde se considera
factible, e incluso frecuente, el proceso de iluminacin
mediante el cual el individuo abre los prpados
espirituales, despierta de la inconciencia y toma
posesin de la conciencia universal. Segn el budismo,
el hinduismo, el yoga y otras flosofas orientales es
entonces a travs de la conciencia que llegaremos a la
comprensin del universo.
Para efectos de la aplicacin del teorema de Gdel
la pregunta entonces es si el universo es fnito o infnito.
Si aceptamos los infnitos, entonces el teorema de
Gdel no se aplica y nuevamente nos vemos obligados
a considerar opciones msticas para explicarnos lo
inexplicable. En cambio, en el otro caso el resultado de
Gdel se puede aplicar y encontramos la autoreferencia

1

1
16
ndice
ndice
observando que tanto la conciencia como el universo
son fnitos y, por lo tanto, la unin de ambos representa
un nuevo sistema o nuevo universo que debemos
entender (si es que esta palabra todava tiene sentido).
Este proceso contina indefnidamente de manera
iterativa estableciendo por medio de la autoreferencia
las limitaciones a mente y conciencia.
Las limitantes impuestas por el teorema de
Gdel en este ltimo caso implican que nunca seremos
capaces de conocernos a nosotros mismos. La mxima
concete a ti mismo es inalcanzable, pues nuestra
mente, como cualquier otro sistema cerrado y acotado,
slo puede conocerse a s misma apoyndose tan slo
en lo que ya conoce de s misma. Hay varias analogas
que permiten entender porqu nuestra mente nunca
llegar a entender a nuestra mente completamente.
La primera es la de la yema de un dedo, la parte ms
sensitiva de nuestra piel, que nunca puede tocarse a s
misma. Otra es que nuestros ojos nunca pueden verse
a s mismos y a lo ms que pueden aspirar es ver su
refexin en un espejo, lo que no es igual a verse a s
mismos. La ltima es que el cerebro, el rgano que
registra el dolor, es completamente insensible al mismo.
El teorema de Gdel sugiere que una vez que
nuestra habilidad para representar simblicamente
nuestras propias estructuras llega a cierto umbral
crtico, hemos llegado al fnal del camino. El resto del
territorio es inaccesible y nunca seremos capaces de
comprendernos totalmente.
Cmo puedes saber que no ests loco?
Plantearte esta pregunta es muy peligroso, pues a partir
del momento que empiezas seriamente a cuestionar
tu propia salud mental entras en el laberinto, caes en
el remolino de las profecas autorealizables y sigues
el camino del irs y no volvers. Todos sabemos
que un loco interpreta al mundo a travs de su propia y
peculiar lgica y que, para l, esta lgica es consistente.
Cmo puedes saber que tu lgica no es peculiar,
si la nica herramienta a tu disposicin para responder
a la pregunta es justamente esa lgica? De nuevo
nos hallamos ante la autoreferencia que habita en
las entraas del teorema de Gdel. La respuesta es
indecidible. Quines son los locos, los que estn
dentro del manicomio o los que estn afuera? Esto nos
recuerda al segundo teorema de Gdel que dice que
aquellas versiones formales de la aritmtica que afrman
su consistencia son inconsistentes.
La leccin principal que podemos sacar del
teorema de Gdel es que las posibilidades de la
autorefexin tienen ciertos lmites impuestos por la
consistencia y que esto parece ser cierto tanto para
sistemas lgico formales como para la mente humana.
Cuando aplicamos el teorema a la mente concluimos que
existen obstculos esenciales sobre nuestra capacidad
de autocomprensin. Tenemos que admitir que ciertas
verdades sobre nosotros mismos permanecern
siempre ocultas, si la imagen que tenemos de nosotros
mismos debe de permanecer consistente. En particular
preguntas como quin soy?, qu quiero? o porqu
estoy aqu? no encontrarn una respuesta completa
dentro de nuestra propia mente.
EL BUDISMO ZEN
En el prrafo anterior escribimos la frase ...las
posibilidades de la autorefexin tienen ciertos lmites
impuestos por la consistencia. La consistencia de
nuestros sistemas matemticos o mentales occidentaleses
algo sagrado, precioso, cuya prdida ni siquiera nos

1
17
ndice
ndice
atrevemos a concebir. Qu pasara si prescindiramos
de la consistencia?
La respuesta es sencilla: no pasara nada. Pre-
scindir de la consistencia ha sido el enfoque del budismo
Zen desde hace siglos. La respuesta que el Zen da a
preguntas como qu es la conciencia? y quin soy
yo? es, como todo en el Zen, a la vez muy sencillo y
extremadamente complejo: La verdad, dice el Zen, la
encontraremos yendo a sacar agua del pozo y cortando
la lea para el hogar, es decir, en la vida cotidiana y en
el aqu y el ahora. El Zen es lo ms opuesto que hay al
teorema de Gdel. Se sirve de contradicciones, para-
dojas y planteamientos carentes de consistencia lgica
para apagar la mente y viajar por el camino mstico
directo hacia la iluminacin o la conciencia del universo.
Un planteamiento de este estilo se escapa del laberinto
creado por el teorema de Gdel de una manera poco
convencional: en vez de seguir el hilo de Ariadna y recor-
rer el laberinto en sentido inverso hasta llegar a la puerta
de salida, salta imposiblemente hacia arriba desafando
a la lgica y ya est fuera.

comentarios
18
ndice
ndice
Hoy en da se conocen numerosas demostraciones
del teorema de Gdel. En esta seccin presentaremos
una demostracin no muy rigurosa pero muy fcil de
entender. Si te interesas lector, en una demostracin
realizada con todo el rigor matemtico te sugerimos la
que el propio Gdel public, misma que encontrars en
la seccin de enlaces a otras pginas.
La demostracin del teorema de Gdel que vamos
a presentar tiene sabor a informtica y est inspirada en
la que hallamos en el excelente libro de Rudy Rucker:
Infnity and The Mind.
Resulta que la empresa transnacional de alta
tecnologa La Torre de Marfl, Inc. ha diseado y
construido una nueva computadora tan poderosa que la
ha bautizado como la Mquina de la Verdad Universal
(MVU) ya que es capaz de contestar correctamente
cualquier pregunta que se le haga.
Esta mquina utiliza un grandsimo nmero de
transistores que supera en varios rdenes de magnitud
al de cualquier supercomputadora anteriormente
construida. La mquina realiza una inmensidad de
operaciones lgico-matemticas por segundo, tiene
una enorme memoria RAM y una capacidad de
almacenamiento en disco verdaderamente fabulosa.
En cuanto a su software, esta computadora maneja los
ltimos avances de la inteligencia artifcial y sus bases
de datos y sistemas expertos contienen la totalidad del
conocimiento de la humanidad. La cantidad total de
lneas de cdigo de estos programas es inmensa. Nunca
antes se haban escrito programas tan complejos. Es
verdaderamente la mquina de la verdad universal.
El da de su presentacin, con muchos bombos y
platillos, la orgullosa empresa La Torre de Marfl, Inc.,
pone la mquina a disposicin del pblico y pide que se
le hagan preguntas, cualesquiera preguntas, mismas que
la MVU contestar infaliblemente y de forma inmediata.
Al evento asisti un joven llamado Kurt Gdel que
primero escribi la siguiente frase:
G = La MVU no dir que esta frase (o sea G) es verdad
Y despus le hizo la siguiente pregunta a la
mquina:
La frase G, es verdadera o es falsa?
La mquina empez a vibrar, arroj un poco de
humo, un par de chispas y se congel permanentemente
sin haber dado respuesta a la pregunta de Gdel. Con
esto termin el evento, La Torre de Marfl, Inc. quebr
y Gdel fue aclamado como uno de los cientfcos ms
brillantes del siglo XX.
Qu sucedi en el interior de la mquina?
Veamos:
En primer lugar es importante destacar que la
computadora era fnita en todas sus caractersticas: el
nmero de transistores, la cantidad de lneas de cdigo
y todos sus dems parmetros, si bien eran mucho muy
grandes, no eran infnitos. Esto es equivalente a decir
que estamos tratando con un sistema basado en un
nmero fnito de axiomas.
El razonamiento de la mquina fue el siguiente:
Voy a suponer que G es verdad, y si ese fuera
el caso, entonces podra responder En efecto, G
es verdad. Pero al examinar a la frase G aparece
inmediatamente una contradiccin, pues la frase dice
justamente que yo, la MVU, nunca dir que G es
verdad. O sea, que si concluyo que G es verdad y lo
digo pblicamente, entonces por el hecho mismo de
decirlo hago que G sea falsa y como consecuencia mi
aseveracin sera una mentira y yo no puedo mentir.
Con lo anterior queda establecido que yo, la MVU,
nunca dir que G es verdad. Como consecuencia, por
el simple hecho de guardar silencio hago que G sea
verdad. Como soy la MVU y nunca puedo mentir, mejor
no contesto y me congelo!
Al congelarse y no responder, la Mquina de
la Verdad Universal hace que la frase G sea cierta.
Entonces Gdel dice: Yo conozco una verdad que
la MUV no puede afrmar. Yo s que la frase G es
verdadera, pero la mquina es incapaz de decidir si G
es verdadera o es falsa. Por lo tanto la mquina no es
verdaderamente universal.
Adems no importa si le aumentan sus transistores
y sus lneas de cdigo un milln de millones de veces,
pues la mquina nunca podr decidir sobre la verdad o
falsedad de la frase G.
La demostracin que acabamos de presentar no
tiene el rigor que las matemticas requieren. Sin embargo
19
ndice
ndice
Gdel fue capaz de encontrar para cualquier sistema
axiomtico fnito una ecuacin polinmica compleja
cuya solucin existe si y slo si G es verdad. Es decir,
que G no es una frase vaga y mal defnida que se basa
en juegos de palabras. Al contrario, G es un problema
matemtico especfco cuya solucin conocemos, pero
que el sistema axiomtico en cuestin es incapaz de
decidir si es cierta o falsa. La consecuencia demoledora
del teorema de Gdel es que dicho sistema axiomtico
fnito, cualquiera que este sea, no puede representar una
teora completa y defnitiva de las matemticas.

comentarios
20
ndice
ndice
Kurt Gdel naci el 28 de abril de 1906 en la ciudad
de Brnn, Moravia, que entonces formaba parte de la
monarqua Austro Hngara. Esta ciudad hoy se conoce
como Brno y es parte de la Repblica Checa.
Gdel muri el 14 de enero de 1978 en Princeton,
Nueva Jersey Estados Unidos a los casi 72 aos de
edad.
La familia Gdel formaba parte de una minora
alemana en Brnn (Brno). El padre de Kurt se haba
abierto camino por su propio esfuerzo y haba llegado
a ser director de una de las numerosas pequeas
empresas textiles de la ciudad. Desde pequeo Kurt
Gdel fue delicado de salud y de carcter depresivo.
Su infancia qued marcada por una febre reumtica
que tuvo a los seis aos de edad y que le dej para el
resto de su vida una actitud temerosa en relacin con
su salud. De nio se gan el apodo de Der Herr Warum
o el Seor Porqu, debido a su insaciable curiosidad.
Fue a la escuela primaria y secundaria en Brno hasta
cumplir 17 aos de edad. Mostr una gran capacidad
para el razonamiento abstracto, destacando en estudios
de latn, matemticas e historia. Al terminar el Gimnasio
(equivalente a la preparatoria en Mxico) haba llegado a
dominar las matemticas del nivel universitario.
Para realizar estudios superiores, en 1923 el joven
Kurt fue a la Universidad de Viena. Originalmente su
intencin era la de estudiar fsica terica, pero empez
a asistir tambin a cursos de flosofa y matemticas y
poco a poco cambi su enfoque hacia estas disciplinas.
Ah tuvo por profesores a eminentes matemticos:
Furtwngler, Hahn, Wirtinger, Menger, Helly y otros.
La ciudad de Viena, en esos tiempos, era un lugar
sumamente interesante. En ella se estaban iniciando
grandes movimientos culturales, como el psicoanlisis, la
msica dodecafnica, la arquitectura moderna, la pintura
no representativa y otros ms. Entre los pensadores que
vivan en Viena destacan Sigmund Freud, Arnold
Schnberg, Adolf Loos y Oscar Kokoshka. Estos
mismos aos fueron tambin de enorme desarrollo
flosfco, lo que result de enorme importancia para
Gdel. En 1921 Ludwig Wittgenstein haba publicado
su Tractatus Logico-Philosophicus y el positivismo
lgico estaba en pleno desarrollo en el Crculo de
Viena.
En estos aos universitarios el principal maestro
de Gdel, Hans Hahn, lo invit a asistir a las reuniones
del famoso Crculo de Viena, agrupacin formada por
flsofos, fsicos y matemticos muy relevantes, entre
otros: Rudolf Carnap (1891-1970), el propio Hans Hahn
(1879-1934) Moritz Schlick (1882-1936), Friedrich
Waismann (1896-1959) Otto Neurath (1882-1945)
y otros. A este grupo de personas las infuy mucho
Ludwig Wittgenstein (1889-1951) y su precursor
Ernest Mach (1838-1910). Las reuniones del Crculo
de Viena se llevaban a cabo en un saln de seminarios
cercano al departamento de matemticas y Gdel asista
regularmente a estas reuniones.
En la universidad Kurt estudi teora de
nmeros, particip en un seminario de estudio del libro
Introduccin a la Filosofa Matemtica de Bertrand
Russell, se enfoc hacia la lgica matemtica y empez
a publicar artculos sobre el tema. Asisti en Bologna
a una conferencia impartida por David Hilbert quien
explcitamente estableci el problema de la consistencia
y completez de los sistemas matemticos.
Como estudiante en la Universidad de Viena
conoci a su futura esposa, Adela, y en 1929 se hizo
ciudadano austriaco. En este mismo ao muri su padre
y l present su primer artculo importante sobrelgica
que ya dejaba entrever sus trabajos fundamentales.
En 1930 recibi el grado de Doctor en Filosofa y
public una versin combinatoria de su resultado sobre
proposiciones no decidibles que fue publicado por la
Academia de Ciencias de Viena. Tambin en ese mismo
ao se integr al profesorado de la Universidad de Viena,
en el que permaneci ocho aos ms. El primer curso
que imparti fue el de fundamentos de la aritmtica.
Kurt, en medio de sus padres y su hermano mayor, cerca de 1910
21
ndice
ndice
En 1931 public su famoso teorema bajo el ttulo
ber formal unentscheidbare Stze der Principia
Mathematica und verwandter systeme. Ya sabemos
por las pginas previas, que Gdel demostr resultados
fundamentales sobre cualquier sistema basado en
un nmero fnito de axiomas. En particular que en
estos sistemas existen proposiciones que no pueden
afrmarse o negarse y en particular, que la consistencia
de los axiomas no puede ser demostrada. Esto termin
con los intentos de Cantor, Frege, Russell, Hilbert y otros
eminentes matemticos para establecer un conjunto de
axiomas que permitieran construir la totalidad de las
matemticas basada en ellos.
En 1933 Adolf Hitler lleg al poder. Al principio
este hecho aparentemente no tuvo ningn impacto en
la vida de Gdel, quien tena poco inters en la poltica.
Sin embargo uno de los miembros del Circulo de Viena,
el profesor Moritz Schlick fue asesinado por su antiguo
alumno, ahora nazi, el Dr. Hans Nelboeeck. Este brutal
asesinato de un acadmico en el campus universitario
por razones polticas y raciales marca el principio del fn
del Crculo de Viena y presagia los dramticos eventos
que vendran poco despus.
Al respecto de este evento, Rudolf Gdel, mdico
y hermano de Kurt escribi:
Este triste suceso fue seguramente la causa de
la severa crisis nerviosa que mi hermano sufri durante
un tiempo. Poco despus de su recuperacin recibi su
primera invitacin como Profesor Invitado en Estados
Unidos.
Gdel acept esta invitacin e hizo su primer
viaje a Estados Unidos, donde imparti en 1934 un
conjunto de cursos en la Universidad de Princeton
sobre sustrabajos recientes. Tambin imparti una
conferencia magistral en la reunin anual de la
American Mathematical Society. En Princeton conoci
a Albert Einstein con quien mantuvo una larga y fructfera
amistad.
Durante este ao Gdel desarroll sus ideas
sobre computabilidad y funciones recursivas y el
concepto de verdad. En 1935 regres nuevamente a
Princeton por un breve perodo. El intenso trabajo, los
viajes y la situacin de la poltica europea lo afectaron y
nuevamente fue vctima de una severa depresin. A su
regreso a Viena continu con labores de enseanza e
investigacin y tambin contrajo matrimonio con Adele
Porkert.
En 1937 demostr la consistencia del axioma de
eleccin y de la hiptesis del continuo de Georg Cantor
con el conjunto aceptado de axiomas de la teora de
conjuntos.
En los aos siguientes la situacin en Europa
empeor considerablemente. En 1938 Austria fue
anexada a Alemania y Gdel recibi la notifcacin de
incorporarse al ejrcito. Kurt entonces tom la decisin
de emigrar. Sin embargo, la Segunda Guerra Mundial
difcult su salida y para hacerlo tuvo que atravesar la
Unin Sovitica, llegar a Japn y de ah cruzar el Ocano
Pacfco a Estados Unidos, donde lleg en 1940.
Rudolf Gdel
Gdel con su esposa Adele
22
ndice
ndice
En Estados Unidos, Gdel imparti ctedras en
el Instituto de Estudios Avanzados de Princeton,
donde tambin haban llegado eminentes cientfcos
europeos como Einstein, Weyl y Von Neumann, y en
las universidades de Princeton, Brown y Yale. Durante
la dcada de los cuarenta mantuvo contacto frecuente
con Einstein y colabor con l en diversos aspectos de
la Teora de la Relatividad y el concepto de tiempo.
Einstein y Gdel se hicieron amigos y con frecuencia se
les vea caminando sobre el csped frente a uno de los
edifcios del Instituto discutiendo animadamente sobre la
Teora de la Relatividad. El propio Gdel public varios
artculos sobre Relatividad en el que describe una clase
especial de universo en el que es permisible viajar en
el tiempo. En 1946 se hizo miembro permanente del
Instituto de Estudios Avanzados de Princeton en
el que permaneci hasta su muerte. En 1948 l y su
esposa adoptaron la ciudadana norteamericana. En
ese ao Kurt hall nuevas soluciones a las ecuaciones
de campo de Einstein e imparti conferencias sobre la
Relatividad y el concepto de tiempo.
Entre 1940 y 1955 Gdel trabaj intensamente,
desplegando una gran actividad de investigacin en
lgica, flosofa de las matemticas y en la Teora
General de la Relatividad, por la que haba llegado
a interesarse profundamente debido a las frecuentes
conversaciones con Einstein.
En 1951 volvi a tener serias depresiones que
lo llevaron al hospital. En este ao tambin empez a
recoger frutos de sus trabajos. En ste y los siguientes
aos recibi diversos premios y grados honorfcos
de Yale, Brown, Harvard, la Academia de Ciencias de
Estados Unidos, la American Philosophical Society, la
London Mathematical Society, y la Royal Society of
London. En cambio, rechaz un ttulo honorario que le
ofreci la Universidad de Viena debido a la amargura que
le caus la complicidad austriaca con el Tercer Reich.
A partir de 1955 sigui cosechando premios y
distinciones, pero su creatividad fue disminuyendo
debido fundamentalmente a frecuentes depresiones. En
1958 public artculos sobre la hiptesis del continuo y
aport nuevas interpretaciones de la teora de nmeros
clsica. En su ltima publicacin argument en favor
de un mtodo para demostrar la consistencia de las
matemticas bajo la hiptesis de que los objetos
mentales tuvieran una existencia objetiva.
En los aos subsecuentes, su salud sigui siendo
precaria y Gdel empez a sospechar que alguien
quera envenenarlo. Siempre haba sido una persona
introvertida a quien le disgustaba la publicidad, por
lo que en los siguientes aos hizo tan solo dos o tres
apariciones pblicas.
Su hermano Rudolf, mdico, escribi:
Mi hermano tena opiniones muy particulares y
fjas de cualquier tema y era muy difcil convencerlo
de lo contrario. Desgraciadamente durante toda su
vida consider que tena la razn en todo, no solo
en matemticas, sino tambin en medicina. Fue un
paciente muy difcil para sus mdicos. Despus de
sufrir hemorragias severas de una lcera duodenal
mantuvo una dieta sumamente estricta (demasiado
estricta) que le caus una lenta prdida de peso.
Durante los setenta, Gdel pas ms y ms
tiempo cuidando de su salud y cosechando honores.

23
ndice
ndice
Fue aceptado como miembro de la Academia Britnica
y del Instituto de Francia, recibi un Doctorado Honoris
Causa de la Rockefeller University y la Medalla Nacional
a la Ciencia de Estados Unidos.
Hacia el fnal de su vida, Gdel se convenci
de que lo que ya sospechaba era cierto y que alguien
intentaba envenenarlo, por lo que dej de comer para
evitarlo. Kurt Gdel muri de inanicin en un hospital, a
la 1 p.m. el sbado 14 de enero de 1978.
comentarios
24
ndice
ndice
Las Obras completas de Kurt Gdel las public Alianza Editorial en
1981. Su nmero de referencia es el ISBN 84-206-2286-9. La introduccin,
traduccin y comentarios son de Jess Mostern. Tiene una excelente
bibliografa.
http://www.alianzaeditorial.es/busqueda_catalogo.htm
En la siguiente liga encontrars el artculo original de Kurt Gdel: On
Formally Undecidable Propositions. Tambin es posible hallarlo impreso
en ingls en la Editorial Dover. Te recomiendo que visite este enlace y
recorras el artculo completo para tener un sabor del lenguaje matemtico
que Gdel invent para poder demostrar su teorema.
http://www.ddc.net/ygg/etext/godel/
La biografa de Kurt Gdel, junto con la de muchos otros matemticos,
se encuentra en esta excelente pgina relativa a la historia de las
matemticas:
http://turnbull.dcs.st-and.ac.uk/history/
1
2
3
25
ndice
ndice
Otro enlace donde se halla un episodio misterioso de la vida de Gdel
es el siguiente:
http://www.earlham.edu/~peters/writing/godel.htm
Un tercer enlace nos lleva a otra biografa:
http://www.unca.edu/math/club/godel.html
The Kurt Gdel Society. La Sociedad Kurt Gdel es una organizacin
internacional que promueve la investigacin en lgica, flosofa e historia
de las matemticas, sobre todo en relacin con la biografa de Kurt Gdel.
Tambin se interesa en otras disciplinas a las que Gdel contribuy,
especialmente matemticas, fsica, teologa y flosofa.
http://kgs.logic.at
Despus de que Gdel demostr su famoso teorema han aparecido
numerosas demostraciones diferentes del mismo resultado. En esta liga
encontrars un artculo de Gregory Chaitin que presenta una demostracin
con base en argumentos de la teora de la informacin. La forma en que se
puede enunciar el teorema de Gdel con este lenguaje es la siguiente:
Si un teorema contiene ms informacin que un conjunto dado de axiomas,
entonces es imposible derivar dicho teorema a partir de los axiomas.
Contrastando con las demostraciones tradicionales que presentaban al
teorema de Gdel como algo patolgico y poco frecuente, el novedoso punto
de vista de Chaitin sugiere que el fenmeno de incompletez descubierto
por Gdel es bastante natural y frecuente.
http://www.cs.auckland.ac.nz/CDMTCS/chaitin/georgia.html
4
5
6
7
26
ndice
ndice
Otra demostracin del teorema, esta vez a travs de un sistema llamado
teora de nmeros tipogrfca, se encuentra en:
http://www2.ncsu.edu/unity/lockers/users/f/felder/public/kenny/papers/
godel.html
Si te interesas, lector, en el teorema de Gdel, pero te gustan tambin
los grabados de Escher y la msica de Bach, te recomiendo ampliamente
el libro de Douglas Hofstadter titulado Gdel, Escher, Bach, an Eternal
Golden Braid.
Es un libro fascinante que te muestra como la autoreferencia y la recursividad
que Gdel explica la haba ya usado Juan Sebastin Bach en sus
investigaciones musicales y posteriormente M.C. Escher en sus maravillosos
y paradjicos grabados.

El libro en ingls nuevo debe de costar alrededor de $14 dlares. Usado lo
consigues por $7 dlares. Puedes pedirlo a amazon.com con la liga:
http://www.amazon.com/exec/obidos/ASIN/0465026567/qid%3D917673465/
sr%3D1-1/103-7368880-2922211
Esta pgina mantenida por Mrten Stenius contiene un conjunto de ligas
a temas relativos con el libro Gdel, Escher, Bach, Una Eterna Trenza Dorada
de Douglas Hofstadter que mencion arriba. Tal vez la quieras explorar antes
de comprar el libro.
http://www.student.nada.kth.se/~d90-mst/geb/
Otra pgina con diferentes recursos para profundizar en el libro de
Hofstadter es:
http://www.geocities.com/ResearchTriangle/6100/geb.html
8
9
10
11
27
ndice
ndice
El siguiente enlace contiene un conjunto de ideas de Charles Kendrick
sobre el teorema de Gdel y sus conexiones con el budismo Zen.
http://www.myrkul.org/recent/godel.htm
Una pgina que contiene resultados importantes de diversos
matemticos (Cantor, Russell, Richard, Tarski y Gdel) relacionados con el
teorema de Gdel es:
http://www.math.hawaii.edu/~dale/godel/godel.html
La siguiente liga nos lleva a una pgina en la que el autor usa el teorema
de Gdel para demostrar la existencia de Dios:
http://www.stats.uwaterloo.ca/~cgsmall/ontology.html
Este artculo discute cmo el teorema de Gdel tiene implicaciones
para los estudios de vida artifcial, es decir la existencia de organismos
vivos cuya existencia transcurre enteramente dentro de una computadora.
Tambin hace referencia a la robtica, que son los organismos mecnicos y
cibernticos con existencia independiente.
http://scholar.lib.vt.edu/ejournals/SPT/v2n3n4/sullins.html
El teorema de Gdel tiene implicaciones hasta en las ciencias polticas,
la economa y la flosofa de la historia. Un ejemplo de Gdel y el marxismo
se encuentra en:
http://www.Itn.Iv/%7Epodnieks/marxism.htm
12
13
14
15
16
28
ndice
ndice
La Mente vs. Gdel. Las auto-referencias en los trabajos de Gdel
tienen relevancia con la autoreferencia que pueden intentar tanto las
computadoras como la mente humana. Este artculo profundiza en el tema:
http://nl.ijs.si/~damjan/g-m-c.html
Un excelente libro para profundizar en temas relacionados es Infnity
and the Mind de Rudy Rucker (Editorial Birkhpuser), pues se dedica a
analizar los problemas del infnito, que es precisamente donde el teorema de
Gdel ya no se aplica. Recordemos que este teorema requiere de un sistema
de conocimientos basado en un conjunto fnito de axiomas. Qu pasar
cuando consideremos conjuntos infnitos de axiomas?
ht t p: / / www. amazon. com/ exec/ obi dos/ t g/ det ai l / - / 0691001723/
q i d = 1 0 3 1 0 8 0 6 3 9 / s r = 1 = 1 - 1 / r e f = s r _ 1 _ 1 / 1 0 2 - 7 9 1 9 8 7 7 -
6458511?v=glance=books
OTRAS BIOGRAFAS
Feferman, S., Dawson, J. et al (Ed.) 1986. Kurt Gdel, Collected
Works, New York: Oxford Univerdity Press, vol I.
http://www.amazon.com/exec/obidos/tg/detail/-/0195147200/ref=pd_bxgy_
img_2/102-6547738-8896130?v=glance
17
18
19
29
ndice
ndice
Wang, Hao. 1991. Refections on Kurt Gdel. Cambridge, Mass: MIT
Press.
ht t p: / / www. amazon. com/ exec/ obi dos/ t g/ det ai l / - / 0262730871/
q i d = 1 0 3 2 3 0 1 2 7 8 / s r = 1 - 3 / r e f = s r _ 1 _ 3 / 0 0 2 - 2 1 8 5 9 0 3 -
2063234?v=glance&s=books
Una excelente explicacin del teorema de Gdel para el pblico en
general, que empieza por preparar tu mente para entender las paradojas,
que lo presenta de manera sencilla, que habla de sus implicaciones, ofrece
una demostracin informal, resume la biografa de Kurt Gdel y reune un
conjunto de ligas relevantes. Encuentra la autoreferencia en:
http://www.dgdc.unam.mx/Hipercuadernos/Godel/Intro.html
20
21
comentarios
Diseo: Esteban Lpez Jimnez

Teorema Godel

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Teorema Godel

Cargado por

Copyright:

Formatos disponibles

Introduccin.................................................................................................................................................................

También podría gustarte