Teorema de Gdel

Ethel Greizerstein*
Les pasa que cuando alguien los acusa de algo dicen, pero, vos tambin? A mi me
parece un recurso terriblemente fraterno. Cuando nos regaaban por algo, en
seguida argamos - el tambin con el dedito ndice sealando a la vctima. Cuando
acusan a las ciencias sociales, al psicoanlisis y otras disciplinas de falta de rigor mi
recurso es el mismo Vos tambin.
Esta meta de poder acusar el Vos tambin me llev a interesarme por las paradojas y,
como necesaria consecuencia, por el Teorema de Gdel, que en el libro que consult
Douglas R. Hosfstadter (Gdel, Escher, Bach, un eterno y grcil bucle.) vena a
continuacin. As de sencillo.
Mi intencin es contar lo que pude entender, de una manera incompleta o incoherente
(tales los trminos que surgen del intento de inteleccin de dicho mamotreto de 900
pginas)
Partimos de la paradoja de Epimnides:
Todos los cretenses son mentirosos enunciado del que no podemos salir ni resolver,
trampas del pensamiento.
Refresco un poco lo que haba escrito en los artculos mencionados, que si bien en la
lgica clsica todo juicio debe ser necesariamente verdadero o falso, sucede que hay
razonamientos correctos que partiendo de una proposicin aparentemente no
contradictoria y con sentido, llegan a una contradiccin.
No hay un acto simple de pensamiento, cada palabra pone en juego todas las
potencias del sinsentido. Las paradojas no son contradicciones, sino que nos hacen
asistir a la gnesis de la contradiccin. La fuerza de la paradoja reside en que no son
contradictorias.
Estas paradojas surgan constantemente en las matemticas, pese a sucesivos intentos
de eliminarlas. Hasta 1931 se crey que era posible llevar a cabo un programa de
completa axiomatizacin de la matemtica. Pongamos un ejemplo:
La afirmacin que sigue es falsa
La afirmacin que antecede es falsa.
La culpa de esta paradoja es la manera en que apuntan la una a la otra..
Lo mismo en la paradoja de Russell que se plantea en qu conjunto se pone al catlogo
de los catlogos. Si se lo pone en el conjunto de los catlogos cmo nombramos a
ese conjunto? Catlogo de los catlogos? Y as sucesivamente... El nico culpable de
las paradojas parece ser el fenmeno de la autorreferencia.
Russell y Whitehead trataron de eliminar estos tipos de enunciados, e hicieron la
Principia Matemtica. Se aplicaron a que un conjunto slo pudiera abarcar objetos del

tipo de ms abajo. Tratan de eliminar las paradojas mediante una jerarquizacin y

prohibiendo cierto tipo de conjuntos. En la base de esta jerarqua estara un lenguaje
objeto, un lenguaje de cdigo que nada tiene que ver con la lengua coloquial.
Y aqu viene Kurt Gdel en 1931 a mostrar que dado un sistema logstico
razonablemente rico (como el de la Principia Matemtica de Fraenkel y Von Neuwann )
tal sistema es esencialmente incompleto por aparecer por lo menos un enunciado o
teorema que no es decididle en el sistema. ( un enunciado es indecidible cuando no se
puede demostrar)
K.G. mostr que mediante una aritmetizacin de la sintaxis y mediante un nmero
gdeliano puede llegar a probarse que tal frmula es demostrable si y solo si la
negacin de la misma frmula es asimismo demostrable. Lo que la torna en
indecidible. Me siguen? Si se puede demostrar la afirmacin y la negacin de un
mismo enunciado, este es indecidible.
La locucin de referencia puede ser representado mediante una frmula aritmtica tal,
que si esta frmula es demostrable, entonces la mencionada formula indecidible es
tambin demostrable.
La paradoja de Epimnides no es ni verdadera ni falsa. Gdel dice que es verdadera,
pero indemostrable.
Para considerar aspectos propios del lenguaje, habra que crear un metalenguaje. En
seguida tendra que haber un metalenguaje para hablar del metalenguaje. Por
ejemplo: no podra decir En mi libro crtico la teora de los conjuntos porque el libro
sera un metalibro, y mi persona es alguien a quien no debo referirme porque no es un
objeto codificado en el sistema.
Si una teora est hecha slo para estudiar lenguajes formales y no lenguajes
coloquiales es extremadamente acadmica. Obliga a conceder un papel
desproporcionado a lo coherente en menoscabo de lo excntrico y extrao. Ese fue el
objetivo de la Principia Matemtica. Era cierto que siguiendo los mtodos de R. y W.
nunca se llegaba a resultados contradictorios? O sea era coherente sin
contradicciones- y completo abarcaba toda la matemtica-?
Nuestro hroe, K. Gdel lleg a que haba agujeros en el sistema axiomtico, y si se
evitaban esos agujeros, el sistema no era coherente (repito, coherente quiere decir sin
contradicciones)
Todo sistema lgico que no tuviera este problema debera poseer reglas de inferencia
ms ricas que el clculo sobre el cual se pronuncia y en el interior de sistema vuelva a
aparecer este problema.. SI EL SISTEMA ES COMPLETO NO ES CONSISTENTE, SI ES
CONSISTENTE NO ES COMPLETO. Traduzco: para evitar las contradicciones habra que
tener una sistema ms rico que el que analizamos, eso es otro sistema, entonces el que
estamos analizado NO ES COMPLETO!
A Gdel se le ocurri la idea de utilizar el razonamiento matemtico para explorar el
razonamiento matemtico y lleg al teorema de la incompletitud., o sea Toda
formulacin axiomtica de la teora de los nmeros incluye proposiciones
indecidibles..

La paradoja es una proposicin auto-referencial. Servirse del lenguaje para hablar del
lenguaje. Sin entrar en el nmero de Gdel resumiremos diciendo que la paradoja de
Epimnides no tienen ninguna demostracin. Demostracin son pruebas dentro de
sistemas fijos de proposiciones.
Paradoja de Epimnides todos los cretenses son mentirosos
La creacin de la inteligencia mecanizada (computadoras) plantea siempre un lmite,
un estorbo, el que superado, hace aparecer un nuevo estorbo. No hay quien sepa
dnde est la raya divisoria entre la conducta no-inteligente y la inteligente, y tal vez
buscarla sea un estupidez. Tal vez en el meollo de la inteligencia hayan reglas que
directa o indirectamente se alteran a s mismas, Gdel dice que ningn sistema formal,
por bien construido que est, puede ser perfecto, en el sentido de reproducir toda
proposicin verdadera bajo la forma de un teorema. Esto de denomina incompletitud
de tal sistema.
Hay discos que un fongrafo no podra escuchar, pues causaran su autodestruccin.
*Analista de Premai Fractal