Careaga, Alf Alejandro, Teorema - Godel - 1
Careaga, Alf Alejandro, Teorema - Godel - 1
Careaga, Alf Alejandro, Teorema - Godel - 1
AlfredoAlejandroCareaga
Introducción.................................................................................................................................................................3
Preparacióndelamente...............................................................................................................................................4
Paso1.............................................................................................................................................................................4
Paso2.............................................................................................................................................................................4
Paso3.............................................................................................................................................................................4
Paso4.............................................................................................................................................................................5
Paso5.............................................................................................................................................................................5
Paso6.............................................................................................................................................................................5
-FriederichLudwigGottlobFrege.......................................................................................................................................5
-BertrandRussell..............................................................................................................................................................6
-AlfredNorthWhitehead...................................................................................................................................................6
Paso7.............................................................................................................................................................................7
Presentación..................................................................................................................................................................8
Toma1...........................................................................................................................................................................8
Toma2...........................................................................................................................................................................8
Toma3.........................................................................................................................................................................10
Implicaciones..............................................................................................................................................................11
Matemáticas.................................................................................................................................................................11
Ciencia.........................................................................................................................................................................11
Folosofía.......................................................................................................................................................................12
Lingüística....................................................................................................................................................................13
Informática...................................................................................................................................................................14
Vidaartiicial................................................................................................................................................................15
Menteyconciencia.......................................................................................................................................................15
ElBudiszmoZen..........................................................................................................................................................16
Demostración..............................................................................................................................................................18
Biografía......................................................................................................................................................................20
Ligasyreferencias.......................................................................................................................................................24
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
Querido lector,
3
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
Para comprender el teorema de Gödel tenemos que ¿Qué podemos concluir? Analicemos esto con
preparar la mente: colocarla en una disposición especial, cuidado. Empecemos a usar un poco de lenguaje
acostumbrarla poco a poco a clariicar paradojas y matemático. Titulemos a la proposición anterior con la
entender contradicciones aparentes. letra A. Podemos escribir:
2
Consideremos ahora la antigua paradoja llamada
“paradoja de Epiménides o del mentiroso”. Epiménides
era un cretense que supuestamente hizo la inmortal
aseveración “todos los cretenses mienten”. Supongamos
que te encuentras con Epiménides, quien te dice:
4
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
Lo que dice Gödel es que G puede ser verdad, A inales del siglo XIX el matemático Friederich
pero que no vamos a poder demostrar que es verdad. Ludwig Gottlob Frege (1848-1925), uno de los fundadores
de la lógica simbólica, propuso que las matemáticas
Aquí aparece por primera vez el hecho de que la verdad podían reducirse a la lógica y dedicó la mayor parte de
es más poderosa que la demostrabilidad. su vida a demostrarlo.Escribió dos grandes y difíciles
tomos titulados “Las Leyes Básicas de la Aritmética”.
Publicó el primer tomo y cuando el segundo estaba ya en
5 la imprenta, en 1902, recibió una carta de un joven de 30
La siguiente paradoja que vamos a analizar es una años llamado Bertrand Russel, quien con gran modestia
variante interesante de la de Epiménides. le planteó una paradoja que generaba una contradicción
en el sistema de axiomas de Frege. Después de muchas
Consideremos las siguientes dos frases: cartas entre ambos y de tratar de reparar su sistema de
5
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
axiomas, Frege decidió inalmente publicar su segundo Vivimos en un pueblo apartado de la civilización.
tomo, pero en la introducción escribió que hacía la En este pueblo es mal visto que los hombres lleven
publicación con gran tristeza, pues la obra de toda su barbas, por lo que todos están rasurados. En el pueblo
vida quedaba en entredicho por la paradoja de Russell. 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).
Bertrand Russell (1872 – 1970) fue uno de los ¿Te queda claro que hay una contradicción difícil
pensadores que más lograron hacer avanzar a la lógica (imposible) de resolver?
en el siglo XX. La paradoja que descubrió puso en duda
al campo entero de las matemáticas, pues parecía que la
metodología de éstos (que está basada en la lógica) tenía
contradicciones esenciales y profundas. La paradoja de
Russell propició numerosos e importantes trabajos en
teoría de conjuntos, lógica y ilosofía para consolidar
nuevamente los fundamentos de las matemáticas.
6
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
7
Para terminar y dejar descansar la mente te voy a
contar un chiste gödeliano:
comentarios
7
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
En 1931 Kurt Gödel publicó un artículo titulado: Bien, sigamos adelante. Ya hemos entendido la
parte inal del título del artículo: Gödel nos va a decir algo
“Sobre proposiciones formalmente no decidibles en muy importante que es válido para todos los sistemas
Principia Mathematica y sistemas relacionados” que se describen en el libro Principia Mathematica, así
como para cualquier otro sistema lógico basado en un
Analicemos el título del artículo: número inito de axiomas. Veamos ahora la primera
parte del título, eso de proposiciones formalmente no
Ya vimos, cuando hablamos de la paradoja decidibles:
formulada por Bertrand Russell, que Principia
Mathematica fue el importantísimo libro escrito Una proposición es una aseveración o una
por Russell y Whitehead entre 1910 y 1913 en el airmación que puede ser verdadera o falsa. Por ejemplo,
que presentaron una formulación, aparentemente la siguiente es una proposición:
completa (es decir, que toda proposición verdadera
podía demostrarse) y consistente (o sea que nunca “Dos más dos son cinco” o en lenguaje matemático:
aparecerían contradicciones y ni paradojas), del 2+2=5
razonamiento matemático. Consideraron que su
metodología permitiría construir cualquier formulación La falsedad de esta airmación puede demostrarse
matemática presente y futura. con facilidad.
8
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
Dicho de otra manera, Gödel nos hace ver Recapitulando, el teorema de Gödel nos dice que
que la verdad es una categoría más poderosa que la ningún sistema basado en un número inito de axiomas
demostrabilidad. está completo, ya que siempre existirán proposiciones
cuya verdad o falsedad será imposible de decidir.
Aclaremos esto. Lo que Gödel demuestra es que
en todo sistema axiomático formal existen aseveraciones Equivalentemente, si se requiere que el sistema
cuya verdad o falsedad es imposible de decidir desde esté completo, en el sentido de que siempre podamos
dentro del sistema. Si nos salimos del sistema, entonces decidir sobre la verdad o falsedad de una proposición,
podremos saber si son verdaderas o falsas, pero dentro entonces aparecerán paradojas y el sistema no será
del sistema no. Este resultado se conoce como el consistente.
teorema de indecidibilidad de Gödel. (¿Existirá esa
9
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
Es decir, que de todas todas nos cuerna el toro. Si un sistema es consistente, entonces es
incompleto, y si el sistema es completo, entonces es
Para terminar volvamos a enunciar el teorema de inconsistente.
Gödel de varias maneras sencillas y comprensibles:
Como puedes imaginar, lector, las implicaciones
3 del teorema de Gödel para las matemáticas, la ciencia y
El teorema de Gödel (Toma 3) el conocimiento humano en general, son inmensas y sus
efectos han sido devastadores para quienes creían
que la ciencia, llegaría a descifrar completamente a la
En 1931 Kurt Gödel publicó un artículo titulado:
naturaleza. Hoy, gracias a Gödel, la ciencia se ha bajado
de su arrogante torre de maril, los cientíicos nos hemos
“Sobre proposiciones formalmente no decidibles en
vuelto un poco más humildes y todos hemos tenido que
Principia Mathematica y sistemas relacionados”
aceptar las limitaciones inherentes en el potencial del
conocimiento.
Aplicado especíicamente al libro Principia
Mathematica el teorema de Gödel diría:
En los siguientes temas veremos algunas
implicaciones del teorema, una demostración informal y
El sistema propuesto en Principia Mathematica
poco rigurosa, datos biográicos de Kurt Gódel y enlaces
incluye proposiciones indecidibles.
para que puedas profundizar en el tema.
Principia Mathematica fue entonces la primera
víctima del teorema de Gödel, pero ciertamente no fue
la última. Cuando Gödel dice sistemas relacionados
incluye a cualquier sistema axiomático, en cuyo caso
su teorema puede formularse de manera más general
estremeciendo así a las matemáticas enteras:
10
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
En esta sección vamos a analizar algunas consecuencias comprensión de la naturaleza laberíntica del castillo que
del teorema de Gödel en diversos sistemas de te aprisiona, de alguna forma te otorga la libertad.
conocimiento.
1
Empezaremos por aquellos sistemas que están MATEMÁTICAS
sustentados rigurosamente y cuyas hipótesis cumplen
con las requeridas por dicho teorema. Poco a poco Empecemos entonces considerando el efecto del
iremos considerando sistemas que relajan más y más teorema de Gödel en las matemáticas.
las hipótesis subyacentes, conscientes de que tal vez
ya no sea posible que el teorema se aplique con todo Este teorema terminó con numerosos intentos a
rigor, pero permitiendo a cambio que nuestras mentes lo largo de un siglo entero para establecer un conjunto
conciban nuevas posibilidades y se planteen preguntas inito de axiomas que cimentara y permitiera construir
interesantes. a la totalidad de las matemáticas, tanto las conocidas
como las que se descubrirían en el futuro. Los intentos
Sabemos que el teorema de Gödel puede más importantes habían sido los de Cantor, Frege,
demostrarse de una forma rigurosa y que se aplica Hilbert, Russell y Whitehead. Los resultados de Gödel
a cualquier sistema de razonamiento basado en un constituyen un parteaguas para las matemáticas,
conjunto inito de axiomas o leyes básicas. Estos mostrando que éstas nunca quedarán completas y que
sistemas incluyen a todas las ramas de las matemáticas, siempre quedarán problemas que no podrán resolverse
a muchos planteamientos de la ilosofía y la lingüística, bajo ningún conjunto de reglas o procedimientos.
así como a las ciencias duras como la física o la
astronomía. Sin embargo, otras ramas del conocimiento Gödel demostró que dentro de cualquier sistema
humano, por ejemplo las ciencias sociales como la lógico rígido, como el que Russell y Whitehead
economía, la psicología o la sociología u otras todavía desarrollaron para la aritmética, se pueden formular
menos cientíicas, como la teología o la historia, no proposiciones para las cuales es imposible decidir si
permiten que el resultado del teorema de Gödel se les son verdaderas o falsas dentro de los axiomas del
aplique con rigor y las implicaciones que se obtengan de sistema. Esto es, dentro del sistema existirán siempre
esta dudosa aplicación pueden ser falsas. aseveraciones perfectamente bien deinidas que no
pueden ser aceptadas como ciertas ni rechazadas
En pocas palabras, lo que el teorema de Gödel como falsas. Por lo tanto uno nunca podrá, usando los
parece airmar en términos muy generales, es que métodos tradicionales, estar seguro de que los axiomas
el conocimiento racional nunca podrá penetrar hasta del sistema matemático en cuestión no nos llevarán a
el inal y alcanzar la verdad última y deinitiva del contradicciones. Esto destruye la esperanza que una
universo. Esta limitación no solamente es válida para los vez tuvieron los matemáticos de lograr la certeza en
conocimientos que la humanidad pueda llegar a alcanzar la solución de cualquier problema planteado de forma
con toda su ciencia y tecnología presente o futura, sino lógicamente correcta.
que va más allá del ser humano y habla de cualquier
sistema inito de conocimientos ser creado por un ser
biológico, electrónico o de cualquier otro tipo, aunque no 1
lo podamos imaginar. CIENCIA
Esta limitación fue la causa de ininita angustia Si nos referimos ahora a la ciencia y al método
para matemáticos, cientíicos y ilósofos, pero, cientíico en general, el teorema de Gödel, sumado
paradójicamente, la comprensión y aceptación del al principio de incertidumbre de Heisenberg y a la
teorema de Gödel es también una suerte de liberación. impredicibilidad esencial de los sistemas caóticos,
establecen limitantes profundas para los alcances del
En las palabras de Rudy Rucker: Para muchos conocimiento cientíico. El resultado, en última instancia,
estudiantes de lógica la comprensión profunda es la muerte irremediable del ideal cientíico tradicional,
del teorema es prácticamente una experiencia mística. que era el de establecer un conjunto de leyes o axiomas
Esto se debe en parte a la leyenda que el nombre de básicos a partir de los cuales pudieran deducirse y
Gödel lleva consigo, pero en el fondo se debe a que la comprenderse todos los fenómenos de la naturaleza.
11
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
La física es tal vez la ciencia que mejor ha * El modelo debe modelarse a sí mismo, entonces…
establecido sus leyes básicas o axiomas sobre los que
construye su conocimiento. Por esto mismo, es de todas * El modelo debe modelar al modelo modelándose a sí
las ciencias la que mejor comprende las implicaciones mismo…
del teorema de Gödel y de los demás resultados
mencionados en el párrafo anterior. Los físicos han * …y así ad ininutum.
entendido y aceptado que las limitaciones de su
disciplina no se deben tanto a la falta de presupuestos, 1
o a la necesidad de construir instrumentos cada vez FILOSOFÍA
más poderosos, ni tampoco a la velocidad del avance
en sus descubrimientos y ni siquiera a las restricciones
La ilosofía, o mejor dicho, las ilosofías, son
inherentes a la mente humana. Hoy ya saben que nunca
disciplinas del conocimiento que también parten de un
llegarán a resolver todos los problemas que plantea
sistema inito de axiomas básicos, por lo que también
su disciplina debido a que todo sistema racional de
deben de sujetarse a las limitaciones impuestas por
conocimientos es esencialmente incompleto.
el teorema de Gödel. La implicación es que cualquier
sistema ilosóico, sin importar su grado de complejidad,
resulta incompleto. Es decir que todo sistema ilosóico
contiene dentro de sí mismo, más aseveraciones
verdaderas que las que puede demostrar como tales de
acuerdo con sus propias reglas. Es decir, que muchas de
las verdades ilosóicas nunca podrán decidirse dentro
del sistema ilosóico que consideremos, cualquiera que
este sea. Y aun si el sistema ilosóico en cuestión se
aumenta, incluyendo un número indeinido de axiomas
adicionales, siempre existirán verdades que no pueden
ser formalmente derivadas del conjunto aumentado. El
teorema de Gödel establece que la veriicabilidad es un
concepto más débil que la verdad, en tanto que existen
proposiciones verdaderas que no es posible veriicar,
sin importar la complejidad del sistema ilosóico
Una forma distinta de entender porqué la física,
subyacente.
como cualquier otro sistema simbólico inito que usemos
para describir o modelar al universo, es incompleta,
Para muchos pensadores, el teorema de Gödel
es aceptando que la física, o dicho sistema simbólico
constituye el último clavo en el ataúd de la ilosofía
inito, no existe aparte del universo, sino que es parte
clásica. Hubo una época en que la ilosofía abarcaba
integrante de él. También nosotros mismos, los físicos
todos los campos del conocimiento (Filos=amor,
y los pensadores formamos parte del universo. Puesto
sofos=conocimiento), pero con la llegada del método
que tanto el sistema de conocimientos como nosotros,
cientíico y el resultante auge de la ciencia, la ilosofía
sus creadores, somos parte del universo, nuestra ciencia
y nuestra comprensión del universo representan un caso fue perdiendo poco a poco muchos de los objetos
de un sistema haciendo un modelo de sí mismo. Es de su estudio. La lógica, por ejemplo, que una vez
decir, se trata de una pequeña parte de a realidad era un baluarte de la ilosofía, hoy forma parte de las
(nosotros y nuestros sistemas simbólicos) intentando matemáticas. La lingüística, antes también del interés
hacer un modelo de la realidad completa (el universo). de los ilósofos, ahora queda comprendida en la teoría
Esto nunca puede tener éxito debido a la paradoja que de la información. Las especulaciones ilosóicas sobre
resulta de la autoreferencia: el modelo es parte del la mente humana, que dieron lugar al nacimiento de la
universo, por lo que, en efecto, el universo tendría que psicología, hoy encuentran poderosos resultados en
ser mayor que sí mismo (¿está claro?). los trabajos de investigadores en inteligencia artiicial e
informática.
También podemos entender la imposibilidad
esencial de que un modelo (cientíico o de cualquier tipo) La ilosofía, desplazada en muchos de sus
sea completo mediante un argumento iterativo: territorios por la ciencia, ha tenido que ir encontrando
nuevos objetos de estudio. De alguna forma el teorema
* El modelo modela al universo y el universo incluye al de Gödel cierra un círculo para la ilosofía, pues hoy un
modelo, entonces… ilósofo sabe de las limitantes que el teorema de Gödel
12
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
implica para su disciplina, por lo que está obligado a sobre Gödel en sus años de estudiante en Viena,
redeinir su objeto de estudio y terminará ampliándolo dice al respecto: “Hay en efecto cosas que no
para considerar nuevamente a todo el conocimiento, pueden ponerse en palabras. Ellas simplemente se
pero desde una nueva perspectiva que considera ya las maniiestan. Ellas constituyen lo místico.”
limitaciones impuestas por Gödel.
El propio Wittgenstein, amigo cercano de los
integrantes del Círculo de Viena, aunque no miembro
del mismo, ofrece en su maravilloso libro Tractatus
Logico-Philosophicus una solución a los problemas
tradicionales de la ilosofía: “Aquello de lo que no
nos es posible hablar, debemos dejarlo pasar en
silencio”. Wittgenstein a veces tomó posturas ilosóicas
que se asemejan al misticismo Zen. En el libro citado
elegantemente describe su posición:
1
LINGÜÍSTICA
13
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
1
INFORMÁTICA
14
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
1
MENTE Y CONCIENCIA
observando que tanto la conciencia como el universo ¿Cómo puedes saber que tu lógica no es “peculiar”,
son initos y, por lo tanto, la unión de ambos representa si la única herramienta a tu disposición para responder
un nuevo sistema o nuevo universo que debemos a la pregunta es justamente esa lógica? De nuevo
“entender” (si es que esta palabra todavía tiene sentido). nos hallamos ante la autoreferencia que habita en
Este proceso continúa indeinidamente de manera las entrañas del teorema de Gödel. La respuesta es
iterativa estableciendo por medio de la autoreferencia indecidible. ¿Quiénes son los locos, los que están
las limitaciones a mente y conciencia. dentro del manicomio o los que están afuera? Esto nos
recuerda al segundo teorema de Gödel que dice que
Las limitantes impuestas por el teorema de aquellas versiones formales de la aritmética que airman
Gödel en este último caso implican que nunca seremos su consistencia son inconsistentes.
capaces de conocernos a nosotros mismos. La máxima
“conócete a ti mismo” es inalcanzable, pues nuestra
mente, como cualquier otro sistema cerrado y acotado,
sólo puede conocerse a sí misma apoyándose tan sólo
en lo que ya conoce de sí misma. Hay varias analogías
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 más
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 más que pueden aspirar es ver su
relexión 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.
16
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
comentarios
17
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
Hoy en día se conocen numerosas demostraciones La máquina empezó a vibrar, arrojó un poco de
del teorema de Gödel. En esta sección presentaremos humo, un par de chispas y se congeló permanentemente
una demostración no muy rigurosa pero muy fácil de sin haber dado respuesta a la pregunta de Gödel. Con
entender. Si te interesas lector, en una demostración esto terminó el evento, La Torre de Maril, Inc. quebró
realizada con todo el rigor matemático te sugerimos la y Gödel fue aclamado como uno de los cientíicos más
que el propio Gödel publicó, misma que encontrarás en brillantes del siglo XX.
la sección de enlaces a otras páginas.
¿Qué sucedió en el interior de la máquina?
La demostración del teorema de Gödel que vamos Veamos:
a presentar tiene sabor a informática y está inspirada en
la que hallamos en el excelente libro de Rudy Rucker: En primer lugar es importante destacar que la
Ininity and The Mind. computadora era inita en todas sus características: el
número de transistores, la cantidad de líneas de código
Resulta que la empresa transnacional de alta y todos sus demás parámetros, si bien eran mucho muy
tecnología La Torre de Maril, Inc. ha diseñado y grandes, no eran ininitos. Esto es equivalente a decir
construido una nueva computadora tan poderosa que la que estamos tratando con un sistema basado en un
ha bautizado como la Máquina de la Verdad Universal número inito de axiomas.
(MVU) ya que es capaz de contestar correctamente
cualquier pregunta que se le haga. El razonamiento de la máquina fue el siguiente:
Esta máquina utiliza un grandísimo número de Voy a suponer que G es verdad, y si ese fuera
transistores que supera en varios órdenes de magnitud el caso, entonces podría responder “En efecto, G
al de cualquier supercomputadora anteriormente es verdad”. Pero al examinar a la frase G aparece
construida. La máquina realiza una inmensidad de inmediatamente una contradicción, pues la frase dice
operaciones lógico-matemáticas por segundo, tiene justamente que yo, la MVU, nunca diré que G es
una enorme memoria RAM y una capacidad de verdad. O sea, que si concluyo que G es verdad y lo
almacenamiento en disco verdaderamente fabulosa. digo públicamente, entonces por el hecho mismo de
En cuanto a su software, esta computadora maneja los decirlo hago que G sea falsa y como consecuencia mi
últimos avances de la inteligencia artiicial y sus bases aseveración sería una mentira y yo no puedo mentir.
de datos y sistemas expertos contienen la totalidad del
conocimiento de la humanidad. La cantidad total de Con lo anterior queda establecido que yo, la MVU,
líneas de código de estos programas es inmensa. Nunca nunca diré que G es verdad. Como consecuencia, por
antes se habían escrito programas tan complejos. Es el simple hecho de guardar silencio hago que G sea
verdaderamente la máquina de la verdad universal. verdad. Como soy la MVU y nunca puedo mentir, mejor
no contesto y me congelo!
El día de su presentación, con muchos bombos y
platillos, la orgullosa empresa La Torre de Maril, Inc., Al congelarse y no responder, la Máquina de
pone la máquina a disposición del público y pide que se la Verdad Universal hace que la frase G sea cierta.
le hagan preguntas, cualesquiera preguntas, mismas que Entonces Gödel dice: Yo conozco una verdad que
la MVU contestará infaliblemente y de forma inmediata. la MUV no puede airmar. Yo sé que la frase G es
verdadera, pero la máquina es incapaz de decidir si G
Al evento asistió un joven llamado Kurt Gödel que es verdadera o es falsa. Por lo tanto la máquina no es
primero escribió la siguiente frase: verdaderamente universal.
18
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
comentarios
19
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
Kurt Gödel nació el 28 de abril de 1906 en la ciudad Ahí tuvo por profesores a eminentes matemáticos:
de Brünn, Moravia, que entonces formaba parte de la Furtwngler, Hahn, Wirtinger, Menger, Helly y otros.
monarquía Austro Húngara. Esta ciudad hoy se conoce La ciudad de Viena, en esos tiempos, era un lugar
como Brno y es parte de la República Checa. sumamente interesante. En ella se estaban iniciando
grandes movimientos culturales, como el psicoanálisis, la
Gödel murió el 14 de enero de 1978 en Princeton, música dodecafónica, la arquitectura moderna, la pintura
Nueva Jersey Estados Unidos a los casi 72 años de no representativa y otros más. Entre los pensadores que
edad. vivían en Viena destacan Sigmund Freud, Arnold
Schönberg, Adolf Loos y Oscar Kokoshka. Estos
mismos años fueron también de enorme desarrollo
ilosóico, lo que resultó de enorme importancia para
Gödel. En 1921 Ludwig Wittgenstein había publicado
su Tractatus Logico-Philosophicus y el positivismo
lógico estaba en pleno desarrollo en el “Círculo de
Viena”.
20
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
En 1931 publicó su famoso teorema bajo el título Gödel aceptó esta invitación e hizo su primer
Über formal unentscheidbare Stze der Principia viaje a Estados Unidos, donde impartió en 1934 un
Mathematica und verwandter systeme. Ya sabemos conjunto de cursos en la Universidad de Princeton
por las páginas previas, que Gödel demostró resultados sobre sustrabajos recientes. También impartió una
fundamentales sobre cualquier sistema basado en conferencia magistral en la reunión anual de la
un número inito de axiomas. En particular que en American Mathematical Society. En Princeton conoció
estos sistemas existen proposiciones que no pueden a Albert Einstein con quien mantuvo una larga y fructífera
airmarse o negarse y en particular, que la consistencia amistad.
de los axiomas no puede ser demostrada. Esto terminó
con los intentos de Cantor, Frege, Russell, Hilbert y otros Durante este año Gödel desarrolló sus ideas
eminentes matemáticos para establecer un conjunto de sobre computabilidad y funciones recursivas y el
axiomas que permitieran construir la totalidad de las concepto de “verdad”. En 1935 regresó nuevamente a
matemáticas basada en ellos. Princeton por un breve período. El intenso trabajo, los
viajes y la situación de la política europea lo afectaron y
En 1933 Adolf Hitler llegó al poder. Al principio nuevamente fue víctima de una severa depresión. A su
este hecho aparentemente no tuvo ningún impacto en regreso a Viena continuó con labores de enseñanza e
la vida de Gödel, quien tenía poco interés en la política. investigación y también contrajo matrimonio con Adele
Sin embargo uno de los miembros del Circulo de Viena, Porkert.
el profesor Moritz Schlick fue asesinado por su antiguo
alumno, ahora nazi, el Dr. Hans Nelboeeck. Este brutal
asesinato de un académico en el campus universitario
por razones políticas y raciales marca el principio del in
del Círculo de Viena y presagia los dramáticos eventos
que vendrían poco después.
21
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
En 1951 volvió a tener serias depresiones que Durante los setenta, Gödel pasó más y más
lo llevaron al hospital. En este año también empezó a tiempo cuidando de su salud y cosechando honores.
22
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
comentarios
23
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
1
Las Obras completas de Kurt Gödel las publicó Alianza Editorial en
1981. Su número de referencia es el ISBN 84-206-2286-9. La introducción,
traducción y comentarios son de Jesús Mosterín. Tiene una excelente
bibliografía.
http://www.alianzaeditorial.es/busqueda_catalogo.htm
2
En la siguiente liga encontrarás el artículo original de Kurt Gödel: “On
Formally Undecidable Propositions”. También es posible hallarlo impreso
en inglés en la Editorial Dover. Te recomiendo que visite este enlace y
recorras el artículo completo para tener un sabor del lenguaje matemático
que Gödel inventó para poder demostrar su teorema.
http://www.ddc.net/ygg/etext/godel/
3
La biografía de Kurt Gödel, junto con la de muchos otros matemáticos,
se encuentra en esta excelente página relativa a la historia de las
matemáticas:
http://turnbull.dcs.st-and.ac.uk/history/
24
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
4
Otro enlace donde se halla un episodio misterioso de la vida de Gödel
es el siguiente:
http://www.earlham.edu/~peters/writing/godel.htm
5
Un tercer enlace nos lleva a otra biografía:
http://www.unca.edu/math/club/godel.html
6
The Kurt Gödel Society. La Sociedad Kurt Gödel es una organización
internacional que promueve la investigación en lógica, ilosofía e historia
de las matemáticas, sobre todo en relación con la biografía de Kurt Gödel.
También se interesa en otras disciplinas a las que Gödel contribuyó,
especialmente matemáticas, física, teología y ilosofía.
http://www.logic.at/kgs/home.html
7
Después de que Gödel demostró su famoso teorema han aparecido
numerosas demostraciones diferentes del mismo resultado. En esta liga
encontrarás un artículo de Gregory Chaitin que presenta una demostración
con base en argumentos de la teoría de la información. La forma en que se
puede enunciar el teorema de Gödel con este lenguaje es la siguiente:
http://www.cs.auckland.ac.nz/CDMTCS/chaitin/georgia.html
25
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
8
Otra demostración del teorema, esta vez a través de un sistema llamado
teoría de números tipográica, se encuentra en:
http://www2.ncsu.edu/unity/lockers/users/f/felder/public/kenny/papers/
godel.html
9
Si te interesas, lector, en el teorema de Gödel, pero te gustan también
los grabados de Escher y la música de Bach, te recomiendo ampliamente
el libro de Douglas Hofstadter titulado Gödel, Escher, Bach, an Eternal
Golden Braid.
http://www.amazon.com/exec/obidos/ASIN/0465026567/qid%3D917673465/
sr%3D1-1/103-7368880-2922211
10
Esta página mantenida por Mårten Stenius contiene un conjunto de ligas
a temas relativos con el libro Gödel, 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/
11
Otra página con diferentes recursos para profundizar en el libro de
Hofstadter es:
http://www.geocities.com/ResearchTriangle/6100/geb.html
26
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
12
El siguiente enlace contiene un conjunto de ideas de Charles Kendrick
sobre el teorema de Gödel y sus conexiones con el budismo Zen.
http://www.myrkul.org/recent/godel.htm
13
Una página que contiene resultados importantes de diversos
matemáticos (Cantor, Russell, Richard, Tarski y Gödel) relacionados con el
teorema de Gödel es:
http://www.math.hawaii.edu/~dale/godel/godel.html
14
La siguiente liga nos lleva a una página en la que el autor usa el teorema
de Gödel para demostrar la existencia de Dios:
http://www.stats.uwaterloo.ca/~cgsmall/ontology.html
15
Este artículo discute cómo el teorema de Gödel tiene implicaciones
para los estudios de vida artiicial, es decir la existencia de organismos
“vivos” cuya existencia transcurre enteramente dentro de una computadora.
También hace referencia a la robótica, que son los organismos mecánicos y
cibernéticos con existencia independiente.
http://scholar.lib.vt.edu/ejournals/SPT/v2n3n4/sullins.html
16
El teorema de Gödel tiene implicaciones hasta en las ciencias políticas,
la economía y la ilosofía de la historia. Un ejemplo de Gödel y el marxismo
se encuentra en:
http://www.Itn.Iv/~podnieks/marxism.htm
27
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
17
La Mente vs. Gödel. Las auto-referencias en los trabajos de Gödel
tienen relevancia con la autoreferencia que pueden intentar tanto las
computadoras como la mente humana. Este artículo profundiza en el tema:
http://nl.ijs.si/~damjan/g-m-c.html
18
Un excelente libro para profundizar en temas relacionados es Ininity
and the Mind de Rudy Rucker (Editorial Birkhpuser), pues se dedica a
analizar los problemas del ininito, que es precisamente donde el teorema de
Gödel ya no se aplica. Recordemos que este teorema requiere de un sistema
de conocimientos basado en un conjunto inito de axiomas. ¿Qué pasará
cuando consideremos conjuntos ininitos de axiomas?
h t t p : / / w w w. a m a z o n . c o m / e x e c / o b i d o s / t g / d e t a i l / - / 0 6 9 1 0 0 1 7 2 3 /
qid=1031080639/sr=1=1-1/ref=sr_1_1/102-7919877-
6458511?v=glance=books
OTRAS BIOGRAFÍAS
19
Feferman, S., Dawson, J. et al (Ed.) 1986. Kurt Gödel, 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
28
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
20
Wang, Hao. 1991. Relections on Kurt Gödel. Cambridge, Mass: MIT
Press.
h t t p : / / w w w. a m a z o n . c o m / e x e c / o b i d o s / t g / d e t a i l / - / 0 2 6 2 7 3 0 8 7 1 /
qid=1032301278/sr=1-3/ref=sr_1_3/002-2185903-
2063234?v=glance&s=books
21
Una excelente explicación del teorema de Gödel para el público 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 demostración informal, resume la biografía de Kurt Gödel y reune un
conjunto de ligas relevantes. Encuentra la autoreferencia en:
http://www.dgdc.unam.mx/Hipercuadernos/Godel/Intro.html
comentarios
29
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia
índice
ElteoremadeGödel Dr.AlfredoAlejandroCareaga
HipercuadernosdeDivulgaciónCientíica DirecciónGeneraldeDivulgacióndelaCiencia