You are on page 1of 7

Teorema de Incompletud de Gdel.

Acerca de Kurt Gdel. o Antes de comenzar con este trabajo acerca de los Teoremas de Incompletud, me gustar mena cionar algo breve sobre la vida de Kurt Gdel y tambin sobre el momento histrico por el que o e o pasaban las metemticas cuando fueron probados estos resultados. a Gdel naci el 28 de abril de 1906 en Brn (ahora Brno) Rep. Checa, que en ese tiempo era o o u parte del Imperio Austro-Hngaro. Estudi matemticas y f u o a sica en la Universidad de Viena donde naliz su doctorado en losof (PhD) en el ao de 1930. Trabaj en la Universidad como docente o a n o de 1933 a 1938 y en este tiempo visit en varias ocasiones, en calidad de investigador, el Instituto o de Estudios Avanzados en Princeton. Despus de sto, trabaj como investigador en el Instituto del e e o 1940 a 1953 y en este ao fue promovido al cargo de professor. Gdel adquiri la nacionalidad estan o o dounidense en 1948 (aqu surge una historia famosa de una pltica entre Gdel y Einstein, con quien a o tuvo una buena relacin durante su estancia en Princeton, sobre la consistencia de la Constitucin o o de E.U.A). En el ao de 1951, Kurt Gdel recibi el Honorary Doctorate of Literaturepor la n o o Universidad de Yale y el Honorary Doctorate of Sciencepor la Universidad de Harvard en 1952; asimismo recibi el primer Einstein Award en 1951. Fue elegido como miembro de la Academia o Nacional de Ciencias en 1955 y de la Academia Americana de las Artes y Ciencias en 1957. En 1961 ingres en la Sociedad Filosca de Amrica. En 1967, fue elegido miembro honorario de la o o e Sociedad Matemtica de Londres. Finalmente, en 1975, el presidente Ford le entreg la Medalla a o Nacional de las Ciencias. Hay varios teoremas asociados a Gdel. Hizo grandes contribuciones a la Teor de conjuntos, o a como la demostracin de la consistencia relativa del axioma de eleccin y de la hiptesis del cono o o tinuo respecto del resto de los axiomas (1940). De hecho lo que sita Gdel es que bajo universos u o constructibles (trmino aportado por l mismo y que dice que en este modelo de la teor de cone e a juntos solamente existen conjuntos que pueden ser construidos por conjuntos ms simples) tanto a el AE como HC son ciertos dentro de estos universos y que deben ser consistentes con los axiomas de ZF para la teor de conjuntos. Adems, hizo importantes contribuciones al estudio del proba a lema de la decisin (Entscheidungsproblem) (que posteriormente ser resuelto por Alonzo Church o a y Alan Turing en 1936), deni por primera vez las funciones recursivas, prob la consistencia de o o la lgica y aritmtica clsica respecto de la intuicionista. Tambin en la dcada de los 70s Gdel o e a e e o distribuy entre unas cuantas personas un trabajo que l hizo acerca de la demostracin de la o e o existencia de Dios, conocida ahora como la prueba ontolgia de Gdel o o Kurt Gdel no solamente trabaj en el campo de las matemticas; a ra de su relacin con o o a z o Albert Einstein, Gdel trabaj con l en aspectos loscos y matemticos de la Teor General de o o e o a a la Relatividad. Incluso estudi con xito las ecuaciones del campo gravitatorio, encontrando soluo e ciones sorprendentes (1949). Estas soluciones hablan un poco de universos rotatorios, donde el viaje en el tiempo podr ser permitido, por lo tanto tambin estudi el concepto de tiempo, publicando a e o varios art culos y dando varias conferencias sobre el tema. Las soluciones que proporciona Gdel o 1

son conocidas como la mtrica de Gdel. e o Como anteriormente sealaba, es importante mencionar el contexto en el que Gdel anunci sus n o o resultados. El mundo de las matemticas estaba en un punto muy importante de la historia; hab a a una gran cantidad de matemticos que posteriormente ser muy reconocidos por su trabajo (von a an Neumann, Bernays, Zermelo, Ackermann,Schlick, Tarski, etc) y un inters por fundamentar rige urosamente las matemticas. Esta poca est determinada en buena parte por la inuencia que a e a tuvo David Hilbert en el ambiente matemtico. Recordemos que en la conferencia de Par del a s Congreso Internacional de Matemticos del ao de 1900, Hilbert present diez de los 23 problemas a n o (1, 2, 6, 7, 8, 13, 16, 19, 21 y 22)(posteriormente conocidos como los 23 problemas de Hilbert) que establecieron el curso de buena parte de la investigacin del siglo XX. o A partir de 1920, Hilbert se concentr en los fundamentos de la matemticas. A Hilbert le preo a ocupaba, ms que nada, que la matemtica moderna pudiera ser daada por la inconsistencia de la a a n teor de conjuntos. A partir de sto, Hilbert propone lo que ahora se le conoce como el Programa a e de Hilbert, de la manera siguiente: (1) Formalizar las matemticas y convertirlas en un sistema formal. a (2) En este sistema formalizado, una proposisin es expresada por una cadena que est como a puesta por s mbolos especiales que reejan proposiciones bsicas, variables y nociones lgicas rea o spectivamente. (3) Solamente son admitidos los argumentos que son aplicados a las pruebas formalizadas a partir de lo que fue considerado previamente y que son simples y ables. Las cadenas que son relevantes son unicamente aquellas que consisten en un nmero nito de s u mbolos. (4) Completar los fundamentos del sistema formal probando que ninguna contradiccin puede o ser derivada dentro del sistema. Esto es, que el sistema es consistente, dentro del punto de vista nito (cadenas nitas). Explquemos sto. La concepcin bsica de Hilbert consite en lo siguiente: e o a (1) Se debe formalizar las matemticas. a (2) Un sistema matemtico formalizado consiste en algunos s a mbolos y reglas de operacin de esos o s mbolos, y entonces se puede hacer algo similar a la teor de nmeros. Aqu arma que uno podr a u a utilizar la aritmtica sobre estos objetos, que son similares a los nmeros naturales, y probar la e u consistencia del sistema formalizado. A partir de este momento y bajo la inuencia de Hilbert matemticos ejemplares como los ya a mencionados Bernays, Ackermann, von Neumann, Herbrand y Gentzen buscaron realizar el Programa de Hilbert. Para el ao de 1930, Hilbert y su escuela ya hab conseguido lo siguiente: n an El estudio de la lgica, esto es, el clculo predicativo, fue completado. Es decir, alcanz nuestro o a o estado presente de conocimiento. La consistencia de un sistema de teor de nmeros (muy dbil) fue probado por von Neumann, a u e 2

rerindose a un sistema de la teor de nmeros en donde la aplicacin de induccin matemtica e a u o o a es restringida a frmulas que no contienen ni . o Es en este ao cuando Kurt Gdel entra en la arena. 1930 es el ao en el que Gdel concluye su n o n o doctorado y en su tesis demuestra el Teorema de Completud que establece en su forma ms conocida a que en una lgica de primer orden toda frmula que es vlida en un sentido lgico es demostrable. o o a o En otras palabras, el sistema deductivo del clculo predicativo de primer orden es completo en el a sentido de que ninguna regla de inferencia adicional es necesaria para probar cualquier formula logicamente vlida. a La palabra demostrablesignica que existe una deduccin formal de la frmula. La deduccin o o o consiste de una lista nita de pasos en los que cada paso o bien invoca a un axioma o es obtenido a partir de pasos previos mediante una bsica de regla de inferencia. A partir de dicha deduccin, es a o posible vericar si cada uno de los pasos es correcto mediante un algoritmo (por ejemplo mediante una computadora). Teoremas de Incompletud de Gdel. o A partir de esto momento Gdel gana atencin en su trabajo y en el ao de 1931 publica el Uber o o n formal unentscheidbare Stze der Principia Mathematica und verwandter Systeme,donde aparece a como el Teorema VI lo que ahora conocemos como el primer Teorema de Incompletud de Gdel. o El teorema plantea lo siguiente: En cualquier formalizacin consistente de las matemticas que sea lo bastante fuerte para denir o a el concepto de nmeros naturales, se puede construir una armacin que ni se puede demostrar ni u o se puede refutar dentro de ese sistema. El segundo Teorema de Incompletud, que se demuestra formalizando parte de la prueba del primer teorema dentro del propio sistema, se puede frasear de la siguiente manera: Ningn sistema consistente se puede usar para demostrarse a s mismo. u Esbozo de la prueba al primer Teorema de Incompletud. En esencia, la prueba del primer teorema consiste en construir una declaracin p dentro de un o sistema formal axiomtico al que se le puede dar la siguiente interpretacin meta matemtica: a o a p = ((Esta declaracin no se puede probar.)) o El principal problema en ensamblar la idea de demostracin es el siguiente: para construir una o declaracin p que sea equivalente a ((p no se puede demostrar)), p tendr que de alguna manera o a contener una referencia a p que pudiese dar lugar a una regresin innita. Describiremos abajo el o ingenioso truco de Gdel, que ms tarde ser utilizado por Alan Turing para resolver el Entscheio a a dungsproblem. Para empezar, toda frmula o declaracin que se puede formular en nuestro sistema obtiene un o o identicador unico, llamado su nmero de Gdel. Esto se hace de una manera tal que es fcil con u o a vertir mecnicamente entre frmulas y nmeros de Gdel. Dado que nuestro sistema es lo bastante a o u o 3

fuerte para razonar sobre nmeros, ahora tambin es posible razonar sobre frmulas. u e o Una frmula F (x) que contiene exactamente una variable libre x se llama una forma declarativa. o Tan pronto como x se reemplaza por un nmero espec u co, la declaracin se transforma en una o declaracin bona de, y es o bien demostrable en el sistema o no. Las formas declarativas no son o declaraciones y por tanto no se pueden probar o refutar. Sin embargo, cada forma declarativa F (x ) tiene un nmero de Gdel que denotaremos como G(F ). La seleccin de la variable libre elegida u o o en la forma F (x) no es relevante para la asignacin del nmero de Gdel G(F ). o u o Mediante el anlisis cuidadoso de los axiomas y reglas del sistema, se puede escribir una forma a declarativa P (x) que encarna la idea de x es el nmero de Gdel de una declaracin que puede u o o demostrarse en nuestro sistema. Formalmente: P (x) se puede probar si x es el nmero de Gdel u o de una declaracin demostrable, y su negacin P (x) se puede probar si no lo es. (Aunque esto es o o adecuado para este esbozo de prueba, tcnicamente no es completamente exacto. Vea el art e culo de Gdel para este problema y el art o culo de Rosser para la resolucin. La palabra clave es omegao consistencia). Ahora viene el truco: una forma declarativa F (x) se denomina auto-indemostrable si la forma F, aplicada a su propio nmero de Gdel, no es demostrable. Este concepto se puede denir formalu o mente, y se puede construir una forma declarativa SU(z) cuya interpretacin es que z es el nmero o u de Gdel de una forma declarativa auto-indemostrable. Formalmente, SU(z) se dene como: z = o G(F) para alguna forma particular F (x), e y es el nmero de Gdel de la declaracin F(G(F)), y u o o P(y). Ahora la declaracin deseada p, que fue mencionada previamente, se puede denir como: o p = SU(G(SU)). Intuitivamente, cuando nos preguntamos si p es cierto, preguntamos ((Es la propiedad de ser auto-indemostrable ella misma auto-indemostrable?.)) Esto es reminiscente de la paradoja del barbero sobre un barbero que afeita a todas aquellas personas del pueblo que no se afeitan a s mismas: se afeita l a s mismo? e Ahora asumiremos que nuestro sistema axiomtico es consistente. a Si p fuese demostrable, entonces SU(G(SU)) ser cierto, y por la denicin de SU, z = G(SU) a o ser el nmero de Gdel de una forma declarativa auto-indemostrable. Por tanto, SU ser autoa u o a indemostrable, lo que por denicin de ese trmino implica que SU(G(SU)) no es demostrable, pero o e ese era nuestro p: pnoesdemostrable. Esta contradiccin muestra que p no puede ser demostrable. o Si la negacin de p = SU(G(SU)) fuese probable, entonces por denicin de SU esto signicar o o a que z = G(SU) no es el nmero de Gdel de una forma auto-indemostrable, lo que implica que u o SU no es auto-indemostrable. Por denicin de auto-indemostrable, concluimos que SU(G(SU)) es o demostrable, y por tanto p es demostrable. De nuevo una contradiccin. Esto deja maniesto que o tampoco la negacin de p puede ser demostrable. o De modo que la armacin p ni se puede probar ni refutar en nuestro sistema. o Esbozo de la pureba del segundo Teorema de Incompletud. 4

Sea p la armacin indecidible construida previamente, y asumamos que la consistencia del o sistema se puede probar dentro del propio sistema. Hemos visto arriba que si el sistema es consistente, entonces p no es demostrable. La prueba de esta implicacin se puede formalizar en el propio o sistema, y por tanto la armacin ((p no es demostrable)), o ((no P(p))) se puede demostrar en el o sistema. Pero esta ultima declaracin es equivalente a p mismo (y esta equivalencia se puede demostrar o en el sistema), de modo que p se puede demostrar en el sistema. Esta contradiccin pone de manio esto que el sistema debe ser inconsistente. Una demostracin alterna al Teorema de Incompletud de Gdel. o o Aqu se presenta una nueva demostracin sencilla del Teorema de Incompletud de Gdel dada o o por George Boolos, en la forma siguiente: No existe ningn algoritmo cuya salida contenga todos u los enunciados verdaderos de la Aritmtica y ningn enunciado falso. e u Esta demostracin se sirve de la paradoja de Berry. Bertrand Russell, en varios de sus art o culos, atribu a G. C. Berry, bibliotecario de la Universidad de Oxford, la paradoja sobre el m a nimo entero que no puede ser denido con menos de catorce palabras. La paradoja, desde luego, estriba en que se ha denido el tal entero con trece palabras. Sobre la paradoja de Berry dijo Bertrand Russell en cierta ocasin: Tiene el mrito de no salirse del mbito de los nmeros nitos .Antes de comenzar, o e a u hemos de hablar, siquiera brevemente, sobre algoritmos y sobre enunciados de la Aritmtica, y e sobre lo que verdadero o falso signican en el contexto que aqu nos concierne. Empecemos por los enunciados de la Aritmtica. e El lenguaje de la Aritmetica contiene los signos + y para la adicin y a multiplicacin, un o o nombre 0 para el cero, y un signo s para el sucesor (la operacin de aadir 1). Tambin contiene el o n e signo =, asi como los s mbolos lgicos (no), (y), (o), (entonces), (si y solo si), (para o todo), (existe), y los perntesis. Las variables del lenguaje de la Aritmtica son las expresiones, e e x ,x ,. . . construidas con los s mbolos x , : los valores que pueden tomar estas variables son los nmeros naturales: 0,1,2,. . . . Nos referimos abreviadamente a estas variables con las letras y, z, etc. u Para el propsito de la demostracin no hace falta formalizar la sintaxis y la semantica del o o lenguaje de la Aritmtica ms alla de lo ya expuesto. Por algoritmo entendemos un procedimiento e a o rutina computacional de las habituales; por ejemplo un programa en lenguaje de computacin o como C, una mquina de Turing, un algoritmo de Markov, etc. Suponemos que el algoritmo tiene a una salida, de las cosas que imprime durante o al nalizar la computacin (considerando tambin o e el caso en el que el algoritmo pudiera tener tambin una salida vac Si el algoritmo es un sistema e a). formal, entonces su salida no es otra cosa que el conjunto de enunciados que se pueden probar dentro del sistema. Aunque el lenguaje de la Aritmtica contiene slo los s e o mbolos s, +, y de ciertas operaciones, muchos enunciados de Matemticas se pueden formular como enunciados en a el lenguaje de la Aritmtica. De manera que si hubiera un algoritmo que imprimiera todos los e enunciados verdaderos de la Aritmtica sin incluir ninguno falso -lo que segun el Teorema de Gdel e o que aqu se demuestra no es posible- tendr amos una forma de averiguar si estas proposiciones son ciertas o no, y tendr amos adems un procedimiento para decidir si un enunciado cualquiera S a que se puede expresar en el lenguaje de la Aritmtica es cierto: bastar con iniciar el algoritmo y e a 5

esperar si imprime S o S. Dicho algoritmo no existe como veremos a continuacin. o Para demostrar que no existe ningun algoritmo cuya salida incluya todos los enunciados verdaderos de la Aritmtica y sin contener ninguno falso, supondremos que M es un algoritmo cuya e salida no contiene ningun enunciado falso y se hallar un enunciado verdadero que no se encuentra a en la salida de M, lo cual demuestra el teorema. Para cualquier nmero natural n, denotaremos por [n] la expresin que consta de 0 precedido u o por n s mbolos s de sucesor. Por ejemplo, [3] es sss0. Obsrvese que la expresin [n] representa e o el nmero n. Necesitamos una denicin ms: diremos que una frmula F (x) nombra al nmero u o a o u natural n si el siguiente enunciado es parte de la salida del algoritmo M : x(F(x)x = [n]). Obsrvese cmo la denicin de nombra hace referencia al algoritmo M. As por ejemplo, si e o o , x(x+x = ssss0x = ss0) se encuentra en la salida de M, entonces la frmula x+x = ssss0 nombra al nmero 2. Ninguna o u frmula puede nombrar a dos enteros diferentes, pues si o x(F(x)x = [n]) y x(F(x)x = [p]) son ambas ciertas, entonces tambin son ciertas e x(x=[n]x=[p]) y [n] = [p] y el nmero n debe ser igual al nmero p. Adems para cada nmero i, hay tan slo una u u a u o cantidad nita de frmulas que contienen i s o mbolos (pues hay slo 16 s o mbolos primitivos en el lenguaje de la Aritmtica). Por consiguiente solo hay un nmero nito para cada m en realidad e u m1 +16m2 +. . .+161 +160 ) n meros que se pueden nombrar mediante frmulas de de menos ( 16 u o de m s mbolos. Sea C(x,z) una frmula del lenguaje de la artmtica que dice que una frmula que o e o contiene z s mbolos nombra a x (los detalles de esta frmula se explican en el art o culo de Boolos). Concideremos ahora B(x,y) la frmula o z(z < y C(x,z)) Esta frmula dice que se puede nombrar a x mediante alguna frmula que contiene menos de y o o s mbolos. 6

Sea ahora A(x,y) la frmula o (B(x,y) a (a<x B(a,y))) Esta frmula dice que x es el menor nmero que no puede ser nombrado mediante una frmula o u o que contenga menos de y s mbolos. Sea k el nmero de s u mbolos en A(x,y) con k > 3. Finalmente, sea F(x) la frmula considerada como o y(y=([10][k] A(x,y))) F(x) dice que x es el menor nmero que no se puede nombrar mediante ninguna frmula que u o contenga menos de 10k s mbolos. Entonces contamos el nmero de s u mbolos que contiene F. Primero [10] contiene 11 s mblos, [k ] contiene k+1, A(x,y) contiene k por hiptesis y hay otros 12 s o mbolos puesto que y es una variable nueva y=x. Por lo tanto el total es de 2k+24 y entonces 2k+24<10k y F(x) contiene menos de 10k s mbolos. Antes se observ que para cada m hay un nmero que es o u el ms pequeo entre los que no pueden ser nombrados mediante frmulas que contienen menos de a n o m s mbolos. Para cada m=10k, sea n el menor de tales nmeros. Entonces F(x)no nombra a n; en u otras palabras x(F(x) x=[n]) no se encuentra en la salida de M. Lo que es una contradiccin, pues o x(F(x) x=[n]) es un enunciado verdadero, ya que n es el menor nmero no nombrado por ninguna frmula u o que contenga menos de 10k s mbolos. Q.E.D

Bibliograf a. Memoirs of a Proof Theorist: Gdel and Other Logicians. Gaisi Takeuti,Nicholas Passell,Mariko o Yasugi. Una demostracin del Teorema de Incompletitud de Gdel por George Boolos. o o From Certainty to Uncertainty. F. David Peat Wikipedia: http : //es.wikipedia.org/wiki/P aradojadeBerry http : //es.wikipedia.org/wiki/KurtGodel http : //en.wikipedia.org/wiki/KurtGodel