Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
lgica matemtica. Es tambin, quiz, el que ha ejercido ms fascinacin en mbitos alejados de las
ciencias exactas. Citado en disciplinas tan diversas como la semitica y el psicoanlisis, la filosofa
y las ciencias polticas, el fenmeno de incompletitud se ha asociado tambin a supuestas derrotas de
la razn y al fin de la certidumbre en el terreno ms exclusivo del pensamiento: el reino de las
frmulas exactas. Pero tambin desde el interior de la ciencia se esgrime el teorema de Gdel en
agudas controversias epistemolgicas, como la que rodea las discusiones sobre inteligencia
artificial. Surgido casi a la par de la Teora de la Relatividad, y de manera quiz ms sigilosa, el
teorema de Gdel se ha convertido en una pieza fundamental y una referencia ineludible del
pensamiento contemporneo.
Con el propsito de hacerlo accesible a un pblico que no necesariamente tenga formacin
matemtica, Guillermo Martnez y Gustavo Pieiro han logrado una exposicin detallada, rigurosa,
pero de extrema suavidad, totalmente autocontenida: magistral. Tambin discuten con autores como
Kristeva, Lacan, Debray, Deleuze, y Lyotard, quienes han invocado a Gdel y sus teoremas en
arriesgadas analogas.
El logro notable de este libro es que tanto las personas de cualquier disciplina que slo tengan la
imprescindible curiosidad de espritu como los que hayan estudiado los teoremas de Gdel podrn
aventurarse a la experiencia de conocer en profundidad una de las hazaas intelectuales ms
extraordinarias de nuestra poca; porque si bien empieza de cero, llega mucho ms all de lo que se
han propuesto las divulgaciones ms conocidas en lengua castellana.
INTRODUCCIN
a los lectores que hayan ledo sobre el Teorema de Gdel en exposiciones parciales, y aun a los que
hayan estudiado los teoremas de Gdel y sus demostraciones en profundidad. Porque si bien nuestro
libro empieza de cero, llega mucho ms all de lo que se han propuesto las divulgaciones ms
conocidas en lengua castellana. En particular, damos una demostracin rigurosa y con todos los
detalles de los teoremas, aunque en una aproximacin diferente de la ms habitual, novedosa por su
sencillez, en la que utilizamos la mnima cantidad posible de tecnicismos matemticos. Hemos
incluido tambin un ltimo captulo con una investigacin propia del fenmeno de incompletitud en
un contexto general y problemas abiertos, para mostrar la prolongacin que tienen estas ideas y las
preguntas que los teoremas de Gdel, todava hoy, siguen suscitando.
El material est organizado de la siguiente manera:
En el primer captulo damos un panorama general, y una primera aproximacin informal, tanto
de los enunciados de los teoremas de Gdel como de algunas derivaciones filosficas.
En el captulo 2 exponemos el contexto histrico y el estado de la discusin en los fundamentos
de la matemtica en el momento en que irrumpen los resultados de Gdel. Al final del captulo
incluimos una seccin sobre las tergiversaciones y errores ms frecuentes en torno de la
divulgacin de los enunciados.
En el captulo 3 introducimos el lenguaje formal necesario para enunciar los teoremas con toda
la exactitud necesaria, y abrir paso a las demostraciones.
Los tres captulos terminan aparentemente de la misma manera, con el enunciado de los
teoremas de Gdel. Pero nuestra intencin y esperanza es que se lean, cada vez, con una comprensin
ms profunda, y con el nuevo sentido y la mayor precisin que se incorpora en cada etapa.
En el captulo 4 exponemos algunas analogas e intentos de aplicacin del Teorema de Gdel en
distintas disciplinas sociales, fuera de la matemtica. En particular analizamos textos de Julia
Kristeva, Paul Virilio, Rgis Debray, Gilles Deleuze y Flix Guattari, Jacques Lacan, y JeanFranois Lyotard.
Esto concluye la primera parte.
La segunda parte est dedicada a la demostracin de los teoremas. La prueba que damos tiene,
creemos, la mnima cantidad posible de tecnicismos matemticos. Mostramos, esencialmente, que
toda la argumentacin de Gdel puede desarrollarse a partir de un nico hecho matemtico: la
existencia en la aritmtica de una operacin que refleja la manera en que las letras de un lenguaje se
yuxtaponen unas a continuacin de las otras para formar palabras.
La tercera parte, finalmente, est dedicada a una exploracin propia sobre el fenmeno de
incompletitud en un contexto ms general y abstracto. Nos preguntamos cul es el hecho matemtico
que puede rastrearse en otros objetos, y que divide aguas entre teoras completas e incompletas.
Casi todos los captulos incluyen al final una seccin de ejercicios. Despus de algunas dudas
decidimos agregar tambin la resolucin. Esperamos que esto sea un estmulo adicional para pensar
primero sin ayuda una solucin propia y slo despus comparar con la que proponemos en cada
caso.
El libro se completa con tres apndices: el primero, para consulta durante la lectura, rene una
variedad de teoras que sirven de ejemplo o contraejemplo a distintas afirmaciones. El segundo es
una seleccin de textos de los propios protagonistas Cantor, Russell, Hilbert, etc. sobre los hitos
principales del fenmeno de incompletitud, que dan en conjunto una pequea historia del tema. El
tercero es una biografa de Kurt Gdel, con una cronologa de su vida.
Hemos dejado en el ltimo captulo preguntas abiertas y quizs algunos lectores se propongan
tambin el desafo de responderlas. Otros lectores, tal vez, quieran hacernos llegar sugerencias o
crticas sobre distintos puntos de nuestra exposicin, o sealarnos errores que se nos hayan
deslizado. Decidimos por eso abrir un blog para recibir comentarios:
www.godelparatodos.blogspot.com
Pondremos all tambin en forma completa algunos de los textos citados que debimos resumir
para el formato libro, y tambin distintos artculos de la bibliografa que nos resultaron
particularmente interesantes.
Queremos finalmente agradecer a Xavier Caicedo por varias conversaciones y explicaciones
esclarecedoras sobre puntos delicados de la teora y tambin la lectura final generosa y atenta de
Pablo Coll, Gisela Serrano y Pablo Amster.
Para esta nueva edicin espaola quisiramos agradecer tambin los comentarios y aportes de
Vernica Becher, Roberto Cignoli, Cristian Caravello, Mximo Dickmann, Francisco Espinosa,
Javier Fresn, Hernn Gonzlez, Toms Ibarluca, Mara Celia Ibarra, Pablo Kaczor, Laureano Luna,
Luciano Robino y Enzo Tagliazucchi.
PRIMERA PARTE
CAPTULO UNO
UN PANORAMA GENERAL
Lo verdadero y lo demostrable. Los sistemas axiomticos formales. Completitud y axiomas. El infinito: La bte noire en los
fundamentos de la matemtica. El Teorema de Incompletitud. La prueba original de Gdel. El Teorema de Consistencia.
Extensin y alcance del Teorema de Gdel. Precauciones. Gdel, las computadoras y la inteligencia artificial. Derivaciones
filosficas. Ejemplos y ejercicios.
Hay un concepto que es el corruptor y el desatinador de los otros. No hablo del Mal,
cuyo limitado imperio es la tica; hablo del infinito.
JORGE LUIS BORGES
Avatares de la tortuga
1. LO VERDADERO Y LO DEMOSTRABLE
El Teorema de Incompletitud de Gdel trata de la verdad en matemtica y de la parte de verdad
que puede ser comprobada a partir de axiomas, en esos fragmentos de texto de lneas sucesivas
encadenadas por pasos lgicos que los matemticos llaman demostracin.
En otras disciplinas del conocimiento siempre ha sido claro que lo verdadero no
necesariamente coincide con lo demostrable. Imaginemos, para dar una analoga con la justicia, que
se comete un crimen en un cuarto cerrado y que el juez de instruccin, al llegar, encuentra que hay
nicamente dos sospechosos junto al cadver.
Cualquiera de estos dos sospechosos sabe toda la verdad sobre el crimen, que puede resumirse
en la frase Yo fui o Yo no fui. Es decir, la cuestin de la verdad del suceso, que hubo un crimen
y hay un culpable, no est en duda. Sin embargo, si el juez no dispone de la confesin directa del
culpable, debe intentar un camino indirecto: recoleccin de evidencias materiales, verificacin de
horarios y coartadas, huellas dactilares, etc. Muchas veces este camino indirecto no alcanza a
demostrar, de acuerdo con los estrictos requisitos legales, ni la culpabilidad de uno ni la inocencia
del otro. Hay una verdad, pero el mtodo, a veces, es insuficiente para demostrarla de acuerdo a la
exigencia de sus propios protocolos. Algo similar ocurre en la arqueologa, en las hiptesis
alrededor de una excavacin. Hay tambin una verdad precisa, que corresponde a lo que en una
poca determinada fueron esos seres humanos, con sus rituales y costumbres, pero los arquelogos
slo pueden inferir, a partir de los despojos que encuentran, versiones parciales de esa verdad. En
este caso la verdad es como un lmite, la sucesin en el tiempo de restos hallados, e hiptesis
provisorias.
En muchos otros campos del conocimiento estn representados estos dos mundos distintos, lo
verdadero y lo demostrable. Aunque se solapan, no necesariamente coinciden. Curiosamente, los
matemticos, por lo menos hasta el siglo XIX,[2] siempre pensaron que en su disciplina los dos
mundos eran identificables, y que cualquiera que fuera la verdad que pudieran observar en el mundo
platnico de los objetos matemticos bajo estudio (cierto orden, ciertas conexiones, cierto patrn de
regularidad), esa verdad podra reobtenerse por escrito mediante el mtodo axiomtico, como
tesis de una demostracin. Sin embargo, el Teorema de Incompletitud de Gdel puso en evidencia
una limitacin intrnseca a las demostraciones basadas en sistemas de axiomas. Pero para entender
qu dice exactamente el teorema (y qu no dice) debemos precisar mejor qu entienden los
matemticos por demostracin y por sistema axiomtico.
Una demostracin en matemtica es una cadena de afirmaciones, de oraciones afirmativas, en
las que aparecen frmulas y consideraciones lgicas (vase por ejemplo la Fig. 2).
Fig. 2: Pizarrn con lneas de una demostracin. Q.E.D. son las letras con que los matemticos terminan
una demostracin y significan Como queramos demostrar (quod erat demonstrandum).
Cada una de estas afirmaciones, tambin llamadas enunciados, es, o bien un axioma (un
enunciado que se da por vlido al inicio del razonamiento), o bien se obtiene de eslabones anteriores
en la cadena por reglas lgicas bien determinadas. Los teoremas son los enunciados que admiten una
demostracin.
Una vez escrita una demostracin y ste es quizs el punto ms slido de la matemtica como
ciencia cualquiera puede detenerse cuanto quiera entre paso y paso para inspeccionar la
correccin del argumento. Ms an, idealmente incluso una persona sin conocimientos matemticos
debera ser capaz de seguir y corroborar una demostracin verificando cada una de las ligaduras
lgicas. Es un procedimiento casi mecnico, similar al de la computadora que dibuja rayitas rectas,
en pxels muy pequeos, sin saber que al final conformarn una figura de complejidad insospechada.
Repetimos entonces: una demostracin es una sucesin en general muy larga de enunciados, que
se encadenan uno a otro por pasos muy elementales, estrictamente lgicos. Estos pasos pueden
examinarse con todo el detenimiento necesario para tener la absoluta seguridad de que no se ha
cometido ningn error. Cuando el razonamiento es profundo, la tesis, aunque se desprende
necesariamente de la sucesin de pasos, sorprende con respecto a los axiomas, de la misma manera
que la secuencia de actos inocentes de un ilusionista no hace esperar el efecto maravilloso final. La
inteligencia, la creatividad, estuvo antes, en la eleccin inspirada de cada paso para encontrar, entre
todas las posibles bifurcaciones, el camino oculto que lleva de los axiomas a la tesis.
Fig. 3: La demostracin como un laberinto de bifurcaciones. El camino es fcil slo despus de marcado.
absolutamente mecnica, sin que sea necesario entender qu dice cada lnea, en una cantidad finita
de pasos lgicos. El cumplimiento de este requisito para las demostraciones est ntimamente ligado
a la manera de elegir y fijar en cada caso el conjunto de axiomas. En realidad, la condicin crtica
que debe pedirse al conjunto de axiomas es la siguiente:
(R) Dado un enunciado cualquiera, puede determinarse, en una cantidad finita de pasos,
si el enunciado pertenece o no al conjunto de axiomas.
Esta pequea precisin tcnica, dada por la condicin (R) que en la mayora de las
divulgaciones no se menciona es fundamental para enunciar y entender en su verdadero alcance el
Teorema de Gdel. Diremos en lo sucesivo, para seguir el nombre que le dio originariamente Gdel,
que un conjunto de axiomas es recursivo si verifica esta condicin. Todo conjunto dado por una lista
finita de axiomas es recursivo, pero tambin hay conjuntos infinitos de axiomas que son recursivos.
(Vanse los Ejercicios 1.1 y 1.2 al final del captulo). La importancia de esta definicin, repetimos,
es que:
Toda demostracin a partir de un conjunto recursivo de axiomas puede corroborarse en
una cantidad finita de pasos.
Probaremos esto en el prximo captulo. Vale tambin que si un conjunto de axiomas es
recursivo, todas las demostraciones a que puede dar lugar el conjunto de axiomas pueden ser
generadas mecnicamente por una computadora. (Vase el Ejercicio 1.4.)
3. COMPLETITUD Y AXIOMAS
Histricamente, la nocin de axioma estuvo primero asociada a la nocin de verdad, y a la
posibilidad de seleccionar, en cierta rea u objeto de estudio, una parte de los enunciados
verdaderos, algunos pocos principios crticos, bien determinados, que permitieran reobtener el
todo.
En este sentido, diremos que un conjunto de enunciados verdaderos seleccionados como
axiomas es completo si pueden reobtenerse, va demostraciones, como teoremas, todos los
enunciados verdaderos del rea o del objeto que nos proponemos axiomatizar.
Dado un objeto matemtico O, si consideramos el conjunto T(O) de todos los enunciados
verdaderos en O, este conjunto siempre puede postularse como un conjunto de axiomas completo
para O. Se lo llama la axiomatizacin trivial: la demostracin de cada enunciado verdadero consta
de una sola lnea. Pero, en general, este conjunto no es recursivo, los axiomas no pueden reconocerse
efectivamente, o ser presentados a travs de una lista, y esta axiomatizacin trivial no sirve por lo
tanto a los propsitos de establecer demostraciones que puedan ser corroboradas mecnicamente. La
condicin (R) tambin captura la nocin de pocos y de bien determinados, dados por una
lista. En efecto, vale que si el conjunto de axiomas es recursivo, los axiomas pueden presentarse
efectivamente en una lista (posiblemente infinita). (Vase el Ejercicio 1.4.)
Y a continuacin adelanta la tesis principal de su teorema, que da por tierra con las esperanzas
formalistas al anunciar que ese propsito es imposible:
En lo que sigue mostraremos que esto no es as, sino que ms bien, en ambos sistemas,
existen problemas relativamente simples de la teora elemental de nmeros naturales
que no pueden ser decididos sobre la base de los axiomas.
De esta manera, la situacin entre lo verdadero y lo demostrable en el terreno de la aritmtica
elemental es anloga a la del crimen con dos sospechosos en el cuarto cerrado: cualquiera que sea el
sistema axiomtico (recursivo) propuesto, habr enunciados que quedan fuera del alcance del mtodo
de demostracin, enunciados que para el sistema son indecidibles, en el sentido de que no puede
demostrarse ni su verdad ni su falsedad, ni su inocencia ni su culpabilidad. Dicho de otro modo,
la verdad no puede reducirse enteramente al plano sintctico de lo demostrable. Si llamamos T(N) al
conjunto de todos los enunciados verdaderos en los nmeros naturales, el teorema nos dice que no
hay manera de elegir convenientemente una parte recursiva de T(N) que pueda generar, va
demostraciones, el todo.
5. EL TEOREMA DE INCOMPLETITUD
Hemos dicho que un conjunto de enunciados verdaderos seleccionados como axiomas es
completo si pueden reobtenerse, va demostraciones, como teoremas, todos los enunciados
verdaderos del rea o del objeto que nos proponemos axiomatizar.
Hay, sin embargo, una segunda definicin de completitud que prescinde de la nocin de verdad,
y que es la que us Gdel para enunciar su teorema. De acuerdo con esta definicin un sistema
axiomtico es completo si todo enunciado es o bien demostrable, o bien refutable a partir de los
axiomas del sistema (donde refutable significa que puede demostrarse su negacin). Dicho de otro
modo, un sistema axiomtico es incompleto si hay algn enunciado que el sistema no puede ni
demostrar ni refutar. Esta clase de enunciados que no pueden demostrarse ni refutarse dentro de un
sistema se llaman indecidibles (para ese sistema).
Veremos en el captulo 3 que si se eligen los axiomas dentro del conjunto de enunciados
verdaderos, las dos definiciones son equivalentes. Con esta precisin podemos dar ahora la
formulacin quiz ms conocida del Teorema de Incompletitud de Gdel, que incluye una
contribucin posterior de John Rosser.
TEOREMA DE INCOMPLETITUD (Gdel y Rosser):
Todo sistema axiomtico consistente y recursivo para la aritmtica tiene enunciados
indecidibles. En particular; si los axiomas del sistema son enunciados verdaderos,
puede exhibirse un enunciado verdadero y no demostrable dentro del sistema.
7. EL TEOREMA DE CONSISTENCIA
Dentro del mismo trabajo, Gdel mostr que tambin la propiedad de consistencia de un sistema
axiomtico recursivo para la aritmtica es expresable en el lenguaje de la aritmtica por un
enunciado. Esto le permiti probar un segundo teorema sobre la consistencia, que es en s mismo otra
limitacin al alcance de los mtodos finitistas:
TEOREMA DE CONSISTENCIA:
bsicas, pueden reproducirse, dentro de estos sistemas, los argumentos de la demostracin original.
Sin embargo, a la vez, hay ejemplos tambin muy relevantes de teoras matemticas que s son
completas. Por mencionar uno solo, si consideramos los nmeros complejos, con las operaciones de
suma y multiplicacin, puede darse una axiomatizacin recursiva y completa del conjunto de todos
los enunciados verdaderos. (Vase el Ejemplo 1.1 al final del captulo). En el Apndice I hay varios
otros ejemplos de teoras que admiten axiomatizaciones recursivas y completas.
De manera que los dos fenmenos, tanto el de incompletitud como el de completitud, conviven
en la matemtica. Ms an, hay ejemplos de teoras en apariencia muy prximas entre s que resultan
una completa y la otra no. (Vase el Apndice I, Ejemplo 11). Esto indica que se requiere cierta
precaucin epistemolgica cuando se intenta extrapolar el resultado de Gdel fuera de la matemtica.
En realidad la argumentacin de Gdel depende de una propiedad matemtica muy sutil, muy
especfica. La demostracin que daremos a partir del captulo 5 trata de poner en evidencia esa
propiedad, que hasta cierto punto divide aguas entre las teoras completas e incompletas. La
explicamos aqu hasta donde podemos, sin tecnicismos:
En el lenguaje escrito las expresiones se unen, se yuxtaponen unas con otras para formar
palabras. Por ejemplo, las expresiones sal y as se yuxtaponen para formar salas (o bien
assal). Esa operacin, que estudian los matemticos, se llama concatenacin. Lo que ocurre en los
nmeros naturales es que con el auxilio de la suma y la multiplicacin se puede reflejar esta
operacin y transcribir el lenguaje en trminos de relaciones numricas. As, y en general, cuando
el objeto matemtico logra reflejar la concatenacin del lenguaje y se pueden traducir ciertas
afirmaciones del lenguaje en trminos de relaciones y operaciones matemticas, entonces se tiene el
fenmeno de incompletitud. Si no, nada se puede asegurar en principio.
Todo esto indica que se debe tener mucho cuidado cuando se habla del Teorema de Gdel fuera
del mbito de la matemtica, porque es muy posible que lo que se diga no tenga ningn sentido, ms
all de lo metafrico. Discutiremos algunas de las extrapolaciones del Teorema de Gdel fuera del
mbito de la matemtica en el captulo 4. Por ahora slo sealamos que si se pretende intentar alguna
analoga con respecto al fenmeno de incompletitud debera darse un argumento adicional de por qu
se elige en todo caso para la comparacin la aritmtica elemental (una teora incompleta), y no
cualquier otra de las muchas teoras matemticas que s admiten axiomatizaciones recursivas y
completas.
formal. Un tal argumento gdeliano contra el mecanicismo fue ya considerado, slo para
refutarlo, por Turing en 1940.
Una injustificada conclusin antimecanicista fue deducida de los teoremas de Incompletitud
en la muy conocida exposicin popular El Teorema de Gdel, de Nagel y Newman (1958).
Poco despus, J. R. Lucas (1968) afirm que los teoremas de Incompletitud de Gdel
prueban que el mecanicismo es falso, esto es, que la mente no puede ser explicada por
mquinas. Enunci que dada cualquier mquina que es consistente y capaz de hacer
aritmtica simple, hay una frmula que es incapaz de producir aunque es verdadera pero
de la cual podemos ver que es verdadera. Ms recientemente afirmaciones muy similares
fueron expuestas por Roger Penrose (en 1990 y 1994). Crispin Wright (en 1994 y 1995) ha
sostenido, desde un punto de vista intuitivo, ideas relacionadas. Todos ellos insisten en que
los teoremas de Gdel implican que la mente humana supera infinitamente el poder de
cualquier mquina finita. Estos argumentos gdelianos antimecanicistas son, sin embargo,
errneos. El error bsico en todos estos argumentos es bastante simple de explicar. El
argumento supone que para cualquier sistema formalizado, o mquina finita, existe un
enunciado de Gdel (que afirma de s mismo que no es demostrable en el sistema) que
es indemostrable, pero que la mente humana puede ver que es verdadero. Pero el
Teorema de Gdel tiene en realidad una forma condicional [la forma de una implicacin]
y la pretendida verdad del enunciado de Gdel de un sistema depende de la suposicin
de la consistencia del sistema. Esto es, todo lo que el Teorema de Gdel nos permite
probar a los humanos con certeza matemtica es que, dada una teora formalizada F, vale:
Si F es consistente entonces GF es verdadero.
Recordemos que el enunciado GF afirma Yo no soy demostrable en F. Si F es inconsistente,
GF es demostrable (porque, como veremos, en una teora inconsistente todo enunciado es
demostrable). Entonces GF es falso.
El argumento antimecanicista requiere entonces que la mente humana pueda tambin
ver si la teora formalizada en cuestin es, o no es, consistente. Sin embargo esto es
muy poco plausible. Despus de todo recordemos que incluso distinguidos lgicos como
Frege, Curry, Church, Quine, Rsser y Martin-Lf propusieron seriamente teoras
matemticas que luego resultaron ser inconsistentes. Como dice Martin Davis: La
intuicin no ayuda. Lucas, Penrose y otros han intentado ciertamente responder a esta
crtica pero permanece el hecho de que nunca han podido resolver el problema
fundamental enunciado antes. A lo sumo han podido cambiar el tema de discusin. []
absoluto para el pensamiento lgico, o un golpe mortal a la razn clsica, o el fin de la certidumbre
en el terreno de la matemtica, etctera. Sin embargo, el propio Gdel, y a pesar de haber meditado
largamente sobre esto, fue muy cauteloso respecto a las consecuencias filosficas de su teorema. En
1951 fue invitado a dar la clebre conferencia Gibbs en la reunin anual de la American
Mathematical Society, y el ttulo de su disertacin fue Algunos teoremas bsicos sobre los
fundamentos de la matemtica y sus implicaciones filosficas [Gdel (2)]. En esa conferencia
expuso, a travs de una dicotoma, la opinin de que sus teoremas podan sustentar un punto de vista
platonista, aunque era muy consciente de que esta clase de ideas no eran compartidas por los
matemticos de su poca. Nunca se decidi a publicar este trabajo. Posteriormente, el lgico
Solomon Feferman hizo una crtica detallada de esta exposicin en [Feferman].
Es cierto que para los lgicos de principios del siglo pasado (y sobre todo para los logicistas
como Bertrand Russell, Ernst Zermelo, o el propio David Hilbert) el Teorema de Gdel fue algo
inesperado y, ms an, contrapuesto a la intuicin histrica matemtica, largamente entrenada a
partir de Euclides, en los mtodos axiomticos. Pero, a la vez, el Teorema de Gdel no contradice ni
impugna ninguno de los teoremas ya obtenidos de la matemtica, sino que demuestra, ms bien, la
limitacin de un mtodo. Y de estos resultados sobre alcance y lmites de mtodos hay muchos en
matemtica, slo que no se han puesto de moda en otros mbitos ni han inspirado tantas lecturas
dramticas. En efecto, el Teorema de Gdel puede verse en una perspectiva similar a lo que fue el
problema de la raz de dos para los griegos. De la misma manera que el mtodo de dividir enteros
entre s no alcanza para obtener la raz cuadrada de dos, los mtodos finitistas de demostracin
no alcanzan a probar toda la verdad en matemtica. Sabemos, sin embargo, que para calcular la
raz de dos se han desarrollado histricamente otros mtodos ms sofisticados, que involucran la
nocin de lmite matemtico y de aproximacin progresiva. En particular, es muy fcil escribir el
programa para una computadora que funciona indefinidamente y va arrojando todos los dgitos del
valor exacto de la raz de dos, un nmero que no conoceremos escrito de una vez en nuestra vida
finita, pero que no por eso deja de tener una existencia matemtica perfectamente aceptable y
aceptada.
Y lejos de ser un golpe fatal a los procedimientos de la razn, la matemtica avanza en todas las
reas sin preocuparse demasiado por el Teorema de Gdel. El Teorema de Gdel es visto antes como
una curiosidad filosfica que como una preocupacin prctica de la disciplina. Esto tambin es muy
importante para tener en cuenta: no es que los matemticos estn detenidos en un limbo de indecisin
desde que Gdel demostr este teorema. Si bien el fenmeno de incompletitud tiene gran importancia
conceptual en algunas ramas vinculadas a la computacin, a la topologa, o a la teora abstracta de
modelos, y el Teorema de Gdel inaugur toda una nueva rama de la matemtica vinculada al
problema de la decisin, fuera de estos mbitos el Teorema de Gdel es mirado como un exotismo de
los lgicos por la gran mayora de los matemticos. Por qu? Porque los matemticos, en la prctica
diaria, y sin ni siquiera reparar del todo en ello, utilizan teoras axiomticas muy poderosas que
empujan los posibles enunciados indecidibles a planos esotricos, por fuera del contenido
matemtico inmediato que atae e interesa a cada teora. Esto explica que, ms all de algunas
excepciones notables (por ejemplo, el llamado Halting Problem en computacin o el Teorema de
Rice, vase [Davis, Sigal, Weyuker], o la vinculacin de la indecidibilidad de la aritmtica con la
solucin de ecuaciones diofnticas y el dcimo problema de Hilbert, vase por ejemplo
[Matijasevich] o [Davis, Matijasevich y Robinson]), no sea demasiado frecuente ni natural
tropezarse en la prctica matemtica con enunciados matemticos indecidibles.
Al final del captulo prximo haremos una discusin ms exhaustiva de las tergiversaciones y
Am
donde cada uno de estos axiomas est escrito con una cantidad finita de smbolos.
Dado ahora un enunciado E cualquiera, E tambin tiene una cantidad finita de smbolos.
Chequeamos los smbolos de E uno a uno con los de A1. Si hay ms o menos smbolos, o no hay
coincidencia perfecta, proseguimos el chequeo con los smbolos de A2, y as sucesivamente hasta
llegar al ltimo, Am. Dado que la lista tiene slo una cantidad finita de axiomas, este proceso termina
en una cantidad finita de pasos y nos permite decidir si el enunciado E es o no es uno de los axiomas
de la lista.
Ejercicio 1.2: Consideremos la siguiente lista infinita de axiomas:
x+x=0x=0
x+x+x=0x=0
x+x+x+x=0x=0
.....................
x+x+x++x=0x=0
Mostrar que este conjunto infinito de axiomas es recursivo.
Resolucin: Dado un enunciado E, si en E aparece algn smbolo distinto de x, +, =,
o 0, o bien, si en E falta alguno de estos smbolos, diremos que E no pertenece al conjunto de
axiomas. Si E tiene todos estos smbolos, nos fijamos en la longitud del enunciado E (la cantidad
total de smbolos), y slo debemos examinar si E coincide smbolo a smbolo con el axioma de la
lista que tiene esa longitud. De manera que, a pesar de que la lista es infinita, podemos decidir en una
cantidad finita de pasos si E es o no uno de los axiomas de la lista.
Ejercicio 1.3: Sea N el conjunto de los nmeros naturales 1, 2, 3, junto con las operaciones de
suma y multiplicacin. Sea T(N) el conjunto de todos los enunciados verdaderos en N. Entonces T(N)
es un conjunto de axiomas completo.
(Este ejercicio muestra que es necesario, en el Teorema de Gdel, el requisito de que el
conjunto de axiomas sea recursivo).
Resolucin: Todo enunciado verdadero se obtiene a partir de los axiomas mediante una
demostracin que tiene un solo paso. En efecto, si E es verdadero, E es un axioma de T(N). Esto es
lo que se llama la axiomatizacin trivial, en la que se eligen como axiomas todos los enunciados
verdaderos.
El Teorema de Gdel nos dice, en particular, que T(N) no es un conjunto recursivo de axiomas.
Y nos dice que tampoco es posible elegir una parte recursiva de T(N) que permita obtener como
teoremas a todos los enunciados verdaderos.
Ejercicio 1.4: Consideremos un alfabeto de smbolos numerados S1, S2, S3, (puede ser finito o
infinito, como los nmeros naturales). Sea un conjunto recursivo de axiomas expresados con estos
smbolos. Entonces todas las demostraciones pueden ser generadas mecnicamente por una
computadora.
Resolucin: Los enunciados, por ser sucesiones finitas de smbolos, pueden ordenarse con un
orden similar al del diccionario. Suponemos entonces antes de empezar que los enunciados estn
efectivamente ordenados de este modo y que podemos referirnos al primer enunciado, al segundo
enunciado, etctera. As, tenemos a los enunciados dispuestos en una primera fila infinita: E1, E2, E3,
En una segunda fila, tambin infinita, queremos disponer las sucesiones que constan de dos
enunciados. Cmo hacemos esto? Utilizaremos lo que se conoce como el mtodo diagonal de
Cantor:
E1 E2 E3
E1
E2
E3
La numeracin de los pares de enunciados procede hacia la derecha y hacia abajo, y avanza por
diagonales cada vez ms largas, recorriendo progresivamente todas las filas y columnas del siguiente
modo:
(E1, E1) (E1, E2) (E2, E1) (E1, E3) (E2, E2) (E3, E1) (E1, E4)
Si miramos slo los subndices tenemos el siguiente recorrido:
De una manera anloga (pensarlo!), tambin podemos ordenar en una sola fila las sucesiones de
tres enunciados, y las sucesiones de cuatro enunciados, y, en general, la sucesiones de n enunciados,
para todo n. As, podemos ahora pensar en un gran cuadro en el que, en la primera fila, aparecen los
enunciados ordenados, en la segunda fila las sucesiones de dos enunciados, en la tercera fila las
sucesiones de tres enunciados, etctera.
Primera fila:
(enunciados)
Segunda fila:
(sucesiones de
dos enunciados)
Tercera fila:
(sucesiones de
tres enunciados)
Cuarta fila:
(sucesiones de
cuatro enunciados)
que pueden escribirse con un alfabeto numerable es un conjunto tambin numerable. (Recordar que
un conjunto es numerable si puede ponerse en correspondencia uno a uno con los nmeros naturales).
Este ejercicio permite concluir que todos los textos escritos y por escribir desde el inicio de la
escritura hasta el fin de los tiempos, en cualquier idioma, no pueden sobrepasar el infinito de los
nmeros naturales. (Vase el Apndice I, Ejemplo 5, sobre otros infinitos ms grandes).
Resolucin: Un alfabeto numerable ser un conjunto de smbolos (las letras), que podemos
notar S1, S2, S3,
Las palabras de dos letras se obtienen por concatenacin de dos smbolos, es decir, escribiendo
un smbolo a continuacin del otro, y pueden listarse de este modo: S1S1, S1S2, S2S1, S1S3, S2S2,
S3S1,
Observemos que esto no es ms que el listado que da el mtodo diagonal de Cantor. Probamos
as que el conjunto de palabras de dos letras es numerable. De la misma manera puede probarse que
el conjunto de palabras de tres letras es numerable y en general el conjunto de palabras de n letras es
numerable.
Disponemos una vez ms un cuadro para aplicar el mtodo diagonal de Cantor de esta manera:
En la primera fila escribimos las palabras de una letra.
En la segunda fila las palabras de dos letras.
En la tercera fila las palabras de tres letras.
Etctera.
Este cuadro nos permite utilizar otra vez el mtodo diagonal de Cantor para enumerar todas las
palabras. De esta manera probamos que el conjunto de todas las palabras es numerable.
Ahora bien, qu es un texto? Cada texto puede pensarse como una sucesin finita de palabras
(con el aadido, dentro del alfabeto, de los signos de puntuacin y el espacio, como letras
auxiliares). De manera que, una vez ms, disponemos un cuadro para aplicar el mtodo diagonal de
Cantor de esta manera:
En la primera fila escribimos el conjunto numerable de todas las palabras (tal como lo
obtuvimos del recorrido diagonal anterior).
En la segunda fila escribimos el conjunto de todas las sucesiones de dos palabras.
En la tercera fila escribimos el conjunto de todas las sucesiones de tres palabras.
Etctera.
Todos los textos posibles estn en este cuadro, que es algo as como una biblioteca de Babel
magnificada. Ahora utilizamos por ltima vez el recorrido diagonal y obtenemos una lista numerable
de todos los texto. Esto prueba que el conjunto de todos los textos posibles a partir de un alfabeto
numerable es tambin numerable
Ejemplo1.1: La teora de primer orden de los nmeros complejos.
Recordemos que los nmeros complejos pueden pensarse como expresiones del tipo a + bi,
donde a y b son nmeros reales, e i es la llamada unidad imaginaria, con la propiedad i2 = 1.
La suma de dos nmeros complejos est dada del siguiente modo:
(a + bi) + (c + di) = (a + c) + (b + d)i
El producto de dos nmeros complejos est dada del siguiente modo:
(a + bi) (c + di) = (ac bd) + (ad + be)i
Sea L = {+, , 0, 1} donde + y son smbolos de funciones binarias y 0 y 1 smbolos de
constantes. Consideremos la siguiente lista de enunciados (donde el smbolo significa y, el
smbolo significa o y el smbolo significa existe):
(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)
(9)
(10)
(11 n)
x + (y + z) = ( x + y) + z
x+0=x0+ x=x
y(x + y = 0 y + x = 0)
x+y= y+x
1x=x x1=x
x (y z) = ( x y) z
xy= yx
x (y + z) = ( x y) + (x z)
x y = 0 ( x = 0 y = 0)
x 0 y(y x = 1)
n10
(asociatividad)
(existencia de elemento neutro)
(existencia de elemento inverso para +)
(conmutatividad)
(1 es una unidad para el producto)
(asociatividad de )
(conmutatividad de )
(distributividad de sobre +)
(no hay divisores de 0)
(existencia de elemento inverso para )
(una lista infinita de axiomas: 1 0; 1 + 1 0; etc.)
Una paradoja?
Sabemos que los nmeros naturales son un subconjunto de los nmeros complejos y pueden
obtenerse como 1, 1 + 1, 1 + 1 + 1, etctera. Ms an, las operaciones de suma y producto que
definimos ms arriba, restringidas a este subconjunto, coinciden con la suma y el producto habitual
de nmeros naturales. Contradice acaso esto lo que hemos dicho sobre la extensin del Teorema de
Gdel y el fenmeno de incompletitud a los sistemas donde pueden definirse los nmeros naturales
con las operaciones de suma y producto?
En realidad no. Pero la explicacin de este aparente dilema deberemos demorarla para ms
adelante, hasta el captulo 3, porque requiere una explicacin sutil sobre lo que significa definir los
nmeros naturales.
CAPTULO DOS
El Teorema de Incompletitud de Kurt Gdel del ao 1931 se propona, tal como observa el propio
Gdel en las primeras lneas, cerrar una discusin que se desarrollaba en el terreno de los
fundamentos de la matemtica sobre la cuestin de los alcances de los mtodos de demostracin
basados en axiomas y procedimientos mecnicos. Esta discusin se podra resumir en la siguiente
pregunta: dada una demostracin por procedimientos cualesquiera de una verdad matemtica, sera
posible encontrar siempre una demostracin alternativa de ese mismo hecho basada en enunciados
seguros, finitistas, esto es, en enunciados cuya verdad pudiera corroborarse en una cantidad finita
de pasos? Era la matemtica, como crean Bertrand Russell y David Hilbert, enteramente reductible
al lenguaje y a los sistemas formales, a esas sucesiones de lneas encadenadas por argumentos y
reglas lgicas que llamamos demostracin?
Para entender el origen y el verdadero sentido de esta discusin, debemos hacer una mnima
mencin histrica a la evolucin del problema de los fundamentos. Ya en la segunda mitad del siglo
XIX, a partir de los trabajos de Karl Weierstrass para esclarecer algunos conceptos relacionados con
la nocin de lmite, se haba despertado un inters por encontrar nociones bsicas, elementales, que
permitieran obtener todas las otras y regenerar el edificio de las matemticas desde bases slidas e
indiscutibles. Una de las nociones propuestas, por su simplicidad, fue la de conjunto. En efecto, a
partir de la nocin intuitiva de conjunto, tal como se aprende en la escuela primaria, pueden definirse
la mayor parte de los otros conceptos matemticos: nmeros, relaciones, funciones, etctera. En 1902
el lgico alemn Gottlob Frege estaba por culminar un tratado definitivo sobre los fundamentos de la
matemtica basado en esta teora intuitiva de conjuntos, cuando recibi una carta del joven Bertrand
Russell (vase el Apndice II), en la que expona la famosa paradoja que le quit, en dos lneas, todo
el sustento a su trabajo: la nocin intuitiva de conjunto era demasiado laxa y llevaba a
contradicciones.
La Paradoja de Russell
Los conjuntos, por lo general, no son elementos de s mismos: el conjunto de todos los
nmeros no es en s mismo un nmero, el conjunto de todos los alumnos de una clase no es
en s mismo un alumno de la clase. Sin embargo, pueden concebirse conjuntos que son
elementos de s mismos: el conjunto de los conceptos es en s mismo un concepto. El
conjunto de todos los conjuntos es en s mismo un conjunto. As, puede concebirse tambin
el conjunto S de los conjuntos que no son elementos de s mismos.
S = {X tal que X no pertenece a X}
Ahora bien: S pertenece a S?
Si S pertenece a S, es uno de los X que verifica la propiedad entre llaves, por lo
tanto, S no pertenece a S.
Si S no pertenece a S, es uno de los X que verifica la propiedad entre llaves, por lo
tanto S pertenece a S.
Tenemos as que tanto la pertenencia como la no pertenencia de S a s mismo nos
lleva a una contradiccin.
Esta paradoja fue popularizada por el mismo Russell como la paradoja del barbero:
un barbero de cierto pueblo afeita a todos los hombres que no se afeitan a s mismos.
Debe el barbero afeitarse a s mismo?
La Paradoja de Russell fue una verdadera conmocin en los fundamentos de la matemtica. Por
un lado mostraba que si se quera persistir en usar la nocin de conjunto para basar la matemtica,
deban hacerse cuidadosas restricciones en la seleccin, y tambin en las formas de generar nuevos
conjuntos a partir de conjuntos dados. Es decir, deba reemplazarse la nocin intuitiva de conjunto
por una serie de reglas de admisin, y, en lugar de todos los conjuntos imaginables, restringirse
solamente a los que cumplieran estas reglas. Pero por otro lado, el descubrimiento de esta paradoja
en un terreno en apariencia tan elemental, arrojaba tambin una sombra de incertidumbre sobre otros
campos de la matemtica. Si la manipulacin de conjuntos haba dado lugar a contradicciones, cmo
poda asegurarse que no ocurrira lo mismo, y que no habra otras paradojas al acecho, en la
manipulacin, por ejemplo, de los nmeros que usamos para contar con las operaciones bsicas de
suma y multiplicacin, es decir, la aritmtica elemental, tal como la conocemos desde siempre?
El propio Bertrand Russell, en colaboracin con Alfred Whitehead, y tambin otros
matemticos como Ernst Zermelo y Abraham Fraenkel, se propusieron entonces la tarea de dar
fundamento axiomtico tanto a la teora de conjuntos como a la aritmtica, con el propsito de evitar
la posible aparicin de esta clase de contradicciones. Por su parte, David Hilbert y Paul Bernays
desarrollaron una teora general de la demostracin basada en axiomas, dentro de un programa
ambicioso para eliminar de manera definitiva cualquier duda sobre la confiabilidad de la inferencia
matemtica [Hilbert (1)]. La fundamentacin a partir de axiomas tiene una larga y slida tradicin
en la historia de la matemtica y se remonta a los cinco postulados que dio Euclides para la
geometra, cinco enunciados muy simples sobre puntos, rectas y paralelismo, a partir de los cuales se
obtienen con demostraciones rigurosas, como teoremas, los dems enunciados de la geometra
clsica (vase el Apndice I, Ejemplo 1).
Hay, en el enfoque axiomtico, una diferencia de punto de vista muy importante. La
fundamentacin que se haba intentado a partir de conjuntos se refera todava a objetos matemticos
con un significado tan familiar y establecido para los matemticos como las nociones de nmero y
funcin. En esta clase de fundamentacin, se buscaban objetos que dieran lugar a todos los dems
objetos. En el enfoque axiomtico, en cambio, los objetos con su significado matemtico peculiar se
reemplazan por un texto, una lista de enunciados, una sucesin de condiciones a cumplir, un intento
de caracterizacin desde el lenguaje. Vale la pena repetirlo: la bsqueda de objetos primitivos se
reemplaza por la bsqueda de propiedades crticas de los objetos a estudiar que puedan expresarse
por escrito (los axiomas) y a partir de las cuales se deduzcan como teoremas todas las dems
propiedades y las relaciones entre s de esos objetos. Se establece as una distincin entre un plano
semntico, en que los objetos matemticos tienen un significado preciso y particular, y un plano
sintctico, o formal, en que se proponen axiomas y demostraciones que den cuenta de las
propiedades caractersticas de estos objetos.
Pero en esta transposicin del plano semntico al plano sintctico, los objetos bajo estudio
pierden su especificidad y se vuelven genricos: tal como escribi David Hilbert al analizar los
axiomas de Euclides, podran reemplazarse en cada postulado las nociones de puntos, lneas y
planos por mesas, sillas y jarros de cerveza [Hilbert (2)]. Ya no importa la naturaleza de los
objetos, sino slo las relaciones y restricciones que se imponen entre s, de la misma manera que en
el luego de ajedrez la pieza del caballo queda definida, no por ningn rasgo particular del mundo
equino, sino slo por su forma de desplazarse en el tablero.
Cmo saber entonces si a travs de los axiomas, en esta aproximacin desde el lenguaje,
estamos hablando todava de los mismos objetos con todas sus propiedades? Cmo saber si la
descripcin es exhaustiva, y si para cada propiedad que se verifica en un objeto se encontrar un
correlato sintctico bajo la forma de una demostracin? Esto es lo que se llama el problema de la
completitud.
Ahora bien, si en la aproximacin a travs de axiomas puede perderse en especificidad, hay
algo tambin que se gana, y es la posibilidad de disponer de un mtodo de demostracin que puede
ser corroborado lnea a lnea, en una cantidad finita de pasos, tal como se repasa una suma de varias
cantidades en el ticket del supermercado. Ms an, la idea fundamental que est detrs del mtodo
axiomtico es que esta corroboracin pueda hacerse de una manera mecnica, sin recurrir a la
inteligencia. Es decir: que las demostraciones puedan someterse a la inspeccin de una computadora
que, sin necesidad de comprender qu dice cada lnea, o el significado del teorema que se quiere
probar, puede verificar que se cumplen los requisitos lgicos que permiten pasar de una lnea de la
demostracin a la siguiente, hasta llegar a la ltima, y que en este examen dictamina la correccin o
incorreccin de la prueba.
Para alcanzar este grado de precisin en las demostraciones, y llegar a un procedimiento
absolutamente mecnico, que pueda implementarse en una computadora, debe explicitarse tambin,
en forma sintctica, como axiomas agregados, y como marco general de toda teora, la lgica que se
emplea en los razonamientos matemticos. Esto incluye a los axiomas puramente lgicos, como el
principio de tercero excluido (o bien vale una afirmacin, o bien su negacin es vlida), y las reglas
de deduccin lgica, llamadas reglas de inferencia, que se emplean para pasar de una lnea en la
demostracin a la siguiente. Un ejemplo tpico es lo que se llama la regla de modus ponens: si en una
lnea est escrito un enunciado del tipo A B y en alguna lnea posterior aparece el enunciado A, la
regla dice que puede escribirse a continuacin, como una derivacin lgica, el enunciado B.
Un resultado fundamental de la lgica, debido tambin a Gdel (su tesis doctoral, publicada
como La suficiencia de los axiomas del clculo lgico de primer orden en [Gdel (1)]), es que este
marco lgico, comn a todas las teoras, puede darse a travs de una cantidad finita de axiomas
lgicos y una cantidad tambin finita de reglas de inferencia. En el captulo prximo veremos que el
marco lgico puede darse en realidad con slo diez axiomas lgicos y dos reglas de inferencia.
Recordemos, antes de seguir, que en matemtica, en un sentido amplio, se llama teora (o
sistema axiomtico) a un conjunto de afirmaciones (o enunciados) seleccionados como axiomas,
junto con este marco lgico que gua los razonamientos. Una demostracin a partir de una teora es
una lista (finita) de enunciados en la que cada enunciado es, o bien un axioma lgico, o bien un
axioma de la teora, o bien se obtiene de enunciados anteriores ya escritos en la lista por las reglas
de inferencia. Un teorema de la teora es un enunciado que admite una demostracin a partir de los
axiomas de la teora.
Ahora bien, lo que est en el corazn del mtodo axiomtico es que las demostraciones pueden
ser corroboradas en un nmero finito de pasos lgicos. El requisito adicional que debe tener el
conjunto de axiomas propuesto para que las demostraciones realizadas a partir de esos axiomas sean
efectivamente corroborables en una cantidad finita de pasos es la condicin (R) de recursividad que
ya adelantamos en el captulo anterior:
(R) Dado un enunciado cualquiera, puede determinarse, en una cantidad finita de pasos,
si el enunciado pertenece o no al conjunto de axiomas.
En efecto, vale la siguiente
Proposicin: Si un conjunto de axiomas es recursivo, toda demostracin a partir de los
axiomas es corroborable en una cantidad finita de pasos.
Dejamos la demostracin como un ejercicio al final del captulo (Ejercicio 2.1).
Diremos entonces que una teora (o conjunto de axiomas) es recursiva si cumple la condicin
(R). Por extensin, diremos tambin que una propiedad es recursiva si la verificacin de esa
propiedad puede realizarse por un procedimiento mecnico, en una cantidad finita de pasos. Por
ejemplo, la propiedad Ser un nmero primo es recursiva, porque basta dividir el nmero dado por
los nmeros menores que l para detectar, en una cantidad finita de pasos, si hay divisores propios o
bien si el nico divisor es el uno.
Ya hemos visto en el captulo anterior que toda teora dada por un conjunto finito de axiomas
(como los cinco postulados de Euclides) es recursiva, pero que tambin hay teoras con infinitos
axiomas que son recursivas. En el Apndice I pueden encontrarse varios otros ejemplos de teoras
recursivas con infinitos axiomas.
El enfoque axiomtico, sintctico, plantea de inmediato el problema de hasta qu punto los
axiomas propuestos logran realmente capturar a los objetos que nos proponemos estudiar con todas
sus propiedades y relaciones. Si se detecta un enunciado que se cumple en el mundo de los objetos
pero no puede demostrarse a partir del conjunto de axiomas, es claro que el conjunto de axiomas
propuesto ser insuficiente. Diremos que una teora es completa si todo enunciado que se verifica en
el mundo de los objetos puede ser demostrado como un teorema a partir de los axiomas de la teora.
Es decir, cada propiedad semntica, expresada por un enunciado, que se cumple en el mundo real
de los objetos, tiene un correlato sintctico, el texto de una demostracin, y puede reobtenerse como
un teorema a partir de los axiomas.
Hemos identificado hasta ahora tres condiciones deseables para una teora o sistema
axiomtico. La primera, la ms bsica, y que est en el origen del programa formalista, es que el
sistema no d lugar a contradicciones. Diremos que una teora o sistema axiomtico es consistente si
no puede demostrarse a partir de los axiomas una contradiccin (un enunciado y su negacin).
La segunda, que el sistema sea recursivo, es una condicin de restriccin, o sobriedad: nos
interesa tener pocos axiomas, reconocibles, bien determinados, que puedan presentarse
fehacientemente, para garantizar la corroboracin de las demostraciones de una manera mecnica y
en una cantidad finita de pasos. La tercera, que el sistema sea completo, es una condicin de acopio:
los axiomas deben ser bastantes para garantizar la completitud. Se establece entonces un problema
de balance entre estos dos ltimos requisitos que se contrapesan entre s: los pocos axiomas deben
ser a la vez bastantes.
1. EL PROGRAMA DE HILBERT
La preocupacin fundamental que da origen al programa de David Hilbert es la cuestin de
cmo manipular con reglas lgicas los conjuntos infinitos pensados como totalidades acabadas, por
ejemplo, la totalidad de los nmeros naturales, o la totalidad de los puntos de un segmento. Esto es lo
que se llama el infinito actual, en contraposicin con el infinito potencial, que se corresponde con la
idea de un conjunto que puede ampliarse tanto como se quiera (para cada nmero n puede
encontrarse uno mayor, para cada punto a cierta distancia puede encontrarse otro ms lejano), pero
que no se presenta todo a la vez. Hilbert advierte que los mismos riesgos y problemas que haban
aparecido en el campo del anlisis al considerar sumas y productos infinitos podan surgir en las
demostraciones al utilizar los conceptos para todo y existe, aplicados a totalidades infinitas, si
no se tomaban precauciones para no traspasar la esfera de lo intuitivo y lo finito.
En efecto, para totalidades finitas, la afirmacin de que todos los objetos poseen una cierta
propiedad es equivalente a la conjuncin de varios enunciados particulares por medio de la palabra
y. Afirmar que todos los alumnos de una fila tienen guardapolvo equivale a decir: el primero de la
fila tiene guardapolvo y el segundo de la fila tiene guardapolvo y y el ltimo de la fila tiene
guardapolvo. De manera anloga la afirmacin de que en una totalidad finita existe un objeto con una
cierta propiedad es equivalente a una composicin de enunciados particulares por medio de la
palabra o. As, para totalidades o conjuntos finitos vale el principio del tercero excluido: o bien
todos los objetos poseen una cierta propiedad, o bien existe entre ellos uno que no la posee. Para
totalidades finitas valen tambin las siguientes equivalencias (donde es el smbolo matemtico
que abrevia Para todo, es el smbolo que abrevia Existe y es el smbolo de negacin de un
enunciado):
xA(x) equivale a xA(x)
xA(x) equivale a xA(x)
En la prctica matemtica es usual suponer, sin ms, la validez de estas equivalencias, tambin
cuando se habla de totalidades infinitas, pero en el terreno de las demostraciones se corre el peligro
de deslizar inferencias transfinitas, y abrir la puerta a posibles errores.
Al considerar una infinidad de objetos, observa Hilbert, ni la negacin del juicio general
xA(x), ni la negacin del juicio existencial xA(x) tienen, en principio, un contenido preciso,
porque involucran conjunciones lgicas, o disyunciones lgicas, infinitas. Ms an, si la afirmacin
xA(x) no es vlida, no siempre esto nos permite probar que hay un objeto con la propiedad A. En
la demostracin del Teorema de Gdel veremos, por ejemplo, que puede exhibirse una frmula de la
aritmtica E(x) tal que E(1) es demostrable y E(2) es demostrable y y E(n) es demostrable
cualquiera que sea n, pero sin embargo el enunciado xE(x) no es demostrable.
Es decir, no vale en general la inferencia transfinita (la inferencia a partir de una lista infinita de
premisas): a diferencia de lo que ocurre con la definicin de verdad, en que decimos que xE(x) es
verdadero si y slo si son verdaderos todos los enunciados E(1), E(2), , E(n), dar
demostraciones para E(1) y para E(2) y para E(n) cualquiera que sea n, no permite inferir que
habr tambin una demostracin para el enunciado xE(x). (Vase el Ejemplo 2.1 al final del
captulo). Tampoco vale sin ms que o bien xA(x) es vlido o bien xA(x) es vlido.
Lo que se propone Hilbert es indagar por qu y en qu medida la aplicacin de modos de
inferencia transfinitos tal como stos se presentan en el anlisis y en la teora de conjuntos nos
permite obtener resultados correctos. Y su plan, para una teora de la demostracin segura, es
reducir las inferencias transfinitas a enunciados finitistas. El manejo libre de lo transfinito y su
entero dominio y control sostiene, debe tener lugar a partir de lo finito. (Todas las citas de esta
seccin, salvo indicacin diferente, estn tomadas del artculo Acerca del infinito [Hilbert (1)].)
Hilbert propone diferenciar entre enunciados con sentido, o finitistas, cuya verdad o falsedad
pueden determinarse en una cantidad finita de pasos y que tienen una evidencia intuitiva concreta, y
enunciados ideales que, aunque no tengan un contenido intuitivo preciso, pueden agregarse siempre
y cuando no den lugar a inconsistencias en las teoras.
En la teora de la demostracin, a los axiomas finitos se aaden los axiomas y las frmulas
transfinitas, de manera anloga a como en la teora de los nmeros complejos a los
elementos reales se aaden los imaginarios. La extensin por medio del agregado de
ideales es lcita y permisible solamente cuando con ello no se provoca el surgimiento de
contradicciones.
Esto lo lleva naturalmente a plantearse la cuestin de la consistencia.
La eleccin, la interpretacin y la manipulacin de los axiomas no pueden estar basadas
simplemente en la buena fe y en lo que nuestras creencias nos indiquen. Tanto en la
geometra como en la fsica es posible dar pruebas de consistencia relativa. Esto es, de
reducir el problema de la consistencia en esas esferas a la consistencia de los axiomas de
la aritmtica. Pero es evidente que no tiene sentido buscar una demostracin de ese tipo
[consistencia relativa] para la aritmtica misma. En la medida en que nuestra teora de la
demostracin, basada en el mtodo de los elementos ideales, hace posible este ltimo y
decisivo paso, constituye una especie de punto final necesario en la construccin del
edificio de la teora axiomtica. Y lo que ya hemos tenido que padecer en dos ocasiones,
primero con las paradojas del clculo infinitesimal y luego con las paradojas de la teora
de conjuntos, no podr pasarnos una tercera vez, no volver a pasar nunca.
Lo que se propona Hilbert, en definitiva, era recuperar toda la matemtica y en particular la
teora de conjuntos infinitos de Cantor (nadie nos expulsar del paraso que Cantor ha creado para
nosotros) a partir de su teora de la demostracin, y reobtener, para cada demostracin obtenida con
mtodos cualesquiera de la prctica matemtica usual, una demostracin rigurosa y segura que
utilizara slo inferencias finitas. Como culminacin de este proyecto, planeaba una demostracin por
estos mtodos seguros de la consistencia de la aritmtica.
Vale la pena aqu insistir sobre un punto, que es el que da origen al programa formalista y el que
est en el fondo de la discusin filosfica que se libr por dcadas en el terreno de los fundamentos
de la matemtica: los sistemas axiomticos se propusieron como una manera de librar a la
matemtica de la aparicin de paradojas y contradicciones. Pero el desafo para estos sistemas era
mostrar que tenan la misma potencia, el mismo alcance, y podan recuperar, sobre nuevas bases,
toda la matemtica hecha anteriormente. Es decir, se trata de un problema sobre los alcances de los
mtodos formales de demostracin.
Muchas veces en su historia, la matemtica se enfrent a la insuficiencia (relativa) de sus
propios mtodos. Ya hemos mencionado que la dificultad de los antiguos griegos para calcular la raz
cuadrada de dos puede verse como la limitacin del mtodo de dividir nmeros enteros entre s. Y
que fue esta insuficiencia lo que dio lugar a un concepto ms amplio de nmero y a nuevos mtodos
para estimarlos y definirlos.
De la misma manera, durante mucho tiempo se pens que las ecuaciones de polinomios en una
variable de grado cinco podan resolverse utilizando races (tal como se haba hecho para los
polinomios de grado dos, tres y cuatro). Sin embargo, el mtodo de expresar la solucin con races
prob ser insuficiente para los polinomios de grado mayor o igual que cinco.
El propio Hilbert se refiere a esta clase de limitaciones en su clebre conferencia de 1900:
En las matemticas posteriores, la cuestin de la imposibilidad de ciertas soluciones
desempea una parte destacada; y de este modo percibimos que problemas viejos y
difciles, tales como la demostracin del axioma de las paralelas, la cuadratura del crculo,
o la solucin por radicales de las ecuaciones de quinto grado, han encontrado al fin
soluciones plenamente satisfactorias y rigurosas, aunque en un sentido diferente del
originariamente pretendido. Probablemente es este hecho notable, junto con otras razones
filosficas, lo que da lugar a la conviccin (que comparten todos los matemticos, pero
que nadie ha sustentado todava con una demostracin) en que todo problema matemtico
definido debe ser necesariamente susceptible de un acuerdo exacto, ya sea en forma de una
respuesta real a la cuestin preguntada, ya sea por la demostracin de la imposibilidad de
su solucin y con ello el fracaso necesario de todos los intentos. Tomemos cualquier
problema definido no resuelto, tal como la irracionalidad de la constante C de EulerMascheroni o la existencia de un nmero infinito de nmeros primos de la forma 2n + 1.
Por inabordables que estos problemas nos puedan parecer, y por impotentes que nos
sintamos ante ellos, tenemos de todas formas la firme conviccin de que sus soluciones
deben seguirse por un nmero finito de procesos puramente lgicos.
Quiz lo ms curioso de este prrafo es la frase final, en la que Hilbert no parece contemplar
que estas mismas limitaciones e imposibilidades pueden alcanzar a los mtodos formalizados y a su
teora de la demostracin.
Y fue en el mismo terreno de la aritmtica, donde todava en 1930 Hilbert se afanaba por
Falso. Ms an, en la demostracin de Gdel se exhibe un enunciado del que se sabe (y puede
probarse por fuera del sistema) que es verdadero, pero queda fuera del alcance de las
demostraciones del sistema axiomtico. Es decir, el Teorema de Gdel no es un teorema acerca de la
verdad sino sobre la insuficiencia de los mtodos axiomticos para regenerar, va demostraciones, la
totalidad de los enunciados verdaderos. En este sentido recordamos la analoga del captulo anterior
con el crimen del cuarto cerrado y las limitaciones de los mtodos de la justicia.
3. El Teorema de Gdel dice que no hay certidumbre total ni siquiera en el dominio de la
matemtica.
Falso. El Teorema de Gdel no pone en tela de juicio ninguno de los resultados matemticos ya
establecidos, sino que revela la limitacin de los mtodos finitistas de comprobacin de esos
resultados. En particular, dentro de las certidumbres de la matemtica, se tiene la certidumbre total
de que dos ms dos es cuatro y de que el Teorema de Gdel es cierto.
4. El Teorema de Consistencia de Gdel dice que ninguna teora es consistente.
Falso. El Teorema de Consistencia de Gdel slo afirma que la consistencia de una teora
recursiva (con suficiente aritmtica) no puede ser demostrada dentro de esa misma teora. En
particular, el mismo Gdel prob la consistencia, por ejemplo, del clculo de predicados.
5. El Teorema de Gdel dice que ninguna teora puede ser a la vez consistente y completa.
Falso. El clculo de predicados, el clculo proposicional y las teoras de modelos finitos son
todas teoras consistentes y completas. El Teorema de Gdel dice que si una teora contiene
suficiente aritmtica, no puede ser a la vez consistente y completa. La condicin de suficiente
aritmtica significa, esencialmente, que puedan probarse dentro de la teora todos los enunciados
finitistas verdaderos de la aritmtica.
6. El Teorema de Gdel dice que toda teora para la aritmtica es incompleta.
Falso. Es crucial el requisito de que la teora sea recursiva. El conjunto T(N) de todos los
enunciados verdaderos en N es, trivialmente, una axiomatizacin completa. (Vanse el captulo 1,
Completitud y Axiomas, y el Ejercicio 1.3).
7. El Teorema de Gdel dice que toda teora recursiva es incompleta.
Falso. La generalizacin del Teorema de Gdel habla de teoras recursivas en las que pueda
definirse la aritmtica, lo que permite reproducir el argumento de la prueba de incompletitud. Pero a
la vez, hay una multitud de teoras matemticas recursivas y completas para distintos objetos
matemticos. Incluso para estructuras que tienen tambin nmeros y operaciones de suma y
multiplicacin, como los nmeros complejos (vase el Ejemplo 1.1).
Esto debera hacer extremar el cuidado con las analogas fuera del mbito de la matemtica.
Por qu invocar el Teorema de Incompletitud de la aritmtica y no, por ejemplo, el Teorema de
Completitud para los nmeros complejos?
Es decir, quien se proponga usar como analoga el Teorema de Gdel fuera del mbito de la
matemtica, debera ser capaz de precisar cul es la distincin que le hace preferir la aritmtica en la
analoga en vez de estos otros objetos matemticos que admiten axiomatizaciones recursivas y
completas.
8. El Teorema de Gdel no tiene ninguna incidencia en la matemtica.
Esta afirmacin es el reverso opuesto de las afirmaciones tremendistas sobre los supuestos
efectos devastadores del teorema, y tambin es parcialmente falsa. Si bien el Teorema de Gdel no
ha alterado mucho la prctica y los mtodos de razonamiento usuales de los matemticos, dio
impulso a toda una rama de la matemtica relacionada con los alcances de los mtodos
computacionales. En particular, una reformulacin del teorema, debida al matemtico Yuri
Matijasevich, dio tambin la solucin (negativa) de uno de os problemas propuestos por Hilbert en
su conferencia de 1900, al revelar que no existe algoritmo para saber si una ecuacin diofntica en
varias variables tiene solucin (vase [Matijasevich]).
El Teorema de Gdel inaugur tambin toda una rama de la matemtica alrededor de los
mtodos de decisin y la prueba de Gdel ha incorporado una idea importante que se ha utilizado en
una multitud de trabajos: la utilizacin de la autorreferencia a travs de la codificacin de
enunciados.
3. EJEMPLOS Y EJERCICIOS
Ejercicio 2.1: Probar la siguiente proposicin:
Proposicin: Si un conjunto de axiomas es recursivo, toda demostracin a partir de los
axiomas es corroborable en una cantidad finita de pasos.
Demostracin: Imaginemos que nos dan una lista de enunciados E1, E2, , En y nos proponen
el problema de corroborar si esta lista es verdaderamente una demostracin. De acuerdo con la
definicin que hemos dado de demostracin, esto requiere que hagamos una comprobacin enunciado
por enunciado. Deberamos entonces mirar el primer enunciado E1 y determinar, en una cantidad
finita de pasos, si es o no un axioma (ya sea un axioma lgico o un axioma de la teora propuesta).
Dado que la cantidad de axiomas lgicos es finita, y cada uno de estos axiomas est escrito con una
cantidad finita de smbolos, basta comparar al enunciado E1 smbolo a smbolo con cada uno de estos
axiomas lgicos para comprobar en una cantidad finita de pasos si es o no uno de ellos. Es decir, esta
parte es en realidad el Ejercicio 1.1 y no representa un problema. (Observemos adems aqu que la
comprobacin es puramente sintctica, smbolo a smbolo, y por eso puede ser realizada de manera
mecnica).
Supongamos ahora que E1 no fuera un axioma lgico. Es aqu donde utilizamos la condicin (R)
para verificar en una cantidad finita de pasos si E1 es o no uno de los axiomas de la teora.
A continuacin examinamos cada uno de los enunciados siguientes Ei: en el caso de que Ei no
fuera un axioma, deben verificarse todas las posibles combinaciones por aplicacin de alguna de las
reglas de inferencia a los enunciados anteriores a Ei en la sucesin, para determinar si alguna de
estas combinaciones da lugar al enunciado Ei. Dado que la cantidad de enunciados anteriores a Ei es
finita y tambin hay en el marco lgico slo una cantidad finita de reglas de inferencia, el nmero de
estas posibles combinaciones es tambin finito. Tenemos as que la comprobacin enunciado por
enunciado puede realizarse en una cantidad finita de pasos, y por lo tanto, como la sucesin a
verificar tiene una cantidad finita de enunciados, todo el proceso termina tambin en una cantidad
finita de pasos.
Ejemplo 2.1: El recorrido diagonal de Cantor, que explicamos en el Ejercicio 1.4, nos permite
numerar todas las demostraciones a partir de un conjunto recursivo de axiomas, de tal manera que,
dado un nmero cualquiera, podemos mirarlo como la sucesin de enunciados de una cierta
demostracin. En efecto, a la primera sucesin de enunciados que la computadora reconoce como una
demostracin, le asignamos el nmero 1, a la segunda sucesin que reconoce como demostracin, le
asignamos el nmero 2, etctera.
Consideremos ahora el enunciado de Gdel que anticipamos en el captulo anterior: Yo no soy
demostrable. Llamemos G a este enunciado. Hemos dicho que Gdel prob en su teorema (y
nosotros tambin daremos la prueba ms adelante) que este enunciado no es demostrable. A su vez,
dado que tenemos numeradas todas las posibles demostraciones, G es equivalente a decir Para todo
x, x no es el nmero de una demostracin de G. Llamemos ahora H(x) a la frmula x no es el
nmero de una demostracin de G. Como G no es demostrable, el enunciado xH(x) tampoco es
demostrable.
Sin embargo H(1), H(2), , H(n), son todos enunciados finitistas y verdaderos. En efecto,
para cada nmero natural n, miramos la demostracin que le corresponde a n y corroboramos, en una
cantidad finita de pasos, que G no es el enunciado final de esa demostracin. De esta manera, hemos
obtenido una frmula H(x) tal que H(1), H(2), , H(n), son todos enunciados demostrables y sin
embargo xH(x) no es demostrable.
Este ejemplo muestra, justamente, la clase de limitacin que tiene la inferencia sintctica. Aun
cuando se conoce una demostracin particular para cada caso en particular, no puede darse una
demostracin para el caso general. Por otro lado, el ejemplo muestra tambin el riesgo de la
inferencia transfinita. En el plano semntico, el enunciado xH(x) es verdadero si y slo si son
verdaderos H(1), H(2), , H(n), Pero en el plano sintctico, como hemos visto, extender esta
equivalencia va inferencia transfinita a lo demostrable nos llevara, como advirti Hilbert, a
errores.
CAPTULO TRES
En este captulo nos proponemos volver a las nociones fundamentales que expusimos en los captulos
anteriores, para darles una formulacin ms precisa en el lenguaje de las matemticas que nos
permita escribir el enunciado exacto del Teorema de Gdel. La primera nocin que examinaremos
(otra vez!) es la de demostracin.
Al mirar una demostracin cualquiera en matemtica como la que dimos en el Ejemplo 1.2
podemos ver que hay en ella afirmaciones de naturaleza matemtica especfica (por ejemplo, que
todo nmero natural mayor que 1 se puede escribir como producto de nmeros primos), y otras que
resultan de consideraciones lgicas generales y que son independientes del contenido matemtico en
particular (por ejemplo, que una afirmacin y su negacin no pueden ser simultneamente
verdaderas). A la vez, ya hemos explicado que nos interesan las demostraciones cuya correccin
pueda corroborarse de una manera mecnica, en una cantidad finita de pasos.
Dado que una demostracin es una lista finita de afirmaciones, corroborar una demostracin es
verificar una por una todas las afirmaciones de la lista y el modo en que unas se deducen de las otras.
Si se quiere un procedimiento mecnico para esta corroboracin, es claro que uno de los requisitos
necesarios es que el procedimiento pueda reconocer las expresiones que aparecen en la lista de una
manera puramente sintctica, leyndolas smbolo a smbolo, para compararlas entre s, de la misma
manera que un procesador de texto verifica la ortografa de lo que hemos escrito, por comparacin
letra a letra de las palabras con un diccionario que tiene cargado en la memoria.
Esto requerir la introduccin para la aritmtica de un lenguaje formal sin las ambigedades del
habla corriente, con smbolos bien determinados, de manera que cada afirmacin quede escrita de
una manera precisa y pueda ser chequeada por una computadora como una sucesin ordenada de
smbolos. Ms precisamente, el lenguaje formal deber cumplir los siguientes requisitos:
1. Establecer una definicin precisa de la nocin de afirmacin (o enunciado,) de manera que,
dada una secuencia cualquiera de smbolos, una computadora sea capaz de decidir, en una
1. EL LENGUAJE FORMAL
Las distintas operaciones lgicas pueden expresarse con los smbolos que detallamos a
continuacin, y que incluimos en nuestro lenguaje formal:
: es la conjuncin, P Q significa P y Q.
: es la negacin, P significa no P.
Para capturar esta infinitud en una sola expresin se introducen variables, que son letras que
representan nmeros cualesquiera. Al usar variables, la afirmacin La suma de dos nmeros pares
es un nmero par puede reformularse de este modo: Si x e y son ambos nmeros pares, entonces x
+ y tambin es un nmero par.
Para las variables normalmente se usan letras como x, y, z, o bien n, m, k. En nuestro lenguaje
formal las escribiremos como v1, v2, v3, v4, uniendo la letra v (de variable) con cada uno de los
subndices 1, 2, 3, (Recurrimos a los subndices porque las letras del alfabeto se terminan, pero
los nmeros no).
Ahora bien, de este modo podra generarse alguna confusin cuando hablemos del 1 en cuanto
nmero en s mismo o en cuanto subndice de una variable. Por ese motivo las variables en el
lenguaje formal se escribirn como v|, v||, v|||, v||||, usando solamente la letra v y repeticiones del
smbolo |. Una vez hecha esta precisin, y por legibilidad, seguiremos en lo sucesivo usando la
anotacin v1, v2, v3, (y an ms frecuentemente x, y, z,) como abreviaturas.
Algo importante a tener en cuenta:
En nuestro lenguaje formal las variables v1, v2, v3, slo se referirn a nmeros (no a
conjuntos, ni a funciones ni a ningn otro objeto matemtico que no sea un nmero).
Recordemos ahora que un nmero n es par si puede dividirse por dos, es decir, si existe algn
otro nmero m tal que n = 2m. Esta ltima condicin se escribe en nuestro lenguaje de variables
numeradas de esta forma: v3 (v1 = 2v3). Utilizaremos como abreviatura Par(v1) para la expresin
v3 (v1 = 2v3) y Par(v2) para la expresin v3 (v2 = 2v3).
Ahora s, estamos listos para escribir en nuestro lenguaje formal la segunda de las afirmaciones:
La suma de dos nmeros pares es un nmero par:
v1v2 (Par(v1) Par(v2) Par(v1 + v2))
Finalmente, para escribir la tercera de las afirmaciones, recordemos que un nmero x es primo
si es mayor que 1 y no tiene divisores propios, es decir, si aparece escrito como producto de dos
nmeros y, z, uno de estos nmeros tiene que ser x (y el otro el nmero 1). Podemos definir entonces
Ser primo en nuestro lenguaje mediante la frmula
Pr(x): (x = 0) (x = 1) yz(yz = x (y = x z = 1) (y =1 z = x))
La tercera de las afirmaciones: Todo nmero mayor que 1 es divisible por algn primo, puede
escribirse ahora en el lenguaje formal como
x((x = 0) (x = 1) yz (Pr(y) x = y z))
2. LOS ENUNCIADOS
Todas las afirmaciones del lenguaje formal pueden escribirse utilizando solamente los
siguientes doce smbolos:
S 0 + = v | ( )
Llamaremos expresin a una sucesin finita cualquiera de estos smbolos. Est claro que no
cualquier expresin puede aspirar a ser una afirmacin del lenguaje. Por ejemplo, la expresin SS0 +
SS0 = SSSS0, como ya hemos visto, es una afirmacin, pero SS0 + SS0 = SS SS0 claramente no
lo es, ni tampoco, por ejemplo, S)(0.
Lo que nos proponemos ahora es algo mucho ms ambicioso: definir, entre todas las posibles
combinaciones de smbolos, las que corresponden a la nocin de afirmacin (o enunciado). Y
hacerlo de un modo que una computadora pueda corroborar en una cantidad finita de pasos si una
expresin cualquiera es o no una afirmacin.
Para esto necesitamos identificar los ladrillos elementales que al combinarse entre s dan lugar
a las afirmaciones ms simples. Nos proponemos una construccin estratificada, que empieza por los
trminos.
Los trminos son las expresiones que se obtienen a partir del nmero 0 y de las variables
al aplicar sucesivamente la funcin S y las operaciones de suma y multiplicacin.[3]
As por ejemplo SSSO es un trmino, y tambin lo son (SS0 (S0 + S0)), S(Sv1 + S0), o (v1 +
(v7 v3)). El primer ejemplo representa el numeral 3, el segundo representa la operacin aritmtica
(2 (1 + 1)), el tercero y el cuarto representan operaciones en las que aparecen incgnitas.
Pasamos ahora al segundo nivel: el de las frmulas atmicas. Intuitivamente, correspondern a
las afirmaciones ms bsicas, que no involucran operaciones lgicas (como Dos ms dos es
cuatro).
Formalmente, una frmula atmica es cualquier expresin que se obtenga igualando dos
trminos. Por ejemplo, SS0 + SS0 = SSSS0, o tambin SS(v1) + SS0 = SSSS0 son frmulas
atmicas.
Las frmulas atmicas de la aritmtica en las que aparecen variables pueden pensarse,
intuitivamente, como ecuaciones con incgnitas. Por ejemplo, v1 + 2 = 3 puede interpretarse como la
ecuacin x + 2 = 3.
Una frmula, finalmente, es cualquier expresin obtenida a partir de las frmulas atmicas por
aplicacin reiterada de los conectivos lgicos y los cuantificadores.[4]
Ejemplos de frmulas son (v1 = v2) (Sv1 = Sv2), o tambin v1v2((v1 = v2) (Sv1 =
Sv2)).
Podemos resumir lo que hemos hecho hasta ahora del siguiente modo:
1. Identificamos ciertas frmulas elementales: las ecuaciones o identidades que resultan de igualar
dos trminos.
2. A partir de estas frmulas elementales, que hemos llamado atmicas, obtenemos todas las
frmulas por aplicacin reiterada de los conectivos lgicos y los cuantificadores.
Notemos ahora que tenemos todava que distinguir cules son entre las frmulas aquellas a las
que podemos asignarles un valor de verdad (verdadero o falso). stas son realmente las frmulas que
nos interesan: las afirmaciones, o enunciados. En efecto: no toda frmula es una afirmacin. Para
entender esto, observemos que a la segunda frmula atmica que dimos como ejemplo:
SS(v1) + SS0 = SSSS0
no puede asignrsele un valor definitivo de verdad. Si reemplazamos a v1 por el numeral 0 la
expresin que resulta es verdadera, pero si la reemplazamos por cualquier otro numeral distinto de 0
la expresin que resulta es falsa.
Algo similar ocurre con la frmula v3(v1 = 2 v3). Es claro que si reemplazamos a v1 por un
numeral par obtendremos una afirmacin verdadera, y si reemplazamos a v1 por un numeral impar
obtendremos una afirmacin falsa.
Lo que ocurre en estos dos casos, es que la variable v1 no est afectada por ningn
cuantificador. Observemos que al reemplazar a v1 en v3(v1 = 2 v3) por un numeral cualquiera, por
ejemplo, 1, obtenemos la expresin v3(1 = 2 v3). Esta expresin, que involucra tambin a una
variable, v3, s es una afirmacin (falsa en este caso), porque la nica variable que aparece, que es
v3, est afectada por un cuantificador, lo que fuerza a considerar todos los posibles numerales para
dar luego un valor de verdad nico y definitivo a la expresin.[5]
Una aparicin de una variable es libre en una frmula si en esa aparicin la variable no est
afectada por ningn cuantificador. Intuitivamente las variables que aparecen libres son aquellas que
pueden ser reemplazadas libremente por nmeros.[6] Gracias a esta distincin sintctica podemos
definir finalmente a las afirmaciones de nuestro lenguaje, es decir, aquellas expresiones a las que
puede asignrsele de modo inequvoco un valor de verdad, y que llamaremos de ahora en ms
enunciados:
Un enunciado es una frmula en la que ninguna variable tiene apariciones libres.
La definicin que hemos dado de enunciado cumple con nuestros propsitos, en el sentido de
que puede corroborarse por una computadora, en una cantidad finita de pasos. En efecto, vale la
siguiente
Proposicin: Dada una expresin cualquiera del lenguaje formal, hay un procedimiento
mecnico para determinar en una cantidad finita de pasos si esa expresin es o no una
frmula. Y tambin para determinar si la expresin es o no un enunciado.
Demostracin: Vase el Ejercicio 3.1 al final del captulo.
primer orden con igualdad, que tiene los siguientes axiomas (esquemas) adicionales:
L6: x = x
L7: x = y y = x
L8: x = y (y = z x = z)
L9: x = y t(v1, vi1, x, vi+1, vn) = t(v1, vi1, y, vi+1, vn) donde t es un trmino
cualquiera.
L10: x = y ((v1, vi1, x, vi+1, vn) (v1, vi1, y, vi+1, vn)) donde es una frmula
atmica cualquiera.
Si bien estos diez esquemas definen lo que es en realidad un conjunto infinito de axiomas (ya
que es infinito el nmero de posibles reemplazos por frmulas y trminos que corresponde a cada
esquema), este conjunto infinito es recursivo porque dada una frmula cualquiera, es siempre posible
determinar en una cantidad finita de pasos si corresponde o no a alguno de los diez esquemas
indicados. (Pensarlo!).
Fijados los axiomas lgicos, debemos enunciar ahora las reglas de inferencia, que son aquellas
que nos dicen qu conclusiones es vlido extraer de una o ms hiptesis propuestas.
La lgica de primer orden se rige por dos reglas de inferencia, que son:
1) Regla de modus ponens: De P y de (P Q) se deduce Q.
2) Regla de generalizacin: Si x es una variable cualquiera, entonces de P se deduce xP.
Observemos que estas dos reglas son puramente sintcticas, es decir, se reducen a una simple
manipulacin mecnica de smbolos.
En estas reglas, tanto P como Q pueden pensarse simplemente como expresiones (como
secuencias finitas de smbolos) cuyo eventual significado es irrelevante. Desde este punto de vista, la
primera regla se puede interpretar as: si en la demostracin aparecen dos frmulas que estn
separadas por el smbolo y tambin aparece la frmula a izquierda del smbolo , entonces es
vlido que posteriormente en la demostracin aparezca la frmula a derecha del smbolo .
La segunda regla dice simplemente que si se encuentra una frmula P en la demostracin, puede
agregarse tambin la frmula que resulta de anteponer a P los smbolos x (donde x es una variable
numerada cualquiera).
Reunimos en este cuadro los axiomas de la lgica de primer orden con igualdad:
Axiomas lgicos:
L1 :P (Q P)
L2 :(P (Q R)) ((P Q) (P R))
L3 :(P Q) (Q P)
Reglas de inferencia:
Regla de modus ponens: De P y de (P Q) se deduce Q.
Regla de generalizacin: De P se deduce xP.
4. DEMOSTRACIONES Y TEORAS
En el captulo 2 llamamos informalmente teora a cualquier seleccin de afirmaciones,
propuestas como axiomas (en el Apndice I se muestran algunos ejemplos concretos de teoras). Los
conceptos que hemos expuesto en este captulo nos permiten precisar ms esta nocin.
Una teora formal (para la aritmtica) es un conjunto de enunciados de primer orden escritos
con los smbolos S, 0, +, , =, v, |, , , , (, ). A los enunciados seleccionados los llamaremos
axiomas de la teora. Esta definicin se corresponde con la idea intuitiva que dimos en el captulo 2,
con la condicin adicional de que los axiomas son enunciados escritos en el lenguaje formal.
Damos como ejemplo de teora formal la llamada aritmtica de primer orden de Peano. (Como
ya dijimos, la letra S indica la funcin sucesor, que a cada n le asigna su sucesor inmediato n + 1).
(1) (0 = Sx )
(2) Sx = Sy x = y
(3) x + 0 = x
(4) x + Sy = S(x + y )
(5) x 0 = 0
(6) x Sy = (x y) + x
(7) Para cada (x, v1, vn), si x no ocurre bajo cuantificadores en , el axioma
(0, v1, vn) (x((x, v1, vn) (S(x), v1, vn)) x((x, v1, vn))
Este ltimo es el llamado axioma-esquema de induccin. Lo que nos dice es que si una
propiedad dada por una frmula del lenguaje se verifica en 0 y cada vez que se verifica en
x, vale tambin en x + 1, entonces la propiedad vale para todos los nmeros.
En la presentacin de los axiomas, en general, se omiten por brevedad los cuantificadores
universales. Por ejemplo, el axioma (2) Sx = Sy x = y debe entenderse, en rigor, como una
abreviatura del enunciado xy(Sx = Sy x = y). Esto puede hacerse porque ambas frmulas son
equivalentes. En efecto, a partir de la frmula x + Sy = S(x + y) pueden obtenerse, por la regla de
generalizacin, primero la frmula y(x + Sy = S(x + y)) y luego la frmula xy(x + Sy = S(x +
y)). Recprocamente, a partir de la frmula xy(x + Sy = S(x + y)), podemos obtener x + Sy = S(x
+ y) de la siguiente manera:
1. xy(x + Sy = S(x + y))
2. xy(x + Sy = S(x + y)) y(x + Sy = S(x + y))
Axioma L4 (para t = x)
5. x + Sy = S(x + y)
Modus ponens (de lneas 3 y 4)
x+0=x
x(x + 0 = x )
x(x + 0 = x) 1 + 0 = 1
1+0=1
Axioma
Regla de generalizacin
Axioma L4 (para t = 1)
Modus ponens (de lneas 2 y 3)
x+0=x
1+0=1
x + S(y) = S( x + y)
x + S(0) = S( x + 0)
1 + S(0) = S( 1 + 0)
x = y S( x) = S(y)
x = 1 S( x) = S(1)
1 + 0 = 1 S(1 + 0) = S( 1)
S(1 + 0) = S(1 )
1 + S(0) = S(1 + 0) (S(1 + 0) = S(1) 1 + S(0) = S( 1))
S(1 + 0) = S(1) 1 + S(0) = S( 1)
1 + S(0) = S( 1)
Dado que, de acuerdo con las abreviaturas, S(0) es 1 y que S(1) es 2, la lnea 12 es 1 + 1 = 2,
como queramos probar (comprese con la demostracin informal del captulo 1, Figura 2).
de verdad tambin para frmulas con variables libres, que pueden considerarse como abreviaturas de
enunciados y que aparecen tanto en las demostraciones formalizadas como en las axiomatizaciones
usuales de las teoras (vanse las presentaciones habituales de teoras axiomticas en el Apndice I).
Damos entonces, por pasos sucesivos, la definicin de frmula verdadera en N.
1.
Los enunciados ms simples son aquellos en los que no aparece ningn smbolo lgico, es decir,
las frmulas atmicas sin variables, que llamaremos enunciados atmicos. En nuestro lenguaje
para la aritmtica, estos enunciados resultan de igualar dos trminos que no contienen variables.
Por ejemplo 1 = 2 (3 + 5) o tambin 3 + 5 = 4 2. Diremos que un enunciado atmico es
verdadero si los dos trminos a izquierda y derecha de la igualdad representan el mismo nmero.
En caso contrario el enunciado ser falso. De los ejemplos, el primer enunciado es falso y el
segundo es verdadero.
2.
Consideremos ahora una frmula P(x1, x2, , xn). Esta notacin indica que las variables libres
que aparecen efectivamente en la escritura de la frmula P estn todas entre x1, x2, , xn. (Es
decir, puede ocurrir que alguna de las variables x1, x2, , xn no figure en la escritura de P, pero
lo que no puede ocurrir es que haya alguna variable libre en la escritura de P distinta de todas
stas).
2.a. Si P(x1, x2, , xn) es una frmula atmica, diremos que es verdadera si son
verdaderos todos los enunciados atmicos que resultan de reemplazar las variables x1, x2,
, xn por numerales cualesquiera.
2.b. Si P es del tipo Q, es claro que tambin Q se escribe a lo sumo con las variables
libres x1, x2, , xn. Diremos que P es verdadera si Q es falsa y que P es falsa si Q es
verdadera.
2.c. Si P es del tipo Q R, es claro que tanto Q como R se escriben a lo sumo con las
variables libres x1, x2, , xn. (Podra ser aqu que o bien Q o R estuvieran escritas con
menos variables libres que P, pero cualquier variable libre de Q o R ser tambin variable
libre de P). En definitiva, tambin Q es Q(x1, x2, , xn) y R es R(x1, x2, , xn). Diremos
que P es falsa si Q es verdadera y R es falsa. En cualquier otro caso diremos que P es
verdadera.
2.d. Finalmente, si P es del tipo xQ(x, x1, x2, , xn), para cada reemplazo de la
variable x por un numeral a, la frmula Q(a, x1, x2, , xn) no puede tener otras variables
libres que x1, x2, , xn. Diremos que P es verdadera si son verdaderas todas las frmulas
Q(a, x1, x2, , xn) que se obtienen de reemplazar a x por un numeral cualquiera a.
Terminaremos esta seccin con un teorema que nos asegura que si partimos de frmulas
verdaderas, todos los enunciados que obtenemos mediante demostraciones tambin sern verdaderos.
Este resultado, en realidad un teorema sobre frmulas, desde afuera del sistema, es el que le
permite a Gdel probar que su enunciado no demostrable es verdadero.
Observemos que al definir un lenguaje formal, tanto ese lenguaje como el sistema formal al que
da lugar se convierten en posibles objetos de investigacin matemtica. Y que los mtodos y
razonamientos habituales de la matemtica, as como el lenguaje usual de la matemtica, se pueden
ejercer sobre el lenguaje formal y el sistema para obtener teoremas y probar distintas propiedades
del sistema. A estos teoremas desde afuera se los llama metateoremas para distinguirlos de los
teoremas que puede probar por s mismo el sistema. Y el lenguaje usual de la matemtica, con
respecto al lenguaje formal, es un metalenguaje.
TEOREMA DE CORRECCIN:
Si todos los axiomas de una teora son frmulas verdaderas entonces todos los teoremas
que se demuestran a partir de ellos son tambin frmulas verdaderas.
Demostracin: Para verificar esto veamos que si los axiomas de la teora son frmulas
verdaderas entonces todas las frmulas que aparecen en una demostracin son tambin verdaderas
(en particular ser verdadera la ltima frmula, que es el teorema demostrado).
En una demostracin aparecen axiomas de la teora (que estamos suponiendo que son
verdaderos), los diez axiomas lgicos que hemos dado, y frmulas que se obtienen por aplicacin de
las reglas de inferencia. Basta ver entonces:
1. Los axiomas lgicos son frmulas verdaderas.
2. Si aplicamos las reglas de inferencia a frmulas verdaderas obtenemos siempre frmulas
verdaderas.
Dejamos el punto 1 como ejercicio (vase al final del captulo). Probemos el punto 2.
Comencemos con la regla de modus ponens: si P Q es una frmula verdadera y P es
verdadera entonces, en efecto, Q es verdadera, ya que si Q fuera falsa (al ser P verdadera) sera falsa
la frmula P Q.
Por otra parte, el punto 2.d. de la definicin de verdad nos dice que si P es verdadera entonces
xP es tambin verdadera, por lo que la regla de generalizacin tambin propaga la verdad. De
manera que, una vez resuelto el Ejercicio 3.2, queda demostrado el teorema.
Supongamos ahora que la teora es inconsistente, y sea P el enunciado tal que tanto P como P
son demostrables en la teora. Tomemos un enunciado Q cualquiera y escribamos una demostracin
de P, a continuacin una demostracin de P y finalmente, a continuacin, una demostracin de P
(P Q) (dada por el Ejercicio 3.4). Aplicando dos veces la regla de modus ponens podemos
agregar a Q como enunciado final y, entonces, Q es demostrable. Es decir, si de una teora puede
demostrarse una contradiccin, entonces toda frmula es demostrable.
Recordemos tambin que hemos dado en captulos previos dos definiciones de la nocin de
completitud: la primera apela a la nocin de verdad, y la segunda es puramente sintctica.
Definicin 1 (semntica)
Una teora es completa si todo enunciado verdadero puede obtenerse como teorema de la
teora.
Definicin 2 (sintctica)
Una teora es completa si para todo enunciado E, o bien E es demostrable, o bien la
negacin de E es demostrable.
Estamos ahora en condiciones de probar que si los axiomas de la teora son todos enunciados
verdaderos estas dos definiciones son equivalentes:
Proposicin: Si los axiomas de una teora son enunciados verdaderos, entonces la teora es
completa de acuerdo a la definicin 1 si y slo si es completa de acuerdo a la definicin 2.
Demostracin: Supongamos primero que la teora es completa de acuerdo a la definicin
semntica. Si la teora fuera incompleta (en el sentido sintctico de la definicin 2), entonces hay un
enunciado P que no es un teorema y tal que P tampoco es un teorema. Ahora bien, o P es verdadero,
o P es falso. Si P es verdadero, de acuerdo a la definicin 1, P es un teorema (absurdo). Si P es falso,
la negacin de P es un enunciado verdadero y, de acuerdo a la definicin 1, la negacin de P es un
teorema (absurdo).
Recprocamente, supongamos ahora que la teora es completa de acuerdo a la definicin 2 y que
hay un enunciado P verdadero y no demostrable. Como P es no demostrable, entonces P es un
teorema. Pero entonces tendramos que la negacin de P es un teorema. Ahora bien, la negacin de P
es un enunciado falso (porque P es un enunciado verdadero). Tendramos as un enunciado
demostrable y falso. Esto no es posible, debido al Teorema de Correccin. Por lo tanto la teora debe
ser completa de acuerdo a la definicin 1.
7. LA SOLUCIN DE UN DILEMA
Ya observamos en el Ejemplo 1.1 que la teora de primer orden de los nmeros complejos
plantea un aparente dilema respecto al Teorema de Gdel. En efecto, Gdel observ que si en una
teora cualquiera pueden definirse los nmeros naturales junto con las operaciones de suma y
multiplicacin, entonces pueden desarrollarse los argumentos de su demostracin para probar la
incompletitud de la teora. Dentro de los nmeros complejos estn incorporados los nmeros
naturales, que podemos encontrar como 1, 1 + 1, 1 + 1 + 1, etctera. Tambin estn definidas las
operaciones de suma y multiplicacin para estos nmeros, que son simplemente la restriccin de la
suma y el producto de los nmeros complejos. De manera que hemos reencontrado a los nmeros
naturales dentro de los nmeros complejos. Sin embargo, la teora T(C) de todos los enunciados
verdaderos en C es recursivamente axiomatizable, y la lista de axiomas que damos en el Ejemplo 1.1
es una axiomatizacin recursiva y completa para esta teora.
Lo que ocurre es que la propiedad Ser nmero natural no puede reconocerse y ser definida
en el lenguaje de primer orden con la suma y el producto de nmeros complejos. Es decir, no hay un
enunciado (ni un conjunto de enunciados) del lenguaje de primer orden que capture la disyuncin
infinita: x = 1 o x = 1 + 1 o x = 1 + 1 + 1
Dicho de otro modo: si pudiera definirse Ser nmero natural por medio de un enunciado (o un
conjunto de enunciados) de primer orden, valdra la generalizacin del argumento de Gdel y
entonces la teora T(C) no sera recursivamente axiomatizable.
El hecho de que no pueda definirse en un lenguaje de primer orden esta clase de propiedad
depende de un teorema de la lgica llamado Teorema de Compacidad (vase [Chang y Keisler]). A
partir del captulo 5 daremos la demostracin del Teorema de Incompletitud, tanto en la versin
semntica como en la versin sintctica general.
Pero antes discutiremos algunos de los intentos de aplicacin de estos teoremas fuera de la
matemtica.
8. EJERCICIOS
Ejercicio 3.1: Dada una expresin cualquiera del lenguaje formal, hay un procedimiento mecnico
para determinar en una cantidad finita de pasos si esa expresin es una frmula y tambin si es en
particular un enunciado.
Resolucin: Damos la idea de un programa que comprueba si una expresin cualquiera es un
enunciado, con una subrutina (que puede aislarse como otro programa), para detectar si la expresin
es una frmula.
Dada la expresin E, lo primero que hacemos es detectar las posibles apariciones de variables
y verificar en cada aparicin de una variable si es libre o no. En el caso de que una variable ocurra
libre el programa termina y concluye que la expresin E no es un enunciado. Si todas las apariciones
de las variables estn afectadas por cuantificadores, el programa entra en una subrutina para
chequear si la expresin E es una frmula.
Dentro de esta subrutina el programa procede de este modo: lee el primer smbolo de la
expresin E.
Si este smbolo es , la expresin E es del tipo E = F, y entonces procede a chequear la
expresin (ms corta) F para determinar si F es o no una frmula. Si F no es una frmula, el
programa se detiene y concluye que E no es una frmula. Si F es una frmula, el programa se detiene
y concluye que E es una frmula.
Si este smbolo es ( procede a leer el ltimo smbolo de la expresin E. Si este smbolo no es
), el programa termina y concluye que E no es una frmula. Si el ltimo smbolo es ), la
expresin E es del tipo (F). Se procede entonces a leer el segundo smbolo de E. Si este segundo
smbolo es se procede a leer los smbolos siguientes para detectar una variable numerada, es
decir, el tercer smbolo debera ser v y los inmediatamente siguientes |. Si los smbolos
siguientes no corresponden a una variable numerada, el programa termina y concluye que E no es una
frmula. Si los smbolos siguientes corresponden a la variable vn, entonces E es del tipo (vnF),
y se procede a chequear la expresin (ms corta) F para determinar si F es o no una frmula.
Si el segundo smbolo no es se procede a buscar dentro de F los conectivos , con
algn smbolo a izquierda y alguno a derecha, para determinar si E es del tipo (F G). Si no
aparece ningn conectivo en estas condiciones el programa termina y concluye que E no es una
frmula. Por cada conectivo que aparece el programa analiza la expresin F (ms corta que E)
a izquierda y la expresin G (ms corta que E) a derecha para determinar si son frmulas.
Si el primer smbolo de E no es ni , ni (, la nica posibilidad para que E sea una frmula
es que sea una frmula atmica, y el programa entra en una subrutina para chequear si E es una
frmula atmica.
En esta subrutina el programa procede a buscar un nico smbolo =, con al menos un smbolo
a derecha y al menos un smbolo a izquierda de =. Si E no tiene un signo = en estas condiciones, o
tiene ms de uno, no es una frmula atmica. Si E tiene un signo = con al menos un smbolo a
izquierda y un smbolo a derecha, E se escribe como F = G. Entonces el programa procede a la
ltima subrutina para chequear si F y G son trminos, de manera similar a lo que hicimos con las
frmulas.
Como el programa procede por anlisis de expresiones cada vez ms cortas, finalmente
concluye y puede dar su veredicto sobre si la expresin E es o no una frmula.
Ejercicio 3.2: Todas las frmulas que provienen de los axiomas lgicos son verdaderas.
Resolucin: Comencemos con un enunciado que provenga del esquema L1: P (Q P). La
nica manera de que este enunciado sea falso es que P sea verdadero y Q P sea falso, pero a la
vez, la nica forma en que Q P sea falso es que Q sea verdadero y P falso. Es decir, para que el
axioma fuera falso debera ser a la vez P verdadero y falso. Como esto no puede ocurrir, los
enunciados dados por el esquema L1 son siempre verdaderos.
Para los enunciados de la forma L2 y L3 se procede de forma similar.
Un enunciado de la forma L4: vnP(vn) P(vn/t) slo puede ser falso si vn P(vn) es
verdadero y P(vn/t) es falso para algn trmino t. Probaremos que esto no puede ocurrir para ningn
trmino t (elegido con la restriccin de que las variables de t no aparezcan afectadas por los
cuantificadores de P en el reemplazo).
1. Si t es un numeral a, y P(vn/t) es falso, tambin es falso vn P(vn) (porque falla P(a)).
2. Si t es una variable x, por la restriccin que impusimos, x ocurre libre en P(vn/x). Si fuera
P(vn/x) falsa, esto significa que hay algn numeral a tal que P(vn/x)(x/a) es falsa. Pero como x
es libre, P(vn/x)(x/a) es exactamente P(vn/a). (Pensarlo!). Y entonces tambin sera falso vn
P(vn).
3. Si t se obtiene como combinacin de la suma y el producto a partir de numerales y variables, el
razonamiento puede reducirse esencialmente a los dos casos anteriores. Lo bosquejamos aqu:
Si t no tiene variables, el resultado de las operaciones ser tambin un numeral, y estamos en el
caso 1. Si t tiene variables, suponer la falsedad de P(vn/t), implica que para una sustitucin de
variables libres de P(vn/t) por ciertos numerales, el enunciado que se obtiene es falso. Para
estos numerales, al reemplazarlos en las variables de t, obtenemos un resultado, que es otra vez
un numeral. Este numeral hara fallar tambin P(vn). Por lo que sera falso vn P(vn).
Finalmente, un enunciado de la forma L5: vn(P Q) (P vnQ) es falso solamente si
vn(P Q) es verdadero y P vnQ es falso. Esto ltimo sucede si P es verdadero y vnQ
falso. Si vnQ es falso entonces existe algn nmero k tal que Q(k) es falso. Como vn no ocurre
libre en P y P es verdadero, P(k) es verdadero. (Pensarlo!). Luego P(k) Q(k) es falso, pero esto
contradice que vn(P Q) es verdadero.
Dejamos al lector la comprobacin de que los axiomas de igualdad tambin son verdaderos.
Ejercicio 3.3: Verifique que si la frmula P Q y la frmula Q R son ambas demostrables
entonces P R es demostrable.
Resolucin: En el axioma L1: P (Q P) reemplazamos P por Q R y Q por P. Entonces (Q
R) (P (Q R)) es un axioma. Tomemos una demostracin de Q R y agreguemos el
axioma (Q R) (P (Q R)). Por modus ponens tenemos que P (Q R) es demostrable.
Por el axioma L2: (P (Q R)) ((P Q) (P R)), nuevamente aplicando modus ponens
tenemos que (P Q) (P R) es demostrable. Finalmente, como P Q es demostrable, una
ltima aplicacin del modus ponens nos dice que P R es demostrable.
Ejercicio 3.4: Verifique que, cualesquiera que sean las frmulas P y Q, la frmula P (P Q) es
demostrable.
Resolucin: En el axioma L1: P (Q P) reemplazamos cada enunciado por su negacin y
obtenemos que P (Q P) es un axioma, por otra parte en el axioma L3: (P Q) (Q
P) intercambiamos P y Q y obtenemos (Q P) (P Q).
Entonces P (Q P) y (Q P) (P Q) son demostrables, luego, por el ejercicio
anterior, P (P Q) es demostrable. Si intercambiamos a P y P tenemos que P (P Q) es
tambin demostrable.
Ejercicio 3.5: Dar una demostracin formalizada en la aritmtica de primer orden de Peano de que 2
+ 2 = 4.
Sugerencia: probar primero que 2 + 1 = 3, siguiendo las lneas de la demostracin de 1 + 1 = 2.
CAPTULO CUATRO
EL TEOREMA DE GDEL
FUERA DE LA MATEMTICA
Julia Kristeva: Gdel y la semitica. La elaboracin de una teora formal para el lenguaje potico. Paul Virilio: Gdel y las
nuevas tecnologas. Rgis Debray y Michel Serres: Gdel y la poltica. Deleuze y Guattari: Gdel y la filosofa. Jacques
Lacan: Gdel y el psicoanlisis. Jean-Franois Lyotard: Gdel y la condicin posmoderna. Ejercicios.
Nos proponemos examinar aqu una variedad de intentos de aplicacin de los teoremas de Gdel en
disciplinas sociales fuera de la matemtica. Seguiremos esencialmente los ejemplos provistos por
Alan Sokal y Jean Bricmont en Imposturas intelectuales [Sokal y Bricmont] y el anlisis
complementario, particularizado en el Teorema de Gdel, de Jacques Bouveresse en Prodigios y
vrtigos de la analoga [Bouveresse]. En algunos de los casos que consideramos: Lacan, Deleuze y
Guattari, Lyotard, suministramos textos especficos sobre el Teorema de Gdel (y la discusin
correspondiente) que Sokal y Bricmont no incluyen. Tambin nuestra conclusin final es algo
diferente de la de ellos.
Los primeros trabajos de Julia Kristeva, escritos a mediados de los aos sesenta, y reunidos en
Semitica I y II, tratan de lingstica y semitica. Uno de los objetivos declarados es la elaboracin
de una teora formal del lenguaje potico, cuya teorizacin se puede fundamentar en la teora de
conjuntos. Sin embargo, aunque se invoca en estos trabajos una cantidad abrumadora de nociones
tcnicas matemticas, nunca se justifica la eleccin inicial bastante extraa de la teora de
conjuntos (respecto a otras posibilidades) para formalizar el lenguaje potico. Peor an, se deslizan
una y otra vez gruesos errores que revelan la escasa comprensin de los conceptos matemticos que
se pretende utilizar. La impresin general es que se utiliza un lenguaje que slo se comprende a
medias, para impresionar, o intimidar, al lector no especializado.
Citamos aqu slo unos pocos prrafos del artculo Para una semiologa de los paragramas
(1966), que tienen que ver con los teoremas de Gdel y los enunciados indecidibles. Una crtica ms
exhaustiva de otros errores matemticos puede verse en [Sokal y Bricmont].
Habiendo admitido que el lenguaje potico es un sistema formal cuya teorizacin se puede
fundamentar en la teora de conjuntos, podemos constatar, al mismo tiempo, que el
funcionamiento de la significacin potica obedece a los principios enunciados por el
axioma de eleccin [Kristeva proporciona aqu la formulacin matemtica del axioma, que
hemos dado en el Apndice I, Ejemplo 5].
O dicho en otras palabras, se puede elegir simultneamente un elemento en cada uno de los
conjuntos no vacos de los que nos ocupamos. As enunciado, el axioma es aplicable en
nuestro universo E del lp [lenguaje potico], y precisa cmo cada secuencia lleva consigo
el mensaje del libro.
Kristeva, como observan Sokal y Bricmont, nunca dice cmo podra constatarse esa
obediencia de la significacin potica al axioma de eleccin. En realidad, el axioma de eleccin
se introduce en la teora de conjuntos (como observamos en el Apndice I, Ejemplo 5) para tener
siempre la posibilidad de elegir elementos en conjuntos infinitos. Una primera pregunta que
Kristeva no se hace es por qu debera emplearse este axioma en el universo del lenguaje
potico? Cules seran esos conjuntos infinitos en poesa? Todava peor: el axioma de eleccin no
dice ni podra precisar cmo cada secuencia llevara consigo un mensaje, porque es un axioma
puramente existencial, que no indica nada sobre cmo se efecta la eleccin.
Kristeva contina ms abajo:
La compatibilidad del axioma de eleccin y de la hiptesis generalizada del continuo con
los axiomas de la teora de conjuntos nos sita al nivel de un razonamiento a propsito de
la teora: una metateora (y se es el estatus del razonamiento semitico) en la que los
metateoremas han sido puntualizados por Gdel. Encontramos en ellos justamente los
teoremas de existencia que no vamos a desarrollar aqu, pero que nos interesan en la
medida en que proporcionan conceptos que permiten plantear de manera nueva, y sin ellos
imposible, el objeto que nos interesa: el lenguaje potico.
Otra vez aqu se introducen conceptos matemticos sofisticados sin ningn propsito concreto.
La teora de conjuntos de Zermelo-Fraenkel ya da en todo caso el marco suficiente para un
razonamiento sobre la teora, si lo que se quiere es dejar caer la palabra metateora. Y sobre todo,
la hiptesis generalizada del continuo no tiene aqu nada que hacer, como sealan Sokal y Bricmont.
En efecto, la hiptesis generalizada del continuo es un axioma independiente de la teora de conjuntos
de Zermelo-Fraenkel (vase el Apndice I, Ejemplo 5) y se refiere a conjuntos no numerables (como
los nmeros reales) y a una estratificacin, una jerarqua, de los conjuntos infinitos no numerables.
Cul sera la relacin de este axioma con el lenguaje? Todos los libros que podra escribir la
humanidad, y todos los textos concebidos y por concebir del lenguaje potico, contados desde el
inicio de la escritura hasta un futuro eterno, constituyen un conjunto que no puede sobrepasar lo
numerable (vase el Ejercicio 1.5): el primer piso, por decirlo as, de esta torre infinita de infinitos.
De manera que la hiptesis del continuo no tiene en este contexto ningn sentido.
Tampoco est claro, y parece una alusin gratuita, qu significara aqu que Gdel haya
puntualizado los metateoremas. Sobre todo, parece absurda la ltima afirmacin de que sin estos
conceptos de la teora de conjuntos sera imposible formalizar el lenguaje potico. La teora de
conjuntos nos parece una eleccin extravagante y errnea para la clase de formalizacin que intenta
Kristeva. Sin duda hay dentro de la matemtica lenguajes y sistemas formales que podran adecuarse
mejor a sus propsitos.
Un poco ms adelante Kristeva enuncia un resultado extremadamente tcnico de la teora de
conjuntos de Gdel-Bernays y dice (sin molestarse en justificarlo):
En el lenguaje potico, este teorema denota las diferentes secuencias como equivalentes a
una funcin que las engloba a todas [] Lautramont fue uno de los primeros en practicar
conscientemente este teorema.
Difcilmente Lautramont (1846-1870), como ironizan Sokal y Bricmont, hubiera podido
practicar conscientemente un teorema desarrollado entre 1937 y 1940. Los teoremas, por otra
parte, no se practican, sino que se aplican.
A continuacin Kristeva concluye:
La nocin de constructibilidad implicada por el axioma de eleccin, asociado a todo lo
que acabamos de exponer con relacin al lenguaje potico, explica la imposibilidad de
establecer una contradiccin en el espacio del lenguaje potico. Esta constatacin se
aproxima a la de Gdel, relativa a la imposibilidad de establecer la contradiccin de un
sistema a travs de medios formalizados en ese sistema.
Hay aqu, en el mismo prrafo, dos ejemplos muy claros de que Kristeva no domina ni la
terminologa ni los conceptos que introduce. El axioma de eleccin no implica la nocin de
constructibilidad, sino que en realidad, como sealan Sokal y Bricmont, se introduce para poder
afirmar la existencia de determinados conjuntos justamente cuando no se dispone de un
procedimiento para construirlos. Pero lo ms grave es la confusin con respecto a la tesis del
Teorema de Consistencia de Gdel. El teorema dice, en realidad, exactamente lo contrario de lo que
afirma Kristeva. Gdel muestra la imposibilidad de establecer la consistencia (o no contradiccin)
de un sistema (con suficiente aritmtica) a travs de medios formalizados en ese sistema. La
contradiccin (o inconsistencia) de un sistema s puede ser establecida por medios formalizados en
ese sistema y es muy fcil dar ejemplos de teoras internamente contradictorias: basta agregar por
ejemplo a la aritmtica de Peano el enunciado Uno ms uno no es dos para obtener una teora
inconsistente en la que tanto Uno ms uno es dos como su negacin pueden demostrarse.
A pesar de que Kristeva se alej luego de esta clase de enfoques, fueron estos trabajos los que
le dieron sobre todo su fama dentro de los crculos acadmicos franceses. En particular Roland
Barthes escribi sobre ellos:
Lo que ella desplaza es lo ya-dicho, es decir, la insistencia del significado, es decir, la
tontera; lo que subvierte es la autoridad, la autoridad de la ciencia fonolgica, de la
filiacin. Su trabajo es completamente nuevo, exacto []
En 1971 viaj a Chile, donde conoci a Salvador Allende. Tras el golpe militar de 1973 revis
su pensamiento sobre la teora revolucionaria, en obras como Crtica de la razn poltica, de 1981.
Empez posteriormente una carrera poltica en el Partido Socialista francs y fue nombrado
durante el gobierno de Franois Mitterrand como asesor de polticas exteriores para el Tercer
Mundo. Despus de su renuncia por diferencias ideolgicas, su trabajo se centr en la elaboracin de
una teora general acerca de la transmisin cultural y de los medios de comunicacin.
En Crtica de la razn poltica (1981) Debray dedica un captulo a la supuesta relacin entre el
Teorema de Gdel y los infortunios colectivos. Dice all:
La demencia colectiva encuentra su razn ltima de ser en un axioma lgico que carece en
s mismo de fundamento: la incompletitud.
Y presenta la analoga de esta manera:
El enunciado del secreto de los infortunios colectivos, es decir, de la condicin a priori
de toda la historia poltica pasada, presente y futura, se expresa en unos cuantos trminos
sencillos e infantiles. Si nos fijamos en que las definiciones de la plusvala y del
inconsciente, se limitan, cada una de ellas, a una sola frase (y, en ciencias fsicas, la
ecuacin de la relatividad general a tres letras), nos guardaremos de confundir simplicidad
con simplismo. Este secreto tiene la forma de una ley lgica, generalizacin del Teorema
de Gdel: no existe ningn sistema organizado sin clausura, y ningn sistema se puede
clausurar exclusivamente con la ayuda de sus elementos interiores. (Cursivas del
original).
Hay aqu varios niveles del disparate: en primer lugar, la frase en cursiva ningn sistema se
puede clausurar exclusivamente con la ayuda de sus elementos interiores pareciera que pretende
extrapolar el Teorema de Consistencia de Gdel, en el que se prueba que para sistemas que
contienen suficiente aritmtica (en el sentido preciso y tcnico que hemos dado en el captulo 3), la
propiedad de consistencia no puede ser probada dentro del mismo sistema. Pero, como ya hemos
observado, hay tambin sistemas de la matemtica para los que s se puede probar a la vez la
consistencia y la completitud, por ejemplo, el clculo proposicional, el clculo de predicados, el
clculo mondico de predicados, o las teoras de modelos finitos. De manera que, para usar con
alguna seriedad la analoga, Debray debera fundamentar primero que los principios de organizacin
social, la cuestin del poder poltico, la lucha de clases, etctera, pueden formularse como una teora
regida por la estricta lgica binaria matemtica y en la que, adems, a partir de estos principios
sociales, pueda derivarse la suficiente aritmtica para cumplir con la hiptesis del teorema de
consistencia.
En segundo lugar, Debray parece tirar por la borda aqu roda su formacin marxista, ya que
pretende encontrar un secreto inmutable con forma lgica (y no slo lgica, sino con la forma ms
rigurosa posible de la lgica matemtica) no slo para toda la historia poltica pasada, presente y
futura, sino tambin para la economa poltica y hasta para la teora del inconsciente. En efecto,
dentro del abec del marxismo, la lgica y en general el razonamiento cientfico es una facultad
completa a la cuestin planteada. Hagamos notar, a este respecto, que en un sistema formal
los medios que pueden utilizarse para decidir una proposicin son objetos de una
codificacin formal completamente precisa y explcita. Nada de esto puede decirse
evidentemente a propsito de los medios que pueden o no ser utilizados para decidir
una proposicin en el interior de un sistema social. Y desde ese punto de vista, las dos
situaciones son absolutamente incomparables. Por supuesto, est tambin completamente
desprovisto de fundamento relacionar la oposicin entre interno y externo, en el caso de
los sistemas formales, con la que se plantea entre lo profano, lo laico o lo racional
por su parte y lo religioso por otra. Debray mismo parece dispuesto a aceptar todo esto,
pero no a extraer las consecuencias que se imponen: esto constituye una manera de
abandonar todo sin perder nada.
2. [] Es cierto que aunque no lo diga siempre claramente y que la expresin Teorema de
Incompletitud evoque sobre todo el primer Teorema de Gdel (la existencia de una
proposicin indecidible), Debray quiz quiere hablar en realidad de lo que se llama
generalmente el segundo Teorema de Gdel, a saber, del hecho de que la proposicin
que enuncia la no contradiccin del sistema es ella misma indecidible y no puede ser
demostrada con ayuda de argumentos formalizables dentro del sistema. Sera ciertamente
extrao decir que un sistema como el de la aritmtica descansa en su no contradiccin,
que, sin embargo, no puede demostrar, en un sentido comparable al que se pone en juego
para decir que un sistema social descansa en la proposicin exterior que lo trasciende y
que, segn Debray, es indispensable para fundarlo. [] Pero es poco probable que
fundar un sistema social y para ste autofundarse pueda querer decir lo mismo que
demostrar simplemente su no contradiccin. Aqu tambin, si se cree poder aproximar el
problema de la consistencia o coherencia de un sistema social al de la consistencia (la
no contradiccin) de un sistema formal, no se hace ms que jugar con las palabras.
Y Bouveresse concluye de este modo:
[] Es lamentable que el medilogo profesionalmente ligado a las tecnologas del hacer
creer no se interese aqu un poco por su propio caso y no se interrogue acerca de la
manera que utiliza para hacernos creer las cosas importantes que l piensa haber
descubierto. [] El Teorema de Gdel parece servir aqu sobre todo para dar un aire de
seriedad cientfica a la idea antimnchhauseniana importante, pero banal, de que los
sistemas poltico-sociales no pueden, como el famoso barn, salirse ellos mismo del
charco (con la montura sobre la cual estn sentados), tirando de sus propios cabellos. Pero
esto es algo que ya se saba perfectamente sin Gdel.
Ms recientemente, en 1996, Debray reconoci que la gdelitis es una enfermedad muy
extendida y que extrapolar un resultado cientfico y generalizarlo fuera del campo al que pertenece
expone [] a cometer graves errores. Dice finalmente tambin que su utilizacin del Teorema de
Gdel es simplemente a ttulo metafrico o isomrfico. (Rgis Debray, 1996, Lincompltud,
logique du religieux?, Bulletin de la Socit Franaise de Philosophie, 90). Bouveresse tambin
reflexiona sobre esta clase de retiradas:
El secreto del xito [de la manipulacin del Teorema de Gdel] obedece a una regla
simple y eficaz:
1. Comenzar por invocar la garanta de un resultado cientfico prestigioso para apoyar una
tesis filosfica aparentemente ambiciosa, revolucionaria y radical.
2. Cuando la crtica comienza a hacerse un poco ms precisa e insistente, explicar que el
uso que se ha hecho de aqul no deba ser tomado al pie de la letra y que se trataba, de
hecho, simplemente de una manera metafrica de expresar un contenido que, la mayor parte
de las veces, termina siendo bastante anodino y relativamente banal.
Que la mayor parte de los lectores no se haya dado cuenta desgraciadamente de esto desde
el comienzo y haya credo realmente en la existencia de una cosa tan absurda como, por
ejemplo, un pretendido principio Debray-Gdel constituye por supuesto un detalle sin
importancia. Lo notable en todas las discusiones que tienen lugar sobre cuestiones de este
tipo es que no se trata sino de heridas que pueden ser infligidas al amor propio o a la
reputacin de los autores mencionados, y nunca del precio pagado por aquellos que han
sido vctimas por un tiempo y a veces por muchos aos de las imposturas cometidas. Y a
quin le importa este tipo de cosas?
No nos resistimos a reproducir un ltimo comentario de Debray, que Sokal y Bricmont usan de
epgrafe para su captulo sobre los abusos del Teorema de Gdel:
Desde el da en que Gdel demostr que no existe una prueba de la consistencia de la
aritmtica de Peano formalizable en el marco de esta teora (1931), los politlogos
pudieron, por fin, comprender por qu haba que momificar a Lenin y exhibirlo a los
camaradas occidentales en un mausoleo, en el Centro de la Comunidad Nacional. (Rgis
Debray, 1980, Le Scribe: Gense du politique, Pars, Bernard Grasset).
La caracterstica principal de los textos que hemos incluido es la falta absoluta de claridad
y transparencia. Como es natural, los defensores de Deleuze y Guattari podran replicar
que, simplemente, dichos textos son profundos y no los comprendemos. Sin embargo, al
analizarlos con atencin, se observa una gran densidad de trminos cientficos, utilizados
fuera de su contexto y sin ningn nexo lgico aparente, por lo menos si se les atribuye su
significado cientfico usual. Por supuesto, Deleuze y Guattari son libres de emplear estos
trminos en otros sentidos diferentes: la ciencia no tiene el monopolio sobre el uso de
vocablos como caos, lmite o energa. Pero lo que sucede, as lo mostraremos, es
que sus escritos estn atiborrados tambin de trminos extremadamente tcnicos que nunca
se utilizan fuera de discursos cientficos especializados, y de los que no dan ninguna
definicin alternativa.
Estos textos tocan una gran variedad de temas: el Teorema de Gdel, la teora de los
cardinales transfinitos, la geometra de Riemann, la mecnica cuntica, etctera. No
obstante, las alusiones son tan breves y superficiales que el lector que no posea un dominio
previo de dichos temas no podr entender nada concreto. Y los lectores especializados
encontrarn, la mayora de las veces, que sus afirmaciones no tienen el menor sentido o
que, aun siendo a veces aceptables, son ftiles y confusas. [] En nuestra opinin, la
explicacin ms plausible es que estos autores pretenden exhibir en sus escritos una
erudicin tan amplia como superficial.
Esta descripcin se ajusta tambin exactamente a los prrafos sobre el Teorema de Gdel que
aqu transcribimos de uno de los libros ms famosos que escribieron juntos: Qu es la filosofa?
Deleuze y Guattari, de una manera muy confusa, definen sus propias nociones de consistencia,
endoconsistencia, exoconsistencia y autorreferencia para conceptos. Copiamos aqu los fragmentos
con que presentan esas definiciones:
En segundo lugar, lo propio del concepto consiste en volver los componentes inseparables
dentro de l: distintos, heterogneos y no obstante no separables, tal es el estatuto de los
componentes, o lo que define la consistencia del concepto, su endoconsistencia. [] Estas
zonas, umbrales o devenires, esta indisolubilidad, son las que definen la consistencia
interna del concepto. Pero ste posee tambin una exoconsistencia, con otros conceptos,
cuando su creacin respectiva implica la construccin de un puente sobre el mismo plano.
Las zonas y los puentes son las junturas del concepto.
De acuerdo con este prrafo, consistencia y endoconsistencia coincidiran. Tambin definen una
nocin de autorreferencia (otra vez para conceptos), muy distinta de la autorreferencia para
frases que aluden a s mismas que hemos usado nosotros.
El concepto se define por su consistencia, endoconsistencia y exoconsistencia, pero carece
de referencia: es autorreferencial, se plantea a s mismo y plantea su objeto al mismo
tiempo que es creado. El constructivismo une lo relativo y lo absoluto.
De acuerdo con esta definicin, aparentemente todo concepto sera autorreferencial (en el
sentido de ellos). Observemos tambin que ahora, en este prrafo, contra lo que se afirmaba
anteriormente, parece que consistencia y endoconsistencia fueran propiedades diferentes. La
confusin se acenta en esta sorprendente afirmacin:
Las frases carecen de autorreferencia, como lo demuestra la paradoja del yo miento.
Deleuze y Guattari no aclaran si aqu estn utilizando la palabra autorreferencia en el sentido
habitual de la lgica, o en alguna extensin (para frases) de la definicin que ellos han dado de
autorreferencia para conceptos. Si fuera la acepcin habitual de la lgica, la afirmacin es, por
supuesto, falsa. Las frases, en realidad, s tienen autorreferencia (algunas de ellas, por supuesto).
Justamente, la frase que mencionan: Yo miento, que reformulada apropiadamente para exhibir la
paradoja dira: Esta afirmacin ma es mentira, se refiere a s misma. La paradoja del Yo miento
no prueba que las frases carezcan de autorreferencia, sino la dificultad de intentar asignarle un valor
de verdad a esta frase. Ya hemos observado en el captulo 1 que Russell y Whitehead proponan
eliminar en sus sistemas formales esta clase de autorreferencia, pero Gdel mostr que slo bastaba
con limitarla. De hecho, su famoso enunciado Yo no soy demostrable, se refiere a s mismo.
Sin embargo, por una conclusin que obtienen ms adelante, quizs ellos se refieren a su propia
definicin de autorreferencia. Pero cmo debera extenderse esta definicin a frases? Observemos
que la definicin que han dado de autorreferencia es carecer de referencia. Decir que las frases
no tienen autorreferencia sera algo as como una doble negacin, a la que nosotros, al menos, no le
encontramos ningn sentido.
Veamos el prximo prrafo:
[] En la medida en que un nmero cardinal pertenece al concepto proposicional, la
lgica de las proposiciones exige una demostracin cientfica de la consistencia de la
aritmtica de los nmeros enteros a partir de axiomas; ahora bien, de acuerdo con los dos
aspectos del Teorema de Gdel, la demostracin de consistencia de la aritmtica no puede
representarse dentro del sistema (no hay endoconsistencia), y el sistema tropieza
necesariamente con enunciados verdaderos que, sin embargo, no son demostrables, que
permanecen indecidibles (no hay exoconsistencia, o el sistema consistente no puede estar
completo). Resumiendo, hacindose proposicional, el concepto pierde todos los caracteres
que posea como concepto filosfico, su autorreferencia, su endoconsistencia y su
exoconsistencia.
Otra vez aqu: qu significa que un nmero cardinal pertenece al concepto proposicional?
Quizs intentan aludir a la definicin de nmero cardinal a partir de la lgica, como propusieron
Frege y los logicistas. De cualquier modo, no es la lgica de las proposiciones lo que exige una
demostracin de la consistencia, sino que la consistencia del conjunto de axiomas, como observamos
en el captulo 2, es el requisito bsico de un sistema formal, tanto para que la nocin de demostracin
tenga algn sentido como para que los axiomas puedan postularse como axiomas especficos de algn
objeto matemtico. Si el conjunto de axiomas no es consistente, todo enunciado es demostrable y
todo enunciado es refutable. Y no hay objeto matemtico en que estos axiomas puedan tener sentido.
Por otra parte, el Teorema de Gdel se refiere a sistemas de enunciados, y no a conceptos, por
lo que aqu se pone de manifiesto otra vez la confusin de definiciones. Deleuze y Guattari tratan de
interpretarlo como la falta de endoconsistencia y exoconsistencia, pero stas son propiedades que
ellos definieron para conceptos, mientras que la consistencia habitual se define para conjuntos de
enunciados.
Pasemos ahora a esta otra referencia sobre el Teorema de Gdel:
La lgica tiene por lo tanto un paradigma, es incluso el tercer caso de paradigma, que ya no
es el de la religin ni el de la ciencia, y que es como la recognicin de lo verdadero en los
prospectos o en las proposiciones informativas. La expresin docta metamatemtica
pone perfectamente de manifiesto el paso del enunciado cientfico a la proposicin lgica
bajo la forma de recognicin. La proyeccin de este paradigma es lo que hace que, a su
vez, los conceptos lgicos slo se vuelvan figuras, y que la lgica sea una ideografa. La
lgica de las proposiciones necesita un mtodo de proyeccin, y el propio Teorema de
Gdel inventa un modelo proyectivo. (Sobre la proyeccin y el mtodo de Gdel, Nagel y
Newman, Le thoreme de Gdel, Ed. du Seuil). Es como una deformacin regulada,
oblicua, respecto a su estatuto cientfico. Parece como si la lgica anduviera siempre
debatindose con el problema complejo de su diferencia con la psicologa.
Hay aqu otro ejemplo de cmo la terminologa confusa de Deleuze y Guattari, tomada a medias
de trminos matemticos precisos, y la comprensin tambin a medias de la prueba de Gdel los
lleva finalmente a un error conceptual. Qu significa, por ejemplo, para ellos la proyeccin de un
paradigma? Qu significa esta afirmacin tan extraa de que los conceptos lgicos, bajo la
proyeccin de un paradigma, slo se vuelvan figuras y de que la lgica sea una ideografa?
Deleuze y Guattari parecen intentar explicarlo en la oracin siguiente: La lgica de las
proposiciones necesita un mtodo de proyeccin, y el propio Teorema de Gdel inventa un modelo
proyectivo y envan al lector a consultar el libro de Nagel y Newman (El Teorema de Gdel) sobre
esta cuestin de la proyeccin.
En la seccin correspondiente (captulo 6, La idea de representacin y su empleo en las
matemticas), Nagel y Newman explican con varios ejemplos la idea de representacin en
matemtica, por ejemplo la manera en que las formas existentes en la superficie de una esfera se
proyectan sobre un plano, de tal modo que las relaciones entre las figuras del plano reflejan las
relaciones entre las figuras de la superficie esfrica. Se refieren tambin a la traduccin de la
geometra al lgebra, de modo que las relaciones geomtricas quedan representadas por otras
algebraicas. Hay tambin dos ilustraciones que muestran cmo lneas y puntos pueden
intercambiar su sentido en un contexto suficientemente abstracto.
Luego observan que la caracterstica fundamental (y el objetivo) de la representacin es mostrar
que una estructura abstracta de relaciones en cierto campo de objetos existe tambin entre otros
objetos (generalmente de un tipo distinto) pertenecientes a un campo diferente. Y hacen aqu la
siguiente observacin:
Esta caracterstica es lo que impuls a Gdel a construir sus pruebas. Si, como l
con nmeros imaginarios (en las que, por ejemplo, el falo se identifica con 1, como parte que
falta en la imagen deseada), algoritmos, diagramas y objetos de la topologa (el toro, nudos, la
cinta de Moebius). Fue uno de los primeros en prestar atencin desde las ciencias sociales al
Teorema de Gdel, y en tratar de vincular los conceptos de incompletitud y consistencia con el
psicoanlisis, hasta el punto de que invoca, como veremos, el Teorema de Gdel para su definicin
de lo Real.
Los fragmentos de lgica matemtica que se analizan en [Sokal y Bricmont] no estn
directamente relacionados con el Teorema de Gdel. Pero suministramos aqu algunos ejemplos
adicionales que, creemos, son representativos de la clase de analoga que intenta Lacan con respecto
al fenmeno de incompletitud. Las citas a continuacin estn tomadas del Seminario 16, De un Otro
al otro (Clases V y VI) y del Seminario 19 (Clase VI). Recomendamos en todos los casos consultar
los textos completos, que por su extensin no podemos reproducir aqu. Remarcamos con negrita los
pasajes que intentan establecer la analoga e intercalamos algunas observaciones.
en realidad, donde es demostrable que cierto enunciado verdadero no es demostrable (dentro del
sistema). Caso contrario es una afirmacin trivial: es muy sencillo demostrar que un enunciado
falso, como 1 + 1 = 3, no es demostrable).
Y esto se vuelve muy singular y muy raro en ciertos casos, cuando lo no demostrable
mismo escapa porque no puede siquiera sostenerse que no es demostrable, y se abre una
dimensin distinta llamada lo no decidible.
(Qu significa aqu: que no puede siquiera sostenerse que no es demostrable? La
demostracin de Gdel de 1931, es lo que permite sostener que el enunciado Yo no soy
demostrable es realmente no demostrable para el sistema axiomtico. En realidad no se abre
ninguna dimensin distinta: se llama indecidible (respecto a un sistema de axiomas) a un enunciado
tal que ni l ni su negacin pueden demostrarse a partir de esos axiomas. Y este concepto no es tan
raro o infrecuente como parece sugerir Lacan con su gradacin en niveles. Para dar un ejemplo
muy simple, pensemos en los cuatro axiomas del orden total que hemos dado en el Apndice I:
(1)
(2)
(3)
(4)
(x < x )
x < y ( y < x)
(x < y y < z) x < z
x y (x < y y < x)
(Prop. reflexiva)
(Prop, antisimtrica)
(Prop, transitiva)
(Orden total)
Y consideremos el axioma de densidad, que dice que entre dos elementos distintos siempre
hay uno intermedio:
(5) x < y z(x < z z < y)
(Densidad)
Es muy fcil ver que este quinto axioma es indecidible respecto al sistema formado por los
otros cuatro. Basta observar que existe un conjunto totalmente ordenado como los nmeros racionales
(las fracciones), donde se verifican los axiomas (1) a (4) y tambin (5) y que existe otro conjunto
totalmente ordenado como los nmeros enteros, donde se verifican los axiomas (1) a (4) y la
negacin del axioma (5). De esta manera, hemos demostrado y podemos sostener que el axioma
(5) es indecidible para ese sistema).
Estas escalas no de incertidumbre, sino de defectos en la textura lgica, nos permiten
aprehender el estatuto del sujeto como tal, encontrarle un apoyo y, para decirlo todo,
concebir que se satisfaga con su adhesin a la falla misma situada en el nivel de la
enunciacin.
Al abordar desde el exterior de la lgica el campo del Otro, aparentemente nunca nada nos
impidi forjar el significante con el que se connota lo que falta en la articulacin
significante misma.
Lo que nos interesa sealar de estos fragmentos es, sobre todo, esta conclusin final, donde se
intenta una primera analoga entre el fenmeno de incompletitud en la aritmtica (lo que Lacan llama
defectos en la textura lgica) y el estatuto del sujeto como tal, donde el enunciado indecidible
de Gdel representara la falla misma situada en el nivel de la enunciacin.
Esta clase de analoga se enfatiza todava ms (ya desde el ttulo) en la seccin siguiente del
mismo seminario: Hacia una prctica lgica en psicoanlisis. Transcribimos tambin algunos
fragmentos.
valor verdadero o falso como tal que el teorema es demostrable. Lo que acenta lo que
digo de la abertura lgica en ese punto, punto vivo, punto vigoroso en lo que ilustra lo
que creo avanzar, es que si lo real seguramente en un acceso fcil puede definirse
como lo imposible, este imposible en tanto se comprueba de la toma misma del
discurso, del discurso lgico, ese imposible, ese real debe ser privilegiado por nosotros.
Por nosotros quines? Los analistas. Pues de una manera ejemplar, es el paradigma
de lo que pone en cuestin lo que puede salir del lenguaje. Resulta un cierto tipo, que yo
he definido, ese discurso como siendo lo que instaura un tipo de lazo social definido.
Pero el lenguaje se interroga sobre lo que l funda como discurso. Es sorprendente que no
lo pueda hacer ms que fomentando la sombra de un lenguaje que se superara, que sera
metalenguaje. A menudo hice observar que no lo puede hacer ms que reducindose en su
funcin, es decir, engendrando ya un discurso particularizado. Propongo, al interesarnos
en ese real, en tanto se afirma por la interrogacin lgica del lenguaje, propongo
encontrar all el modelo de lo que nos interesa, a saber, de lo que entrega la
exploracin del inconsciente, el que, lejos de ser, como ha pensado poder retomarlo Jung,
regresando a los vestigios ms viejos, lejos de ser un simbolismo sexual universal, es muy
precisamente lo que he recordado hace un momento de la castracin, subrayando solamente
que es exigible que sta no se reduzca a la ancdota de una palabra oda.
De acuerdo con estas exposiciones, la analoga se comportara, bsicamente, de este modo:
La experiencia del anlisis instaura un discurso que podra articularse con una estructura lgica.
Pero, tal como sucede en la aritmtica, la textura lgica de ese discurso tiene fallas. Esas fallas
o aberturas lgicas deben ser privilegiadas por los analistas. Dentro de la analoga, en esas
aberturas est lo que puede salir del lenguaje y se corresponden con la clase de enunciados que
son, como el de Gdel, indecidibles dentro del sistema de la aritmtica. All estara el modelo de lo
que debe interesar a los analistas, lo que entrega la exploracin del inconsciente.
Ahora bien, esta clase de analoga (tal como sucede con el caso de Rgis Debray) slo parece
tener en cuenta las semejanzas ms superficiales e ignorar completamente las diferencias profundas.
A partir de la afirmacin de que existe la posibilidad de dar cierta estructura lgica a un
discurso, Lacan infiere que podr encontrar dentro de ese discurso un fenmeno similar al de la
incompletitud esencial de la aritmtica. Pero para que esto tenga algn mnimo viso de probabilidad
deberan darse una serie de condiciones que Lacan ni parece tomar en cuenta:
1. Es posible que la exploracin del inconsciente permita cierta estructuracin lgica
parcial. Pero difcilmente esa estructura lgica tenga algo que ver con la lgica
matemtica.
2. La experiencia del anlisis se lleva a cabo en un lenguaje que, como el mismo Lacan
observa, est esencialmente hecho del deslizamiento de la significacin y podramos
agregar no parece fcilmente reductible a un lenguaje formal, porque se manifiesta
tambin a travs de ambigedades, equvocos, silencios, rodeos, alusiones, emotividad,
vacilaciones, gestualidad. Sin embargo, aunque Lacan seala esta diferencia abismal, no
parece preocuparle para establecer de todos modos su analoga.
3. Aun si pudieran superarse estos dos primeros obstculos, hay una tercera cuestin
crucial que Lacan ni siquiera se plantea: Por qu preferir el sistema de la aritmtica
como modelo para la analoga?
Aceptemos transitoriamente que se pudiera dar una estructura lgica al discurso en
relacin con el inconsciente, lo suficientemente precisa como para que tenga algn
sentido una formalizacin matemtica. Por qu se parecera este sistema al de los
nmeros naturales con la suma y la multiplicacin? No sera ms razonable, para
modelar un discurso parcialmente lgico, pensar en estructuras matemticas que
representen operaciones lgicas, como las lgebras de Boole, o alguna variante de las
lgebras asociadas a lgicas modales, como las que se eligen, por ejemplo, para
modelar el discurso del Derecho?
Este punto es fundamental porque de la eleccin del ejemplo matemtico para la
analoga puede seguirse tanto la clase de conclusin que imagina Lacan como la
conclusin exactamente opuesta. En efecto, con la misma (falta de) argumentacin de
Lacan, se podra postular como modelo para la analoga, por ejemplo, la estructura de
las lgebras de Boole que corresponden al clculo proposicional (y que fueron
desarrolladas, justamente, para modelar razonamientos). O bien, si por alguna razn
misteriosa el inconsciente prefiere nmeros, por qu no elegir el sistema de los
nmeros complejos (que tiene incluso incorporada la unidad imaginaria 1 que
Lacan identifica con el falo)? Y ahora, con estos modelos, ya no hay fallas en la
textura lgica, porque las teoras de estos modelos son completas. Cul sera en todo
caso la propiedad concreta e identificable que aparece en la exploracin del
inconsciente y que se invoca desde el interior de la teora o la prctica psicoanaltica
para que debamos elegir a favor de una de estas posibilidades y en contra de la otra?
4. A partir de la objecin anterior, aparece inmediatamente otra: dado que la analoga de
Lacan pretende convertirse, por su propio nfasis, en algo as como una gua, o una
inspiracin para analistas concretos que exploran el inconsciente de personas tambin
concretas, se debera poder dar una hiptesis fundada de que la estructura lgica del
inconsciente de todas (o la mayora de) las personas se corresponde con el sistema de la
aritmtica, antes que con cualquier otra estructura matemtica. Pero no parece ms natural
que la experiencia del anlisis en personas distintas con distintas obsesiones, con
distintos traumas, con distintas capacidades de verbalizacin, etctera, den lugar a
discursos del inconsciente con estructura lgica tambin distinta? Otra vez, en qu clase
de propiedad recurrente y generalizable, detectada en una variedad de mltiples y
paradigmticos casos de exploracin concreta del inconsciente, se basa Lacan para
postular que esa estructura lgica ser siempre (o en la mayor parte de los casos) similar a
la de la aritmtica?
5. Aceptemos de todos modos por un momento que hubiera alguna manera razonable de
establecer la analoga y de justificarla de una manera general a favor de la aritmtica (y
contra todas las teoras completas de la matemtica). Hay todava otro punto en el que
Lacan ni siquiera repara: el Teorema de Gdel tiene la forma lgica de una implicacin:
Consistencia Incompletitud
Es decir, slo bajo la hiptesis de consistencia del sistema se tiene que el enunciado
de Gdel es indecidible para el sistema. (En el caso de que el sistema sea
inconsistente, todo enunciado es trivialmente demostrable desde el interior del
sistema). De manera que una condicin oculta de la analoga es que pueda
presumirse la consistencia del discurso lgico asociado a la exploracin del
inconsciente durante el anlisis. Quin podra imaginar un discurso consistente, sin
ninguna contradiccin, que pudiera surgir de la exploracin del inconsciente a travs
del psicoanlisis?
6. Imaginemos que, aun as, pudieran superarse las objeciones 1 a 5 que hemos expuesto
para que la analoga siga en pie. Hay todava otra cuestin, ms sutil, sobre la que Lacan
tampoco reflexiona cuando llama a los analistas a privilegiar lo que sale del lenguaje en
las fallas de la textura lgica. Lacan parece creer que lo verdaderamente importante en
la exploracin del inconsciente aparecer a travs de estas fallas. Sin embargo, los
enunciados indecidibles en las teoras matemticas no necesariamente son, dentro de la
teora, los ms interesantes o reveladores desde el punto de vista matemtico. Vale
tambin que, inversamente, muchas preguntas que para los matemticos en cierta rea han
sido las fundamentales, y aun las ms difciles de demostrar, finalmente no son
indecidibles, sino que encuentran demostracin dentro de las respectivas teoras. Un caso
reciente es el llamado ltimo Teorema de Fermat. Este teorema, que permaneci como una
conjetura durante ms de trescientos aos y que se resisti a los intentos de demostracin
de los ms grandes matemticos de distintas pocas, llev al propio Gdel a especular que
quiz se tratara de un enunciado indecidible. Sin embargo, en 1995 se dio finalmente una
prueba.
Queremos decir con esto que no necesariamente los enunciados indecidibles son los
que resultan ms significativos para una disciplina. Y que puede haber enunciados
cruciales para una disciplina que permanecen abiertos, como conjeturas, por la
dificultad de encontrar una demostracin, pero que s pueden obtener finalmente
demostracin dentro del sistema. De manera que el llamamiento de Lacan a los
analistas para prestar atencin sobre todo a las fallas y a lo que se sale del
lenguaje puede correr este peligro: que para la exploracin del inconsciente esas
fallas no tengan finalmente tanta relevancia y que en esta bsqueda de fallas se
dejen de lado o se pasen por alto otras revelaciones que quiz, no se salen del
lenguaje, pero que pueden ser tanto o ms significativas, y tanto o ms difciles de
detectar, sobre todo si el foco de la exploracin est dirigido hacia otro lado.
Es muy probable que ante cualquiera de estas objeciones la reaccin defensiva instantnea sea
recordarnos que debemos entender esta analoga que Lacan llega a llamar isomorfismo slo
como una metfora. Pero, tal como analiza Bouveresse en el caso de Rgis Debray, el procedimiento
para hacer creer a travs de esa metfora en particular no es inocente. Porque la metfora, muy
claramente en este caso, sustituye por entero la fundamentacin propia, que debera buscarse dentro
de la disciplina. Y ms an, la metfora tiene consecuencias en la prctica psicoanaltica, porque
propone dirigir la disciplina y la exploracin del inconsciente en un sentido antes que en otro. Si se
analizan con cuidado los textos de Lacan sobre el Teorema de Gdel, veremos que la nica
fundamentacin que proporciona para la analoga es la posibilidad de reconocer en la exploracin
del inconsciente un discurso con una cierta articulacin lgica. Ni siquiera est claro el paso uno:
que esa lgica tenga algo que ver con la lgica matemtica que sirve de marco a la demostracin de
Gdel. Sin embargo, a partir de esta premisa y slo con esto Lacan salta a la conclusin de que ser
posible encontrar en este discurso un fenmeno anlogo al de la incompletitud de la aritmtica. Pero
como ya hemos visto, de esas mismas premisas se podra sostener igualmente la metfora
exactamente opuesta.
Ahora bien, una vez descartada la metfora, por arbitraria, por qu debera perseguir un
analista la bsqueda de la falla en el discurso? Cmo asegurar ahora, sin la metfora, que
efectivamente existirn estas aberturas y sern tan reveladoras como parece creer Lacan? Qu
queda finalmente, sin la metfora, de la tesis de Lacan? Se debe creer en ella por un acto de fe?
Sokal y Bricmont analizan varios otros intentos de Lacan de aplicar conceptos matemticos y
concluyen:
Cmo hay que valorar las matemticas lacanianas? Los comentaristas no han logrado
ponerse de acuerdo sobre las intenciones de Lacan: hasta qu punto intentaba
matematizar el psicoanlisis? No podemos dar una respuesta definitiva a esta pregunta,
cosa que, en ltimo trmino, tiene escasa importancia, pues las matemticas de Lacan
son tan fantasiosas que no pueden desempear ninguna funcin til en un anlisis
psicolgico serio.
No se puede negar que este autor tiene una vaga idea de las matemticas a que alude. Pero
slo eso: vaga y poco ms. [] Sin embargo, se supera, por decirlo de algn modo, en el
segundo tipo de abuso que hemos mencionado en nuestra introduccin: sus analogas entre
el psiconlisis y las matemticas alcanzan el summum de la arbitrariedad, y ni aqu ni a lo
largo de toda su obra da la menor justificacin emprica o conceptual de las mismas.
Nos hallamos ante lo que se podra denominar misticismo laico: misticismo, porque el
discurso intenta producir efectos mentales que no son puramente estticos, pero sin apelar
a la razn; laico, porque las referencias culturales (Kant, Hegel, Marx, Freud, matemticas,
literatura contempornea, etctera) no tienen nada que ver con las religiones tradicionales
y son atractivas para el lector moderno. Por lo dems, los escritos de Lacan adquirieron,
con el tiempo, un carcter cada vez ms crptico caracterstica comn de muchos textos
sagrados, combinando los juegos de palabras y la sintaxis fracturada, y sirviendo de
base para la exgesis reverente de sus discpulos. Es, pues, legtimo preguntarse si no
estamos, al fin y al cabo, en presencia de una nueva religin.
Despus de analizar estos intentos de extrapolacin del Teorema de Gdel a otras disciplinas,
es tentador acompaar la reflexin escptica de Sokal y Bricmont:
No sera hermoso (precisamente para nosotros, matemticos y fsicos) que el Teorema de
Gdel o la Teora de la Relatividad tuvieran inmediatas y profundas consecuencias para el
estudio de la sociedad? O que el axioma de eleccin pudiera utilizarse para estudiar la
poesa? O que la topologa tuviera algo que ver con la psique humana? Pero por desgracia
no es se el caso.
Sin embargo, nuestro punto de vista es diferente. La seleccin de textos de Sokal y Bricmont
muestra slo que estos autores tomaron las analogas demasiado a la ligera. Y que, sobre todo, no se
ocuparon de comprender con ms profundidad el Teorema de Gdel antes de ensayar sus
extrapolaciones. Pero no nos parece de ningn modo imposible que el Teorema de Gdel y los temas
asociados con l la diferencia entre lenguaje y metalenguaje, las nociones de consistencia y
completitud, la formalizacin de una teora de la demostracin, los problemas del infinito, la
codificacin de un lenguaje por medio de relaciones algebraicas puedan tener resonancias
interesantes en otras disciplinas. Y que otros autores, con ms seriedad, encuentren inspiracin en el
Teorema de Gdel para establecer analogas que vayan ms all de la dudosa metfora. Nosotros
creemos que los teoremas de Gdel y el fenmeno de incompletitud dicen algo en trminos
epistemolgicos y filosficos que trasciende la matemtica, y gran parte, si no toda, la decisin de
escribir este libro es, justamente, dar a conocer de una manera rigurosa los teoremas fuera de la
matemtica, para crculos de pensamiento lo ms amplios posibles, con la esperanza de que futuros
autores de otras disciplinas, que no sean matemticos ni fsicos, puedan encontrar una exposicin
hospitalaria antes que una puerta cerrada.
Otra investigacin profunda y rigurosa, sobre las conexiones del pensamiento posmoderno con
algunos de los problemas de los fundamentos de la matemtica, puede encontrarse en la obra Una
lectura matemtica del pensamiento posmoderno, del matemtico Vladimir Tasic. (Vase [Tasic].)
All se analiza el affaire Sokal y, sin dejar de lado la justa crtica a los excesos de estos pensadores
posmodernos, se intenta prestar tambin atencin al germen de verdad que puedan tener algunas de
sus afirmaciones.
7. EJERCICIOS
Ejercicio 4.1: Discutir la siguiente exposicin de Lacan sobre el Teorema de Gdel y las
observaciones que intercalamos:
Qu ms tentador para la lgica que las matemticas, donde el discurso demostrativo
pareca asentado en una entera autonoma respecto de lo que se llama experiencia? Pudo
parecer, en efecto, que este discurso no sostena su certeza ms que por s mismo, a saber,
por las exigencias de coherencia que l se impona.
[]
Qu ocurre en matemtica con el uso del formalismo?
Se ha dicho que el discurso matemtico no tiene sentido y que nunca se sabe si lo que se
dice en l es verdad. Frmula extrema, paradjica, que repeta Kojve, sin hacer ms que
retomarla de boca de Bertrand Russell, que recordemos es uno de los iniciadores de
la formalizacin lgica de este discurso, es decir, que ella no viene de afuera. El
formalismo en matemtica es la tentativa de someter este discurso a una prueba que
podramos definir en estos trminos asegurarse de que luzca bien, es decir, que funcione
sin el sujeto. Para que lo perciban rpidamente quienes no entienden de inmediato lo que
designo all, pregntense quin hablara alguna vez, en cuanto a lo que se asegura como una
construccin matemtica, de una incidencia cualquiera de lo que en otra parte se destaca
como el observador. No hay en matemtica huella concebible de lo que se llama error
subjetivo. [] No hay trmino medio o los trminos del discurso son exactos,
irrefutables, o no lo son. []
Lo cierto es que sin embargo est el matemtico. Como dije de inmediato, formalizar este
discurso consiste en asegurarse de que se sostiene solo, aun completamente evaporado el
matemtico. Esto implica la construccin de un lenguaje que es precisamente lo que se
llama lgica matemtica, y que sera mejor llamar prctica de la lgica, o prctica lgica
sobre el campo matemtico. La condicin para realizar esta prueba se presenta bajo una
forma doble y que puede parecer antinmica.
Primera condicin, un lenguaje sin equvoco. Acabo de recordarles el carcter sin
equvoco del discurso matemtico. El lenguaje lgico no parece tener ms trabajo que el
de reforzarlo, refinarlo.
[]
Es una excelente oportunidad para destacar que, por el contrario, forma parte de la
naturaleza del discurso fundamental no slo ser equvoco, sino estar esencialmente hecho
del deslizamiento, bajo todo discurso, de la significacin. Se trata de algo que destaco
desde que comenc a referirme al lenguaje.
[]
La segunda condicin es que este lenguaje debe ser pura escritura. Nada de lo que le
concierne debe constituir ms que interpretaciones. Toda la estructura entiendo, lo que
se podra atribuir al objeto produce esta escritura.
La consistencia de un sistema significa que, cuando enuncian en l una proposicin, pueden
A partir de la distincin del discurso inaugural y del metalenguaje, Gdel muestra que la
supuesta consistencia del sistema en apariencia ms seguro del campo matemtico, el
discurso aritmtico, implica lo que lo limita, a saber, la incompletitud.
[]
Segundo tiempo, segundo teorema. Aqu debo abreviar. No slo el sistema aritmtico no
puede asegurar su consistencia por s mismo ms que constituyendo su incompletitud, sino
que en la hiptesis, incluso fundada de su consistencia, no puede demostrar esta
consistencia en su propio interior.
Se desliza aqu otro error, en la frase: No slo el sistema aritmtico no puede asegurar su
consistencia por s mismo ms que constituyendo su incompletitud, sino. Se desprendera de
aqu que el sistema s podra asegurar su consistencia constituyendo su incompletitud, lo que es
falso. En realidad, no hay manera de que el sistema aritmtico pueda asegurar su consistencia por s
mismo (que es lo que finalmente dice la segunda parte de la frase).
La frase debera decir: No slo el sistema aritmtico, bajo la hiptesis de su consistencia, es
incompleto (Primer Teorema de Gdel sobre Incompletitud), sino que esta propiedad de consistencia,
incluso aunque est fundada, no puede demostrarse en su interior (Segundo Teorema de Gdel sobre
Consistencia).
En efecto, la consistencia de la aritmtica est histricamente fundada en el hecho de que no han
aparecido contradicciones ni paradojas en su larga prctica, a tal punto que fue la rama de la
matemtica elegida para fundamentar la totalidad de la matemtica. Aun as, la consistencia no puede
demostrarse en el interior de la aritmtica.
SEGUNDA PARTE
La demostracin de los teoremas
HOJA DE RUTA
LA CONCATENACIN Y
EL TEOREMA DE INCOMPLETITUD
Si hay una concatenacin expresable, valen los teoremas de Gdel.
En los captulos que siguen daremos la demostracin de los teoremas de Gdel. En vez de seguir la
demostracin original de Gdel de 1931, preferimos dar una versin alternativa a partir de ideas de
W. V. O. Quine, en su trabajo de 1946 Concatenation as a Basis for Arithmetic [Quine]. En nuestro
desarrollo hay tambin puntos de contacto con la exposicin de Raymond Smullyan en su libro Gdel
vs Incompleteness Theorems[Smullyan].
La demostracin que daremos tiene (creemos) el mnimo posible de tecnicismos matemticos.
Pero nuestro propsito principal, al elegir este camino, es capturar el hecho fundamental detrs de la
argumentacin de Gdel: la posibilidad de definir en el lenguaje de la aritmtica una operacin de
concatenacin, que refleja la manera en que se unen los smbolos del lenguaje para formar palabras.
En realidad, como veremos en los captulos 5 y 6, el Teorema de Gdel tanto en su versin
semntica como en su versin generalizada puede demostrarse a partir de las siguientes dos
hiptesis:
Hiptesis 1: Hay una concatenacin expresable en el lenguaje de la aritmtica.
Hiptesis 2: Toda propiedad recursiva es expresable en el lenguaje de la aritmtica.
Pero en verdad, como probaremos en el captulo 8, la segunda hiptesis se deduce de la
primera. De modo que el hecho crucial que habilita toda la argumentacin para formular y exhibir un
enunciado indecidible es la posibilidad de definir una concatenacin.
CAPTULO CINCO
No slo hemos sido las primeras personas que han encontrado un agujero negro,
tambin hemos sido los primeros en utilizarlo para comunicarnos. [] He arrojado
pedruscos a intervalos regulares [] Lo que registrarn ser: punto-punto-punto-rayaraya-raya-punto-punto-punto, y as sucesivamente.
ISAAC ASIMOV
Un sistema anticuado
un enunciado que no es demostrable a partir de ciertos axiomas, podra ser demostrado a partir de
otros).
Los elementos fundamentales para escribir enunciados son los smbolos del lenguaje formal
que, para el caso de la aritmtica, recordemos, son los siguientes:
S 0 + = v | ( )
Agregamos ahora el smbolo #, que servir para expresar sucesiones de expresiones. El
smbolo # indica dnde empieza y dnde termina la sucesin y adems separa entre s a las
expresiones que la forman.
El lenguaje de la aritmtica est, en principio, pensado y diseado para hablar de nmeros.
Puede referirse, entre otras cosas, a operaciones entre nmeros (puede decir, por ejemplo, que Dos
ms dos es cuatro o Tres por cinco no es doce), o a relaciones entre nmeros (puede decir que
Doce es mltiplo de tres). Una idea central en la demostracin del Teorema de Gdel es lograr que
ese mismo lenguaje hable tambin de frmulas y de demostraciones, y que sea capaz de decir, por
ejemplo, que cierta frmula es demostrable.
Cmo pudo Gdel hacer hablar a la matemtica de s misma? La idea clave es asignar a
cada sucesin finita de smbolos un nmero, de la misma manera que en un supermercado a cada
producto se le asigna un cdigo de barras.
En efecto, cuando compramos un frasco de mermelada, la etiqueta tiene un cdigo impreso de
algo ms de una decena de dgitos, por ejemplo 7793360004308. En la etiqueta leemos mermelada
de frutilla, pero al pasar el frasco frente a un lector lser, la computadora lee 7793360004308.
De igual manera, a cada sucesin finita de smbolos le asignaremos un nmero identificatorio, que
llamaremos indistintamente su nmero de Gdel, o su cdigo. Para esto, elegimos dos dgitos
distintos de 0, por ejemplo, el 1 y el 2 (o el 3 y el 5, o cualquier otro par de nmeros).[8] Como los
dgitos elegidos pueden ser cualesquiera, para mayor generalidad los llamaremos, como dijimos al
principio, y (raya y punto). Nos quedaremos solamente con los nmeros que pueden ser formados
por concatenacin a partir de esos dos dgitos. No todos los nmeros se escribirn a partir de esos
dos dgitos. Pero esto no importa: tendremos igualmente bastantes para codificar todas las
expresiones. Lo nico que en realidad precisaremos es que la propiedad Ser escrito con raya y
punto sea traducible al lenguaje formal.
Una vez hecha la eleccin de quines son raya y punto, el Cuadro 1 muestra cmo se asignan los
cdigos para los smbolos del lenguaje.
Smbolo
Nmero
0
S
+
=
v
|
1
2
3
4
5
6
7
8
(
)
#
9
10
11
12
13
escritura: cuando un nmero se escribe como concatenacin de puntos y rayas, esta escritura es
nica, y esta unicidad involucra tanto a los smbolos que aparecen como al orden en que estos
smbolos estn escritos.
Para entender la importancia de esta propiedad, supongamos que fuera el dgito 1 y que fuera
el 2, pero que en lugar de concatenar los dgitos eligiramos sumarlos. Bajo estas condiciones, el
nmero 3 admitira tres escrituras posibles:
3=1+1+1
3=1+2
3=2+1
En consecuencia 3 tendra tres escrituras diferentes como puntos y rayas:
3 =
3 =
3 =
La secuencia corresponde al smbolo 0, pero las otras dos secuencias no corresponden a
ningn smbolo del lenguaje. Si al programa que describimos antes le ingresamos el nmero 3 y le
pedimos que compruebe si es el nmero de Gdel de una sucesin de smbolos, debe traducirlo al
lenguaje formal como el smbolo 0 o debe decir que no corresponde a ningn smbolo? Vemos as
que la falta de unicidad en la escritura provoca una ambigedad inaceptable, que se evita al utilizar
la concatenacin de puntos y rayas.
Esta propiedad clave de la concatenacin reaparecer en el captulo 9, cuando demos una
definicin ms general de esta operacin.
Dado que la expresin y es el nmero de Gdel de una frmula, que sintetizamos como
Form(y) y la expresin x es el nmero de Gdel de una demostracin, que sintetizamos como
Dem(x), definen ambas propiedades recursivas, por la Hiptesis 2 que asumimos al principio del
captulo, estas dos propiedades pueden ser traducidas al lenguaje formal.
Consideremos ahora la expresin x es el cdigo de una demostracin de la frmula cuyo
cdigo es y. Observemos que en realidad esta expresin equivale a la conjuncin de las siguientes
condiciones:
y es el cdigo de una frmula
x es el cdigo de una demostracin
la escritura de x termina con 13 y 13. (Es decir, y es el cdigo de la ltima frmula de
la demostracin).
Podemos escribir entonces esta condicin a partir de la concatenacin de esta manera:
Form(y) Dem(x) w(x = w 13 y 13)
Abreviaremos la expresin x es el cdigo de una demostracin de la frmula de cdigo y
como x Dem y.
Observemos aqu que x Dem y es una relacin numrica entre los nmeros x e y. Sin
embargo, puede interpretarse, gracias a la codificacin, como una expresin sobre frmulas, una
afirmacin que se refiere a propiedades del lenguaje y que dice La frmula cuyo cdigo es y es
demostrada por la sucesin de frmulas cuyo cdigo (como sucesin) es x.
En adelante, aunque no se mencione expresamente, siempre tendremos presente esta dualidad, y
las expresiones matemticas obtenidas a partir de la codificacin de Gdel deben ser ledas en
traduccin simultnea como expresiones sobre el lenguaje y sus frmulas.
As, por ejemplo, a partir de la relacin numrica x Dem y podemos expresar tambin en el
lenguaje formal x(x Dem y), que significa Existe una demostracin de la frmula de cdigo y,
o bien, dicho de otro modo: y es el cdigo de una frmula demostrable.
Anteponemos ahora el smbolo de negacin a esta frmula y consideramos la expresin
x(x Dem y)
Observemos que, hablando estrictamente, esta frmula es una disyuncin, porque se niega una
conjuncin de condiciones. Esta disyuncin puede expresarse as: O bien y no es el cdigo de una
frmula, o bien, si y es el cdigo de una frmula, esta frmula no es demostrable. Ahora bien, si nos
aseguramos de reemplazar a la variable y por cdigos de frmulas, esta expresin dir: La frmula
de cdigo y no es demostrable. En lo sucesivo nos cuidaremos de reemplazar la variable y
nicamente por cdigos de frmulas para mantener este significado.
2. MTODO DE AUTORREFERENCIA
Para completar la demostracin del Teorema de Gdel necesitamos una herramienta que nos
permita considerar enunciados autorreferentes, es decir, enunciados que aludan a propiedades de s
mismos. Observemos que hasta ahora la expresin x(x Dem y), cuando reemplazamos y por
cdigo de frmulas, nos permite decir La frmula de cdigo y no es demostrable. La
autorreferencia nos dar un enunciado que diga Yo soy un enunciado no demostrable. Para esto
consideraremos una funcin d(x), llamada funcin diagonal, cuya definicin es la siguiente:
Si n es el cdigo de una frmula P(x), con x como variable libre, entonces d(n) es el
cdigo del enunciado que se obtiene al reemplazar esa variable por el numeral n.
(Observemos que tanto n como d(n) estarn escritos con puntos y rayas).
Esta funcin nos permite, para cualquier propiedad P expresable, pasar de la expresin x
cumple la propiedad P a la expresin Mi nmero de Gdel cumple la propiedad P.
En efecto, llamemos n al cdigo de la expresin d(x) cumple la propiedad P. Por definicin
de la funcin diagonal, d(n) es el cdigo del enunciado que se obtiene al reemplazar x por n. Pero
este enunciado es d(n) cumple la propiedad P y, en consecuencia, se refiere a su propio cdigo y
dice Mi nmero de Gdel cumple la propiedad P.
Esto nos da un mtodo para obtener expresiones autorreferentes. Por ejemplo, tomemos la
propiedad Ser un nmero primo. Si n es el cdigo de d(x) es un nmero primo entonces al
reemplazar x por n obtenemos un enunciado que dice Mi nmero de Gdel es primo (por supuesto,
este enunciado puede ser verdadero, o falso).
Si n es el cdigo de la expresin d(x) es el cdigo de un axioma entonces al reemplazar x por
n obtenemos un enunciado que afirma Mi cdigo es el de un axioma, que equivale a decir Yo soy
un axioma.
Si n es el cdigo de la expresin d(x) es el cdigo de uno de los axiomas de Peano entonces
al reemplazar x por n obtenemos un enunciado que dice Mi cdigo es el de uno de los axiomas de
Peano, que equivale a Yo soy uno de los axiomas de Peano.
Para que este mtodo sea vlido, la funcin diagonal debe ser traducible al lenguaje formal (ya
que slo las expresiones traducibles admiten nmeros de Gdel).
La definicin de propiedad recursiva puede extenderse a las funciones. Diremos que una
funcin de una variable es recursiva si existe un procedimiento mecnico que, dado cualquier
nmero n, permite calcular en una cantidad finita de pasos el valor de la funcin en n. Por ejemplo,
la funcin que calcula el doble de un nmero es recursiva y tambin es recursiva la funcin que para
cada nmero calcula la suma de sus divisores.
La funcin d(x) es recursiva ya que existe un programa que, cada vez que se le ingresa un
nmero n, primero verifica en una cantidad finita de pasos si se trata del nmero de Gdel de una
frmula con una variable libre y, en caso de que sea as, calcula en una cantidad finita de pasos el
valor de d(n).
En efecto, el valor de d(n) solamente est definido si n es el nmero de Gdel de una frmula
con una nica variable libre. El programa debe entonces verificar que n cumple esta condicin
(como vimos en el captulo 3, esa verificacin puede hacerse mediante una inspeccin dgito a
dgito), luego reemplaza cada aparicin libre de la variable por el numeral n de n y finalmente
calcula el cdigo de Gdel de la expresin as obtenida.
Por la Hiptesis 2 del principio del captulo, la expresin z = d(x) puede traducirse entonces
al lenguaje formal y en consecuencia, tambin puede traducirse la expresin z = d(x) y z cumple la
propiedad P, pues se obtiene de aplicar un conectivo lgico a dos expresiones que ya sabemos que
son traducibles. Reemplazando z por d(x) podemos abreviar la expresin como d(x) cumple la
propiedad P, que es entonces traducible por una frmula del lenguaje formal.
Llamemos ahora n al nmero de Gdel de x(x Dem d(y)). Como n es el cdigo de una
frmula, d(n) tambin es el cdigo de una frmula. Por lo tanto, el enunciado
G: x(x Dem d(n))
dice que el enunciado de cdigo d(n) no es demostrable. Por el mtodo de autorreferencia, G se
refiere a su propio cdigo y dice Mi cdigo no es el de un enunciado demostrable. En otras
palabras, G dice Yo soy un enunciado no demostrable.
Ahora bien, dado que G es un enunciado, de acuerdo a nuestra definicin de verdad, G es o bien
verdadero o bien falso. Si G fuera falso, sera entonces verdad la negacin de lo que afirma G. Es
decir, G sera un enunciado demostrable. Pero obtendramos as un enunciado demostrable y falso.
Esto es absurdo, porque de acuerdo con el Teorema de Correccin, como los axiomas son todos
frmulas verdaderas, los enunciados demostrables tambin son todos verdaderos.
Entonces G tiene que ser verdadero, lo que significa que es cierto lo que afirma de s mismo,
que no es demostrable. Hemos obtenido un enunciado que es verdadero y no demostrable, tal como
queramos probar.
CAPTULO SEIS
teora tambin recursiva. (Para una demostracin de estos hechos vase el Ejercicio 6.1 al final del
captulo).
Pero es solamente por el significado concreto que atribuimos a los smbolos de G en el contexto
de la aritmtica usual que decimos de G es verdadero. Dado que la teora que se obtiene al agregar
G es consistente, puede probarse que existe algn objeto O (una aritmtica no estndar) tal que
todas las frmulas con sentido que son verdaderas en la aritmtica usual siguen siendo verdaderas en
O y en la que G es verdadero (y consecuentemente G es un enunciado falso). No hay un motivo real
para preferir una interpretacin por sobre la otra, por lo que la verdad de G es relativa.
Gdel quera una demostracin de su teorema que se basara en cuestiones puramente sintcticas,
independientes de la forma en que se defina la verdad de las frmulas ideales, de modo que su
validez no pudiera llegar a ser cuestionada. De all la necesidad de una versin sintctica (o
general) del Teorema de Incompletitud, que apele exclusivamente a conceptos sintcticos.
Por otra parte, la existencia de un enunciado indecidible recuerda a la situacin del quinto
postulado de Euclides. La geometra de Euclides est basada en cinco postulados o axiomas (ms
algunas nociones comunes que equivalen a axiomas generales de la lgica). De los cinco postulados,
los primeros cuatro son intuitivamente evidentes. Por ejemplo, el cuarto dice que todos los ngulos
rectos son iguales entre s.
El quinto postulado, en cambio, tiene una redaccin ms compleja y su verdad no es evidente a
simple vista. La versin original tal como la escribi Euclides puede leerse en el Apndice I, pero en
general suele formularse con esta afirmacin equivalente, y ms sencilla: Por un punto exterior a
una recta pasa una nica paralela a ella.
Despus de muchos siglos de debate en torno al quinto postulado, se demostr finalmente que, si
tomamos como axiomas los primeros cuatro, el quinto resulta ser una afirmacin indecidible.
Podemos, entonces, agregar a los cuatro primeros postulados, o bien el quinto postulado, o bien su
negacin,[9] y en ambos casos obtendremos teoras consistentes (la geometra euclideana si
agregamos el quinto postulado y una geometra no euclideana en caso contrario).
Del mismo modo, como ya dijimos, si G es indecidible, tanto si agregamos G como si
agregamos G obtendremos teoras que son ambas otra vez consistentes, y si la teora original era
recursiva, al agregar el nuevo axioma obtendremos tambin una teora recursiva.
Consideremos ahora una teora recursiva y consistente para la aritmtica y supongamos que
todos los axiomas son frmulas verdaderas. Si agregamos a la teora, como nuevo axioma, el
enunciado G (verdadero y no demostrable) entonces la teora as ampliada es tambin recursiva,
consistente, y sus axiomas son verdaderos. De acuerdo a la versin semntica del Teorema de Gdel,
existe para esta teora ampliada un enunciado G' verdadero y no demostrable. Y si agregamos a G'
como nuevo axioma entonces habr a su vez un enunciado G'' verdadero y no demostrable, y as ad
infinitum.
Ahora bien, es tambin lcito (en el sentido de que no genera inconsistencias) agregar a G
como nuevo axioma. Tendr esta nueva teora un enunciado indecidible? Nos gustara creer que s,
que la situacin es perfectamente simtrica. Pero el teorema que probamos en el captulo anterior no
nos permite asegurarlo, ya que solamente habla de teoras con axiomas verdaderos, mientras que G
es falso.
En 1936, John B. Rosser public (vase [Rosser]) una versin general del Teorema de
Incompletitud que se remite solamente a la nocin de consistencia. En realidad el teorema original de
Gdel consideraba una hiptesis ms exigente, aunque tambin de carcter sintctico: la llamada consistencia (lase omega-consistencia).[10]
Una teora es -consistente si toda vez que se puede demostrar que 0 cumple la propiedad P,
1 cumple la propiedad P, 2 cumple la propiedad P y as sucesivamente para todos los nmeros
naturales entonces no se puede demostrar que existe x que no cumple la propiedad P. Es decir, si
P(0), P(1), P(2), P(3), son todos enunciados demostrables entonces xP(x) no es demostrable.
Toda teora -consistente es tambin consistente, sin embargo la recproca no es cierta: existen
teoras que son consistentes pero no -consistentes. En cierto sentido, hay ms teoras consistentes
que -consistentes, y es por eso que el teorema de Rosser da una versin ms general del teorema
original de Gdel.
Como la consistencia se conserva tanto si se agrega G como su negacin, la versin general nos
asegura, en ambos casos, la existencia de un enunciado indecidible. Esta versin puramente sintctica
es la que hemos enunciado en el captulo 3:
TEOREMA DE INCOMPLETITUD (versin sintctica):
Para toda teora recursiva y consistente que contenga suficiente aritmtica existe un
enunciado indecidible, es decir, existe un enunciado G tal que ni G ni G son
demostrables.
Recordemos que la frase contiene suficiente cantidad de aritmtica significa que:
1. Todo enunciado de la aritmtica, cuya verdad pueda comprobarse mecnicamente en una
cantidad finita de pasos, es demostrable a partir de los axiomas.
2. Cualquiera que sea el numeral n, el enunciado x(x n n x) es demostrable.
3. Cualquiera que sea el numeral n, el enunciado x(x n (x = 0 x = 1 x = n)) es
demostrable.
(La expresin x y es una abreviatura para Existe z tal que x + z = y).
Demostracin: Para esta demostracin slo necesitamos suponer, como en el captulo anterior,
las siguientes dos hiptesis (que probaremos en los captulos 7 y 8):
Hiptesis 1: La concatenacin es expresable en el lenguaje formal.
Hiptesis 2: Toda propiedad recursiva es expresable en el lenguaje formal.
(Recordemos que una propiedad es recursiva si la verificacin de esa propiedad puede
hacerse con un procedimiento mecnico, en una cantidad finita de pasos).
La demostracin empieza como en el captulo anterior:
1. A cada sucesin finita de smbolos del lenguaje formal le asignamos un cdigo o nmero de
Gdel, obtenido por concatenacin a partir de raya y punto.
2. Como la teora es recursiva, existe un procedimiento mecnico que determina en una cantidad
finita de pasos si un nmero dado es, o no es, el nmero de Gdel de una demostracin. Una
consecuencia de ello es que la expresin x es el nmero de Gdel de una demostracin de la
frmula con nmero de Gdel y puede traducirse al lenguaje formal. sta es la expresin que
abreviamos como x Dem y.
A partir de aqu, la demostracin de la versin general difiere de la demostracin de la versin
semntica. Seguiremos esencialmente para la prueba la exposicin del captulo 3 de [Mendelson].
Necesitamos construir ahora una frmula que se refiera a la negacin de un cierto enunciado.
Observemos que si x es el nmero de Gdel de una frmula P, el nmero de Gdel de la frmula P
se obtiene colocando el nmero 9 (que es el cdigo del smbolo ) delante del cdigo que
corresponde a la frmula P. Es decir, si x es el cdigo de P, entonces el cdigo de P es 9 x (la
Sea P(u) la frmula u Dem p z(z u z Dem neg(p)) entonces el enunciado uP(u)
P(u/k) es un axioma (pues es de la forma del axioma-esquema L4 de la lgica de primer orden) y en
consecuencia, por modus ponens, P(u/k) es demostrable. Es decir, el enunciado:
k Dem p z(z k z Dem neg(p)) es demostrable.
Ya vimos, por otra parte, que k Dem p es demostrable, entonces, otra vez por modus ponens:
(*)z(z k z Dem neg(p)) es demostrable.
Esta ltima afirmacin es esencial y por eso la destacamos con un asterisco.
Como R es demostrable y la teora es consistente entonces R no es demostrable. Dado que no
existe una demostracin de R, entonces, cualquiera que sea n, el enunciado n Dem neg(p) es falso.
Es decir, el enunciado (n Dem neg(p)) es verdadero y para cada n su verdad es verificable en una
cantidad finita de pasos. Por lo tanto, por la Condicin 1, para cada n:
(n Dem neg(p)) es demostrable.
Ahora bien, si P(n) es demostrable, entonces el enunciado x(x = n P(x)) es tambin
demostrable (vase Ejercicio 6.10). Sea P(x) la frmula (x Dem neg(p)). Entonces, cualquiera que
sea n, el enunciado x(x = n (x Dem neg(p))) es demostrable y por aplicacin del esquema L4,
tambin es demostrable[12] x = n (x Dem neg(p)). En particular son demostrables:
x = 0 (x Dem neg(p))
x = 1 (x Dem neg(p))
x = 2 (x Dem neg(p))
Y as sucesivamente hasta llegar a x = k (x Dem neg(p)).
Por otra parte, la condicin 3 nos dice que x k (x = 0 x = 1 x= k) es demostrable.
Entonces:
x k (x = 0 x = 1 x = k) es demostrable
x = 0 (x Dem neg(p)) es demostrable
x = 1 (x Dem neg(p)) es demostrable
x = 2 (x Dem neg(p)) es demostrable
Y as sucesivamente hasta k.
Un principio de la lgica dice que si P (Q R) es una frmula demostrable y tambin son
demostrables Q S y R S entonces P S es demostrable. La demostracin puede verse en el
Ejercicio 6.6. Esta afirmacin se generaliza as: si P (Q0 Q1 Qk ) es demostrable y
tambin son demostrables Q0 S, Q1 S, , Qk S, entonces P S es demostrable. Deducimos
en consecuencia que la frmula x k (x Dem neg(p)) es demostrable.
Pero x k (x Dem neg(p)) es equivalente a (x k x Dem neg(p)) (de hecho, esta
segunda frmula es solamente una abreviatura de la primera).[13] Luego, (x k x Dem neg(p)) es
demostrable.
A una demostracin de (x k x Dem neg(p)) agregumosle inmediatamente a continuacin la
siguiente secuencia de frmulas (y comprobemos que paso a paso la secuencia extendida sigue
(x k x Dem neg(p))
x(x k x Dem neg(p))
x(x k x Dem neg(p)) (z k z Dem neg(p))
(z k z Dem neg(p))
z(z k z Dem neg(p))
Generalizacin
Axioma L 4
Modus ponens
Generalizacin
y Dem p
y m m y
m y z(z y z Dem neg(p))
y m ( y Dem p)
(y Dem p) z(z y z Dem neg(p))
z(z y z Dem neg(p))
2. EL TEOREMA DE CONSISTENCIA
Estamos ahora en condiciones de dar tambin una prueba del segundo teorema fundamental de
Gdel.
TEOREMA DE CONSISTENCIA:
Si una teora es recursiva, contiene suficiente aritmtica y es consistente entonces la
demostracin de su consistencia no puede ser formalizada dentro de la propia teora.
(En otras palabras, una teora consistente y recursiva que contenga suficiente aritmtica
no puede demostrar su propia consistencia).
Demostracin: Para probar este teorema consideremos el mismo enunciado R que construimos
antes. Hemos probado que si R fuera demostrable entonces z(z u z Dem neg(p)) y z(z u
z Dem neg(p)) son ambas frmulas demostrables.
En el captulo 3 vimos que si P es una frmula cualquiera tal que P y P son ambas
demostrables, entonces toda otra frmula Q es tambin demostrable.
Si z(z u z Dem neg(p)) y z(z u z Dem neg(p)) fueran demostrables entonces seran
demostrables todos los enunciados, en particular, el que dice que la teora no es consistente, o sea,
que existe alguna frmula con nmero x tal que ella y su negacin son ambas demostrables. Este
enunciado se escribe as:
xyz(y Dem x z Dem neg(x))
Equivalentemente:
x(yz(y Dem x z Dem neg(x)))
A este enunciado lo llamaremos CON, y es, obviamente, la negacin de CON, el enunciado
que afirma que la teora es consistente, es decir, que no hay una frmula tal que ella y su negacin
sean ambas demostrables:
CON: x(yz(y Dem x z Dem neg(x)))
El desarrollo que hicimos antes demuestra que si tomamos a R como premisa entonces CON
es demostrable. Ahora bien, la sucesin de frmulas que lleva desde R hasta CON se puede
traducir a una demostracin formalizada y esto se debe esencialmente a que en todo momento hemos
usado argumentos sintcticos.
Por el Teorema de la Deduccin vale entonces que:
R CON es demostrable.[14]
Por el Ejercicio 6.4:
CON R es demostrable.
Si CON fuera demostrable entonces, por modus ponens, R sera demostrable, pero ya hemos
probado que no lo es. Por lo tanto CON no es demostrable.
Hemos probado que si una teora T es recursiva, consistente y contiene suficiente aritmtica,
3. EJERCICIOS
La resolucin de algunos de los ejercicios utiliza el Teorema de la Deduccin, que enunciamos
y probamos aqu. En todos estos ejercicios utilizaremos argumentos nicamente sintcticos, sin
referencia al posible significado de las frmulas.
Teorema de la Deduccin: Si al agregar a la teora la frmula P resulta que cierta frmula
Q es demostrable (y en la demostracin no se usa la regla de generalizacin sobre
variables libres de P) entonces la frmula P Q es demostrable en la teora.
Demostracin: Tomemos una demostracin formalizada de Q basada en P y en los axiomas de
la teora y que use como reglas de inferencia el modus ponens y la generalizacin sobre variables
que no estn libres en P.
Vamos a ver que si S es cualquier frmula de la demostracin entonces P S es demostrable
en la teora. En particular esto ser cierto para la ltima frmula de la demostracin, es decir, para
Q.
Tenemos que verificar que la propiedad P S es demostrable se va propagando a lo largo
de la demostracin desde las primeras frmulas en adelante.
Si S es un axioma, entonces P S es demostrable pues se obtiene por aplicacin del modus
ponens al axioma S (P S), que proviene del esquema L1, y al propio axioma S.
Si S = P entonces P P tambin es demostrable. Para verlo, sea H una frmula cualquiera tal
que P H es demostrable. Entonces
(P (H P)) ((P H) (P P))
es un axioma (del esquema L2) y P (H P) tambin (del esquema L1. Por aplicaciones sucesivas
del modus ponens se llega a que P P es demostrable.
Supongamos que S se obtiene de dos enunciados anteriores por aplicacin del modus ponens.
Digamos que esos enunciados son T y T S. Hay que ver que si P T y P (T S) son ambos
demostrables (o sea T y T S tienen la propiedad que queremos que se vaya propagando) entonces
P S tiene la misma propiedad. En efecto, por el esquema L2 tenemos que
(P (T S)) ((P T) (P S))
es un axioma. Y con dos aplicaciones de modus ponens se llega a que P S es demostrable.
Finalmente, supongamos que S se haya obtenido de una frmula anterior por aplicacin de la
regla de generalizacin, es decir, S = xU, donde U es una frmula y x no aparece libre en P. Si P
captulo.
Sin embargo es nuestra intencin que, en la medida de lo posible, el libro sea autocontenido y la
demostracin del teorema al que hacemos referencia sera demasiado extensa. Por ese motivo, vamos
a hacer la deduccin para cada una de estas tautologas, en vez de apelar al teorema general que
habla de todas ellas.
Sea P entonces una frmula y tomemos como A un axioma cualquiera. Por el esquema L3 las
siguientes frmulas son axiomas:
(A P) (P A)
(P A) (A P)
Por el Ejercicio 3.3 tenemos entonces que (A P) (A P) es demostrable.
Agreguemos como axioma a la teora la frmula P. Por aplicacin del esquema L1 tenemos
A P es demostrable, luego A P es demostrable y como A es un axioma entonces P es
demostrable. Partiendo de P llegamos a P utilizando nicamente modus ponens. De manera que,
por el Teorema de la Deduccin, podemos concluir que P P es demostrable.
Si ahora reemplazamos P por P llegamos a que P P es demostrable y por el esquema
L3, (P P) (P P) es un axioma, por lo tanto P P es tambin demostrable.
Ejercicio 6.4: Verifique si P y Q son frmulas cualesquiera, entonces las frmulas (P Q) (Q
P) y (P Q) (Q P) son demostrables.
Resolucin: Agregamos a la teora la frmula P Q. Dado que P P es demostrable
entonces, por el Ejercicio 3.3, P Q resulta ser demostrable. Por el esquema L3 y modus
ponens, Q P es demostrable. Como hemos aplicado slo modus ponens, vale el Teorema de la
Deduccin y resulta que (P Q) (Q P) es demostrable en la teora. Para (P Q) (Q
P) se procede de modo similar.
Ejercicio 6.5: Verifique que si P (Q R) es demostrable y tambin son demostrables Q S y R
S entonces P S es demostrable. Esta afirmacin se generaliza as: si P (Q0 Q1 Qk )
es demostrable y tambin son demostrables Q0 S, Q1 S, , Qk S, entonces P S es
demostrable.
Resolucin: Supongamos que P (Q R), Q S y R S son todas frmulas demostrables.
Agreguemos a la teora la frmula P, hay que ver que S es demostrable. Por el Teorema de la
Deduccin ser entonces P S demostrable.
Si agregamos P como axioma, dado que P (Q R) es demostrable, entonces Q R, que
equivale a Q R, es tambin demostrable.
Como R R y R S son demostrables entonces R S es demostrable. Y como S
S es demostrable, entonces R S lo es. Por aplicacin del esquema L3, S R es
demostrable. Del mismo modo, S Q es demostrable y como Q R tambin es demostrable
entonces S R es demostrable.
Si agregamos S a la teora, como S R y S R son ambas demostrables resulta que R y
R son demostrables y entonces cualquier frmula lo es. Sea A un axioma cualquiera, luego A sera
demostrable. Por el Teorema de la Deduccin S A es demostrable, luego A S lo es. Como A
es un axioma, entonces S es demostrable.
Hemos probado que al agregar P como axioma resulta que S es demostrable, luego P S es
demostrable en la teora.
Ejercicio 6.6: Verifique que si P y Q son ambas frmulas demostrables entonces P Q es
demostrable.
Resolucin: P Q equivale a (P Q). Vimos en el captulo 3 que P (P Q) es
demostrable, luego, por el ejercicio 4, (P Q) P es demostrable. Si (P Q) es
demostrable entonces P tambin lo es. Intercambiando P con Q se obtiene el mismo resultado para Q.
Ejercicio 6.7: Verifique que si P Q, P R y Q S son demostrables entonces R S es
demostrable.
Resolucin: P Q equivale a P Q. Supongamos que esta frmula y P R y Q S son
todas demostrables. De P R se deduce que R P es demostrable y como P Q es
demostrable, entonces R Q lo es. Finalmente, como Q S tambin es demostrable entonces R
S, que equivale a R S, es demostrable.
Ejercicio 6.8: Verifique que si P Q es demostrable y Q es demostrable entonces P es demostrable.
Resolucin: La resolucin es inmediata pues P Q equivale a Q P.
Ejercicio 6.9: Verifique que si P (Q R) es demostrable entonces Q (P R) es tambin
demostrable.
Resolucin: Agreguemos Q a la teora. Entonces, como Q (P Q) es un axioma, P Q es
demostrable. Por otra parte,
(P (Q R)) ((P Q) (P R))
es un axioma. Como P (Q R) y P Q son demostrables, por doble aplicacin de modus
ponens, P R es demostrable. Hemos visto as que al agregar Q a la teora P R resulta
demostrable. Por el Teorema de la Deduccin, Q (P R) es demostrable.
Ejercicio 6.10: Si el enunciado P(n) es demostrable entonces el enunciado x(x = n P(x)) es
tambin demostrable.
Resolucin: Supongamos que P(x) es una frmula atmica. El esquema L8 nos dice en ese caso
que y = x (P(y) P(x)) es un axioma.
CAPTULO SIETE
Qu ocurre si multiplicamos un nmero natural por 10, 100 o 1.000? Por ejemplo, si
multiplicamos 34 10 = 340, las cifras de la unidad y de la decena de 34, o sea 4 y 3, en
el resultado pasan a ser las cifras de la decena y la centena, respectivamente.
SANTILLANA
Mi Manual, 6. grado
Las demostraciones de los dos captulos anteriores se basaron en la hiptesis de que la operacin de
concatenacin a partir de dos dgitos ( y ) poda ser traducida al lenguaje de la aritmtica, en el
sentido de que hay una definicin de esta concatenacin en trminos de las operaciones numricas de
suma, producto y sucesor. En este captulo probaremos que efectivamente esto es as.
Como ya hemos dicho en captulos anteriores, concatenar dos nmeros consiste en escribir el
segundo de ellos a continuacin del primero. Para que las ideas resulten ms claras comencemos por
analizar qu sucede cuando los nmeros estn escritos del modo usual, en base 10. La concatenacin
es en este caso una operacin bien conocida: por ejemplo, la concatenacin de 345 y 66 es el nmero
34.566.
Cmo podemos escribir esta operacin de smbolos mediante operaciones numricas? Para
comenzar, supongamos que en ninguno de los dos nmeros que vamos a concatenar aparece el dgito
0.
Observemos que para concatenar 345 con 66 debemos desplazar dos lugares hacia la izquierda
al nmero 345 para colocar detrs de l al nmero 66. Numricamente, esto consiste en multiplicar
por 100 (para agregar dos ceros detrs del 345) y sumar despus 66:
345 34500
66
66
La concatenacin de 345 con 66 se calcula entonces como 345 102 + 66.
Es evidente que hemos agregado dos ceros (es decir, multiplicamos por 102) porque 66 tiene
dos dgitos. Llamemos longitud de x: (y notaremos L(x)) a la cantidad de dgitos del nmero x
escrito en base 10. Si tanto x como y no tienen ceros en su escritura, es fcil comprobar (pensarlo!)
que la concatenacin de x e y se calcula como:
xy = x 10L(y) + y
Ahora bien, la aparicin del dgito cero provoca muchos inconvenientes. La concatenacin de
nmeros es una operacin que debe copiar a la concatenacin de los smbolos de un lenguaje.
Una caracterstica de la concatenacin de smbolos es su asociatividad: si s1, s2 y s3 son
secuencias de smbolos, entonces concatenar s1 con s2s3 es lo mismo que concatenar s1s2 con s3.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
1
10
11
100
101
110
111
1000
1001
1010
1011
1100
1101
1110
1111
1
2
11
12
21
22
111
112
121
122
211
212
221
222
1111
inmediatamente mayor, es
3. En consecuencia, si un nmero x tiene k dgitos en base 2 sin cero, vale que:
Llamemos L(x) a la longitud, o cantidad de dgitos, del nmero x cuando est escrito en base 2
sin cero.
Atencin: L(x) no es la misma funcin que hemos definido antes para la base 10, ya que la
cantidad de dgitos en base 10 no es, en general, la misma que para la base 2 sin cero. De ahora en
adelante L(x) ser siempre la longitud en base 2 sin cero.
Tal como sucede en base 10, la frmula de la concatenacin para nmeros escritos en base 2 sin
cero es:
xy = x 2L(y) + y
Por lo tanto, para calcular xy necesitamos conocer el valor de 2L(y).
Vamos a probar a continuacin que, dado un nmero cualquiera u, 2L(u) 1 es el mayor de los
nmeros de la forma 2w 1 que es menor o igual que u.
Llamemos k a la longitud L(u). Si u tiene k dgitos en base 2 sin cero, por la observacin que
hicimos antes, se tiene que:
CAPTULO OCHO
Comenz a sacar, una por una, las pequeas unidades del panel etiquetado REFORZAMIENTO DEL
EGO.
No comprendo por qu me est haciendo esto dijo Hal. Est usted destruyendo mi
mente. Me voy a hacer infantil pueril me convertir en nada.
ARTHUR C. CLARKE
2001, Una odisea espacial
Hemos visto en los captulos 5 y 6 que tanto la versin semntica como la versin general del
Teorema de Incompletitud de Gdel pueden demostrarse enteramente a partir de estas dos hiptesis:
Hiptesis 1: La concatenacin dada por punto y raya es expresable en el lenguaje de la
aritmtica.
Hiptesis 2: Toda propiedad recursiva es expresable en el lenguaje de la aritmtica.
En el captulo anterior probamos que la primera hiptesis efectivamente se verifica. En este
captulo veremos que la segunda hiptesis se deduce en realidad de la primera. Esto terminar por
completo la demostracin de los teoremas de Gdel.
En realidad, probaremos algo ms: que toda propiedad recursiva es expresable utilizando
nicamente la concatenacin (y sin recurrir a las otras operaciones de la aritmtica). Esto ser
importante para las generalizaciones del Teorema de Gdel que veremos en el captulo prximo.
Como la concatenacin que hemos dado es a su vez expresable en el lenguaje de la aritmtica, resulta
inmediatamente que toda propiedad recursiva es expresable en el lenguaje de la aritmtica.
Recordemos que una propiedad es recursiva si existe un procedimiento mecnico (o un
algoritmo) que, dado cualquier nmero, permite verificar en una cantidad finita de pasos si el
nmero cumple, o no cumple, la propiedad. Ahora bien, no es fcil dar una definicin precisa que
capture en toda su extensin y posibles variantes la nocin intuitiva de procedimiento mecnico o
algoritmo. El primero en proponer una definicin fue Alonzo Church, en 1936, a travs de lo que
se llama el clculo-lambda.
El clculo-lambda propone operaciones sintcticas suficientemente simples como para que no
quepa duda de que pueden ser ejecutadas mecnicamente pero, a la vez, con la intencin de que sean
tan generales como para que cualquier algoritmo, no importa qu tan complejo sea, pueda ser
descrito en trminos de esas operaciones.
Se conoce como Tesis de Church a la afirmacin de que, en efecto, todo algoritmo puede
describirse en trminos del clculo-lambda. No es posible dar una demostracin rigurosa de esta
tesis. Cualquier intento caera en un crculo vicioso ya que la demostracin necesitara de una
ZZ+1
Si Z 0 GOTO L
La primera instruccin garantiza que el valor de Z ser distinto de 0 y en consecuencia la
segunda nos deriva siempre a la instruccin L. El resultado neto de ambas instrucciones es saltar a
la instruccin marcada con L. Esto justifica resumir este par de instrucciones en una sola:
GOTO L
Ahora bien, cuando el programa (b) termina su cmputo, el valor final de X es 0. Nos gustara
ahora obtener un programa que le asigne a Y el valor de X, pero que deje a este ltimo sin alterar.
Esto se puede lograr as:
(c) [A] Si X 0 GOTO B
GOTO C
[B] X X 1
Y Y+ 1
ZZ+1
GOTO A
[C] Si Z 0 GOTO D
GOTO E
[D] Z Z 1
XX+1
GOTO C
Ntese que, como ninguna instruccin tiene la etiqueta E, la instruccin GOTO E del programa
(c) equivale a FINALIZAR.
Podemos abreviar el resultado neto del programa (c) con Y X (que significa que se le asigna a
Y el valor de X). Esto justifica la introduccin de la siguiente abreviatura (o subrutina):
V V'
que le asigna a V el valor de la variable V y deja a esta ltima sin cambio.
Donde aparezca V V' deber leerse, entonces, una copia del programa (c) en la que las
variables han sido renombradas convenientemente. Una observacin que debe hacerse es que el
programa (c) funciona correctamente solamente si las variables Y y Z valen inicialmente cero. Antes
de usar el programa (c) como subrutina de un programa mayor debemos entonces asegurarnos de que
Y y Z valen cero. Para ello introducimos la subrutina:
V 0
[A]
[B]
[C]
[D]
V 0
Z0
Si V' 0 GOTO B
GOTO C
V' V' 1
V V+ 1
ZZ+1
GOTO A
Si Z 0 GOTO D
GOTO E
ZZ1
V' V' + 1
GOTO C
Y X1
Z X2
[B] Si Z 0 GOTO A
GOTO E
[A] Z Z 1
Y Y+ 1
GOTO B
Mientras que el siguiente es un programa que calcula X1 X2:
(e)
Z2 X2
[B] Si Z2 0 GOTO A
GOTO E
[A] Z2 Z2 1
Z1 X1 + Y
Y Z1
GOTO B
Por supuesto, Z1 X1 + Y no es una instruccin de nuestro lenguaje sino un llamado al
programa (d), que es usado en este caso como subrutina de (e). Dejamos como ejercicio la
comprobacin de que los programas (d) y (e) en efecto permiten sumar y multiplicar.
Dado un programa P, llamaremos un estado de P a una lista de ecuaciones de la forma V = m
donde V es una variable del programa y m es un nmero natural. En un estado debe haber
exactamente una ecuacin por cada una de las variables.
Supongamos que se est ejecutando el programa y que o es alguno de los estados que atraviesa.
Nos gustara saber cul ser el estado inmediato siguiente. Para ello necesitamos conocer cul es la
instruccin que est a punto de ser ejecutada. Esta idea justifica la siguiente definicin:
Definicin: Una descripcin instantnea (o ms simplemente una instantnea) de un
programa P con n instrucciones es un par (i, ) con 1 i n + 1 y donde es un estado del
programa.
Intuitivamente, esto corresponde a una foto del cmputo en un momento dado, muestra el
valor de todas las variables del programa en ese momento en particular y el nmero i indica la
instruccin que va a ejecutarse a continuacin (suponemos que las instrucciones estn numeradas
correlativamente de 1 a n).
Cuando i = n + 1, esto indica que el programa se detiene. En ese caso se dice que la instantnea
correspondiente es terminal.
Si (i, ) es una instantnea no terminal, llamamos su instantnea sucesora a la descripcin de
la situacin del programa una vez que la instruccin nmero i se ha ejecutado. La instantnea
sucesora de (i, ) es la nica instantnea (j, ) que verifica:
1. Si la i-sima instruccin de P es del tipo V V + 1 y contiene la ecuacin V = m entonces j = i
+ 1 y se obtiene de reemplazando la ecuacin V = m por V = m + 1.
2. Si la i-sima instruccin de P es del tipo V V 1 y contiene la ecuacin V = m entonces j = i
+ 1 y se obtiene de o reemplazando la ecuacin V = m por V = m 1 si es que m 0. Si m = 0
entonces = .
3.
b)
Si contiene la ecuacin V = m con m 0 y hay una instruccin marcada con L
entonces j es el nmero de la instruccin as marcada. Si contiene la ecuacin V = m con
m 0 y no hay una instruccin marcada con L, entonces j = n + 1.
Un cmputo de un programa P est formado por sus sucesivas descripciones instantneas desde
que se ingresa la entrada hasta que se obtiene una salida.[18] Con ms precisin, un cmputo de P es
una sucesin finita s1, s2, s3, , sm de instantneas del programa tal que:
1. s1 = (1, 1) y en 1 las variables tienen sus valores iniciales (X1, , Xr los valores de la
entrada y las dems el valor 0).
2. sm es una instantnea terminal.
3. Para cada k entre 1 y m 1, la instantnea sk+1 es sucesora de la instantnea sk .
Estamos ahora en condiciones de demostrar el teorema principal de este captulo.
Teorema: Si la concatenacin es expresable entonces toda propiedad recursiva es
expresable.
Demostracin: Recordemos que una propiedad es recursiva si y slo si existe un programa P
(escrito en el lenguaje que hemos definido en este captulo) que comprueba en una cantidad finita de
pasos si esa propiedad se cumple, o no se cumple. Este programa admite una entrada formada por r
nmeros x1, , xr y su salida es 1 si x1, , xr cumplen la propiedad y 0 en caso contrario.[19]
Fijado un tal programa P, la demostracin consiste en probar que la condicin En el programa
P la entrada x1, , xr tiene valor de salida 1 es expresable en el lenguaje de la concatenacin dada
por raya y punto ( y ).
Para comenzar la demostracin vamos a asignarle a cada instantnea de P un nmero natural que
estar escrito con rayas y puntos. Para este propsito consideremos una funcin, a la que llamaremos
R(n), que a cada nmero n le asigna el nmero que, escrito con rayas y puntos, est formado por n +
1 rayas. Por ejemplo:
R(0) =
R(1) =
R(2) =
R(3) =
Afirmacin: La funcin R es expresable en el lenguaje de la concatenacin.
Demostremos la afirmacin. El par ordenado (n, m), para nmeros naturales cualesquiera n y m,
se escribe en el lenguaje formal como # # n # m # #. La sucesin formada por los pares (n1, m1), (n2,
m2), , (nk , mk ) se escribe como # # n1 # m1 #### n2 # m2 ## ## nk # mk # #. Es fcil ver que
Ser un par ordenado y Ser una sucesin de pares son ambas expresables en el lenguaje de la
concatenacin. (Pensarlo!).
Consideremos ahora una sucesin finita de pares de nmeros que cumpla estas dos condiciones
(que son ambas expresables):
1. La sucesin comienza con (0, ). Aqu debe pensarse como el dgito concreto elegido para
Dejamos como ejercicio la verificacin de que con los otros dos tipos de instrucciones se puede
proceder de manera similar. Por lo tanto, Ser nmeros de instantneas consecutivas es tambin
expresable.
Finalmente, a un cmputo s1, s2, s3, , sm le asignamos la concatenacin de los nmeros de sus
instantneas. El nmero de un cmputo queda caracterizado por estas condiciones:
1.
El nmero comienza con: R(1) R(ei) R(0) R(x1) R(xr) R(0) R(0) (para x1,
, xr cualesquiera).
2.
Existen y, u1, , ur, wr, , wk tales que el nmero finaliza con: R(n + 1) R(n + 1) R(y)
R(u1) R(ur) R(wr) R(wk ) , donde n es la cantidad de instrucciones de P.
3.
Que un nmero a comience con b significa que existe algn q tal que a = bq. Que un nmero a
finalice con b significa que existe algn p tal que a = pb. Todas estas condiciones pueden traducirse
al lenguaje de la concatenacin, por lo que Ser el nmero de un cmputo de P es expresable.
Observemos ahora que En el programa P la entrada x1, , xr tiene valor de salida 1 equivale
a decir que existe el nmero de un cmputo que comienza con:
R(l) R(e1) R(0) R(x1) R(xr) R(0) R(0)
y que existen u1, , ur, wr, , wk tales que el nmero finaliza con:
R(n + 1) R(n + 1) R(1) R(u1) R(ur) R(wr) R(wk )
Estas condiciones tambin son expresables y por lo tanto En el programa P la entrada x1, , xr
tiene valor de salida 1 es expresable en el lenguaje de la concatenacin.
Notemos que el mismo razonamiento prueba que todas las funciones recursivas de una variable
son expresables. En efecto, si f es recursiva y P es un programa que la calcula, entonces f(x) = y
equivale a En el programa P la entrada x tiene valor de salida y. Esto demuestra, en particular, que
la funcin diagonal (que definimos en el captulo 5) es expresable.
Se completa as la demostracin de los teoremas de Incompletitud que iniciamos en el captulo
5.
Fin
Nota: Nuestra demostracin de los teoremas de Incompletitud podra ser objeto de la siguiente
crtica: es una demostracin que se basa en la manera en que se escriben los nmeros, y no en
propiedades intrnsecas de stos. Este defecto ser salvado en el prximo captulo, en el que
daremos una definicin ms amplia de la nocin de concatenacin. All veremos que hay
concatenaciones intrnsecas, que no dependen de la escritura, y que permiten desarrollar sin cambio
alguno las demostraciones que hemos dado para los teoremas de Incompletitud.
La codificacin que Gdel defini en su artculo de 1931 es diferente de la que hemos definido
en el captulo 5. Gdel le asigna a cada smbolo del lenguaje un nmero impar (por ejemplo, al
smbolo 0 le asignara el nmero 1, al smbolo S le asignara el 3, y as sucesivamente). Si una
expresin del lenguaje est formada por los smbolos de cdigos n, m, k, entonces su cdigo es 2n
3m 5k (las bases de las potencias son primos correlativos y los exponentes los cdigos de los
smbolos).
Observemos que un nmero es el cdigo de una expresin si en su factorizacin aparecen
primos correlativos desde el 2 en adelante elevados todos ellos a potencias impares. (Como el 2
siempre aparece en la factorizacin, el cdigo de una expresin es en todos los casos un nmero
par).
A la sucesin formada por las expresiones de cdigos u, v, w, respectivamente, Gdel le
asigna el cdigo 2u 3v 5w Notemos que el cdigo de una sucesin de frmulas tambin tiene
en su factorizacin primos correlativos desde el 2 en adelante, pero en este caso los exponentes son
todos nmeros pares (porque son los cdigos de expresiones).
Para esta codificacin, como para la codificacin definida en el captulo 5, puede probarse que
Ser el cdigo de una frmula y Ser el cdigo de una demostracin son ambas propiedades
recursivas.
Esta codificacin es intrnseca, porque se basa en la propiedad de que todo nmero mayor que 1
admite una factorizacin en primos. La unicidad de la factorizacin asegura que si n es el cdigo de
una expresin o de una sucesin de expresiones, esta expresin o esta sucesin de
expresiones puede ser reconstruida sin ambigedad. (En el captulo 5 la no ambigedad estaba
garantizada por la unicidad de la escritura como puntos y rayas).
Por otra parte, en el mismo artculo de 1931 Gdel hace la observacin de que su demostracin
es constructiva. Es decir, si se siguen cuidadosamente todos los pasos de la prueba, puede escribirse
explcitamente un enunciado indecidible.
La demostracin que hemos desarrollado aqu tambin es constructiva: si nos dan
explcitamente el programa que verifica si un nmero natural es, o no es, el nmero de Gdel de un
axioma, y este programa est escrito en el lenguaje que hemos mostrado en este captulo, entonces los
enunciados indecidibles de los captulos 5 y 6 pueden ser escritos explcitamente en el lenguaje
formal.
El enunciado indecidible del captulo 5 es x(x Dem d(n)), que significa Yo no soy
demostrable. Parece una afirmacin simple, pero esta apariencia es engaosa. La escritura formal
de x Dem d(n) contiene, por ejemplo, la descripcin del programa que calcula la funcin diagonal,
as como la del programa que determina si un nmero es, o no es, el cdigo de un axioma (este
programa puede ser muy complejo si los axiomas tienen una estructura sintctica compleja).
Por lo tanto, la traduccin exhaustiva al lenguaje formal de Yo no soy demostrable, lejos de
ser sencilla, podra dar como resultado una frmula con una longitud de miles de smbolos.
TERCERA PARTE
Incompletitud en un contexto
general y abstracto
CAPTULO NUEVE
INCOMPLETITUD EN UN CONTEXTO
GENERAL Y ABSTRACTO
Una demostracin intrnseca del Teorema de Gdel. La concatenacin y el argumento de Gdel. Conclusiones y preguntas
abiertas. Ejercicios.
Nuestro objetivo general en este captulo es investigar a qu clase de objetos matemticos puede
extenderse la demostracin de la versin semntica del Teorema de Incompletitud que dimos en el
captulo 5.
Recordemos que si O es un objeto, llamamos teora de O y notamos T(O) al conjunto de
todos los enunciados de primer orden verdaderos en O.
La demostracin que hemos dado del Teorema de Gdel se basa enteramente en el hecho de que
hay una concatenacin en la aritmtica, expresable en trminos de la suma y la multiplicacin.
Esencialmente hemos probado que si hay una concatenacin expresable en N entonces T(N) no es
recursivamente axiomatizable:
Hay una concatenacin expresable en N T(N ) no es recursivamente axiomatizable
En la primera seccin nos proponemos introducir una definicin abstracta del concepto de
concatenacin, que es aplicable en principio a un objeto matemtico cualquiera. Veremos all que la
demostracin de incompletitud desarrollada en el captulo 5 puede generalizarse en el siguiente
sentido:
Es decir, probaremos que tambin para un objeto matemtico O (numerable) cualquiera vale
que:
Hay una concatenacin expresable en O
Supondremos tambin que R es finito o numerable. Por ejemplo, en el objeto N (tal como hemos
trabajado con l a lo largo de todo el libro) el universo es el conjunto de los nmeros naturales y R
est formado por la constante 0, la funcin sucesor y las operaciones de suma y multiplicacin.
Si O es un objeto matemtico con lenguaje L(O) llamamos Teora de O y notamos T(O) al
conjunto de todos los enunciados de primer orden de L(O) verdaderos en O.
La pregunta fundamental que vamos a plantearnos es si T(O) es recursivamente axiomatizable.
Es decir, si existe un conjunto recursivo de enunciados verdaderos en O que permita obtener como
teoremas a todos los dems enunciados verdaderos.
La definicin de verdad para un objeto cualquiera es similar a la que dimos en el captulo 3,
aunque previamente debe hacerse una precisin importante. Recordemos que el enunciado xP(x) es
verdadero en N si, cualquiera que sea el numeral k, vale que P(k) es un enunciado verdadero.
Una suposicin implcita en esta definicin es que todo nmero natural est representado por
algn numeral, es decir, que para todo elemento del universo hay un trmino sin variables que lo
representa. (Recordemos, del captulo 3, que trminos sin variables son las constantes y las
expresiones del lenguaje que se obtienen de las constantes por aplicaciones sucesivas de las
funciones del objeto).
Esta suposicin no necesariamente se cumple para todos los objetos. Por ejemplo, sea O = (Q;
+,, 0), donde Q es el conjunto de todos los nmeros racionales. Los trminos sin variables del
lenguaje de este objeto se obtienen a partir del 0 por aplicaciones sucesivas de las operaciones de
suma y multiplicacin. Es evidente entonces que todos los trminos sin variables representan al
nmero 0. Y por lo tanto, para un nmero distinto de cero no hay trmino sin variables que lo
represente.
Sin embargo, esta situacin se puede arreglar del siguiente modo indirecto. Si O = (U; R) es
un objeto matemtico cualquiera, llamaremos O al objeto cuya nica diferencia con O es que tiene
aadido a su lenguaje constantes que representan a todos los elementos de U.
As, en O s vale que todo elemento est representado por un trmino sin variables. Observemos
adems que una frmula en L(O) es tambin una frmula en L(O).
Vamos a definir qu significa que una frmula sea verdadera en O.
Tal como hicimos para N en el captulo 3, definimos primero qu significa que un enunciado
atmico sea verdadero. Los enunciados atmicos de O son de la forma:
t1 = t2
donde t1 y t2 son trminos sin variables o tambin:
P(t1, , tn)
donde P es uno cualquiera de los smbolos de relacin de R.
Si el enunciado atmico es de la forma t1 = t2, diremos que es verdadero si y slo si el trmino
t1 y el trmino t2 representan el mismo elemento.
Si el enunciado atmico es de la forma P(t1, , tn), diremos que es verdadero si y slo si los
elementos representados por t1, , tn satisfacen la relacin especfica en O asociada al smbolo P.
A partir de este criterio para determinar la verdad de un enunciado atmico, la definicin de
verdad para una frmula cualquiera de O sigue los mismos pasos que la definicin que dimos para
N, slo que los numerales 0, 1, 2, 3, 4, son reemplazados por las constantes c1, c2, c3, c4,
Una vez definida la verdad en O de esta manera, podemos definir ahora la verdad en O:
As, por ejemplo, el enunciado xP(x) es verdadero en O si y slo si P(c1), P(c2), P(c3), son
todos enunciados verdaderos en O.
Definicin. Una propiedad es expresable en O si existe una frmula P(x1, , xr) de L(O)
tal que los elementos a1, , ar cumplen la propiedad P si y slo si P(a1, , ar) es un
enunciado verdadero en O.
(En rigor deberamos decir que a1, , ar cumplen la propiedad P si y slo si P(ca , , ca )
es un enunciado verdadero de O donde ca , , ca son constantes que representan a a1, ,
ar, respectivamente).
1
Daremos ahora la definicin abstracta de concatenacin. La idea que motiva esta definicin es
que una concatenacin debe ser siempre una operacin binaria isomorfa a la concatenacin de
smbolos de un lenguaje formal. Observemos que en este caso, el ms conocido, se verifica que:
1. La operacin es asociativa: si E1, E2 y E3 son expresiones del lenguaje, entonces concatenar
E1E2 con E3 es lo mismo que concatenar E1 con E2E3.
2. Los smbolos del lenguaje actan como tomos de la operacin, en el sentido de que no pueden
escribirse como concatenacin de elementos ms simples.
3. Cualquier expresin del lenguaje se obtiene, de manera nica, como la concatenacin de una
cantidad finita de estos tomos.
Definicin. Una concatenacin en un objeto O = (U; R) es una operacin (que indicaremos
como ) definida para todos los pares de elementos de un cierto conjunto V contenido en
U, que verifica estas condiciones:
1. La concatenacin de dos elementos de V es tambin un elemento de V.
2. La operacin es asociativa, es decir (x y) z = x (y z).
3. Existen ciertos elementos de V, a los que llamaremos tomos, que no se pueden obtener como
concatenacin de otros elementos de V.
4. Todo elemento de V, o bien es un tomo, o bien se obtiene de manera nica como concatenacin
de una cantidad finita de tomos. La unicidad debe entenderse en el siguiente sentido estricto: si
a1, a2, , an, b1, b2, , bm son todos tomos tales que a1 a2 an = b1 b2 bm
Una primera consecuencia del teorema 9.1 es la posibilidad de dar una demostracin del
Teorema de Incompletitud basada en una concatenacin intrnseca, en el sentido de que no depende
de la manera elegida para escribir a los nmeros (no depende de si se utiliza la representacin
decimal, la binaria, la binaria sin cero, o si se utiliza la escritura maya o la romana). De este modo se
responde a la posible crtica mencionada en la nota final del captulo anterior.
Corolario. Las demostraciones que hemos dado, en los captulos 5 y 6, de los teoremas de
Gdel para N pueden desarrollarse a partir de propiedades intrnsecas.
Demostracin: Por el teorema 9.1 basta ver que existe en N una concatenacin intrnseca que es
expresable.
Consideramos el conjunto V formado por aquellos nmeros naturales que en su factorizacin
tienen primos correlativos desde el 2 en adelante, todos ellos elevados a la potencia 1 o a la potencia
2.
1
21
2
22
11
21 31
12
21 32
21
22 31
22
22 32
21 31 51 111
Aunque habitualmente el exponente 1 no se escribe, en este caso lo hemos indicado para que sea
ms fcil visualizar la correspondencia. De la misma manera se puede establecer la equivalencia con
una concatenacin en la que sus tomos se llamen punto y raya.
Atencin: Entre las hiptesis del teorema 9.1 se requiere que al menos dos de los tomos de la
concatenacin sean definibles. Si el objeto O no cumple esta hiptesis entonces, en principio, no se
puede asegurar que toda propiedad recursiva sea expresable en O y falla la Hiptesis 2 de la
demostracin del captulo 5.
Consideremos, por ejemplo, el objeto O = ({a, b}+; ), donde:
{a, b}+ es el conjunto de todas las palabras (es decir, secuencias finitas de smbolos) formadas
por las letras a y como aaabaa o bbb.
El smbolo denota la concatenacin usual de palabras, que consiste en escribir la segunda a
continuacin de la primera.
Probaremos despus (ser una consecuencia de la demostracin del teorema 9.2) que ni el
tomo a ni el tomo b son definibles en O. Por lo tanto, la propiedad recursiva Ser el tomo a no
es expresable en O.
Sin embargo, y a pesar de que no puede utilizarse la demostracin del captulo 5, vale de todos
modos que la teora del objeto O = ({a, b}+; ) no es recursivamente axiomatizable, como lo prueba
el siguiente teorema.
Teorema 9.2: Sea el objeto O = ({a, b}+; ), donde {a, b}+ es el conjunto de todas las
palabras formadas por las letras a y b y es la concatenacin usual de palabras. Entonces
T(O) no es recursivamente axiomatizable.
Demostracin: Se considera el objeto O' = ({a, b}+; , a, b), que slo difiere de O en que a su
lenguaje se le agregan las constantes a y b. A partir de aqu se prueba que podemos reducir este caso
al del Teorema 9.1. Los detalles de la demostracin los dejamos como ejercicio (vase el Ejercicio
9.1). Probaremos all tambin, como corolario, que la propiedad x= a no es expresable en O = ({a,
b}+; ).
Podemos demostrar ahora el teorema que anunciamos al comienzo del captulo.
Definicin: Diremos que T(O) es decidible si existe un programa que, dado un enunciado
cualquiera de L(O), determina en una cantidad finita de pasos si el enunciado es, o no es,
verdadero.
Afirmacin: T(O) es recursivamente axiomatizable si y slo si es decidible.
Demostracin: Si T(O) es recursivamente axiomatizable, fijamos un sistema recursivo de
axiomas. Probamos en el captulo 1 que si el conjunto de axiomas es recursivo entonces existe un
programa que, dada una secuencia finita de frmulas, determina en una cantidad finita de pasos si la
secuencia es, o no es, una demostracin.
Por otra parte, sabemos del captulo 3 que para todo lenguaje de primer orden existe un
programa que determina en una cantidad finita de pasos si una frmula es, o no es, un enunciado.
Ordenamos todas las secuencias de frmulas de L(O) segn el orden obtenido por el mtodo
diagonal de Cantor que se explica en el Ejercicio 1.4 y tomamos un programa que las inspeccione
una por una y verifique en cada caso si se trata, o no, de una demostracin.
Si la secuencia inspeccionada es una demostracin, el programa verifica si la ltima frmula es
un enunciado. En caso afirmativo, el programa imprime ese enunciado.
Este programa imprimir solamente enunciados verdaderos en O (esto se debe a que el Teorema
de Correccin, que demostramos en el captulo 3 para N, vale tambin para un objeto O cualquiera).
Adems, como todo enunciado verdadero es demostrable, entonces todo enunciado verdadero
Teorema 9.3: Si existe una concatenacin expresable en O (con al menos dos tomos)
entonces T(O) no es recursivamente axiomatizable.
Demostracin: Es fcil ver que si existe en O una concatenacin expresable con al menos dos
tomos, entonces tambin es expresable la relacin u y v son tomos y x pertenece a {u, v}+. Este
hecho permite reducir la demostracin al caso en el que la concatenacin tiene exactamente dos
tomos. Haremos entonces la prueba para este caso.
Probemos ahora que si existe una concatenacin expresable en O entonces T(O) no es
recursivamente axiomatizable. De acuerdo con la afirmacin anterior basta ver que T(O) no es
decidible.
Sea V el conjunto expresable de O en el que est definida una concatenacin .La teora del
objeto O1 = (V; ) es recursivamente equivalente a la teora del objeto O2 = ({a, b}+; ), en el
sentido de que hay una correspondencia recursiva y uno a uno que transforma cada enunciado
verdadero de L(O1) en un enunciado verdadero de L(O2), y viceversa. (Esencialmente esto se debe
al hecho de que todas las concatenaciones de dos tomos son isomorfas, tal como explicamos en un
comentario anterior).
Supongamos, por el absurdo, que T(O) es decidible. Entonces existe un programa que determina
en una cantidad finita de pasos si una frmula de L(O) es verdadera o falsa.
Sea P un enunciado cualquiera de L({a, b}+; ). Lo traducimos a su equivalente en L(V; ) que,
en particular, es un enunciado de O. El programa para T(O) nos dice entonces si P es verdadera o
falsa. De este modo T({a,b}+; ) sera decidible y en consecuencia sera recursivamente
axiomatizable, lo que contradice al teorema 9.2.
El teorema 9.3 propone un mtodo para probar que T(O) no es recursivamente axiomatizable:
basta ver que existe en O una concatenacin expresable con al menos dos tomos.
Aunque no daremos aqu los detalles de las demostraciones, stos son dos de los muchos
una frmula o bien el cdigo de una sucesin de frmulas y, en caso afirmativo, determina cul
es la frmula o sucesin de frmulas correspondiente.
4. Todos los cdigos son elementos definibles.
Ejemplo: Una codificacin de Gdel no tiene por qu estar definida explcitamente a partir de una
concatenacin.
Supongamos que el objeto es N. Ordenemos (por ejemplo segn el orden lexicogrfico) todas
las frmulas de L(N) por un lado y todas las sucesiones finitas de frmulas de L(N) por el otro
(segn el orden del Ejemplo 1.4).
Luego, asignamos el nmero 1 a la primera frmula, el nmero 3 a la segunda, el 5 a la tercera y
as sucesivamente.
A la primera sucesin de frmulas le asignamos el 2, a la segunda le asignamos el 4 y as
sucesivamente.
No es difcil probar que esta asignacin es, en efecto, una codificacin de Gdel para N.
Atencin: La definicin habitual de Ser demostrable es innecesariamente limitada. Como ya
sabemos desde el captulo 1, la definicin dice que una frmula es demostrable si es la ltima
frmula de una demostracin.
Necesitamos dar una definicin alternativa de Ser demostrable que es equivalente a la
definicin habitual, pero que nos permite considerar demostrable a una frmula cualquiera que
aparezca en una demostracin.
Diremos entonces a partir de ahora que una frmula es demostrable si aparece en una
demostracin, no importa qu posicin ocupe dentro de ella.
Intuitivamente, esta definicin ms laxa dice que al probar un teorema no slo demostramos su
tesis, sino que probamos adems todas las afirmaciones intermedias de la demostracin.
Esta idea se corresponde perfectamente con la prctica matemtica. Por ejemplo el hecho de
que la propiedad x = a no es expresable en O = ({a, b}+; ) no es consecuencia de la tesis del
teorema 9.2, sino de una afirmacin intermedia de la demostracin.
Es fcil ver que ambas definiciones de frmula demostrable son equivalentes: una frmula es
demostrable segn la definicin habitual si y slo si es demostrable en este nuevo sentido que
definimos.
En efecto, es evidente que si una frmula es demostrable en el sentido habitual entonces tambin
es demostrable en el sentido ms amplio.
Recprocamente, si P es demostrable en el sentido amplio entonces existe una demostracin P1,
, Pn tal que P aparece en ella, es decir, P = Pk , con 1 k n. Entonces P1, , Pk es tambin una
demostracin y P es entonces demostrable en el sentido habitual.
Adems puede probarse que:
Ser demostrable (en el sentido ms amplio) es expresable en O
1
R P2
(R P1) P1
11
(R P1) P2
12
(R P2) P1
21
(R P2) P2
22
=
g((((((R Pr ) Pr ) ) Pr ) Ps ) Ps ) Ps )
1
Los tomos son g(R P1) y g(R P2). Ambos son cdigos de frmulas y entonces, por la
definicin de codificacin de Gdel, son definibles.
Por otra parte, llamaremos contadores a las frmulas del tipo:
((((R Q) Q) Q) ) Q
Este nombre se debe a que en la demostracin del teorema se utilizan para contar la cantidad de
frmulas que hay en una sucesin.
Cada frmula concatenable tiene dos frmulas sucesoras, que se obtienen al agregar a la
derecha las frmulas P1 P2. Por ejemplo, las sucesoras de R P2 son la frmula (R P1) P1 y
la frmula (R P1) P2.
Cada contador tiene una nica frmula sucesora, que se obtiene al agregar a la derecha la
frmula Q. Por ejemplo, la sucesora de R Q es la frmula (R Q) Q.
Del hecho de que la implicacin es expresable se deduce fcilmente que valen estas dos
condiciones:
1. Las operaciones que calculan frmulas sucesoras (tanto para frmulas concatenables como para
contadores) son expresables.
2. La operacin que, dada una frmula concatenable A y un contador B, da como resultado la
frmula A B, es expresable.
La primera condicin permite demostrar que Ser una frmula concatenable y Ser un
contador son expresables.
La segunda condicin permite demostrar que la relacin Ser dos sucesiones con la misma
cantidad de frmulas es expresable.
De estos hechos, a su vez, se deduce la tesis, del siguiente modo:
Para expresar la operacin g(F) g(G), donde tanto F como G son frmulas concatenables,
definimos en paralelo dos sucesiones, S1 y S2, ambas de la misma longitud.
La sucesin S1 describe cmo se obtiene la frmula G a partir de R P1 (o de R P2) por
aplicaciones sucesivas de las operaciones que calculan frmulas sucesoras. A partir de la
informacin que contiene S1 la sucesin S2 copia la frmula G a la derecha de F y calcula as g(F)
g(G).
Los detalles pueden verse en el Ejercicio 9.2.
Corolario: Si existe una codificacin de Gdel en O y cuatro frmulas atmicas diferentes
P1, P2, Q y R tales que (si conservamos las notaciones de la demostracin anterior):
1. La relacin SF(x, y): x es el cdigo de una sucesin finita de frmulas en la que aparece la
frmula de cdigo y, es expresable.
2. Las operaciones que calculan frmulas sucesoras (tanto para frmulas concatenables como para
contadores) son expresables.
3. La operacin que, dada una frmula concatenable A y un contador B, da como resultado la
frmula A B, es expresable.
Entonces existe en O una concatenacin expresable con al menos dos tomos definibles.
Demostracin: Las tres condiciones que hemos aislado en el corolario aseguran que se puede
repetir la parte esencial de la demostracin del teorema anterior.
Podemos ahora demostrar el teorema que anunciamos: si O admite una codificacin de Gdel
tal que Ser demostrable es expresable entonces existe una concatenacin expresable en O con al
menos dos tomos definibles.
Teorema 9.5: Sea O un objeto con una codificacin de Gdel tal que, para todo conjunto
recursivo A de frmulas, la relacin x es el cdigo de una demostracin a partir de las
frmulas de A e y es el cdigo de una frmula que aparece en esa demostracin es
expresable. Bajo estas condiciones hay en O una concatenacin expresable (con al menos
dos tomos definibles).
Demostracin: Cuando proponemos un conjunto de axiomas para T(O), no incluimos en el
conjunto a los axiomas lgicos, que se supone que ya han sido fijados de antemano. La demostracin
que haremos es vlida tanto si esos axiomas lgicos son los mismos que ya establecimos en el
captulo 3, o si se elige cualquier otra presentacin.
La demostracin en s consiste en ver que se cumplen las tres condiciones listadas en el
corolario anterior.
Demostracin de la condicin 1. La relacin SF(x, y): x es el cdigo de una sucesin finita
de frmulas en la que aparece la frmula de cdigo y es expresable.
Sea F el conjunto de todas las frmulas de L(O). Este conjunto es recursivo. Entonces, por la
hiptesis del teorema 9.5, la relacin x es el cdigo de una demostracin a partir de todas las
frmulas e yes el cdigo de una frmula que aparece en esa demostracin es expresable. Pero como
cualquier sucesin de frmulas puede considerarse una demostracin (si los axiomas son todas las
frmulas), esa relacin equivale a SF(x, y): x es una sucesin finita de frmulas en la que aparece la
frmula y. Por lo tanto, SF(x, y) es expresable.
Demostracin de la condicin 2. Las operaciones que permiten hallar frmulas sucesoras,
tanto para frmulas concatenabas como para contadores, son todas expresables.
Observemos que y es el cdigo de una frmula equivale a Existe una sucesin finita de
frmulas en la que aparece y.
La propiedad y es el cdigo de un axioma lgico es tambin expresable porque equivale a
Existe una demostracin en la que es el conjunto vaco y en que la frmula de cdigo y es la nica
que aparece en la demostracin.
Por otra parte, todo conjunto recursivo de frmulas que no contenga axiomas lgicos es
expresable. En efecto, sea un conjunto recursivo de frmulas que no contiene axiomas lgicos. La
propiedad y es el cdigo de una frmula de es expresable mediante la conjuncin de:
Existe x; que es el cdigo de una demostracin que toma como axiomas las frmulas de .
y es el cdigo de la nica frmula de x.
y no es el cdigo de un axioma lgico.
Queremos probar ahora que la funcin que transforma el cdigo de una frmula concatenable A
en el cdigo de la frmula A P2 es expresable.
Observemos que ni los contadores ni las frmulas concatenabas son frmulas universalmente
vlidas. Por lo tanto, no importa qu presentacin se elija para la lgica de primer orden, no pueden
ser axiomas lgicos. Por lo tanto, Ser una frmula concatenable y Ser un contador son
condiciones expresables.
Introduzcamos una quinta frmula atmica S, distinta de P1, P2, R y Q, y consideremos el
conjunto de todas las frmulas del tipo C S, donde C es una frmula concatenable cualquiera. Es
claro que este conjunto es recursivo y es fcil ver que no contiene axiomas lgicos (sus frmulas no
son universalmente vlidas), por lo tanto es expresable.
Consideremos la relacin F(x, y) definida por la conjuncin de:
x es el cdigo de una frmula concatenable.
y es el cdigo de una frmula del tipo C S, con C concatenable.
Existe z, el cdigo de una demostracin que usa como axiomas a las frmulas concatenables y a
las del tipo C S, tal que la demostracin slo contiene a la frmula S, a la frmula de cdigo
x, y a la frmula de cdigo y.
Si A es la frmula de cdigo x y B es la de cdigo y, las condiciones anteriores implican que S
se obtiene por modus ponens de A y B, es decir A = B S o bien B = A S. Por el modo en que
estn definidas las frmulas slo puede ser B = A S.
Por lo tanto la funcin que transforma la frmula A en la frmula A S es expresable.
Consideremos ahora la relacin G(x, y) definida por la conjuncin de:
x es el cdigo de una frmula del tipo C S, con C concatenable.
y es el cdigo de una frmula concatenable.
Existe z, el cdigo de una demostracin que usa como axiomas a las frmulas del tipo C S,
con C concatenable y a las del tipo (D P1) (D S) con D concatenable, tal que la
demostracin slo contiene a una frmula del tipo (D P1) (D S), a la frmula de cdigo
x, y a la frmula de cdigo y.
Sea A S la frmula de cdigo x y B la frmula concatenable de cdigo y.
La tercera condicin implica que A S se obtiene por modus ponens de B y de una frmula
del tipo (D P) (D S) con D concatenable. Esto slo puede suceder si B = ((D P1) (D
S)) (A S) o bien (D P1) (D S) = B (A S). Por el modo en que estn definidas
las frmulas, la nica opcin posible es que D = A y B = A P1.
Por lo tanto, la funcin que transforma una frmula del tipo A S (con A concatenable) en la
frmula A P1 es expresable. Ya vimos que tambin es expresable la funcin que transforma A en A
S, concluimos entonces que la funcin que transforma A en A P1 es expresable.
De la misma manera se prueba que es expresable la funcin que transforma la frmula A en la
frmula A P2 para A concatenable. Por lo tanto, las operaciones que permiten obtener las
sucesoras de una frmula concatenable son expresabas.
Si A es un contador, se prueba del mismo modo que la funcin que transforma la frmula A en la
frmula A Q es expresable.
Demostracin de la condicin 3. La operacin que, dada una frmula concatenable A y un
contador B, da como resultado la frmula A B, es expresable.
El conjunto de todas las frmulas del tipo C D, con C concatenable y D contador, es
expresable porque es recursivo y no contiene axiomas lgicos (sus frmulas no son universalmente
vlidas).
Sea H(x, y, z)definida por la conjuncin de:
x es el cdigo de una frmula concatenable.
y es el cdigo de un contador.
z es el cdigo de una frmula del tipo C D, con C concatenable y D contador.
Existe u, el cdigo de una demostracin que toma como axiomas a las frmulas concatenables y
a las frmulas del tipo C D, en la que slo aparecen x, y, z.
Si A es la frmula concatenable de cdigo x y B es el contador de cdigo y entonces la tercera
condicin implica que B se obtiene por modus ponens de A y de la frmula de cdigo z que es del
tipo C D. Esto slo es posible si la frmula de cdigo z es A B. Por lo tanto, la funcin
deseada es expresable.
Dado que se cumplen las tres condiciones indicadas en la observacin, el teorema queda
probado.
Atencin: El teorema 9.5 afirma que si existe en O una codificacin de Gdel tal que Ser
demostrable es expresable, entonces existe en O una concatenacin expresable. Esto no significa
necesariamente que esa codificacin en particular estaba definida a partir de una concatenacin.
El verdadero significado es que si Ser demostrable es expresable en O, entonces existe en O
una concatenacin expresable, y a partir de ella puede definirse una nueva codificacin que permite
a su vez desarrollar la demostracin del teorema 9.1.
Una consecuencia del teorema 9.5: La hiptesis que hemos resumido con la frase:
Ser demostrable es expresable
es comn a dos argumentos diferentes que prueban, para la aritmtica, el Teorema de Incompletitud.
El primer argumento es el que dimos en el captulo 5. Despus de probar que Ser demostrable
es expresable, el argumento prosigue con la prueba de que la funcin diagonal es expresable. Como
hemos explicado en el captulo 1, este argumento est basado en la paradoja del mentiroso y da lugar
a un enunciado que dice Yo no soy demostrable.
El segundo argumento est basado en la paradoja de Berry y se debe, de manera independiente,
a Xavier Caicedo [Caicedo] y a George Boolos [Boolos], inspirado en una idea similar de Gregory
Chaitin.
La paradoja de Berry aparece al plantear una definicin que es contradictoria en s misma:
Sea n el menor nmero que no se puede definir con una oracin de menos de cien palabras.
El nmero n, que no se puede definir con menos de cien palabras, queda definido por la oracin
anterior que, sin embargo, tiene menos de cien palabras.
El argumento de Caicedo y Boolos emplea entonces los conceptos de longitud de una frmula
(en el sentido de cantidad de smbolos) y de definibilidad (en el sentido de si una frmula define, o
no define, a un cierto elemento).
La prueba consiste en exhibir una frmula P(x) tal que:
P(x) es de longitud menor que un cierto nmero M.
P(x) define a un nmero n.
No se puede demostrar que n es definible por una frmula de longitud menor que M.
Los dos primeros puntos dicen que:
El nmero n es definible por una frmula de longitud menor que M
y el tercero dice que sa es una verdad no demostrable.
una concatenacin expresable. No hemos encontrado todava una demostracin convincente de este
hecho, que nos permitira exhibir un ejemplo de un objeto O tal que T(O) no recursivamente
axiomatizable sin que exista en el universo de O una concatenacin expresable.
Otra pregunta, que no fue tratada directamente aqu, pero que se relaciona con todas las
cuestiones que hemos estudiado es: Qu condiciones intrnsecas de O (es decir, condiciones
algebraicas sobre las operaciones y relaciones de o, no sobre su lenguaje) garantizan que T(O) no
es recursivamente axiomatizable?
Podramos preguntarnos, por ejemplo, qu caractersticas deben tener las funciones y relaciones
de O para que valgan las hiptesis del teorema 9.4 o las tres condiciones que permitieron demostrar
el teorema 9.5.
Existirn condiciones intrnsecas (o algebraicas) sobre O que sean equivalentes al hecho de
que T(O) no es recursivamente axiomatizable? La existencia de una concatenacin expresable se
acerca a una condicin intrnseca de este tipo es posible refinar todava esta condicin? El
problema permanece abierto.
4. EJERCICIOS
Ejercicio 9.1: Demostrar el siguiente teorema y deducir como corolario que la propiedad x = a no es
expresable en O = {{a, b}+; ).
Teorema 9.2: Sea el objeto O = {{a, b}+;), donde {a, b}+ es el conjunto de todas las
palabras formadas por las letras a y b, y es la concatenacin usual de palabras. Entonces
T(O) no es recursivamente axiomatizable.
Demostracin: Consideremos el objeto O' = {{a, b}+; , a, b), que slo difiere de O en que a
su lenguaje se le agregan las constantes a y b. Por el teorema 9.1 T(O') no es recursivamente
axiomatizable.
Si Q es un enunciado de L(O') llamemos al enunciado que se obtiene al reemplazar cada
aparicin (si hubiera alguna) de la constante a por la constante y viceversa. Si Q, en particular, fuera
un enunciado de L(O) (es decir, si en Q no aparecen ni la constante a ni la constante b) entonces,
evidentemente, Qab = Q.
No es difcil probar que:
Q es verdadero en O' si y slo si Qab es verdadero en O'
Intuitivamente, la afirmacin es evidente: dice que si una cierta propiedad referida a la
concatenacin es verdadera entonces sigue siendo verdadera si se cambia el nombre de los tomos.
Omitiremos aqu la demostracin rigurosa de la afirmacin, que se efecta ascendiendo por el
grado de complejidad de los enunciados. La propiedad se demuestra primero para los enunciados
atmicos y luego se ve que se conserva cuando se aplican las operaciones lgicas que llevan de los
enunciados atmicos a otros ms complejos.
Como vimos en el captulo 3, todo lenguaje de primer orden tiene variables que pueden
g((((R Pr ) Pr ) ) Pr ) g((((R Ps ) Ps ) Ps )
1
=
g((((((R Pr ) Pr ) ) Pr ) Ps ) Ps ) Ps )
1
n1
tiene dos frmulas sucesoras, que se obtienen al agregar, a la derecha de la original, la frmula
atmica P, o la frmula atmica P2:
((((R Pr ) Pr ) Pr ) ) Pr ) Pr P1
1
n1
((((R Pr ) Pr ) Pr ) ) Pr ) Pr P2
1
n1
y una frmula antecesora, que se obtiene al quitar la frmula P del extremo derecho:
((((R Pr ) Pr ) Pr ) ) Pr
1
n1
Hay que probar que Ser una frmula concatenable y la operacin de concatenacin son
expresables.
Comencemos por definir tres condiciones sobre una sucesin finita de frmulas que aseguran
que todas ellas son concatenables. Estas condiciones son:
O bien la frmula R P1 est en la sucesin, o bien la frmula R P2 est en la sucesin.
Si la frmula C est en la sucesin entonces existe. A tal que C = A P1 o bien C = A P2.
Si la frmula C est en la sucesin y existe A tal que C = A P1 o C = A P2, con A R
entonces A est tambin en la sucesin.
Las tres condiciones son expresables, por lo que:
x es el cdigo de una sucesin finita que slo contiene frmulas concatenables
es expresable. Llamemos SC(x) a la frmula que expresa esa condicin. Luego Ser una frmula
concatenable se expresa como:
x(SC(x) SF(x, y))
Falta probar que la operacin de concatenacin es expresable. Diremos que una sucesin finita
de frmulas va desde F basta G si:
Tanto F como G son concatenables.
G se obtiene de F por aplicaciones sucesivas de las operaciones que generan frmulas
sucesoras.
La sucesin contiene a la frmula F, a la frmula G, a todas las frmulas intermedias entre F y
G, pero ninguna otra frmula adems de stas.
Estas tres condiciones equivalen a las siguientes:
Todas las frmulas de la sucesin son concatenables.
La frmula F y la frmula G estn en la sucesin.
Para cada frmula de la sucesin que no sea F, su antecesora est tambin en la sucesin. Es
decir, si H est en la sucesin y H = A P1 (o bien H = A P2) y H F entonces A est
tambin en la sucesin.
En la sucesin no hay frmulas sucesoras de G. Es decir, ni G P1, ni G P2 estn en la
sucesin.
En la sucesin no est la antecesora de F (si es que existe). Es decir, si F = B P1 (o bien F =
B P2) entonces B no est en la sucesin.
Ntese que, fijadas F y G, estas condiciones no caracterizan una nica sucesin, pero si dos
sucesiones cumplen estas condiciones entonces contienen exactamente las mismas frmulas y slo
difieren en el orden en que estn escritas o en la cantidad de veces en que eventualmente aparezcan
repetidas.
Por otra parte, llamaremos contadores al conjunto de las frmulas del tipo:
((((R Q) Q) Q) ) Q
Ser un contador tambin es expresable y esto se prueba de la misma forma que para las
frmulas concatenables. (Ntese que cada contador tiene una frmula sucesora y, excepto el contador
R Q, tiene tambin una frmula antecesora).
Supongamos que S es una sucesin finita de frmulas que lleva desde F hasta G. Los contadores
nos servirn para contar la cantidad de frmulas diferentes que hay en la sucesin. Procedemos as:
Transformamos la frmula F en la frmula F (R Q).
Si F' es una sucesora de F, la transformamos en F' (R Q) Q.
Y as sucesivamente.
Con ms precisin, llamaremos sucesin derivada de S, a cualquier sucesin que se obtenga al
agregar a cada frmula de S estos contadores (y que es nica, salvo repeticiones o el orden en que
las frmulas se escriban).
Por ejemplo, si S est formada por:
(R P1) P1
((R P1) P1) P2
(((R P1) P1) P2) P1
Entonces una sucesin derivada de S est formada por:
(R P1) P1) (R Q)
(((R P1) P1) P2) ((R Q) Q)
((((R P1) P1) P2) P1) (((R Q) Q) Q)
(Cualquier otra sucesin derivada contiene esas mismas tres frmulas, tal vez en otro orden o tal
vez con repeticiones).
Una sucesin derivada de S, que llamaremos S', queda caracterizada (salvo orden y
repeticiones) por estas condiciones:
Toda frmula de S' es de la forma A B, donde A es una frmula de S y B es un contador.
F (R Q) est en S' y, excepto sta, no hay en S' otra frmula del tipo A (R Q) o del
tipo F B. (Es decir, el contador R Q le corresponde a la frmula F y a ninguna otra).
Si la frmula (A P1) (B Q), respectivamente la frmula (A P2) (B Q), est en
S' y (A P1) F, respectivamente (A P2) F entonces A B est en S'.
Todas estas condiciones son expresables, por lo que es claro que Ser una sucesin derivada de
S es expresable.
Observemos que si una sucesin lleva desde alguna F hasta alguna G, no importa cules sean F
y G, entonces la sucesin tiene n frmulas diferentes si y slo si en su derivada aparece la frmula G
( (R Q) Q), con n veces la frmula Q. Es decir, los contadores nos sirven para
comparar las cantidades de elementos diferentes en las sucesiones.
Con ms precisin, si S1 es una sucesin que lleva de F1 hasta G1 y S2 es una sucesin que lleva
de F2 hasta G2, ambas sucesiones tienen la misma cantidad de frmulas diferentes si y slo si existe
una frmula B W tal que G B est en S'1 y G B est en S'2. La relacin Tienen la misma
cantidad de frmulas diferentes es expresable.
Estamos ya en condiciones de definir la concatenacin. Si la frmula F y la frmula G estn en
V, entonces g(F) g(G) se define como el nico g(H) tal que H que verifica:
Si S1 es una sucesin que lleva de R P1 o de R P2 hasta G entonces existe una
sucesin S2 que lleva de F hasta H tal que:
S1 y S2 tienen la misma cantidad de frmulas diferentes.
Si A C S'1 y B C S'2, y si (A P1) (C Q) S1 entonces (B P1) (C
Q) S'2 y si (A P2) (C Q) S'1 entonces (B P2) (C Q) S'2.
La sucesin S1 contiene la informacin de los tomos que forman G y la sucesin S2 los copia a
la derecha de la frmula F. La ltima condicin asegura que los tomos sean copiados en el orden
correcto. Todas las condiciones son expresables en el lenguaje de O.
Finalmente, observemos que los tomos de la concatenacin son g(R P1) y g(R P2), que
son cdigos de frmulas y en consecuencia, por la definicin de codificacin de Gdel, son
definibles.
APNDICES
APNDICE I
EJEMPLOS DE TEORAS
COMPLETAS E INCOMPLETAS
5*. Dado una lnea recta y un punto exterior a ella puede trazarse una nica
lnea paralela a la recta dada que pase por ese punto.
En su tratado de geometra Euclides eludi hasta donde le era posible usar este quinto
postulado, porque no le pareca tan obvio como los anteriores. Durante siglos los
gemetras trataron de probar el quinto postulado como un teorema a partir de los
cuatro primeros. Finalmente, a principios del siglo XIX, C. F. Gauss, J. Bolyai y N.
Lobachevski, independientemente unos de otros, conjeturaron que el quinto axioma no
era demostrable a partir de los otros cuatro. Esto dio lugar a una geometra alternativa
a la euclideana, llamada hiperblica, en que valen los primeros cuatro postulados y la
negacin del quinto.
Finalmente la consistencia de la geometra hiperblica fue probada por Eugenio
Beltrami (1835-1900). En 1868 escribi un artculo titulado Ensayo sobre la
interpretacin de la geometra no euclidiana en el que presentaba un modelo para la
geometra hiperblica dentro de la geometra euclidiana. Esto significa que si la
geometra hiperblica fuera inconsistente, esa inconsistencia no provendra de la
negacin del quinto axioma, sino de alguno de los cuatro axiomas que dan fundamento
tambin a la geometra euclidiana.
2. Ya Euclides era consciente de la separacin entre los postulados que se referan a los
objetos matemticos (los primeros 5) y las nociones puramente lgicas, universalmente
vlidas, que rene como nociones comunes.
Una teora T se dice recursivamente completable si puede extenderse a una teora T'
completa por el agregado de un conjunto recursivo de axiomas.
Una teora se dice esencialmente incompleta si es incompleta y recursivamente
incompletable.
(x < x )
x < y ( y < x)
(x < y y < z) x < z
x y (x < y y < x)
x < y z(x < z z < y)
y(x < y )
y(y < x )
(Prop. reflexiva)
(Prop. antisimtrica)
(Prop. transitiva)
(Orden total)
(Densidad)
(No hay extremo superior)
(No hay extremo inferior)
sta es una lista finita y completa de axiomas para los nmeros fraccionarios Q con el orden
habitual. Es decir, todos los enunciados (de primer orden) que se escriben con estos smbolos y son
verdaderos en Q pueden reobtenerse como teoremas a partir de estos 7 axiomas [Chang y Keisler].
x + (y + z) = ( x + y) + z
x+0=x0+ x=x
y(x + y = 0 y + x = 0)
x+y= y+x
x 0 nx 0
(6 n) y(ny = x )
(Asociatividad)
(Existencia de elemento neutro)
(Todo elemento tiene inverso)
(Conmutatividad)
(Una lista infinita de axiomas, donde 2x es x + x, 3x es x + x + x , etc.)
(Divisibilidad, dada por una lista infinita de axiomas, uno para cada n)
x + (y + z) = ( x + y) + z
x+0=x0+ x=x
y(x + y = 0 y + x = 0)
x+y= y+x
1x=x x1=x
x (y z) = ( x y) z
xy= yx
x (y + z) = (x y) + ( x z)
xy=0x=0 y=0
01
x 0 y(y x = 1)
n10
(Asociatividad)
(Existencia de elemento neutro)
(Todo elemento tiene inverso)
(Conmutatividad)
(1 es una unidad para el producto)
(Asociatividad de )
(Conmutatividad de )
(Distributividad de sobre +)
(No hay divisores de 0)
(2) xy(y x)
(Conjunto vaco) Intuitivamente, existe un conjunto sin elementos. Puede probarse que es nico con esta propiedad y se lo
denota .
(3) xyzu(u z u = x u = y)
(Pares) Intuitivamente, si x e y son conjuntos, tambin es un conjunto {x, y}.
La llamada aritmtica de conjuntos es la teora que tiene todos los axiomas de ZF salvo el de
infinito, que es reemplazado por su negacin. Esta teora es equivalente a la aritmtica de Peano (y
no podra probarse en ella la consistencia de la aritmtica).
La diferencia crucial es el axioma (6) que postula un conjunto infinito actual. Si bien la teora
ZF permite probar la consistencia de la aritmtica, no podra (otra vez por el Teorema de Gdel)
probar su propia consistencia. Los axiomas de Zermelo-Fraenkel evitan las inconsistencias ms
obvias que aparecan en la teora intuitiva de conjuntos (por ejemplo, la paradoja de Russell).
Cuando se le agrega el llamado axioma de eleccin (que asegura que en cada conjunto no vaco se
puede elegir un elemento) sirve de base para la mayor parte de la matemtica que aparece en la
prctica usual.
(9) xy[y es una funcin con dominio x z(zx u(u z) y(z) z)]
(Axioma de eleccin) Intuitivamente, todo conjunto tiene una funcin de eleccin.
Observar que la expresin dentro del corchete no est totalmente expresada en el lenguaje de la
teora de conjuntos. Sin embargo, tanto Ser funcin como Ser dominio de una funcin son
propiedades expresables en el lenguaje (hacerlo!), de manera que y es una funcin con dominio x
queda tambin expresado en el lenguaje.
El axioma de eleccin es independiente de la teora de Zermelo-Fraenkel. A partir de ZF no
puede probarse ni el axioma de eleccin ni su negacin. De manera que el axioma de eleccin da
otro ejemplo de un enunciado indecidible para una teora. En la prctica matemtica habitual es una
herramienta imprescindible para muchas construcciones.
Hay otros dos enunciados importantes en matemtica que tienen un estatus similar. El primero de
ellos es la llamada Hiptesis del continuo, que dice que entre el infinito de los nmeros naturales y
el infinito de los nmeros reales (llamado continuo) no hay ningn tipo de infinito intermedio. El
infinito de los nmeros reales es tambin el infinito del conjunto Partes de N, es decir, del conjunto
de todos los subconjuntos posibles de nmeros naturales. La hiptesis del continuo dice entonces que
entre el infinito de y el infinito de P() no hay ningn tipo de infinito intermedio.
El procedimiento de tomar partes de un conjunto infinito permite obtener siempre otro conjunto
con un tipo de infinito estrictamente mayor que el dado. Este resultado fue probado por Cantor y se
conoce con el nombre de Teorema de Cantor. (La demostracin del Teorema de Cantor es
conceptualmente similar a la demostracin de que hay un enunciado no demostrable para la
aritmtica).
Tenemos as una torre de infinitos < P() < P(P()), etc.
El segundo infinito de esta torre es el del continuo. La llamada Hiptesis generalizada del
continuo dice que entre un infinito cualquiera de esta torre y el infinito inmediato siguiente no hay
ningn tipo de infinito intermedio.
Los axiomas de Peano (debidos en realidad a Richard Dedekind) tal como fueron escritos (en
latn) originariamente son:
(1) 1 es un nmero natural.
(2) El sucesor inmediato de un nmero natural tambin es un nmero natural.
(3) 1 no es el sucesor inmediato de ningn nmero natural.
(4) Dos nmeros naturales distintos no tienen el mismo sucesor inmediato.
(5) Toda propiedad verificada por 1 y por el sucesor inmediato de todo nmero que
tambin verifique esa propiedad, es verificada por todos los nmeros.
En trminos matemticos los axiomas suelen expresarse de este modo (donde la letra S
representa al sucesor inmediato de un nmero, y S(n) debe pensarse como el nmero que sigue a n,
es decir, n + 1):
(1) 1 es un nmero natural.
(2) Si n es un nmero natural, S(n) es un nmero natural.
(3) No existe n tal que S(n) = 1.
(4) Si n m, entonces S(n) S(m).
(5) Si P es una propiedad tal que 1 verifica P y vale que si n verifica P, entonces tambin
S(n) verifica P, puede concluirse que todo nmero natural verifica P.
Observaciones:
1. Tal como en el caso de Euclides, los axiomas originales propuestos por Peano tambin incluan
algunas afirmaciones lgicas sobre la igualdad. Los que listamos aqu son los axiomas referidos
a las propiedades especficas de los nmeros naturales.
2. El nmero correspondiente al smbolo 1, de acuerdo a esta axiomatizacin, es el primer elemento
de los nmeros naturales. En efecto, el axioma (3) dice que 1 no puede obtenerse como sucesor
de ningn nmero. Sin embargo, insistimos en que el 1 debe verse como un smbolo (el smbolo
del primer elemento del conjunto) y no necesariamente como el nmero 1 habitual. Es decir, tanto
el conjunto {1, 2, 3, 4,} como el conjunto {0, 1, 2, 3, 4,} verifican los postulados. En el
segundo caso, el nmero correspondiente al smbolo 1 ser el 0. Es decir, la cuestin de si el
nmero 0 pertenece o no a los naturales es no esencial. La condicin esencial es que haya un
primer elemento, ms all de cmo se lo llame.
3.
3.
suma finita de unos. En efecto, si pudiera expresarse que Todo elemento se obtiene como suma
finita de unos, tendramos la propiedad de -categoricidad (dos modelos numerables seran
isomorfos). Como esta teora est expresada en primer orden y todos sus modelos son infinitos,
podra aplicarse el llamado Test de os-Vaught (vase [Chang y Keisler]) que asegura en este caso
que la -categoricidad implica la completitud.
11. Teoras en apariencia prximas entre s pueden ser una recursivamente axiomatizable y la
otra no
Consideremos la teora de los nmeros naturales con el producto y el orden usual T(N; , ) y
por otro lado la teora de los nmeros naturales con el producto y el orden usual pero restringido a
los nmeros primos. La primera de estas teoras no admite una axiomatizacin recursiva [Bes,
Richard]. La segunda, en cambio, es recursivamente axiomatizable [Maurin].
APNDICE II
1. ARISTTELES Y EL INFINITO
Una cantidad es potencialmente infinita si es siempre finita pero puede ser aumentada tanto
como se desee hasta superar cualquier cantidad prefijada. En cambio, una cantidad es actualmente
infinita si ya es, de hecho, infinita. La idea del infinito potencial implica un proceso de crecimiento
que nunca termina, el infinito actual, en cambio, da la idea de un hecho acabado.
Por ejemplo, cuando decimos que hay infinitos nmeros naturales, para la concepcin potencial
estaramos diciendo que, dada cualquier cantidad finita de nmeros, siempre hay uno ms, nunca se
terminan (pero no es posible reunir a todos los nmeros en un nico conjunto). Para la concepcin
actual, por el contrario, estaramos diciendo que hay, de hecho, una infinidad de nmeros reunidos en
una nica totalidad.
Aristteles formul en el siglo IV a. C. esta distincin entre las dos formas de entender el
infinito. A la vez que rechaz la validez del infinito actual, entre otros motivos, por ser inaccesible a
nuestra experiencia. Este rechazo se mantuvo casi unnimemente, en la matemtica y en la filosofa,
hasta fines del siglo XVIII.
En su Metafsica, escribi (vase [Aristteles]):
La potencia y el acto, respecto del infinito, del vaco y de todos los seres del gnero se
entienden de otra manera que respecto de la mayora de los dems seres tales como lo que
se ve, lo que anda o lo que es visto. En estos ltimos casos la afirmacin de la existencia
puede ser verdadera, ya absolutamente, ya en tal circunstancia dada. Visible se dice, o de
lo que es visto realmente, o de lo que puede ser visto. Pero la potencia respecto al infinito
es de una naturaleza tal que el acto jams puede realizarse, como no sea por el
pensamiento.
2. GEORG CANTOR
A mediados de la dcada de 1870, una investigacin sobre series trigonomtricas llev a Georg
Cantor (1845-1918) a desarrollar de modo sistemtico la teora de conjuntos.[20] En 1883, en
Fundamentos para una Teora General de Conjuntos, incluido en [Cantor (2)], escribi:
5. DAVID HILBERT
Cuando el intuicionismo comienza a ganar adeptos (entre ellos matemticos de primera lnea
como Henri Poincar), David Hilbert (1862-1943) sale en defensa de la Teora de Cantor. En 1925,
en Acerca del Infinito, incluido en [Hilbert (1)], escribe:
nosotros como algo concreto y que consiste de inferencias. En estas inferencias, cada una
de las premisas es o bien un axioma, o coincide con la frmula final de una inferencia
cuyas premisas ya aparecen en la demostracin, o bien se obtiene por reemplazo en una
frmula de este tipo o en un axioma. En lugar de la inferencia concreta, lo que tenemos en
la teora de la demostracin es un procedimiento puramente externo de acuerdo con la
regla, a saber: la utilizacin del esquema de inferencia y la sustitucin. Decimos,
finalmente, que una frmula es demostrable cuando es o bien un axioma o es la frmula
final de una demostracin.
A las matemticas reales formalizadas de la manera que acabamos de describir se aade un
elemento nuevo que podemos considerar como una nueva matemtica, una
metamatemtica, que resulta necesaria para asegurar a aqulla, y en la que, a diferencia de
los principios deductivos puramente formales de la matemtica real, se recurre a la
inferencia concreta, pero nicamente con el carcter no contradictorio de los axiomas.
[]
La ms importante de nuestras tareas consiste en la demostracin de los dos principios
siguientes:
1. Una proposicin es demostrable cuando se ha establecido que es consistente, esto es, no
contradictoria.
2. Si puede establecerse que una cierta proposicin P es consistente con los axiomas de la
teora de los nmeros, es imposible demostrar que la negacin de P tambin resulta
consistente con esos mismos axiomas.
6. KURT GDEL
Como ya sabemos, Kurt Gdel (1906-1978) demostr que el programa de Hilbert era
irrealizable. En [Smorynski] se relata el modo en que Gdel expone por primera vez su teorema:
Es el domingo 7 de septiembre de 1930. El lugar es Knigsberg y la ocasin, un pequeo
congreso sobre fundamentos de las matemticas. Arend Heyting, el principal discpulo de
L. E. J. Brouwer, ha hablado sobre intuicionismo; Rudolf Carnap, del Crculo de Viena, ha
expuesto sobre logicismo; Johann (antes, Janos y dentro de pocos aos, Johnny) von
Neumann ha explicado la teora de Hilbert de la demostracin el as llamado formalismo
; y Hans Hahn propuso sus propia visin empirista de las matemticas. La sesin queda
abierta para la discusin. Heyting anuncia su satisfaccin por el encuentro; para l, la
relacin entre el formalismo y el intuicionismo ha sido clarificada y no es necesario que
contine la guerra entre intuicionistas y formalistas. Una vez que los formalistas hayan
completado exitosamente el programa de Hilbert y mostrado de modo finitista que las
matemticas ideales objetadas por Brouwer no permiten demostrar enunciados con
sentido que sean nuevos,[26] incluso los intuicionistas abrazarn cordialmente el infinito.
Ante esta eufrica revelacin, un joven hace tmidamente esta advertencia: de acuerdo
con la concepcin formalista, uno adjunta a los enunciados con sentido de la matemtica
(seudo)enunciados transfinitos que no tienen sentido en s mismos sino que slo sirven para
que el sistema quede bien equilibrado, as como en la geometra se obtiene un sistema bien
equilibrado mediante la introduccin de puntos en el infinito. Esta concepcin presupone
que cuando uno agrega al sistema S de enunciados con sentido el sistema T de enunciados y
axiomas transfinitos y demuestra un enunciado partiendo de S y pasando por enunciados de
T entonces este enunciado es tambin correcto, porque el agregado de los axiomas
transfinitos no permite que un enunciado falso sea demostrable. Comnmente este
requerimiento es reemplazado por el de la consistencia. Quisiera indicar que estos dos
requerimientos no pueden ser vistos de ninguna manera como inmediatamente equivalentes.
Pues, si un enunciado con sentido P es demostrable en un sistema formal consistente A
(digamos, de la aritmtica clsica), entonces todo lo que sigue de la consistencia de A es
que no-P no es demostrable dentro del sistema A. No obstante, es an concebible que uno
pueda reconocer el enunciado no-P a travs de consideraciones conceptuales (intuitivas)
que no pueden ser formalmente representadas en A. En ese caso, a pesar de la consistencia
de A, podra ser demostrable en A un enunciado cuya falsedad sea reconocible mediante
consideraciones finitas. Sin embargo, tan pronto como se construye un concepto
suficientemente estricto de enunciado con sentido (por ejemplo, restringindolo a
ecuaciones numricas finitas) esto no podr ocurrir. Por otra parte podra ser enteramente
posible, por ejemplo, que uno pueda demostrar con los mtodos transfinitos de la
matemtica clsica un enunciado de la forma xF(x), donde F es una propiedad finita de
los nmeros naturales (por ejemplo, la negacin de la conjetura de Goldbach tiene esta
forma) y por otra parte reconocer mediante consideraciones conceptuales que todos los
nmeros tienen la propiedad no F; y lo que quiero indicar es que esto es posible aun si uno
ha verificado la consistencia del sistema formal de la matemtica clsica. Por lo que no se
puede afirmar con certeza de cualquier sistema formal que todas las consideraciones
conceptuales son representables en l.
Esta incisiva crtica al programa de Hilbert provoc solamente un comentario de von
Neumann: No se ha establecido que todos los modos de inferencia intuitivamente
permitidos puedan ser representados formalmente.
El joven sostuvo su posicin ms firmemente: se puede (bajo la suposicin de la
consistencia de la matemtica clsica) dar ejemplos de enunciados (inclusive del tipo de la
conjetura de Goldbach o de Fermat) que son conceptualmente correctos pero
indemostrables en el sistema formal de la matemtica clsica. En consecuencia, si se
adjunta la negacin de tal afirmacin a los axiomas de la matemtica clsica, entonces se
obtiene un sistema consistente en el que una afirmacin conceptualmente falsa es
demostrable. [] Kurt Gdel acababa de hacer el primer anuncio pblico de su
celebrado Primer Teorema de Incompletitud.
El 22 de enero de 1931, en Viena, Gdel vuelve a exponer su Teorema de Incompletitud. La
comunicacin fue publicada en 1932 con el ttulo de Sobre completitud y consistencia y est incluida
en [Gdel (1)]:
Sea Z el sistema formal que se obtiene al aadir a los axiomas de Peano el esquema de
definicin recursiva (sobre una variable) y las reglas del clculo lgico de primer orden.
Por tanto, Z no debe contener ms variables que las variables de individuos (es decir, de
nmeros naturales). [] Entonces ocurre:
1. Cada sistema formal S que abarque Z y que tenga un nmero finito de axiomas y las
reglas de sustitucin e implicacin como nicos principios de inferencia, es incompleto, es
decir, en l hay enunciados (que son tambin enunciados de Z) indecidibles a partir de los
axiomas de S, suponiendo que S sea -consistente. []
2. En cada tal sistema S es indeducible el enunciado de que S es consistente (ms
exactamente, el enunciado aritmtico equivalente que se obtiene al asignar biunvocamente
nmeros naturales a las frmulas).
Los teoremas 1 y 2 valen tambin para sistemas formales con un nmero infinito de
axiomas y con otros principios de inferencia distintos de los indicados, suponiendo que
cuando enumeramos las frmulas [] la clase de los nmeros asignados a los axiomas sea
definible y decidible en el sistema Z, as como tambin la relacin [] la frmula con el
nmero x1 es deducible de las frmulas con los nmeros x2, , xn aplicando una sola vez
una de las reglas de inferencia.[27] []
Si nos imaginamos que el sistema Z es sucesivamente ampliado por la introduccin de
variables para clases de nmeros, para clases de clases de nmeros, etc., as como de los
correspondientes axiomas de comprensin, entonces obtenemos una sucesin (continuable
en lo transfinito) de sistemas formales que cumplen los supuestos antes sealados, y resulta
que la consistencia (-consistencia) de cada uno de estos sistemas formales es
demostrable en todos los siguientes. Tambin los enunciados indecidibles construidos para
probar el teorema 1 se vuelven decidibles al aadir tipos superiores[28] y los
correspondientes axiomas; pero en los sistemas superiores podemos construir otros
enunciados indecidibles por el mismo procedimiento, etc. Todos los enunciados as
construidos son expresables en Z (y por tanto son enunciados numricos), pero no son
decidibles en Z, sino slo en sistemas superiores, como el del anlisis.
El texto de Gdel termina con la afirmacin de que ciertos enunciados indecidibles de Z se
vuelven decidibles si se incluyen axiomas que impliquen la existencia de conjuntos actualmente
infinitos:
Si construimos la matemtica sin tipos, como ocurre con la teora axiomtica de conjuntos,
el lugar de las extensiones de tipo es ocupado por los axiomas de cardinalidad[29] (es
decir, axiomas que requieren la existencia de conjuntos de cardinalidad cada vez mayor), y
de aqu se sigue que ciertos enunciados indecidibles en Z se vuelven decidibles mediante
la introduccin de axiomas de cardinalidad.
APNDICE III
Kurt Gdel (en la imagen con Albert Einstein) naci el 28 de abril de 1906 en Brnn (Moravia,
Imperio Austro-Hngaro), hoy Brno (Repblica Checa). Su familia, germanoparlante, era de muy
buena posicin econmica y Gdel tuvo una infancia feliz, aunque fue un nio muy tmido y apegado
a su madre. Debido a su curiosidad insaciable, lo llamaban Herr Warum, el seor Por Qu.
A la edad de ocho aos sufri un ataque de fiebre reumtica, del que se recuper por completo.
Sin embargo, al leer acerca de su enfermedad, se enter de que poda causar una debilidad
permanente del corazn y, aunque los mdicos insistieron en asegurarle lo contrario, qued
convencido por el resto de su vida de que su corazn haba sido afectado por la fiebre.
Su hermano mayor Rudolf, que lleg a ser un prestigioso mdico en Viena, afirm aos despus
que este incidente fue probablemente la causa de la hipocondra de Kurt, una caracterstica
dominante de su personalidad.
En la escuela se destac sobre todo en matemtica e idiomas (Gdel hablaba con fluidez el
ingls y el francs y en su biblioteca haba numerosos diccionarios y gramticas de idiomas
extranjeros).
En 1923 ingres en la Universidad de Viena, donde estudi matemtica, fsica y filosofa.
Aunque inicialmente pens en especializarse en fsica terica, se decidi despus por la matemtica.
Por aquella poca muchos de sus profesores eran miembros del Crculo de Viena: un grupo de
matemticos, fsicos y filsofos que se reunan peridicamente para debatir sobre la relacin entre la
ciencia terica y la realidad objetiva.
El grupo fue acercndose gradualmente a la posicin conocida como positivismo lgico. Gdel
asisti a muchas reuniones del Crculo y, aunque fue influido por sus ideas, dej claro que no
coincida del todo con ellas.
En 1929 complet su tesis doctoral. En ella demostr el hoy llamado Teorema de Completitud
de Gdel. Este teorema se refiere a la lgica de predicados, es decir, a las afirmaciones, vlidas en
todo contexto, que sustentan el razonamiento matemtico. Por ejemplo, la ley de tercero excluido: O
bien vale una afirmacin, o bien vale su negacin.
En su teorema Gdel prob que es posible dar axiomas que permiten demostrar todas las
afirmaciones de esta clase.
Hacia 1930 casi todos los matemticos estaban convencidos de que en todas las teoras sera
posible encontrar teoremas de completitud similares: elegidos adecuadamente los axiomas, toda
afirmacin verdadera en la teora sera deducible.
Sin embargo, Gdel demostr que esto no es as. En su famoso Primer Teorema de
Incompletitud prob que la aritmtica elemental es esencialmente incompleta: no es posible dar
axiomas que permitan demostrar todas las verdades de la teora.
De manera que Gdel prob un Teorema de Completitud (para la lgica de predicados) y uno de
Incompletitud (para la aritmtica).
Aos ms tarde coment que la dificultad de la demostracin de su Teorema de Completitud le
dio la primera pauta de que, contra toda opinin, poda haber teoras esencialmente incompletas. Si
la validez de la completitud haba sido tan difcil de probar para la lgica bsica, tal vez para teoras
matemticamente ms complejas simplemente fuera falsa.
Su famoso Teorema de Incompletitud para la aritmtica fue publicado en 1931. Ms tarde
present ese artculo para su incorporacin al cuerpo docente de la Universidad de Viena. Al ao
siguiente le fue otorgado el cargo de Privatdozent (docente sin remuneracin).
Mientas tanto, en 1933 Hitler lleg al poder en Alemania. Aunque Gdel siempre rechaz las
ideologas totalitarias, nunca hizo declaraciones pblicas al respecto, por lo que, en principio, el
ascenso de Hitler no afect su vida en Viena.
Entre 1933 y 1939 viaj muchas veces al recin creado Instituto de Estudios Avanzados de
Princeton para dar clases y conferencias, que contribuyeron sustancialmente al desarrollo de la
escuela norteamericana de lgica fundada por Emil Post y Alonzo Church.
En esos aos, la situacin en Austria fue empeorando. En 1936, Moritz Schlick, lder del
Crculo de Viena y profesor de filosofa de Gdel, fue asesinado por un estudiante pronazi y Gdel
cay en una depresin nerviosa (una de las muchas que padeci a lo largo de su vida).
En marzo de 1938 Austria fue anexada por Alemania. En noviembre de ese mismo ao Gdel se
cas con Adele Porkert, varios aos mayor que l, a quien haba conocido en 1927.
En 1939 fue incluido en una lista negra, tal vez simplemente por ser un intelectual, o por sus
amistades judas o por su relacin con el Crculo de Viena (o por todo a la vez). En ese ao fue
atacado por un grupo de estudiantes de ultraderecha.
Tambin en 1939, despus del comienzo de la guerra, Gdel fue convocado por el ejrcito
alemn y, a pesar de su mala salud, fue considerado apto para servir en el frente de batalla.
Gdel se comunic de inmediato con Oswald Veblen, director del Instituto de Estudios
Avanzados de Princeton, que le ofreci un cargo de profesor visitante. Gdel y su esposa
abandonaron Viena en enero de 1940; a causa del bloqueo ingls, debieron viajar a Estados Unidos
por el camino ms largo: a travs de Rusia, Japn y el Ocano Pacfico.
En 1940 se incorpor al Instituto de Estudios Avanzados de Princeton con un cargo que deba
ser renovado cada ao. En 1946 fue aceptado de modo permanente y en 1948 adopt la nacionalidad
norteamericana.
Gdel nunca regres a Europa e incluso rechaz todos los honores que, muchos aos despus, le
REFERENCIAS BIBLIOGRFICAS
Mathematica (III) 14, 134-152, Advance Access, 2006 (puede verse online: math.stanford.edu/
~/gerferman/papers/dichotomy.pdf).
GABBAY, D. M., C. J. HOGGER y J. A. ROBINSON (eds.). Classical vs. non-classical logic,
Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 2, chapter 2.6,
Oxford University Press, 1994.
GENTZEN, G., Die Widerspruchsfreiheit der reinen Zahlentheorie, Math. Am., 112 (1936), 493565.
GDEL, KURT, (1) Obras Completas, Alianza Editorial, Madrid, 1981.
GDEL, KURT, (2) Conferencia Gibbs (puede verse online). Edicin en espaol: Kurt Gdel.
Ensayos inditos, Francisco Rodrguez Consuegra (ed.), Mondadori, Barcelona, 1994.
GOLDSTEIN, REBECCA, Incompleteness, The Proof and Paradox of Kurt Gdel, Norton &
Company, Inc., Nueva York, 2005.
VAN HEIJENOORT, J. (comp.), From Frege to Gdel. A source book in mathematical logic,
1879-1931, Harvard University Press, Nueva York, 1977.
HILBERT, DAVID, (1) Fundamentos de las Matemticas, Mathema, Mxico D. F., 1993.
HILBERT, DAVID, (2) Grundlagen der Geometrie (1899) (hay ed. ing.: Foundations of
Geometry, Project Gutenberg, e-text 17384, puede verse online: www.gutenberg.org/ebooks/
17384).
KRISTEVA, JULIA, Semitica 1, Espiral, Madrid, 2001.
LACAN, JACQUES, El seminario, Libro 16: De un Otro al otro, Paids, 2008.
LYOTARD, JEAN-FRANOIS, La condicin posmoderna, Ctedra, Madrid, 2008.
MATIJASEVICH, YURI, Hilberts Tenth Problem, The Mitt Press, Cambridge, 1993.
MAURIN, F., The Theory of Integer Multiplication with Order Restricted to Primes is
Decidable, The Journal of Symbolic Logic, vol. 62, 1997, n. 1, pp. 123-130.
MENDELSON, E., Introduction to Mathematical Logic, Chapman & Hall, 1997.
PRESBURGER, M., ber die Vollstndigkeit eines gewissen Systems der Arithmetik ganzer
Zahlen, in welchem die Addition als einzige Operation hervortritt, Comptes Rendus du I
Congrs de Mathmaticiens des Pays Slaves, Varsovia, 92-101 (1929).
QUINE, W. V. O., Concatenation as a Basis for Arithmetic, The Journal of Symbolic Logic,
vol. 11, 1946, pp. 105-114.
RAATIKAINEN, PANU, On the Philosophical Relevance of Gdels Incompleteness Theorems,
Revue Internationale de Philosophie 59, n. 4 (edicin especial dedicada a Gdel).
ROSSER, J. B., Extensions of Some Theorems of Gdel and Church, The Journal of Symbolic
Logic, vol. 1, 1936, pp. 87-91.
SMORYNSKI, C., Self-Reference and Modal Logic, Springer-Verlag, Nueva York, 1985.
SMULLYAN, R., Gdels Incompleteness Theorems, Oxford University Press, Nueva York, 1992.
SOKAL, ALAN y JEAN BRICMONT, Imposturas intelectuales, Paids, Barcelona, 1999.
TARSKI, A., Der Wahrheitsbegriff in den Sprachen der deduktiven Disziplinen, Anzeiger der
Akademie der Wissenchaften in Wien, 69,1932, 23-25.
TASIC, VLADIMIR, Una lectura matemtica del pensamiento posmoderno , Colihue, Buenos
Aires, 2001.
WASSERMAN, H., A Second Order Axiomatic Theory of Strings, Notre Dame Journal of
Formal Logic, vol. XIX, 4, 1978.
LECTURAS RECOMENDADAS
Notas
[1]
[2]
[3]
1. 0 es un trmino;
2. toda variable es un trmino;
3. si u y t son trminos entonces las expresiones Su, (u + t) y (u t) son trminos;
4. todo trmino se obtiene por aplicacin sucesiva de las tres reglas anteriores. <<
[4]
[5]
Una misma variable puede aparecer ms de una vez en una frmula. Por ejemplo, en la frmula (v1
= 0 v2(v1 v2 = 0)) (v2 = 0 v1(v1 v2 = 0)) la variable v1 aparece (u ocurre, como se
dice en Lgica) cuatro veces y tambin v2 aparece cuatro veces. <<
[6]
Por ejemplo, en (v1 = 0 v2(v1 v2 = 0)) (v2 = 0 v1(v1 v2 = 0)) la variable v1 aparece
libre la primera vez y tambin la segunda. En cambio en la tercera aparicin y la cuarta est afectada
por el cuantificador . La variable v2 aparece afectada por cuantificadores la primera y la segunda
vez y aparece libre la tercera vez y la cuarta. <<
[7]
Primer orden se refiere a que los cuantificadores se aplican solamente a elementos, en este caso
nmeros. En lgicas de orden superior se admite cuantificacin sobre conjuntos de elementos,
funciones, etctera. <<
[8]
[9]
La complejidad idiomtica del quinto postulado hace que en realidad tenga dos negaciones
posibles, una negacin dice que por un punto exterior a una recta no hay ninguna recta paralela a ella,
la otra negacin dice que hay ms de una paralela. <<
[10]
En matemticas el prefijo (la letra griega omega minscula) suele usarse para indicar
propiedades que involucran la idea de infinitud. <<
[11]
Para comprobar que es verdadero hay que verificar que k es el nmero de una demostracin y que
p se encuentra al final de ste. Ambas verificaciones pueden hacerse en una cantidad finita de pasos.
<<
[12]
[13]
[14]
[15]
En este punto es esencial el hecho de que el nmero 2 sea primo. Si la base de numeracin no es
un nmero primo la traduccin al lenguaje formal, aunque tambin posible, es mucho ms difcil de
realizar <<
[16]
[17]
El lenguaje que hemos descripto trabaja, en principio, con nmeros naturales, pero tambin
permite escribir programas que manipulen smbolos cualesquiera. Para ello, los smbolos que
queremos manipular deben ser transformados previamente en nmeros naturales mediante una
codificacin similar a la que mostramos en el captulo 5. <<
[18]
Puede suceder que, para ciertas entradas, el programa P caiga en un lazo infinito y nunca entregue
una salida. En ese caso, no existe un cmputo para esa entrada especfica. Por ejemplo, el programa
que consta de estas dos instrucciones:
[A] X X + 1
Si X 0 GOTO A
nunca entrega una salida cualquiera que sea la entrada x. <<
[19]
Como la propiedad es recursiva, cualquiera que sea la entrada x1, , xr, P siempre entregar un
valor de salida 1 o 0 despus de una cantidad finita de pasos. <<
[20]
Otros matemticos de la poca usaron en sus trabajos algunas nociones conjuntistas, pero Cantor
fue el primero en estudiar de modo sistemtico la teora de conjuntos en s misma. <<
[21]
<<
[22]
Agregado o conjunto, la palabra que usaba Cantor, en alemn, era Menge. <<
[23]
Por funcin debe entenderse aqu lo que Russell llamaba una funcin proposicional es decir,
una frmula con variables libres. Que una funcin pueda actuar como elemento indeterminado quiere
decir que las variables pueden referirse tambin a frmulas. <<
[24]
Por ejemplo: Todo nmero par entre 4 y 500 es suma de dos primos, que es finitista, equivale a
Para todo x, si x es par y no es la suma de dos primos entonces x no est entre 4 y 500, que es
transfinito. <<
[25]
[26]
[27]
Que la clase de los nmeros de los axiomas sea decidible significa para Gdel que, cualquiera
que sea el nmero k, o bien el enunciado k es el nmero de un axioma o bien su negacin, es
demostrable en Z. Del mismo modo, para las reglas de inferencia significa que el enunciado k1 se
deduce de k2, , kn por una nica aplicacin de una sola regla de inferencia, o bien su negacin, es
demostrable. <<
[28]
Tipos superiores significa variables para clases, clases de clases, y as sucesivamente. <<
[29]
Table of Contents
Gdel (para todos)
Introduccin
Primera parte
1. Un panorama General
Lo verdadero y lo demostrable
Los sistemas axiomticos formales
Completitud y axiomas
El infinito: La bte noire en los fundamentos de la aritmtica
El Teorema de Incompletitud
La prueba original de Gdel
El teorema de consistencia
Extensin y alcance del Teorema de Gdel. Precauciones
Gdel, las computadoras y la inteligencia artificial
Derivaciones filosficas
Ejemplos y ejercicios
2. Hilbert y el problema de los fundamentos
El programa de Hilbert
Discusin: Qu dicen y qu no dicen los teoremas
Ejemplos y ejercicios
3. El lenguaje para la aritmtica y la definicin de verdad
El lenguaje formal
Los enunciados
Los axiomas y relgas de inferencia de la lgica de primer orden
Demostraciones y teoras
La verdad en matemtica: Una definicin formal
Completitud y consistencia en nuestra teora formal
La solucin de un dilema
Ejercicios
4. El teorema de Gdel fuera de la matemtica
Julia Kristeva: Gdel y la semitica. La elaboracin de una teora
formal para el lenguaje potico
Paul Virilio: Gdel y las nuevas tecnologas
Rgis Debray y Michel Serres: Gdel y la poltica
Deleuze y Guattari: Gdel y la filosofa
Jacques Lacan: Gdel y el psicoanlisis
Jean-Franois Lyotard: Gdel y la condicin posmoderna
Ejercicios
Segunda parte. La demostracin de los teoremas
Hoja de ruta. La concatenacin y el Teormea de la Incompletitud
5. La versin semntica del Teorema de Incompletitud
La concatenacin con punto y raya
Mtodo de autorreferencia