t

EL METODO DIAGONAL
EN
TEORIA DE CONJUNTOS Y METAMATEMATICA

Gerold Stahl

El método diagonal es un tipo de demostración formal

que puede visualizarseen gráficosque tienen algo de diagonal(pe-
ro sin relación específica con geometría). Sólo algunos autores
, que lo usan, lo visualizanexplícitamente. Otros no salen de la de-
I mostración formal y dejan a la imaginacióndel lector la tarea de
I crearseuna representacióngráfica.
I El análisis comparativo de este procedimiento será el tema
del presente trabajo; a través de un esquema general se señalará
cómo funciona y se darán algunos ejemplos de su aplicación, to-
mados de la teoría de conjuntos (donde fue usado por primera
vez) y de la metamatemática.
El esquema general del método diagonalpuede subdividir-
I
I
se en tres etapas. Las primeras dos son comunes a todas las apli-
I
caciones del procedimiento. Respecto a la tercera etapa, en cam-
I
bio, hay una bifurcación; existen demostracionesen que se usa el
I
tipo a y otras en que se usa el tipo b del esquemaen cuestión.
I Etapa 1: Se forma una secuenciavertical,los miembros de
I esta secuencia son a su vez secuenciashorizontales de objetos
I cualesquiera. En los casosque se verán aquí se trabaja con enume-
rablemente infInitas secuenciashorizontales, donde cada una está
formada a su vez de enumerablemente infmitos miembros(la ex-
tensión a un tipo de infmito mayor no presenta dificultades).Es-
ta secuencia de secuenciasconstituye un tipo de cuadrado que se
prolonga al infmito (enumerable).
27

----
28 El método diagonalen teoría de conjuntos

x x x x
x x x x
x x x x
x x x x

Etapa 2: Observamosque en esta representación está im-

plícitamente contenida (entre muchas otras) una secuenciadiago-
nal que consta del primer miembro de la primera secuenciahori-
zontal, del segundo miembro de la segunda secuenciahorizontal,
etc. al infinito.

Esta secuencia diagonal puede modificarsegraciasa una regla que

se introduce especialmente. Por ejemplo (teniendo como miem-
bros de la secuencia diagonal números naturales o números rea-
les) se introduce la regla: multiplique por 3. Tenemos así por un
lado la secuencia diagonal original y por otro la secuencia diago-
nal modificada (el triple del primer miembro de la secuenciadia-
gonal original, el triple del segundo miembro, ...). La secuencia
diagonal original fIgura implícitamente en el cuadrado, como
quedó indicado; de la ubicación de la secuencia modificada nos
ocuparemosenseguida.
Etapa 3a: En esta alternativase demuestra que cada miem-

--- --- -
t El método diagonal en teoría de conjuntos 29
,
;

bro de la secuencia modificada es diferente del miembro corres-

pondiente de la secuencia original (este caso se presentaría en
nuestro ejemplo, si todos los números de la secuenciaoriginalfue-
ran diferentes de O). De este modo la secuencia modificada no
coincide con ninguna secuencia horizontal de la representación
gráfica, porque se diferencia de la primera secuenciahorizontal
por lo menos en el primer miembro, de la segunda por lo menos
en el segundo miembro, etc. Si el n-ésimomiembro de la n-ésima
secuencia horizontal se llama "miembro diagonal", se puede de-
cir que la secuencia modificada se diferencia de cada secuencia
horizontal por lo menos en el miembro diagonal respectivo (y
que por lo tanto no figura entre las secuenciashorizontales).
Etapa 3b: Aquí (a diferencia de la etapa 3a), la secuencia
modificada coincide con una secuencia horizontal (supongamos
con la q-ésima). Pero, ahora, su miembro diagonal (su q-ésimo
miembro) tiene que cumplir simultáneamentecon las condiciones
de la secuenciadiagonaloriginaly también con las de la secuencia
modificada, pues esta última se presenta ahora en forma horizon-
tal y su miembro diagonalpertenece simultáneamentea las dos se-
cuencias.
Este es el esquema generalen sus tres etapas. Enseguidase
darán tres ejemplos de su aplicación.Dos corresponden al tipo a y
son la demostración de du Bois Reymond y Cantor de la no-enu-
merabilidad de los números reales entre O y 1 y la demostración
de Kleene de que una función g explícitamente señalada no es
t efectivamente calculable. El tercer ejemplo corresponde al tipo b;
Ii es la demostración de Godel de la incompletitud.
,!
La no-enumerabilidad de los números reales entre Oy 1
I
i (O excluido, 1 incluido) significaque hay más números realesen-
! tre O y 1 que números naturales en total (teniendo ambos conjun-
tos infInitos elementos). Para demostrar esto se utilizará en un pa-
I so previo el conocido resultado de que cada número real mayor
que Otiene una y una sola representacióndecimalinfmita (detrás
de la coma una secuenciaenumerablementeinfmita de cifras deci-
males, sin que a partir de un lugar detenninado todas las cifras a
la derecha sean O;así, en vez de 0,5 y 1 tendríamos 0,49, o sea
0,499 ..., Y 0,9, o sea 0,999 ..., respectivamente).Considerándose

-- -- -- -
 -- - ---.---..-.---

30 El método diagonalen teoría de conjuntos

sólo los realesx tales que O<x ~ 0,9, todas sus representaciones
decimalesinfmitas comienzan con "O,"; para simplificarsuprimi-
mos estos dos signos, de modo que estamos frente a secuencias
enumerables de cifras decimales(o, si se prefiere, frente a secuen-
cias enumerables de números enteros entre Oy 9, ambos inclui-
dos).
Para aplicar ahora el procedimiento diagonal,supongamos
que tenemos enumerablemente infmitas secuenciasde este tipo y
formemos con ellas una secuencia vertical. Disponemos así del
cuadrado de la primera etapa:

al,l' al,2' al,3'

a2,1' a2,2' a2,3'

an,2' ., an,n'

La secuencia diagonal (original) sería ahora: al l' a22,

a3,3' La secuencia modificada se forma segúnla siguienteregla:
oo.

si el miembro de la secuencia original es "1", el miembro corres-

pondiente de la secuencia modificada es "2", si el miembro de la
secuencia original es diferente de "1", el miembro correspondien-
te de la secuenciamodificadaes "1". Todo eso está en pleno
acuerdo con la segundaetapa.
Debido a la regla, cada miembro de la secuenciamodifica-
da es diferente del miembro correspondiente de la original, de
modo que la secuencia modificada no coincide con ninguna se-
cuencia horizontal. Con esto termina la etapa 3a y también la
aplicacióndel método diagonal. .

Lo que se ha demostrado es que el número real coaespon-

I
--- -
 ,

El método diagonal en teoría de conjuntos-- 31

diente a la secuencia modificada es diferente de todos aquellos

reales que corresponden a las secuenciashorizontales. Teniendo
así un conjunto enumerable de números realesx con O < x ~ 1
existen siempre reales y con O <Y ~ 1 que son diferentes de to-
dos los x. Ningún conjunto enumerable es capaz de contener to-
dos los reales entre Oy 1; siempre hay reales en la mismacondi-
ción que no pertenecen al conjunto.
La demostración de K1eenese sitúa en el campo de los nú-
meros naturales (O, 1, 2, etc.) y de las funciones sobre los núme-
ros naturales. Consideremos aquellas funciones uniposicionales
(de un argumento) que son efectivamente calculables,o sea, para
las que existe siempre un procedimiento mecánico que permite
calcular, en un número fInito de pasos, el valor de la función
(y =j{x)) para un valor del argumento dado (x).
Un análisis de la calculabilidadefectiva y de sus conexio-
nes con la recursividad no se necesita aquí para tratar la aplica-
ción del método diagonal. Basta señalar que para cada procedi-
miento mecánico y, por lo tanto, para cada función efectivamen-
te calculable se puede formular una regla de computación efecti-
va, por ejemplo en idioma castellano. Una regla de este tipo tie-
ne la forma: hágaseesto, luego esto otro, luego ...
Supongamos que podemos aprovechar estas reglas(el nú-
mero de letras que figuran en ellas y con el mismo número de le-
tras el orden alfabético) para ordenar las funciones uniposiciona-
les efectivamente calculables,comenzando con la O-ésima(la que
figura en lugar O). Tendríamos así: fo' f1, f2, etc. Se puede de-
mostrar (basándose en las posibles combinacionesde un número
finito de letras) que hay enumerablemente infinitas funciones de
este tipo, mientras que hay más que enumerablemente infinitas
funciones uniposicionales sobre los números naturales. Con esto
ya quedó demostrado que hay funciones uniposicionalesque no
son efectivamente calculables. Lo que nos interesa aquí es algo
más específIco: queremos señalar una determinada (llamémosla
"g"), y para esto recurrimos al procedimiento diagonal.
La secuencia vertical de la primera etapa tiene que ver con
las enumerablemente infmitas funciones uniposicionalesefectiva-
mente calculablesen el orden recién establecido. Sin embargo,no

\
 32 El método diagonalen teoría de conjuntos

nos interesan las funciones propiamente tales (como lo) sino las
secuencias enumerables de sus valores(como10(0),10(1),10(2), .
oo.).De este modo obtenemos la siguiente representación:

10(0), 10(1), 10(2),

11(0), 11(1), 11(2),

. , f n (n),

La secuenciadiagonaloriginalsería:
10(0),11(1),12(2),. . . , In(n), . . .
La secuenciamodificadase forma segúnla regla: súmese 1 al x (x).
Sería entonces:
10(0) + 1,/1(1) + 1,/2(2) + 1,...
Cada miembro de la secuencia modificada es diferente del
miembro correspondiente de la secuencia original; por 10tanto, la
secuencia modificada no coincide con ninguna secuencia horizon-
tal. Con esto termina la aplicación del método diagonal.
La secuencia modificada también corresponde a una fun-
ción uniposicional sobre los números naturales, pues tenemos:
g(x)= Ix (x) + 1
Así tenemos con g un ejemplo de una función uniposicionalque
no es efectivamente calculable,1 porque no coincide con ninguna
función de la lista de las efectivamentecalculables.
De la demostración de Godel se indicará sólo aquella par-
te donde se construye una expresión que afirma (indirectamente)
1 La calculabilidad efectiva de g falla, porque, dado x, no existe siempre
un procedimiento mecánico para determinar Ix' o sea, no se puede determi-
nar siempre mecánicamente si una supuesta regla de computación efectiva
ea en verdad efectiva.
t..

-- - --- -- --
 El método diagonal en teoría de conjuntos

su propia indemostrabilidad,pues únicamente en esta parte se usa

33
,
I

el método diagonal. Necesitaremoslos siguientesresultados pre-

vios para la demostración, que al igual que la anterior hace refe-
rencia a la teoría de los números naturales (aquí simplemente
"TN"): Una expresión bien formada (significativa)de TN en que
figura una o más veces"x" como único simbolo de variablelibre,
será llamada "expresión de clase". Las enumerablemente infmi-
tas expresiones de clase pueden ordenarsey la n-ésimase expresa-
rá en forma abreviada por "An (x)". A partir de "An (x)" pueden
formarse frases como "An (O) " ' "A n( 1) " ' etc. , al colocarse "O" ,
"1 ", etc. en lugar de "x" en todas las partes de "An(x)" en que
"x" se presenta. Con esto disponemos de la representación de la
primera etapa:

Ao(O), Ao(1), Ao(2),

At(O), At(1), At(2),

, An(n),

La secuencia diagonal (original) es:

Ao(O), Al (1), A2(2), . . . , An(n), . . .
La secuencia modificada se forma colocando el miembro corres-
pondiente de la secuencia original entre paréntesis y poniendo
"Nod" delante. Así tenemos:
Nod(Ao(0»,Nod(AI(1»,Nod(A2(2»,. ..
En todo esto "Nod(B)" significa:
"B" no es demostrableen TN.
Aparentemente "Nod(B)" no pertenece a la clase de las expre-

------
 . _.- - -- -- -- -----

34 El método diagonalen teoría de conjuntos

siones bien formadas de TN sino sólo a una claseen que se habla

sobre expresiones como "B". Sin embargo, veremos enseguida
que existe una técnica especial para construir las expresionescon
"Nod" de tal manera que ellas figuren entre las expresionesbien
formadas de TN. Además se lograrála siguientecorrespondencia:
Si "B" no es demostrable en TN, entonces tenemos "Nod(B)", y
si es demostrabletenemos la negaciónde "Nod(B)".
Para explicar la técnica mencionada hay que señalar algu-
nos resultados metamatemáticos. Por de pronto, se puede estable-
cer una correspondencia biunívoca entre las expresionesbien for-
madas de TN por un lado y una subc1asede los números natura-
les por otro. Los elementos de esta subc1asese llaman "números
de Godel" de las expresiones correspondientes.Naturalmente en-
tre las expresiones bien formadas de TN hay muchas que se refie-
ren a los números de G6del y, con esto, se refieren indirectamen-
te (a través de estos números) a expresiones. O sea, tenemos ex-
presionesde TN que hablan indirectamente sobre expresionesde
TN (informándonos, por ejemplo, que tal expresión es más corta
que tal otra). La técnica mencionada puede desarrollarsemucho;
de este modo podemos tener una expresión bien formada de TN
"Nod(B)" que afirma indirectamente que "B", también una ex-
presión bien formada de TN, es indemostrable. Así "Nod(B)" es
verdad si, y sólo si, "B" cumple con la condición de la no-demos-
trabilidad. Todo esto se logra construyendo paralelamente,es de-
cir en total analogía, las definiciones que se refieren a expresio-
nes (por ejemplo, "ser expresión indemostrable") y las defini-
ciones que se refieren a los números de G6del correspondientes.
Las expresiones "Nod(Ao(O»", "Nod(A1(1»", etc. de la
secuencia diagonal modificada son del tipo arriba mencionado y
también lo es "Nod(Ax(x»". Esta última fórmula es una expre-
sión de clase, pues tiene un solo símbolo de variable,que es "x".
Por ser expresión de clase, debe figurar en la lista de las enumera-
blemente infmitas expresiones de clase. Supongamosque fuera la
q-ésima. La secuencia diagonal modificada coincideentonces con
una secuencia horizontal determinada, con la q-ésima. Estamos
así en plena etapa 3b. El q-ésimo miembro de la secuenciaconsi-
derada es el miembro diagonal y tiene que cumplir tanto con las

-- ---
 El métododiagontllen teoríade conjuntos / 3S

condiciones de la secuenciadiagonaloriginal(a que pertenece por

ser miembro diagonal) como también con las de la secuenciamo-
dificada (a que pertenece por ser miembro de la q-ésimasecuencia
horizontal). Es, así, por un lado "A (q)" Ypor otro "Nod(A (q)",
lo que significaque ambas fórmulasqson abreviaturas de la riusma
expresión. "Nod(A (q))" afirma que "A (q)" es indemostrable,
pero al mismo tiem~o coincide con "A (~)" (en el sentido de ser
abreviatura de la misma expresión). Tinemos, por lo tanto, una
expresión bien formada de TN que dice que ella misma es inde-
mostrable y que sirvede base para la demostración de Godel.
En general puede ser interesante analizar un método fruc-
tífero, especiahnente si tiene aplicacionesen camposno muy cer-
canos unos a otros. Además,existe la posibilidadde que un análi-
sis detallado de un método más o menos ampliamenteusado, co-
mo el diagonal, nos indique, a la larga,nuevasaplicacionestal vez
en campostodavía más distantes.

BIBLIOGRAFIA

DA VIS, M., Computability and Unsolvability, Nueva York . Londres .

Toronto, 1958.
The Undecidable, Nueva York, 1965.
FRAENKEL, A.A., Abstraet Set Theory, Amsterdam, 1966.
ST AHL, G., Elementos de metamatemátiea, Santiago de Chile, 1973.
TUCKER, J., The Foundations o[ Mathematies (mimeografiado).
VUILLEMIN, J., "Sur les conditions qui permettent d'utiliser les matrices
Russelliennes. . .", Notre DameJournal o[ Formal Logie, Vo.VII,
No. 1, 1965, pp. 1-19.

I
iII
,¡
j
I
I

- - - -
-- - -