\
|
+
1
1 lim ).
Y tambin 2 puede ser definido con la expresin Raz cuadrada de dos.
Estas expresiones en espaol pueden entonces ser numeradas por la
codificacin, es decir, el procedimiento en el que vinculamos un nmero con
una expresin de otra ndole. Este es el procedimiento de la Godelizacin.
Veamos cmo funciona este proceso. Vamos a hacer corresponder a cada
nmero o un nico nmero natural de la siguiente forma. En general, si un
nmero o e A est representado por una frase cuyos caracteres corresponden
en su orden a los nmeros: m
1
, m
2
, m
3
, m
k
, m
r
, a o le hacemos
corresponder el nico nmero natural:
n
o
=
1
2
m
.
2
3
m
.
3
5
m
k
m
k
P
r
m
r
P en donde
k
P es el k-simo nmero primo.
Si A es el conjunto de todos los nmeros reales, en B tenemos que a cada
expresin matemtica, definible con una frase en castellano, le corresponde un
nico nmero natural como resultado de elevar cada nmero de la productoria
de los primeros nmeros primos al nmero asignado a cada letra de la
expresin analizada, segn la codificacin que se ve en la tabla. Adems,
como la descomposicin de un nmero natural como producto de primos es
nica (por el Teorema Fundamental de la Aritmtica), entonces, si un nmero
natural es la imagen de una palabra, por esta asignacin no puede existir otra
palabra que tenga como imagen dicho nmero. Sea por ejemplo o = 2 . Las
palabras en castellano que le corresponde es: Raz cuadrada de dos. De
MATERIAL DE APOYO de FILOSOFIA DE LA LOGICA
Lectura: Lgica de orden superior de Mara Manzano
acuerdo al cdigo anterior, tenemos que los nmeros de los caracteres que
corresponden a esta sentencia son en su orden:
19-1-9-27-29-3-22-1-4-19-11-4-1-29-4-5-29-4-16-20
Luego el nmero natural que le hacemos corresponder a la descripcin
lingstica de 2 (que pertenece a B) es el siguiente Nmero Gdel(o):
2
19
.3
1
.5
9
.7
27
.11
29
.13
3
.17
22
.19
1
.23
4
.29
19
.31
11
.37
4
.41
1
.43
29
.47
4
.53
5
.59
29
.61
4
.67
16
.71
20
Ahora, estudiemos, por ejemplo, o=
=1
10
n
n
n
b
= 0,
1
b
2
b
3
b
4
b en donde los
n
b
son nmeros aleatorios. Esta frmula debera ser definible mediante una
expresin en castellano ya que se refiere a un nmero real. En este caso el
conjunto A ser
A = {o
1
,o
2
,,o
m
,}.
Luego, cada o
m
puede expresarse en forma decimal como
o
m
= 0, b
m1
b
m2
b
m3
b
mm
donde keN, b
mk
e {0, 1, 2, , 9}. Por ejemplo:
o
1
= 0, b
11
= 0, 1
o
2
= 0, b
21
b
22
= 0, 20
o
3
= 0, b
31
b
32
b
33
= 0, 333
o
4
= 0, b
41
b
42
b
43
b
44
= 0, 4440
.
o
m
= 0, b
m1
b
m2
b
m3
b
mm
= 0, 999999
Con estos nmeros se ha pretendido explicitar que cada uno de los nmeros
reales entre cero y uno, desde el 0, 000000, hasta el 0, 999999, son
expresables mediante una frase en castellano. Ahora, construyamos el
siguiente nmero:
o =
=1
10
k
k
k
c
= 0, c
1
c
2
c
3
; donde: c
k
=1, si b
kk
=0 y c
k
=0, si b
kk
= 0.
MATERIAL DE APOYO de FILOSOFIA DE LA LOGICA
Lectura: Lgica de orden superior de Mara Manzano
Por un lado, de acuerdo con la construccin de o, podemos decir que este
nmero se puede definir con la siguiente expresin en castellano:
El nmero real entre cero y uno, cuyo trmino en cada lugar dado es uno o
cero, dependiendo de si el nmero que ocupa ese mismo lugar en la
numeracin de los nmeros reales que tienen expresin en castellano, tiene
uno o cero en el lugar en cuestin del desarrollo decimal.
Por lo tanto, oeA, es decir, es un elemento de {o
1
,o
2
,,o
m
,}. Pero, por otro
lado, si construimos el nmero 0,c
1
c
2
c
3
, obtendramos o = 0, b
11
b
22
b
33
,
es decir un nmero cuya cifra en el lugar de los decenas es diferente a la cifra
en el lugar de las decenas del primer nmero real del intervalo <0,1>, cuya cifra
en el lugar de las centenas es diferente a la cifra en el lugar de las centenas del
segundo nmero real del intervalo <0,1>, y as sucesivamente. Formalmente,
ya que meN, o= o
m
, concluimos que oeA, es decir, no es un elemento de
{o
1
,o
2
,,o
m
,}. Y mediante una conjuncin tenemos la contradiccin buscada:
oeA & oeA. Como podemos apreciar, esta paradoja es especialmente
interesante por sus implicaciones concernientes a lenguajes naturales, y por su
estrecho parentesco con la demostracin cantoriana de la no-enumerabilidad
de los nmeros reales. (Kleene, 1974, pp. 44-45). En resumen:
La paradoja de Richard consiste en lo que equivale al siguiente problema
cmo ha de bastar un sistema de lgica simblica en el que el conjunto de
todas las frmulas tiene el nmero transfinito
0
para la discusin y desarrollo
de una rama de las matemticas que maneje conjuntos cuyo nmero transfinito
sea mayor que
0
? Y en particular cmo podemos ni siquiera hablar del
conjunto de los nmeros reales cuyo nmero transfinito
1
se ha demostrado
que es mayor que
0
? (Northrop, 1949, p. 280)
7
7
0
es el nmero de nmeros naturales y racionales. Presumiblemente,
1
es el
nmero de nmeros reales.
MATERIAL DE APOYO de FILOSOFIA DE LA LOGICA
Lectura: Lgica de orden superior de Mara Manzano
Este es el argumento en lenguaje natural un poco ms largo que todos los
otros.
1. El conjunto A es el conjunto de todos los nmeros reales.
2. El conjunto B es el conjunto de todas las descripciones que pertenezcan
al lenguaje espaol o conjunto E.
3. El conjunto C es el conjunto de todas las sustituciones a numerales que
pertenezcan al conjunto F.
4. El conjunto D es el conjunto de todos los Nmeros Gdel que
pertenezcan al conjunto de todos los nmeros naturales.
5. R es el conjunto de todos los nmeros reales.
6. E es el conjunto de todas las descripciones de nmeros reales.
7. F es el conjunto de todas las sustituciones a numerales.
8. N es el conjunto de todos los nmeros naturales.
9. A y B son equivalentes.
10. B y C son equivalentes.
11. C y D son equivalentes.
12. D y N son equivalentes.
13. Para cualquier par de conjuntos X e Y, si X es equivalente a Y, tienen el
mismo cardinal.
14. Para cualquier par de conjuntos X e Y, si X es menor o mayor que Y,
entonces no es cierto que X sea igual a Y.
15. El cardinal del conjunto N es menor que el cardinal del conjunto R.
POR LO TANTO, No es cierto que exista un conjunto X que sea
equivalente al conjunto R.
Tenemos un argumento de 15 premisas para desarrollar hasta llegar a la
codiciada contradiccin. A continuacin expondremos esas lneas en lenguaje
lgico. Aclaremos antes que la relacin de equivalencia no es otra que la
relacin de similaridad aparecida en la paradoja de Burali-Forti que alude a la
correspondencia biunvoca entre los elementos de dos conjuntos equivalentes.
MATERIAL DE APOYO de FILOSOFIA DE LA LOGICA
Lectura: Lgica de orden superior de Mara Manzano
1. A = R
2. B = { x / descripcin en espaol (x)e E }
3. C = { x / sustitucin a numerales (x)e F }
4. D = { x/ Nmero Gdel (x) e N }
5. R = {, -9000910, ., -569/7987987, , 0, , 1, , 2.3, 99999999,
}
6. E = { , tres, , raz cuadrada de dos, , tres quintos, , raz cubica
de, siete menos raz cuarta de cinco, , la longitud de una
circunferencia sobre su dimetro, , el lmite cuando n tiende al infinito
de uno ms uno sobre n, elevado a la n, }
7. F = { , 345, , 456(29)567, , 2345(29)6785(29)567456(29), }
8. N ={0, 1, 2, 3, 4, ,5 , 6, }
9. A~B
10. B~C
11. C~D
12. D~N
13. XY( X~YCard(X)=Card(Y) )
14. XY ( ( (X < Y) v (Y < X) ) = (X = Y) )
15. Card(N) < Card(R) //-X(X~R)
16. -X(X~R) //
17. R~NCard(R)=Card(N) 13 EJEMPLIFICACIN UNIVERSAL
18. (R~NCard(R) = Card(N) ) & ( Card(R) = Card(N) R~N) )
17 DEFINICIN DEL BICONDICIONAL
19. R~NCard(R) = Card(N) 18 SIMPLIFICACIN
20. ( Card(R) = Card(N) ) (R~N) 19 TRANSPOSICIN
21. ( ( Card(R) < Card(N) ) v ( Card(N) < Card(R) ) ) = ( Card(R) =
Card(N) )
14 EJEMPLIFICACIN UNIVERSAL
22. ( ( Card(R) < Card(N) ) v ( Card(N) < Card(R) ) ) (R~N)
20 Y 21 (I)
23. ( ( Card(N) < Card(R) ) v ( ( Card(R) < Card(N) )
15 ADICIN
24. (R~N) 22, 23 MODUS PONENS
25. A ~ N 9, 10, 11, 12 PROPIEDAD TRANSITIVA
26. R ~ N 1 Y 25 (I)
27. (R~N) & (R~N) 24 Y 26 CONJUNCIN
28. -X(X~R) ( (R~N) & (R~N) ) 16-25 PRUEBA CONDICIONAL
29. -X(X~R) 28 REDUCCIN AL ABSURDO
Notemos que esta es una reduccin al absurdo trivial.