Gdel (para
todos)
El teorema matemtico que ha
fascinado ms all de las
ciencias exactas
ePub r1.0
koothrapali 30.01.15
Guillermo Martnez & Gustavo Pieiro,
2009
Diseo de cubierta: koothrapali
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.
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
Jean-Franois Lyotard.
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.
Fig. 1: La cuestin de lo
demostrable empieza cuando
los dos dicen: Yo no fui.
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.)
4. EL INFINITO: LA BTE NOIRE
EN LOS FUNDAMENTOS DE
LA MATEMTICA
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.
6. LA PRUEBA ORIGINAL DE
GDEL
7. EL TEOREMA DE
CONSISTENCIA
TEOREMA DE CONSISTENCIA:
El enunciado que expresa la
consistencia de un sistema
axiomtico recursivo para la
aritmtica no es demostrable
dentro de ese sistema.
La existencia de proposiciones
aritmticas indecidibles y la no
demostrabilidad de la
consistencia de un sistema
dentro del mismo sistema,
pueden ser ahora probados
rigurosamente para todo
sistema formal consistente que
contenga una cierta cantidad de
teora de nmeros finitista.
El significado preciso de
suficiente aritmtica (lo que Gdel
llama cierta cantidad de teora de
nmeros finitista) quedar ms claro
en los captulos prximos.
8. EXTENSIN Y ALCANCE DEL
TEOREMA DE GDEL.
PRECAUCIONES
El mecanicismo es la postura
filosfica que sostiene que no existe
una diferencia esencial entre una
computadora y el cerebro humano y
que el funcionamiento de la mente
puede ser duplicado mediante procesos
mecnicos.
Dice Panu Raatikainen en su
artculo La relevancia filosfica de
los teoremas de Incompletitud de
Gdel ([Raatikainen], donde tambin
estn las referencias del prrafo): (las
negritas son nuestras)
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. []
10. DERIVACIONES
FILOSFICAS
A1
A2
Am
Primera fila:
(enunciados)
Segunda fila:
(sucesiones de
dos enunciados)
Tercera fila:
(sucesiones de
tres enunciados)
Cuarta fila:
(sucesiones de
cuatro enunciados)
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 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.
(1) x + (y + z) = (asociatividad)
(x + y) + z
(2) x + 0 = x (existencia de
elemento neutro)
0+x=x
(4) x + y = y + x (conmutatividad)
(6) x (y z) = (asociatividad
de )
(x y) z
(7) x y = y x (conmutatividad
de )
(8) x (y + z) = (distributividad
(x y) + (x z) de sobre +)
(10) x 0 (existencia de
elemento inverso
y(y x = 1)
para )
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.
Afirmacin 2: Si 2 = a/b, al
elevar al cuadrado ambos
miembros se mantiene la igualdad
y obtenemos 2 = a2/b2.
Afirmacin 4: Recordatorio de la
escuela primaria. Los nmeros
primos son aquellos (mayores que
1) que se dividen slo por s
mismos y por el 1 (como 2, 3, 5, 7,
11). Los nmeros naturales
(mayores que 1) se escriben de
manera nica como producto de los
nmeros primos que intervienen en
su descomposicin (llamada
tambin factorizacin).
Afirmacin 5: En el miembro de la
derecha de la igualdad (*), los
factores primos del nmero a2
aparecen todos una cantidad par de
veces. (En efecto, de la Afirmacin
4 se sigue de inmediato que los
primos en la descomposicin de a2
son exactamente los de la
descomposicin de a, de manera
que la cantidad de veces que
aparece cada primo en la
factorizacin de a se duplica con la
elevacin al cuadrado, es decir, se
multiplica por 2 y por lo tanto se
convierte en un nmero par).
Afirmacin 6: En particular el
factor primo 2 aparece en la
factorizacin de a2 (sigue de la
Afirmacin 4, porque aparece en el
miembro de la izquierda de la
igualdad).
HILBERT Y EL
PROBLEMA DE LOS
FUNDAMENTOS
El programa de Hilbert. Discusin: Qu
dicen y qu no dicen los teoremas de
Gdel. Ejemplos y ejercicios.
El nombre de la cancin
se llama Ojos de bacalao
dijo el Caballero Blanco.
As que se es el nombre
de la cancin, no?
pregunt Alicia, que
comenzaba a sentirse
interesada.
No, veo que no me
entiende. As es como se
llama el nombre. El nombre
en realidad es El hombre
viejo viejo.
LEWIS CARROLL
A travs del espejo
La Paradoja de Russell
Proposicin: Si un conjunto de
axiomas es recursivo, toda
demostracin a partir de los
axiomas es corroborable en una
cantidad finita de pasos.
1. EL PROGRAMA DE HILBERT
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.
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.
2. DISCUSIN: QU DICEN Y
QU NO DICEN LOS
TEOREMAS DE GDEL
4. El Teorema de Consistencia de
Gdel dice que ninguna teora es
consistente.
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.
EL LENGUAJE PARA
LA ARITMTICA
Y LA DEFINICIN DE
VERDAD
El lenguaje formal. Los enunciados. Los
axiomas y reglas 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.
Mefistfeles. Aproveche
el tiempo, pasa tan pronto!
Pero el mtodo le
ensear a ganarlo. Para
ello, querido amigo, le
aconsejo ante todo el
Collegium Logicum. All se
adiestrar bien su espritu,
aprisionado en borcegues
espaoles
GOETHE
Fausto
1. EL LENGUAJE FORMAL
: es el cuantificador
universal y significa
Para todo.
: es el cuantificador
existencial y significa
Existe algn.
: es la implicacin; P Q
significa
Si P entonces Q.
: es la disyuncin, P Q
significa P o Q.
: es la conjuncin, P Q
significa P y Q.
: es la negacin, P significa
no P.
P Q equivale a (P Q);
P Q equivale a P Q;
xP equivale a xP.
La aritmtica trata de los nmeros
naturales (que son los que usamos para
contar: 0, 1, 2, 3, 4,), con las
operaciones bsicas de suma y
multiplicacin tal como se ensean en
el colegio primario. Algunas
afirmaciones, o enunciados, tpicos de
la aritmtica son:
2. LOS ENUNCIADOS
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.
Un enunciado es una
frmula en la que
ninguna variable tiene
apariciones libres.
Ya hemos observado en el
captulo 2 que para llegar a un
procedimiento absolutamente
mecnico para la corroboracin de
demostraciones, adems de los
axiomas especficos de cada teora,
debemos explicitar tambin (como
marco general de toda teora) los
axiomas de la lgica y las reglas de
inferencia que se emplean en las
demostraciones formales.
Esta lgica subyacente es la
llamada lgica de primer orden[7]y
damos aqu una de las presentaciones
ms conocidas de sus axiomas. No nos
detendremos a analizar el significado
intuitivo de cada uno de estos axiomas;
para nuestros propsitos bastar
esencialmente saber que es una lista
finita de diez esquemas que dan el
marco lgico para los razonamientos
formales.
Al primer axioma lo llamaremos
L1:
L1: P (Q P)
L8: x = y (y = z x = z)
Axiomas lgicos:
L1: P (Q P)
L2: (P (Q R))
((P Q) (P R))
L3: (P Q) (Q P)
L6: x = x
L7: x = y y = x
L8: x = y (y = z x = z)
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) Axiomas
de la
(2) Sx = Sy x = y funcin
sucesor
(3) x + 0 = x Axiomas
para la
(4) x + Sy = S(x + y) suma
(5) x 0 = 0 Axiomas
para el
(6) x Sy = (x y) + x producto
5. x + Sy = S(x + y)
Modus ponens (de lneas 3 y 4)
1. x + 0 = x Axioma
2. x(x + 0 = x) Regla de
generalizacin
3. x(x + 0 = x) Axioma L4
1+0=1 (para t = 1)
4. 1 + 0 = 1 Modus ponens
(de lneas 2 y 3)
1. x + 0 = x Axioma de
Peano (3)
2. 1 + 0 = 1 Sustitucin
de x por el
trmino 1
8. 1 + 0 = 1 Sustitucin
de x por el
S(1 + 0) = S(1)
trmino 1 + 0
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.
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.
Estamos ahora finalmente en
condiciones de dar el enunciado
preciso del Teorema de Incompletitud
de Gdel, en la forma en que lo
demostraremos en los captulos
siguientes:
TEOREMA DE INCOMPLETITUD
(versin semntica):
En toda teora recursiva y
consistente para la aritmtica, si
los axiomas son enunciados
verdaderos, puede exhibirse un
enunciado verdadero y no
demostrable en la teora.
TEOREMA DE INCOMPLETITUD
(versin sintctica):
Para toda teora recursiva y
consistente que contenga suficiente
aritmtica existe un enunciado
indecidible, es decir, un enunciado
G tal que ni G ni G son
demostrables.
1. Todo enunciado de la
aritmtica, cuya verdad
pueda comprobarse
mecnicamente en una
cantidad finita de pasos, es
demostrable a partir de los
axiomas.
Podra parecer que esta condicin
es semntica, ya que se refiere a la
verdad de ciertos enunciados, pero en
realidad estamos hablando slo de una
verdad verificable mecnicamente, a
nivel sintctico.
7. LA SOLUCIN DE UN DILEMA
1. Si t es un numeral a, y P(vn/t)
es falso, tambin es falso
vn P(vn) (porque falla P(a)).
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.
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.
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.
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.
Doctor; no lo soporto ms,
[] Hgame valiente!
Hgame fuerte! Hgame
completo!
PHILIP ROTH
El mal de Portnoy
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.
La demencia colectiva
encuentra su razn ltima de ser
en un axioma lgico que carece
en s mismo de fundamento: la
incompletitud.
El caso de Debray es
paradigmtico, porque l trata
de utilizar lo que es ms
peligroso, a saber, un resultado
lgico muy tcnico, para
justificar conclusiones muy
amplias y susceptibles de
impresionar fuertemente al
pblico no informado acerca de
un objeto que a primera vista es
lo ms alejado que se pueda
pensar de aquello de lo cual se
trata, a saber, la teora de las
organizaciones sociales y
polticas. A partir del Teorema
de Gdel, Debray deduce, sin
inmutarse, la naturaleza
fundamentalmente religiosa del
vnculo social (la conclusin no
es novedosa, pero el argumento
ciertamente lo es). Es lo mismo
que elegir simultneamente el
punto de partida ms difcil de
manejar y la mayor distancia a
franquear para alcanzar el fin,
dos medios que transformaran
seguramente la performance, si
sta fuera exitosa, en una
verdadera hazaa intelectual.
Dentro del mismo libro enumera
algunas de las caractersticas del
Teorema de Gdel que hacen a priori
arriesgada su extensin a la teora de
los sistemas sociales y polticos:
1. El Teorema de Gdel no se
aplica, como ya lo he sealado,
ms que a sistemas que han sido
completamente formalizados.
Ahora bien, los sistemas
sociales, al menos que yo sepa
y, se podra agregar, por
suerte, no se parecen ni de
lejos ni de cerca a los sistemas
formales o, en todo caso,
formalizables. Esto constituye
ya, de hecho, una respuesta
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.
[] 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:
4. DELEUZE Y GUATTARI:
GDEL Y LA FILOSOFA
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.
[] 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.
Ir lo ms lejos posible en la
interrogacin del campo del
Otro como tal permite percibir
su falla en una serie de
diferentes niveles. Para
probarlo, las matemticas
nos ofrecen un campo de
experiencia ejemplar. Es que
stas pueden permitirse limitar
el campo del Otro a funciones
bien definidas, como, por
ejemplo, la aritmtica. Poco
importa por ahora lo que esta
investigacin aritmtica
manifieste de hecho. Ustedes
escucharon lo suficiente para
saber que, en campos elegidos
entre los ms simples, la
sorpresa es grande cuando
descubrimos que falta, por
ejemplo, la completitud, es
decir, que no puede formularse
que lo que sea que all se
enuncie deba o bien
demostrarse o bien demostrarse
que no.
Y consideremos el axioma de
densidad, que dice que entre dos
elementos distintos siempre hay uno
intermedio:
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.
De aqu en ms me vern
continuar esta bsqueda que
consiste en atrapar por todas
partes donde se presente la
ocasin isomorfismos entre el
estatuto del sujeto y lo que
desarrollan las disciplinas ya
constituidas. Se trata ahora de
seguirla en el nivel de otra
disciplina, que nos permite
sealar un isomorfismo que
est desde el comienzo, pero
que tambin puede revelarse
recubriendo una identidad de
estofa, como ya seal.
Cul es esta disciplina? La
llamar prctica lgica.
Si encontrramos en la
lgica un medio de articular
lo que el inconsciente
demuestra de valores
sexuales, no estaramos
sorprendidos, quiero decir
aqu mismo en mi seminario, es
decir, en la superficie de esta
experiencia, el anlisis,
instituido por Freud, y de la
cual se instaura una
estructura de discurso que he
definido. Retomo lo que dije.
En la densidad de mi primera
frase he hablado de valores
sexuales. Quiero hacer observar
que esos valores son valores
recibidos, recibidos en todo
lenguaje: el hombre, la mujer,
eso son lo que se denominan
valores sexuales. Al comienzo,
que haya el hombre y la mujer,
es la tesis de donde parto hoy,
es antes que nada asunto de
lenguaje.
[]
Digo que, si el paso que nos ha
hecho dar el anlisis nos
muestra, revela, en todo
abordaje estrecho de la
aproximacin sexual, el desvo,
la barrera, la marcha, el enredo,
el desfiladero de la castracin,
est all y con propiedad, lo que
no puede realizarse ms que a
partir de la articulacin tal
como la he dado del discurso
analtico, est all lo que nos
conduce a pensar que la
castracin no podra en ningn
caso ser reducida a la ancdota,
el accidente, la torpe
intervencin de un designio de
amenaza, ni siquiera de censura.
La estructura es lgica.
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.
7. EJERCICIOS
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
decir s o no, es admisible, es
un teorema, como se dice, del
sistema, o bien, no lo es y es su
negacin la que lo es, si uno
cree que debe tomarse el trabajo
de hacer teorema de todo lo que
se plantea all como negativo.
[]
El progreso de la prctica lgica
ha permitido asegurar
resultados inditos, pero slo
gracias al uso de
procedimientos de
formalizacin, que consisten en
hacer dos columnas, si puedo
decir as. En una se pone lo que
se enuncia del discurso
inaugural de la matemtica y en
la otra, el otro discurso, que
est sometido a la doble
condicin de perseguir el
equvoco y reducirse a una pura
escritura. El discurso inaugural
es ese en el que la matemtica
ha hecho intrpidamente todos
sus progresos, y, cosa curiosa,
sin tener que volver all cada
tanto anulando el saber
adquirido generalmente
admitido en las pocas
precedentes.
En realidad, al introducir un
lenguaje formal, con todos los recaudos
de precisin, no ambigedad,
recursividad, etctera, tal como lo
hicimos en el captulo 3, este lenguaje
formal se vuelve a su vez objeto
posible de investigacin matemtica.
Esto es lo que establece la distincin
entre lo que este lenguaje formal puede
expresar sobre ciertos objetos
matemticos y el metalenguaje, lo que
se puede decir desde un discurso
matemtico general (lo que Lacan
llama discurso inaugural) sobre los
alcances y caractersticas de los
sistemas formales. Por supuesto que en
cierto sentido tanto el discurso
inaugural de la matemtica como los
posibles lenguajes formales son
campos cerrados o sublenguajes del
lenguaje mismo. Pero se no es el
punto: Lacan no parece entender aqu
que la utilizacin del trmino
metalenguaje no tiene en matemtica
el sentido de un lenguaje ms all del
lenguaje mismo sino esta acepcin
mucho ms modesta en que el discurso
matemtico se ejerce sobre un objeto
que es tambin un lenguaje. Por
ejemplo: la demostracin de Gdel de
que su enunciado es verdadero se
efecta en el metalenguaje, ya que la
nocin de verdad que definimos en
el captulo 3 no puede expresarse en el
lenguaje formal que dimos para la
aritmtica.
LA
CONCATENACIN Y
EL TEOREMA DE
INCOMPLETITUD
La demostracin seguir la
siguiente hoja de ruta:
LA VERSIN
SEMNTICA DEL
TEOREMA DE
INCOMPLETITUD
La concatenacin con punto y raya.
Mtodo de autorreferencia. Ser
verdadero no es expresable.
1. LA CONCATENACIN CON
PUNTO Y RAYA
Hiptesis 1: La concatenacin es
expresable en el lenguaje formal.
Como a S le corresponde el
cdigo y a 0 le corresponde el
cdigo entonces a SS0 le
corresponde, por concatenacin, el
cdigo: .
Al enunciado S0 + S0 = SS0
(que significa Uno ms uno es igual a
dos) le corresponde el nmero de
Gdel 2 1 3 2 1 5 2 2 1
(estamos usando aqu los smbolos
abreviados que aparecen en la tercera
columna del Cuadro 1).
A partir de la asignacin de cdigos
a los smbolos, es claro que puede
asignarse un nmero de Gdel a cada
una de las expresiones del lenguaje
formal (y en particular a cada una de
las frmulas).
Consideremos ahora la sucesin de
expresiones # (0 = 0) # S0 = S0 #
(formada por los dos enunciados Cero
es igual a cero y Uno es igual a
uno). A esta sucesin le corresponde
el nmero de Gdel que se obtiene as:
comienza con 13 (el cdigo del
smbolo #), sigue con el cdigo del
primer enunciado de la sucesin, luego
se escribe otra vez 13, a continuacin
el cdigo del segundo enunciado de la
sucesin, y termina con 13.
Escribiremos en adelante nm para
la concatenacin del nmero n con el
nmero m. Si n1 es el cdigo (escrito
con puntos y rayas) de la expresin E1,
n2 es el cdigo de la expresin E2 as
sucesivamente, entonces el nmero de
Gdel de la sucesin # E1 # E2 #, ,
# Ek # es:
13 n1 13 n2 13 13 nk 13
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.
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).
1. La operacin de concatenar
dos nmeros escritos con rayas
y puntos consiste en escribir el
segundo de ellos a
continuacin del primero.
Suponemos como hiptesis
provisoria que esta operacin
es expresable en el lenguaje
formal. Tambin asumimos,
como segunda hiptesis
provisoria, que toda propiedad
recursiva es expresable.
2. A cada frmula, y a cada
sucesin de frmulas, del
lenguaje formal le asignamos
un cdigo o nmero de Gdel.
La escritura de estos cdigos
requiere solamente dos
dgitos, ambos distintos de
cero, llamados raya y punto.
Las demostraciones formales
son, en particular, sucesiones
de frmulas y tambin les
asignamos sus respectivos
cdigos.
3. Existe un procedimiento
mecnico que determina en
una cantidad finita de pasos si
un nmero natural es, o no es,
el cdigo de una frmula, y
otro que determina si un
nmero natural es, o no es, el
cdigo de una demostracin.
Como consecuencia, tanto x
es el cdigo de una frmula
como x es el cdigo de una
demostracin son ambas
propiedades recursivas y, por
la segunda hiptesis, resultan
expresables en el lenguaje
formal. (Se usa aqu,
implcitamente, la unicidad de
escritura a partir de los
tomos).
4. La propiedad x es el cdigo
de una demostracin de la
frmula de cdigo y (que
abreviamos como x Dem y)
es tambin recursiva y
expresable en el lenguaje
formal. La expresin
x(x Dem y) significa Si
y es el cdigo de una frmula,
entonces esta frmula no es
demostrable.
5. La funcin diagonal d(x) se
define del siguiente modo: si n
es el cdigo de la expresin x
cumple la propiedad P,
entonces d(n) es el cdigo de
la expresin n cumple la
propiedad P. Como d(x) es
recursiva, su definicin, por la
segunda hiptesis, es
expresable en el lenguaje
formal.
6. Mtodo de autorreferencia: Si
n es el nmero de Gdel de la
expresin d(x) cumple la
propiedad P entonces el
enunciado d(n) cumple la
propiedad P tiene cdigo
d(n). Es decir, el enunciado
d(n) cumple la propiedad P
dice: Mi nmero de Gdel
cumple la propiedad P.
7. Si n es el nmero de la
frmula x(x Dem d(y))
entonces el enunciado
G:x(x Dem d(n)) habla de
su propio cdigo y dice: Mi
nmero de Gdel no es el de
un enunciado demostrable o,
en el plano del lenguaje, Soy
un enunciado no demostrable.
8. Si G fuera un enunciado falso
entonces tendramos un
teorema falso. Esto no es
posible porque los axiomas
son todos verdaderos, y
entonces los enunciados que se
deducen de ellos tambin son
verdaderos (Teorema de
Correccin). Por lo tanto G es
verdadero, lo que significa que
es verdad lo que dice de s
mismo, es decir, G es un
enunciado verdadero y no
demostrable.
3. SER VERDADERO NO ES
EXPRESABLE
Teorema: La propiedad x es el
nmero de Gdel de un enunciado
verdadero no es expresable en el
lenguaje formal.
LA VERSIN
GENERAL
(SINTCTICA) DEL
TEOREMA DE
INCOMPLETITUD.
EL TEOREMA DE
CONSISTENCIA
La versin general (sintctica) del Teorema
de Incompletitud. El Teorema de
Consistencia. Ejercicios.
Lo que hace que un objeto
sea difcilmente
comprensible no es
cuando es significativo,
importante que exija
cualquier instruccin
especial sobre cosas
abstrusas para su
comprensin, sino la
oposicin entre
comprensin del objeto y
aquello que quiere ver la
mayora de los hombres.
Precisamente por ello
puede ser lo cercano lo ms
difcilmente comprensible.
Lo que hay que vencer no
es una dificultad del
entendimiento sino de la
voluntad
LUDWIG WITTGENSTEIN
Aforismos
1. LA VERSIN GENERAL
(SINTCTICA) DEL TEOREMA
DE INCOMPLETITUD
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.
Hiptesis 1: La concatenacin es
expresable en el lenguaje formal.
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
PS 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 PS 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 siendo una
demostracin):
1. (x k
x Dem neg(p))
2. x(x k Generalizacin
x Dem neg(p))
3. x(x k Axioma L4
x Dem neg(p))
(z k
z Dem neg(p))
4. (z k Modus ponens
z Dem neg(p))
5. z(z k Generalizacin
z Dem neg(p))
1. y Dem p
2. y m m y Demostrable,
por la
Condicin 2
3. m y z(z y Demostrable
(se prob
z Dem neg(p))
antes)
4. y m Demostrable
(se prob
(y Dem p)
antes)
2. EL TEOREMA DE
CONSISTENCIA
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.
3. EJERCICIOS
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.
(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 U es demostrable,
queremos ver que la propiedad se
propaga a P S, o sea a P xU.
Esto ltimo en efecto sucede, ya que si
P U es demostrable, entonces, por
generalizacin, x(P U) tambin es
demostrable y, por otra parte, el
esquema L5 dice que x(P U)
(P xU) es un axioma (justamente
cuando x no aparece libre en P). Por
modus ponens se llega a que P xU
es demostrable.
Ejercicio 6.1: Verifique que si a una
teora consistente y recursiva le
agregamos como nuevo axioma un
enunciado indecidible (ya sea G o G)
se vuelve a obtener una teora
consistente y recursiva.
(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.
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.
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.
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.
HAY UNA
CONCATENACIN
EXPRESABLE EN LA
ARITMTICA
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
345 34500
66 66
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.
La misma caracterstica queremos
para la concatenacin de nmeros. Sin
embargo la asociatividad falla si se
permite la aparicin del dgito cero ya
que concatenar 20 con 3 no es lo
mismo que concatenar 2 con 03 (en la
primera operacin el resultado es 203 y
en la segunda es 23). Por este motivo
en el captulo 5 definimos la
concatenacin solamente para dgitos
distintos de cero.
Podramos definir la concatenacin
para nmeros que usen nueve dgitos
(excluyendo el 0). Sin embargo, para la
demostracin de los teoremas de
Incompletitud es suficiente con usar
solamente dos dgitos, pues, como ya
hemos visto, cualquier expresin del
lenguaje formal se puede escribir
usando solamente dos smbolos, raya y
punto.
En este captulo, para facilitar la
demostracin, optaremos por tomar
como y a los dgitos 1 y 2
respectivamente y probaremos que la
concatenacin es expresable para esta
eleccin en particular. Esto no implica
una prdida de generalidad, ya que los
argumentos que prueban los teoremas
de Incompletitud slo requieren que
sea expresable alguna concatenacin.
Al elegir raya y punto como los
dgitos 1 y 2, escribiremos los nmeros
naturales en una base que es diferente
de las que habitualmente se usan: la
base 2 sin cero (usada en [Quine]).
Cuando decimos que 1101 es un
nmero escrito en la base 2 usual,
entendemos que representa al nmero
(leyendo las cifras de izquierda a
derecha): 1 23 + 1 22 + 0 2 + 1. En
base 2 contamos (comenzando desde el
1): 1, 10, 11, 100, 101,
La base 2 sin cero tambin usa
potencias de 2, pero los dgitos son 1 y
2 en lugar de 1 y 0. En esta base
contamos (comenzando desde el 1, ya
que el 0 no puede escribirse): 1, 2, 11,
12, 21, 22, 111, 112,121, 122, El
nmero 122 en base 2 sin cero equivale
a 1 22 + 2 2 + 2.
Si la escritura en base 2 usual de un
nmero slo contiene la cifra 1
entonces su escritura en base 2 sin cero
es exactamente la misma.
3. En consecuencia, si un nmero
x tiene k dgitos en base 2 sin
cero, vale que:
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:
S = 2n + 2n1 + + 2 + 1
2 S = 2 (2n + 2n1 + + 2 + 1)
2 S = 2n+1 + 2n + + 22 + 2
2 S + 1 = 2n+1 + 2n + + 22 +
2+1
2 S + 1 = 2n+1 + S
2 S S = 2n+1 1
S = 2n+1 1
Entonces:
2k1 + 2k2 + + 2 + 1 u
2k + 2k1 + + 2 + 1,
El nmero 2k 1 es de la forma
2w 1 y es menor o igual que u, el
siguiente nmero de esa forma es
2k+1 1, que no es menor o igual que
u. Luego, 2k 1 = 2L(u) 1 es el
mayor de los nmeros de la forma
2w 1 que es menor o igual que u.
Si llamamos z al mayor de los
nmeros de la forma 2w 1 que es
menor o igual que y, entonces 2L(y) =
z + 1. Tenemos, por lo tanto, que la
concatenacin en base 2 sin cero se
calcula como:
xy = x 2L(y) + y = x (z + 1) + y
donde z es el mayor de los nmeros de
la forma 2w 1 que es menor o igual
que y. Llegamos as al teorema central
de este captulo:
Teorema: La concatenacin en
base 2 sin cero es expresable en el
lenguaje formal de la aritmtica.
TODA PROPIEDAD
RECURSIVA
ES EXPRESABLE
CON LA
CONCATENACIN
1. V V + 1, donde V es el
nombre de una variable.
sta es la instruccin
aumentar e indica que
al valor de V se le debe
sumar 1.
2. V V 1, donde V es el
nombre de una variable.
sta es la instruccin
disminuir e indica que,
si V 0, al valor de V se
le debe restar 1. Si V = 0,
el valor de V queda igual.
3. Si V 0 GOTO L, donde
V es el nombre de una
variable y L es el nombre
de una etiqueta. sta es la
instruccin condicional
e indica que si V 0
entonces se debe ejecutar
la instruccin etiquetada
como L. Si V 0 no se
hace nada y se pasa a la
instruccin siguiente.
(a) [A] X X 1
YY+1
Si X 0 GOTO A
ZZ+1
Si Z 0 GOTO L
V0
[L] V V 1
Si V 0 GOTO L
V0
Z0
[A] Si V' 0 GOTO B
GOTO C
[B] V' V' 1
VV+1
ZZ+1
GOTO A
[C] Si Z 0 GOTO D
GOTO E
[D] Z Z 1
V' V' + 1
GOTO C
(d) Y X1
Z X2
[B] Si Z 0 GOTO A
GOTO E
[A] Z Z 1
YY+1
GOTO B
(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:
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. Si la i-sima instruccin de P es
del tipo Si V 0 GOTO L
entonces = y hay dos subcasos
para considerar:
a) Si contiene la ecuacin
V = 0, entonces j = i + 1.
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.
Teorema: Si la concatenacin es
expresable entonces toda propiedad
recursiva es expresable.
R(0) =
R(1) =
R(2) =
R(3) =
Afirmacin: La funcin R es
expresable en el lenguaje de la
concatenacin.
(0, )
(1, )
(2, )
(3, )
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.
Pero si el mundo no es un
rompecabezas cuyas piezas
sueltas tenemos ante
nosotros, sino una sopa en
la cual nadan al azar unos
fragmentos que slo por
casualidad se congregan de
vez en cuando para formar
un conjunto coherente?
[] Perfeccin,
completitud, belleza, no
son ms que una excepcin
rara que slo se presenta
porque la cantidad de
fragmentos es
inimaginable!
STANISLAW LEM
La investigacin
Hay una
T(N) no es
concatenacin
recursivamente
expresable
axiomatizable
en N
Hay una
T(O) no es
concatenacin
recursivamente
expresable
axiomatizable
en O?
1. UNA DEMOSTRACIN
INTRNSECA DEL TEOREMA
DE GDEL
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.
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 entonces n = m, y
adems a1 = b1,
a2 = b2,
La importancia crucial de la
unicidad de escritura enunciada en la
condicin 3 ha sido ya discutida en el
captulo 5. Observemos adems que
esta condicin no puede ser expresada
en un lenguaje de primer orden, porque
involucra la nocin de cantidad finita
de elementos (vase [Chang y
Keisler]).
En [Wasserman] se exhibe una
caracterizacin alternativa (en un
lenguaje de segundo orden) de la
operacin de concatenacin, que es
equivalente a la que aqu presentamos.
Definicin. La concatenacin
es expresable en O si:
1. Ser un elemento de V
es expresable en O.
2. La relacin z = x y es
expresable en O.
=1
= 2
= 3
y as sucesivamente, entonces
concatenar rayas equivale a sumar
nmeros.
La teora de la concatenacin de un
solo tomo es equivalente a la teora
del objeto O = ({1, 2, 3,}; +, 1), la
llamada aritmtica de Presburger. Pero
esta teora es recursivamente
axiomatizable [Presburger].
En cambio, si hay una
concatenacin con al menos dos
tomos que sea expresable en O, y al
menos dos de esos tomos son
definibles, entonces podemos
reproducir para T(O) el razonamiento
que prueba que T(N) no es
recursivamente axiomatizable.
Tenemos as el siguiente teorema:
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}+; ).
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 ser impreso
al cabo de una cantidad finita de pasos.
En consecuencia:
Si P es verdadera, ser
impresa tras una cantidad
finita de pasos.
Si P es falsa, P es
verdadera y entonces P
ser impresa tras una
cantidad finita de pasos.
1. El objeto O = ({1, 2, 3,
}; , <p, D), donde:
<p es el
orden
restringido a
los nmeros
primos, la
relacin
usual menor
que, pero
slo
tenemos
derecho a
usarla para
comparar
primos.
D es la
relacin
Tienen la
misma
cantidad de
divisores
primos.
2. El objeto O = ({a, b}+;
B, E, a, b), donde:
{a, b}+ es el
conjunto de
todas las
secuencias
finitas de
letras a y b.
La relacin B
es ser un
prefijo de
(es decir
estar al
comienzo
de, por
ejemplo,
aabba es un
prefijo de
aabbaaaab).
La relacin E
es ser un
sufijo de (es
decir estar
al final de,
por ejemplo,
aabba es un
sufijo de
bbaabba).
2. LA CONCATENACIN Y EL
ARGUMENTO DE GDEL
R P1
R P2
(R P1) P1
(R P1) P2
(R P2) P1
(R P2) P2
((R P1) P1) P1
((R P1) P1) P2
La operacin de concatenacin se
define de modo que esa
correspondencia entre frmulas y
nmeros se conserve:
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:
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.
Demostracin: Ya probamos en el
teorema 9.1 que si en un objeto
matemtico O existe una
concatenacin expresable (con al
menos dos tomos definibles) entonces
el argumento de la paradoja del
mentiroso puede emplearse para
demostrar que T(O) no es
recursivamente axiomatizable.
Para que sea aplicable el argumento
de la paradoja de Berry, debemos
primero extender la nocin de longitud
de tal modo que pueda ser definida en
trminos de elementos de O.
Sea la operacin de concatenacin
en O. A partir de esta operacin, tal
como hicimos en la demostracin del
teorema 9.1, definimos una
codificacin de Gdel para O.
Si a es uno de los tomos
definibles, llamemos NAT (la
nomenclatura es de [Wasserman]) al
conjunto formado por los elementos
que se obtienen al concatenar n veces
el tomo a consigo mismo. Por
ejemplo:
a
aa
aaa
Si identificamos al elemento a con
el nmero 1, al elemento a a con el
nmero 2 y as sucesivamente,
entonces el conjunto NAT es
equivalente a {1, 2, 3,}.
Podemos entonces definir la
longitud de una frmula en trminos de
elementos del universo de O:
3. CONCLUSIONES Y
PREGUNTAS ABIERTAS
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 numerarse como
x1, x2, x3, x4,
Si Q es un enunciado de L(O'), sean
u y v las dos primeras variables (segn
la numeracin anterior) que no
aparecen en Q. Llamamos entonces
Qu,v a la frmula que se obtiene
reemplazando cada aparicin de a (si
hubiera alguna) por la variable u y cada
aparicin de b por la variable v. Como
en Qu,v no hay constantes, entonces es
una frmula en L(O).
Es fcil ver que si Q, en particular,
es un enunciado, entonces las nicas
variables que pueden aparecer libres en
Qu,v son u y v.
El enunciado Q es
verdadero en O' si y slo
si uv(u v
ATOM(u) ATOM(v)
Qu,v) es verdadero
en O.
Corolario: La propiedad x = a no
es expresable en O = ({a, b}+;).
Demostracin: La concatenacin
estar definida para los cdigos de las
frmulas del tipo ((((R Pr1)
Pr2) Pr3) ) Prn con rk = 1 o
rk = 2, a las que llamamos frmulas
concatenables.
La operacin de concatenacin se
define como:
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.
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.
(R P1) P1) (R Q)
(((R P1) P1) P2)
((R Q) Q)
((((R P1) P1) P2) P1)
(((R Q) Q) Q)
La sucesin S1 contiene la
informacin de los tomos que forman
G y la sucesin S 2 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
Postulados
Nociones comunes
Observaciones:
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.
AXIOMATIZACIONES DE UN OBJETO
MATEMTICO
E JEMPLOS DE AXIOMATIZACIONES
FINITAS O RECURSIVAS
El lenguaje es L = {<}.
Consideremos los siguientes
enunciados, que se verifican todos en
Q (omitimos, por brevedad, los
cuantificadores universales):
(1) x + (y + z) = (Asociatividad)
(x + y) + z
(2) x + 0 = x (Existencia de
elemento neutro)
0+x=x
(1) x + (y + z) = (Asociatividad)
(x + y) + z
(2) x + 0 = x (Existencia de
elemento neutro)
0+x=x
(4) x + y = y + x (Conmutatividad)
(1 es una unidad
(5) 1 x = x para el producto)
x1=x
(6) x (y z) = (Asociatividad
de )
(x y) z
(7) x y = y x (Conmutatividad
de )
(8) x (y + z) = (Distributividad
(x y) + (x z) de sobre +)
(10) 0 1
(11) x 0 y(y x = 1)
(12n) n1 0 (una lista infinita
de axiomas)
En la teora de Zermelo-Fraenkel,
gracias al axioma (6) de infinito, puede
probarse la consistencia de la
aritmtica. Los nmeros naturales se
obtienen como
0=
1 = {}
2 = {, {}}
3 = {0, 1, 2}
4 = {0, 1, 2, 3}
etctera.
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.
T EORAS Y SUBTEORAS DE LA
ARITMTICA
6. Los axiomas de Peano para la
aritmtica
Observaciones:
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.
(1) 0 S(x)
(2) S(x) = S(y) x = y
(3) x + 0 = x
(4) x + S(y) = S(x + y)
(5) x 0 = 0
(6) x S(y) = (x y) + x
(7) Principio de Induccin
(restringido a propiedades
expresables): Para cada
frmula (x, v1, vn) de L, el
axioma (0, v1, vn)
(x((x, v1, vn) (S(x),
v1, vn)) x(x, v1, vn))
(8) (y = xz + w w < x
y = xq + r r < x) w = r
(Unicidad del resto)
Si consideramos el lenguaje
L' = {S, 0}, junto con los axiomas
(1)-(4) y la lista (infinita) (7),
restringida a las frmulas de L'
obtenemos la aritmtica aditiva o
aritmtica de Presburger.
ste es un ejemplo de una teora
recursiva completa y no finitamente
axiomatizable [Chang y Keisler].
HITOS EN LA
HISTORIA DEL
TEOREMA DE
INCOMPLETITUD
1. ARISTTELES Y EL INFINITO
2. GEORG CANTOR
Es en el transcurso de muchos
aos de esfuerzos e
investigaciones cientficas que
me he visto impulsado
lgicamente, casi contra mi
voluntad (pues se opone a
tradiciones que haban llegado a
ser muy apreciadas por m), al
punto de vista de considerar lo
infinitamente grande no slo en
la forma de algo que crece sin
lmites [], sino tambin a
fijarlo matemticamente por
medio de nmeros en la forma
determinada de lo
completamente infinito;[21] y
por ello no creo que se puedan
hacer valer en contra razones
que yo no estuviera en
condiciones de afrontar.
En 1895, en Contribuciones a la
Fundamentacin de la Teora de los
Nmeros Transfinitos, vase [Cantor
(1)], dice: Por un agregado[22]
entendemos cualquier reunin en un
todo M de objetos bien definidos m de
nuestra intuicin o nuestro
pensamiento. Estos objetos son
llamados los elementos de M.
Al admitir la reunin ilimitada en
un todo de objetos cualesquiera de
nuestra intuicin o nuestro
pensamiento Cantor introduce en la
matemtica el infinito actual, no sin la
fuerte oposicin de muchos de sus
contemporneos.
3. GOTTLOB FREGE Y
BERTRAND RUSSELL
Durante un ao y medio me he
estado familiarizando con sus
Fundamentos de la aritmtica
pero solamente ahora he sido
capaz de encontrar el tiempo
para el estudio detallado que
deseo hacer de su trabajo. Me
encuentro en completo acuerdo
con Ud. en lo esencial. [] Hay
solamente un punto en el que he
encontrado una dificultad.
Usted afirma que una
funcin [23] puede actuar como
elemento indeterminado.
Anteriormente estaba de
acuerdo con este punto de vista,
pero ahora me resulta dudoso a
causa de la siguiente
contradiccin. Sea w el
predicado: ser un predicado que
no puede ser predicado de s
mismo. Puede w ser predicado
de s mismo? De cualquier
respuesta se sigue su negacin.
En consecuencia debemos
concluir que w no es un
predicado. Del mismo modo no
hay una clase (una totalidad) de
todas las clases que no
pertenecen a s mismas.
Su descubrimiento de la
contradiccin me ha causado
una gran sorpresa y, casi dira,
consternacin, pues sacude las
bases sobre las que he intentado
edificar la aritmtica. []
No slo mi fundamentacin de
la aritmtica, sino la posibilidad
de cualquier otra
fundamentacin parece
desvanecerse.
El descubrimiento de la paradoja
Russell precipita la crisis de los
fundamentos, un perodo (entre 1905 y
1930, aproximadamente) durante el
cual se debate la validez de la teora de
conjuntos y de los razonamientos que
hacen uso del infinito actual.
La Escuela Intuicionista, creada por
L. E. J. Brouwer (1881-1966),
considera que las paradojas estn
causadas directamente por la
introduccin del infinito actual y que la
teora de conjuntos de Cantor es
esencialmente errnea. Para Brouwer
slo tienen sentido aquellos enunciados
cuya validez es verificable
mecnicamente en una cantidad finita
de pasos.
En su artculo de 1923, Sobre el
significado del principio de tercero
excluido en matemticas,
especialmente en la teora de funciones
(reproducido en [Van Heijenoort]),
Brouwer escribe:
Tan ampliamente se le ha
atribuido un carcter a priori a
las leyes de la lgica terica
que hasta muy recientemente
esas leyes, entre ellas la del
principio de tercero excluido,
fueron aplicadas sin reservas
inclusive a las matemticas de
sistemas infinitos y nos hemos
permitido no preocuparnos por
la consideracin de que los
resultados obtenidos de esta
forma en general no admiten, ni
prctica ni tericamente, una
corroboracin emprica. Sobre
esta base se han construido
teoras extensas e incorrectas,
especialmente en el ltimo
medio siglo. Las
contradicciones que, como
resultado, se han encontrado
repetidamente han dado lugar a
la crtica formalista, una crtica
que en esencia dice que el
lenguaje que acompaa a la
actividad mental de los
matemticos puede ser objeto
de un estudio matemtico. En
tal estudio las leyes de la lgica
terica se presentan como
operaciones que actan sobre
frmulas primitivas o axiomas,
y se establece el objetivo de
transformar esos axiomas de tal
modo que los efectos
lingsticos de las operaciones
mencionadas (las cuales en s
mismas permanecen
invariables) no conduzcan
nuevamente a la aparicin de la
figura lingstica de una
contradiccin. No debemos
desesperarnos por alcanzar ese
objetivo pues carece de todo
valor matemtico. Una teora
matemtica incorrecta, aun
cuando no pueda ser invalidada
por una contradiccin que la
refute, no por eso es menos
incorrecta, as como una
poltica delictiva no es menos
delictiva porque no pueda ser
anulada por una Corte de
Justicia.
5. DAVID HILBERT
En mi opinin, el sistema de
Cantor constituye no slo la flor
ms admirable que el espritu
humano ha producido, sino
igualmente uno de los logros
ms elevados de la actividad
intelectual humana en general.
[]
Nadie podr expulsarnos del
paraso que Cantor cre para
nosotros.
3 > 2, 2 + 3 = 3 + 2, 2 = 3, 1 1
En La Fundamentacin de la Teora
Elemental de Nmeros, de 1930,
incluido en [Hilbert (1)] leemos:
La idea bsica de mi teora de la
demostracin es la siguiente:
todo lo que hasta ahora ha
formado parte de las
matemticas es objeto en ella
de una formalizacin rigurosa.
[]
Ciertas frmulas que hacen las
veces de fundamento del
edificio formal de las
matemticas reciben el nombre
de axiomas. Una demostracin
es una figura que debe
presentarse ante 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.
6. KURT GDEL
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, EL
SEOR POR QU
LECTURAS RECOMENDADAS
ARBIB, M., Cerebros, mquinas y
matemticas, Alianza Editorial,
Madrid, 1982.
DAVIS, M., Computability and
Unsolvability, Dover Publications,
Nueva York, 1982.
FREGE, G., Estudios sobre semntica,
Ediciones Orbis, Mxico, 1985.
GRAY, J., El reto de Hilbert (Los 23
problemas que desafiaron a la
matemtica), Crtica (Drakontos),
Barcelona, 2003.
LAVINE, S., Comprendiendo el
infinito, Fondo de Cultura
Econmica, Mxico, 2005.
NAGEL, E. y J. R. NEWMAN, El
Teorema de Gdel, Editorial
Tecnos, Madrid, 1994.
RUSSELL, B., Introduccin a la
Filosofa Matemtica, Paids,
Barcelona, 1988.
SMULLYAN, R., First Order Logic,
Dover Publications, Nueva York,
1995.
TYMOCZKO, T. (comp.), New
Directions in the Philosophy of
Mathematics, Princeton
University Press, Princeton, 1998.
GUILLERMO MARTNEZ. (Baha
Blanca, Argentina, 29 de julio de 1962).
Es un escritor y matemtico argentino.
Licenciado en Matemticas en la
Universidad Nacional del Sur en 1981,
se doctor en la de Buenos aires,
completando su postgrado en la de
Oxford. Es profesor de la Universidad
de Buenos Aires. Colabora
habitualmente en varios peridicos.
Autor de cuentos, novelas y ensayos, se
caracteriza en sus novelas, de temtica
diversa, por su narrativa precisa, clara y
sencilla. Es conocido fundamentalmente
por su novela Crmenes imperceptibles,
llevada al cine con el ttulo de Los
crmenes de Oxford. Ha recibido
numerosos premios; por ejemplo, en
2006, fue galardonado con el Premio
Mandarache Jvenes Lectores de
Cartagena, cuyo premio fue entregado
por el director lex de la Iglesia, quien
dirigi la pelcula basada en su libro
Crmenes imperceptibles.
GUSTAVO PIEIRO. (Buenos Aires,
1966). Es un matemtico y escritor
argentino. Licenciado en Matemticas,
graduado en la Universidad de Buenos
Aires en 1992.
Actualmente trabaja como docente en
instituciones de nivel terciario y
universitario, y desde hace varios aos
participa en la redaccin de libros de
texto para el nivel medio. Tambin
colabora habitualmente, tanto en revistas
de divulgacin cientfica como en otras
dedicadas a los juegos de lgica e
ingenio.
En 2009, junto a Guillermo Martnez,
publica Gdel (para todos).
Notas
[1]Se refieren al ensayo Divulgacin
de Uno y el universo (1945). Sabato
intenta explicar a un amigo la teora de
Einstein y le habla con entusiasmo de
tensores y geodsicas. El amigo no
entiende una palabra. Sabato hace un
segundo intento con menos
entusiasmo: conserva todava algunas
geodsicas pero hace intervenir
aviadores y disparos de revlver. El
amigo, con alegra, le dice que empieza
a entender. Sabato se dedica entonces
exclusivamente a jefes de estacin que
disparan revlveres y verifican tiempos
con un cronmetro, trenes y campanas.
Ahora s entiendo la relatividad!,
exclama el amigo. S, responde
Sabato amargamente, pero ahora no es
ms la relatividad. (N. del. E.) <<
[2] A principios del siglo XIX,
C. F. Gauss, J. Bolyai y
N. Lobachevski, independientemente
unos de otros, conjeturaron que la
negacin del quinto postulado de
Euclides no conducira a una
contradiccin, sino a otros mundos
geomtricos posibles. Esta conjetura
fue demostrada por Eugenio Beltrami
en 1868. <<
[3]Con ms precisin puede decirse
que:
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]Con ms precisin puede decirse
que:
[A] X X + 1
Si X 0 GOTO A