Documente Academic
Documente Profesional
Documente Cultură
EL METODO DIAGONAL
EN
TEORIA DE CONJUNTOS Y METAMATEMATICA
Gerold Stahl
----
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
--- --- -
t El método diagonal en teoría de conjuntos 29
,
;
-- -- -- -
-- - ---.---..-.---
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:
an,2' ., an,n'
I
--- -
,
\
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:
. , 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
, An(n),
------
. _.- - -- -- -- -----
-- ---
El métododiagontllen teoríade conjuntos / 3S
BIBLIOGRAFIA
I
iII
,¡
j
I
I
- - - -
-- - -