Académique Documents
Professionnel Documents
Culture Documents
Primera edici
on 2011. Segunda edici
on 2013
Tercera edici
on Septiembre 2014. Salamanca
Impreso en Espa
na / Printed in Spain
Printed by Bubok Publishing S.L.
INTERCIENCIA
Indice general
1. Introducci
on
2. Convenciones
3. El infinito actual
n . . . . . . . . .
Introduccio
Infinito actual y potencial
El axioma del infinito . . .
Cardinales y ordinales . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
9
. 9
. 11
. 13
. 15
4. Reinterpretaci
on de las paradojas de la reflexividad
21
n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
Introduccio
Paradojas o contradicciones? . . . . . . . . . . . . . . . . . . . . . . . . . 22
5. Extensi
on de la Paradoja de Cantor
n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Introduccio
La paradoja de Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
n de la Paradoja de Cantor . . . . . . . . . . . . . . . . . .
Una extensio
27
27
28
29
6. El siguiente racional
33
n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
Introduccio
n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
Discusio
7. La l
ampara de Thomson
37
n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
Introduccio
mpara de Thomson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
La la
quina de contar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
La ma
8. Revisi
on del argumento de Cantor de 1874
n . . . . . . . . . . . . . . . . . . . . . . .
Introduccio
Argumento de Cantor de 1874 . . . . . . . . . . . .
n racional del argumento de Cantor . . .
Versio
Una variante del argumento de Cantor de 1874 .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
47
47
47
50
52
9. Intercambios num
ericos
-Intercambios . . . . . . . . . . . . . .
Argumento de la supertarea . . . . . .
Argumento Modus Tollens . . . . . . .
La alternativa del infinito potencial
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
57
57
58
59
60
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
61
61
61
62
64
68
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
11.Intervalos racionales
69
n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
Introduccio
iii
iv Indice general
n cantoriana . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
Una particio
Un intervalo racional menguante . . . . . . . . . . . . . . . . . . . . . . . 72
n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
Discusio
12.Particiones no contables
75
n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
Introduccio
La prueba de Cantor de 1885 . . . . . . . . . . . . . . . . . . . . . . . . . . 75
Particiones en la recta real . . . . . . . . . . . . . . . . . . . . . . . . . . 76
13.Cajas y conjuntos
n . . . . . . . . .
Introduccio
Vaciando cajas y conjuntos
Capturando una falacia . .
Magia infinitista . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
81
81
81
83
85
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
87
87
89
95
95
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
15.Substracci
on de cardinales
97
n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
Introduccio
n de cardinales . . . . . . . . . . . . . . . . 98
Problemas con la sustraccio
El argumento de Faticoni . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
16.Alef-cero
103
n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
Introduccio
El menor cardinal transfinito . . . . . . . . . . . . . . . . . . . . . . . . . 104
17.Singularidades aritm
eticas de alef zero
109
n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
Introduccio
mero primo? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
Es o un nu
Alef-cero y la potencia del continuo . . . . . . . . . . . . . . . . . . . . 115
18.Reinterpretaci
on del teorema de la reordenaci
on de Riemann
119
Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
Discusio
19.Inconsistencia de los conjuntos anidados
123
n vaca . . . . . . . . . . . . . . . . . . . . . . . 123
Teorema de la interseccio
Inconsistencia de los conjuntos anidados . . . . . . . . . . . . . . . . . . 127
20.Dicotomas de Zen
on
Definiciones introductorias .
n . . . .
Dicotoma II de Zeno
n . . . . .
Dicotoma I de Zeno
n . . . . . . . . . . .
Conclusio
.
.
.
.
.
.
.
.
21.La m
aquina de Hilbert
El Hotel de Hilbert . . . . . . .
Definiciones . . . . . . . . . . . . .
n de la ma
quina
La contradiccio
n . . . . . . . . . . . . . . .
Discusio
.
.
.
.
.
.
.
.
. .
. .
de
. .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
131
131
133
135
136
. . . . .
. . . . .
Hilbert
. . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
137
137
138
139
140
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Indice general v
24.Temporizando el infinito
155
n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
Introduccio
Definiciones recursivas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
n conflictiva . . . . . . . . . . . . . . . . . . . . . . . . . . . 156
Una definicio
25.Divisibilidad del espaciotiempo
159
El menor ordinal infinito . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
Dicotomas del espaciotiempo . . . . . . . . . . . . . . . . . . . . . . . . . . 161
Divisibilidad del espaciotiempo . . . . . . . . . . . . . . . . . . . . . . . . . 163
Ap
endices
A. El problema del cambio
169
n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169
Introduccio
El problema del cambio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172
matas celulares . . . . . . . . . . . . . . . . . 174
Un modelo discreto: auto
B. Sugerencias para una teora natural de conjuntos
n . . . . . . . . . . . . . . . . . . . . . . .
Introduccio
n natural de conjunto . . . . . . . .
Una definicio
meros . . . . . . . . . . . . . . . . . .
Conjuntos y nu
Conjuntos finitos . . . . . . . . . . . . . . . . . . . .
Conjuntos potencialmente infinitos . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
179
179
180
183
186
188
C. Platonismo y biologa
191
Los seres vivos como objetos extravagantes . . . . . . . . . . . . . . . . 191
Conocimiento abstracto y biologa . . . . . . . . . . . . . . . . . . . . . . 192
Referencias
207
Indice alfab
etico
209
vi
1.-Introduccion
2 Introducci
on
tusiastas plat
onicos de escasa devoci
on a las ciencias naturales y de enorme
influencia en las matem
aticas contempor
aneas.3 Para ilustrar las profundas
convicciones teoplat
onicas de Cantor, recordemos algunas de sus palabras:
. . . en mi opini
on la realidad y absoluta legalidad de los n
umeros enteros es mucho mayor que la del mundo sensorial. El que
as sea, tiene una u
nica y muy simple raz
on, a saber, que los
n
umeros enteros existen en el grado sumo de realidad, tanto separados como en su totalidad actualmente infinita, en la forma
de ideas eternas in Intellectus Divinus. ([134]; citado en [76])
. . . yo solo soy un instrumento al servicio del altsimo, un instrumento que seguira actuando mucho despues de m, de la misma
forma que ya lo hizo antes hace miles de a
nos con Euclides y
Arqumedes. . . . ([41, pp 104-105])
. . . No puedo referirme a ellos [los
atomos] como existentes, ya
sea en concepto o en realidad, no importa cu
antas cosas hasta
cierto punto u
tiles se hayan logrado mediante esa ficci
on. ([40,
p 78], traduccion inglesa [33])
Veintisiete siglos de debates no fueron suficientes para probar la consistencia (o la inconsistencia) de la hip
otesis del infinito actual,4 que finalmente tuvo que ser legitimada por la va expeditiva de los axiomas.5 Las
matem
aticas contempor
aneas est
an fundadas en la creencia de que los conjuntos infinitos existen como totalidades completas.6
La teora de conjuntos es una teora estrictamente infinitista, una teora
basada en, e inspirada por, la hip
otesis del infinito actual. Para Georg
Cantor, uno de sus m
as relevantes fundadores, el infinito actual no era una
simple hip
otesis sino una firme conviccion plat
onica.7 La teora de conjuntos contiene, sin embargo, los instrumentos apropiados para poner en
cuesti
on la consistencia formal de la hip
otesis del infinito actual. Aunque
hasta ahora nunca han sido utilizados con esas intenciones crticas. Como
veremos aqu, ese es el caso de , el menor de los ordinales infinitos, y de
las sucesiones y los conjuntos ordenados. En este libro haremos un uso
3 Para
Introducci
on 3
extensivo de ellos.
La auto-referencia en el lenguaje formal y coloquial es tambien una nocion
teorica sobre la que no hay acuerdo general.8 Las paradojas de la autorreferencia han sido y siguen siendo una fuente interminable de discusiones.
Una de esas paradojas, la paradoja del mentiroso,9 conduce (va Paradoja
de Richard, como el propio G
odel reconocio [82, p. 56]) al celebre primer
teorema de incompletitud de G
odel. Muchos logicos lo consideran como el
teorema m
as importante de todos los tiempos. Desde nuestra perspectiva
de las ciencias naturales eso suena algo exagerado.
Por decirlo en pocas palabras, heredamos de los presocr
aticos, entre otras
cosas, un desafo prometedor (el problema del cambio) y dos conceptos
cuestionables (la autorreferencia y el infinito actual). Con el paso del tiempo hemos ido olvidando el desafo y convirtiendo al infinito y a la autorreferencia en pilares fundamentales e incuestionables de la logica y de las
matem
aticas contempor
aneas. No todo el mundo est
a de acuerdo con esa
eleccion, aunque la crtica militante es casi inexistente. Este libro est
a principalmente dedicado a poner en cuesti
on el m
as molesto de esos conceptos:
el infinito actual.
Debemos recordar en este momento que la ciencia es excesivamente autoreverente y escasamente autocrtica. Poner las convicciones y los intereses
personales en frente del conocimiento objetivo de la realidad resulta m
as
frecuente de lo que se podra esperar. En esas condiciones, no es facil poner
en cuesti
on un supuesto fundamental bien asentado, incluso si ese supuesto
es sospechoso de ser inconsistente. En mi opini
on el Axioma del Infinito es
uno de esos supuestos fundacionales inconsistentes.
Las consecuencias de las matem
aticas infinitistas son desastrosas porque
promueven un modelo anal
ogico, y por tanto continuo, del mundo fsico
que est
a claramente en conflicto con la naturaleza digital revelada hasta
ahora por todas las observaciones fsicas: materia ordinaria, partculas elementales, energa, cargas electricas y no electricas, parecen ser todas ellas
entidades discretas con mnimos indivisibles. Es sorprendente la guerra de
los fsicos contra los infinitos. Pagan un alto precio en la forma de interminables y tediosos c
alculos para conseguir librarse de ellos. Mientras que, por
otra parte, no dedican ni un solo minuto de su tiempo a poner en cuesti
on
8 Adem
as
9 En
4 Introducci
on
Convenciones 5
11 El
12 La
6 Introducci
on
2.-Convenciones
8 Convenciones
n
Introduccio
7 Este libro se ocupa exclusivamente del infinito actual, aunque algunas
referencias al infinito potencial ser
an inevitables. Empezaremos entonces
introduciendo la distincion entre el infinito actual y el potencial. Una vez
introducida, definiremos el infinito actual en terminos conjuntistas y la
distincion entre cardinales y ordinales infinitos. Eso es todo lo que necesitamos para seguir los argumentos sobre la hip
otesis de infinito actual
que se exponen en el resto del libro. La mayora de esos argumentos est
an
relacionados con , el menor de los ordinales infinitos; el ordinal del conjunto N de los n
umeros naturales en su orden natural de precedencia: N
={1, 2, 3, . . . } (vease m
as abajo).
8 Infinito es una palabra com
un que usamos para referirnos a la calidad de ser enorme, inmenso, ilimitado etc. En este sentido, y de acuerdo
con Gauss1 el infinito es una manera de hablar. Pero la palabra infinito
tambien tiene un significado matem
atico preciso: un conjunto es infinito
si se puede poner en correspondencia uno a uno con alguno de sus subconjuntos propios. Esta es la conocida definicion de Dedekind que, junto
con los trabajos de Cantor sobre los n
umeros transfinitos, inauguraron la
moderna matem
atica transfinita a finales del siglo XIX. Aunque la historia
del infinito matem
atico haba comenzado veintisiete siglos antes.
9 Afortunadamente existe una excelente literatura sobre la historia del
infinito,2 . No dare ni siquiera un sumario de esa historia, aunque podramos
elegir arbitrariamente tres de sus protagonistas m
as relevantes como referencias hist
oricas:
1) Zen
on de Elea (490-430 A.C.), fil
osofo presocr
atico que utiliz
o por
primera vez el infinito matem
atico para defender la tesis de Parmenides sobre la imposibilidad de cambio. Sabemos del trabajo
1 C.F.
2 Por
10 El infinito actual
de Zen
on (cerca de cuarenta argumentos, incluyendo sus famosas
paradojas contra la posibilidad de cambio [2], [51]) a traves de
su doxografos (Plat
on, Arist
oteles, Diogenes Laertius o Simplicius
[51]). El infinito en los argumentos de Zen
on parece ser el infinito actual y contable, aunque obviamente Zen
on no est
a haciendo
matem
aticas infinitistas sino argumentaciones logicas en las que
aparecen colecciones infinitas de puntos y de instantes. Los argumentos de Zen
on funcionan correctamente s
olo si esas colecciones se consideran como totalidades infinitas completas (vease el
Captulo 20 sobre las Dicotomas de Zen
on).
2) Aristoteles (384-322 A.C.), uno de los pensadores m
as influyentes
en la cultura occidental. Filosofo y naturalista, introdujo la nocion de correspondencia uno a uno precisamente cuando trataba
de resolver algunas de las paradojas de Zen
on. Luego introdujo
la distincion fundamental entre el infinito potencial y el infinito actual, que aqu analizaremos en terminos conjuntistas en la
siguiente secci
on.
3) Georg Cantor (1845-1918), matem
atico alem
an cofundador, junto
con R. Dedekind y G. Frege, de la teora de conjuntos. Su trabajo
sobre los n
umeros transfinitos (cardinales y ordinales) fundamenta las modernas matem
aticas transfinitas. Cantor inauguro el llamado paraso del infinito actual en el que, seg
un D. Hilbert, los
infinitistas habitaran para siempre.
10 De Zen
on a Arist
oteles el u
nico infinito fue el infinito actual, aunque esa nocion estaba lejos de ser claramente establecida. De Aristoteles
a Cantor encontramos defensores de ambos tipos de infinitos (actual y
potencial) aunque con una cierta hegemona del infinito potencial, particularmente desde el siglo XIII, una vez que Aristoteles fue cristianizado
por los escol
asticos medievales. En esos tiempos preinfinitistas, se podan
utilizar los mismos argumentos en apoyo de una o de la otra hip
otesis (por
ejemplo los argumentos basados en la correspondencia entre los puntos de
una circunferencia y los puntos de uno de sus di
ametros). Pero no hay
todava una teora del infinito matem
atico propiamente dicha. La primera
teora matem
atica del infinito propiamente dicha aparece al final del siglo
XIX, siendo Dedekind, Bolzano y, especialmente, Cantor, sus creadores
m
as relevantes. Desde Cantor hasta la actualidad la hegemona del infinito
actual ha sido casi absoluta y, adem
as, libre de crticas serias.
resumen de la noci
on de supertarea puede verse, por ejemplo, en [154]. Vease tambien
el captulo sobre la L
ampara de Thomson en este libro.
12 El infinito actual
14 El infinito actual
(3)
(4)
(5)
dos conjuntos que se pueden poner en correspondencia uno a uno se dice que son
equipotentes.
Cardinales y ordinales 15
Cardinales y ordinales
27 Por la misma raz
on que necesitamos axiomas y leyes fundamentales
5
en la ciencia, tambien necesitamos conceptos primitivos en el lenguaje,
es decir, conceptos que no pueden ser definidos en terminos de otros conceptos, sin caer en definiciones circulares (los diccionarios son finitos). La
mayora de los conceptos matem
aticos b
asicos pertenecen a esta categora:
n
umero, punto, lnea, plano, conjunto, y algunos otros. Por lo tanto, decir
que el cardinal de un conjunto es el n
umero de sus elementos es no decir
nada. No obstante, todo el mundo sabe lo que queremos decir cuando decimos que el conjunto {a, b, c} tiene tres elementos, o que su cardinal es
tres. Incluso lo que queremos decir cuando decimos que el cardinal de un
conjunto numerable, como el conjunto N de los n
umeros naturales, es o
(Alef-cero).
28 Aunque en terminos informales, diremos que el cardinal C de un conjunto X es el n
umero de sus elementos; en smbolos C = |X|. Por razones
obvias, los cardinales de los conjuntos finitos se llaman finitos, y los cardinales de conjuntos infinitos se denominan infinitos. Aunque no lo haremos
aqu, se puede demostrar facilmente que el n
umero de subconjuntos de
un conjunto cuyo cardinal es C, es precisamente 2C (incluyendo el propio
conjunto y el conjunto vaco).
29 Cantor dio por sentada la existencia de la totalidad de los cardinales
finitos (n
umeros naturales) [39, pgs. 103-104]:
El primer ejemplo de un agregado transfinito viene dado por
la totalidad de los n
umeros cardinales finitos v; llamamos a su
n
umero cardinal Alef-cero denotado por o , definimos pues:
o = {v}
donde {v} es la notaci
on de Cantor para el cardinal del conjunto {v} de
todos los cardinales finitos (|N| en notaci
on moderna). Obviamente o es
un cardinal infinito. Cantor demostro que es el menor cardinal mayor que
todos los cardinales finitos [39, 6] (vease el Captulo 16).
30 los sucesivos n
umeros naturales 1, 2, 3, . . . se pueden definir como los
cardinales de los sucesivos conjuntos finitos de la sucesion de conjuntos
S = {0}, {0, 1}, {0, 1, 2}, . . . , o como los cardinales de cualquier sucesion
5 La
aristotelica regresi
on infinita de argumentos [9].
16 El infinito actual
de conjuntos finitos cuyos sucesivos terminos sean equipotentes con los sucesivos terminos de S (vease la definicion operacional de Von Neumann de
los n
umeros naturales en el Apendice B). Los n
umeros naturales se pueden
seguir usando en terminos informales como los n
umeros de contar 1, 2,
3,. . . Al fin y al cabo decimos que el cardinal finito de un conjunto es n
despues de contar sus elementos, o despues de emparejarlos con los elementos de un conjunto que han sido previamente contados, o sucesivamente
considerados de alguna manera, o incluso aritmeticamente calculados o
procesados.
31 Todos los conjuntos numerables, por otra parte, tienen el mismo cardinal o . As, como ya se ha indicado, el cardinal del conjunto N de los
n
umeros naturales es o . El cardinal del conjunto potencia P (N), el conjunto de todos los subconjuntos de N (incluyendo N y el conjunto vaco),
umeno es o sino 2o , que es tambien el cardinal del conjunto R de los n
ros reales. El cardinal del conjunto P (P (N)) de todos los subconjuntos de
o
P (N) no es 2o sino 22 . Lo mismo vale para el conjunto P (P (P (N))) de
todos los subconjuntos de P (P (N)) y as sucesivamente. Tenemos entonces
una sucesion creciente de cardinales infinitos:
o
o < 2o < 22
2o
< 22
< ...
(6)
6 Un
{} : Cardinal 0. Ordinal 0
(7)
(8)
(9)
Cardinales y ordinales 17
(10)
Ordinal
Ordinal
Ordinal
Ordinal
Ordinal
..
.
+1
+2
2
3
(11)
2 = lm( + n); n = 1, 2, 3, . . .
(12)
7 = lm(6 + n); n = 1, 2, 3, . . .
(13)
18 El infinito actual
o < 2o < 22
2o
< 22
La famosa (y a
un no resuelta) hip
otesis del continuum afirma: 1 = 2o . La
versi
on generalizada afirma que, para todo i, el i-esimo termino de la primera sucesion es igual al i-esimo termino de la segunda. Afortunadamente
no tendremos que abordar esa cuesti
on en este libro.
37 Obviamente esto no es m
as que una breve y esquem
atica introducci
on
a la teora de Cantor de los n
umeros transfinitos [39]. Pero es todo lo que
necesitamos saber para seguir los argumentos que desarrollaremos aqu.
Como se se
nal
o anteriormente, nuestra atenci
on se centrar
a de forma casi
exclusiva en los objetos ordenados (conjuntos y sucesiones), es decir en
objetos cuyos elementos se ordenan de la misma manera que los n
umeros
naturales en su orden natural de precedencia. Objetos como, por ejemplo,
la sucesion a1 a2 a3 , . . . Este tipo de orden (orden de ahora en adelante)
se caracteriza por:
1) Existe un primer elemento a1 .
2) Cada elemento an tiene un predecesor inmediato an1 , excepto el
primero a1 .
3) Cada elemento an tiene un sucesor inmediato an+1 .
4) Entre dos elementos sucesivos cualesquiera, an , an+1 no existe
ning
un otro elemento.
5) No existe u
ltimo elemento, a pesar de lo cual los objetos ordenados se consideran totalidades completas.
38 Ocasionalmente, tambien trataremos con objetos ordenados, objetos cuyos elementos se ordenan de la misma forma que la sucesion creciente
de los n
umeros enteros negativos: . . . , -3, -2, -1. Este tipo de orden usa-
Cardinales y ordinales 19
remos la notaci
on an para referirnos al n-esimo elemento por la cola. El
orden se caracteriza por:
1) Existe un u
ltimo elemento a1 .
2) Cada elemento an tiene un sucesor inmediato a(n1) , excepto el
u
ltimo a1 .
3) Cada elemento an tiene un predecesor inmediato a(n+1) .
4) Entre dos elementos sucesivos cualesquiera, an , a(n+1) no existe
ning
un otro elemento.
5) No existe primer elemento, a pesar de lo cual los objetos ordenados se consideran totalidades completas.
39 Como ya se ha indicado, todos los n
umeros transfinitos (cardinales y
ordinales) se basan en la suposici
on de que existe un conjunto numerable
ordenado. Por eso, casi todos los argumentos que siguen se ocuparan
u
nicamente de objetos ordenados. Si se demostrara que esa hip
otesis
infinitista es inconsistente, todo el edificio de las matem
aticas transfinitas
se vendra abajo como un castillo de naipes.
20 El infinito actual
n
Introduccio
40 Si despues de emparejar cada elemento de un conjunto A con un
elemento diferente de otro conjunto B, todos los elementos de B resultan
emparejados, decimos que ambos conjuntos tienen la misma cardinalidad
(el mismo n
umero de elementos). Pero si uno o m
as elementos de B resultan
no emparejados y B es infinito, no se nos permite afirmar que ambos
conjuntos tienen diferente cardinalidad. En este captulo se discute por
que no se nos permite hacerlo. Como veremos, la existencia de inyecciones1
exhaustivas y no exhaustivas entre dos conjuntos infinitos podra estar
indicando que ambos conjuntos tienen y no tienen la misma cardinalidad.
As, la distincion arbitraria de las inyecciones exhaustivas en detrimento de
las no exhaustivas podra estar ocultando una contradicci
on fundamental
en la teora de conjuntos.
41 La mayora de las paradojas relacionadas con el infinito resultan de la
violacion del Axioma eucldeo del Todo y la Parte,2 entre ellas las llamadas
paradojas de la reflexividad, en las que los elementos de un todo son emparejados con los de una de sus partes propias.3 La paradoja de Galileo4
es un ejemplo muy conocido de paradoja reflexiva. Autores como Proclus,
J. Filopon, Thabit ibn Qurra al-Harani, R. Grosseteste, G. de Rimini, W.
of Ockham etc. encontraron otros muchos ejemplos [171].
42 La estrategia de emparejar los elementos de dos conjuntos no es precisamente una invenci
on moderna, Aristoteles ya la us
o para tratar de
1 Una
inyecci
on es una correspondencia entre los elementos de dos conjuntos A y B de
tal manera que todos y cada uno de los elementos de A se emparejan con un elemento
diferente de B.
2 La hip
otesis de que el todo es m
as que la parte es una de las nociones comunes que
aparecen en el primer libro de los Elementos de Euclides [71, pag. 19].
3 [171], [62].
4 Los elementos del conjunto de los n
umeros naturales se pueden emparejar con los elementos de uno de sus subconjuntos propios: el subconjunto de sus cuadrados: 1 12 ,
2 22 , 3 32 , 4 42 , 5 52 . . . [78].
21
22 Reinterpretaci
on de las paradojas de la reflexividad
Paradojas o contradicciones?
44 Una inyecci
on exhaustiva entre dos conjuntos A y B es una correspondencia entre los elementos de ambos conjuntos en la cual cada elemento de
A queda emparejado con un elemento diferente de B, y todos los elementos de A y B resultan emparejados. Cuando al menos un elemento de B
resulta no emparejado la inyecci
on se llama no exhaustiva. Las inyecciones
exhaustivas y no exhaustivas pueden usarse para comparar la cardinalidad de los conjuntos finitos. Pero si los conjuntos comparados son infinitos
entonces solo se permiten las inyecciones exhaustivas. Ninguna raz
on ha
sido dada nunca para justificar esa arbitraria distincion (vease m
as abajo
47-50) salvo que, por definicion, los conjuntos infinitos violan el axioma
eucldeo.
45 Pero, puesto que las definiciones tambien pueden ser inconsistentes,6
los conjuntos infinitos podran haber sido definidos de manera inconsistente sobre la base de uno de los terminos de una contradicci
on: existe una
inyeccion exhaustiva entre un conjunto infinito y una de sus subconjuntos
propios. La otra parte de la contradicci
on sera: existe una inyeccion no
exhaustiva entre el conjunto y el mismo subconjunto propio. Nadie ha explicado nunca por que tener una inyecci
on exhaustiva con un subconjunto
propio y al mismo tiempo tener una inyeccion no exhaustiva con el mismo
5 Arist
oteles
acab
o rechazando el metodo de los emparejamientos, proponiendo la distinci
on entre infinito potencial e infinito actual [11], [10].
6 Especialmente cuando la definici
on est
a basada en la violaci
on de un axioma b
asico,
como es el caso de la definici
on de conjunto infinito de Dedekind.
Paradojas o contradicciones? 23
24 Reinterpretaci
on de las paradojas de la reflexividad
sus subconjuntos infinitos), no podemos inferir la existencia de los conjuntos que permiten deducir esas peculiaridades aritmeticas de los cardinales
infinitos. Aqu estamos simplemente discutiendo si el metodo de emparejar
los elementos de dos conjuntos es apropiado para comparar sus respectivas cardinalidades; y si lo es, por que las inyecciones no exhaustivas son
rechazadas, porque ese rechazo podra estar ocultando una contradicci
on
fundamental.
49 Las inyecciones exhaustivas y no exhaustivas deberan tener la misma
validez como instrumentos para comparar la cardinalidad de los conjuntos
infinitos porque ambas usan exactamente el mismo metodo de comparaci
on. Sin embargo, solo las inyecciones exhaustivas pueden usarse con ese
proposito. El problema aqu es que la existencia de inyecciones exhaustivas
y no exhaustivas entre dos conjuntos infinitos podra estar indicando la
existencia de una contradicci
on elemental (que ambos conjuntos tienen y
no tienen la misma cardinalidad), en ese caso la distincion de las inyecciones exhaustivas sera la distincion de un termino de una contradicci
on en
detrimento del otro.
50 Como mnimo, la alternativa de considerar inconsistente a un conjunto
porque existen inyecciones exhaustivas y no exhaustivas con los elementos
del mismo subconjunto propio es tan legtima como la alternativa de considerar consistente a ese conjunto. Como mnimo, la selecci
on arbitraria de
una alternativa debera declararse explcitamente en el nivel fundacional
de la teora, lo que no es el caso en las actuales teoras de conjuntos. En
esas teoras se ignora sistematicamente la primera alternativa. Se podra
argumentar que la definicion de Dedekind implica asumir la existencia de
conjuntos para los cuales existen inyecciones exhaustivas y no exhaustivas
con al menos uno de sus subconjuntos propios, pero una simple definicion
no garantiza que el objeto definido sea consistente, y entonces la alternativa de la inconsistencia ha de ser tambien considerada. La propuesta de esa
consideracion es el principal objetivo de esta discusion. Una consideracion
que, hasta donde yo se, nunca ha sido seriamente planteada.
51 Supongase, solo por un momento, que las inyecciones exhaustivas y
no exhaustivas fueran instrumentos validos para comparar la cardinalidad
de dos conjuntos cualesquiera. En esas condiciones, sea B un conjunto infinito. Por definicion, existe un subconjunto propio A de B y una inyeccion
exhaustiva f de A en B que prueba que ambos conjuntos tienen el mismo
n
umero de elementos. Considerese ahora la inyeccion g de A en B definida
Paradojas o contradicciones? 25
Todos emparejados
Todos emparejados
No emparejados
Emparejados
S
2
1
2
3
4
1
22
2
3
2
4
f(n ) = n
S
2
1 2,3
4 5,6,7,8
9
10,11,12
16
1
22
2
3
2
4
g(n ) = n 2
por:
g(x) = x, x A
(1)
26 Reinterpretaci
on de las paradojas de la reflexividad
infinitas, como la totalidad de los cardinales o la de los ordinales, no existen porque conducen a contradicciones. Es facil probar, como se ver
a en
el captulo siguiente, que en una teora infinitista e informal (sin restricciones axiomaticas) de conjuntos, como la teora de conjuntos de Cantor,
cada conjunto de cardinalidad C origina nada menos que 2C totalidades
infinitas inconsistentes.
54 En el Captulo 18 veremos que el teorema de la reordenacion de Riemann tambien puede ser reinterpretado como una prueba de la inconsistencia de la hip
otesis del infinito actual. En el resto del libro se desarrollan
m
as de veinte argumentos, todos ellos sugiriendo la misma conclusion.
n
Introduccio
55 La paradoja de Cantor no es una paradoja sino una verdadera inconsistencia relacionada con el conjunto de todos los cardinales. Por esta
raz
on, ese conjunto se rechaza de manera explcita en las modernas teoras
axiomaticas de conjuntos. La siguiente discusion demuestra, sin embargo,
que no solo el conjunto de todos los cardinales es inconsistente, prueba que
en la teora informal de conjuntos de Cantor (naive set theory) cada conjunto de cardinalidad C origina por lo menos 2C conjuntos inconsistentes
(cada uno de sus subconjuntos origina una totalidad inconsistente en ese
marco no axiomatizado de la teora primitiva de conjuntos).
56 Aunque Burali-Forti fue el primero en publicar [27], [79] la prueba
de una inconsistencia derivada de la existencia de un conjunto infinito,
Cantor fue el primero en descubrir una de esas inconsistencias infinitistas:
la paradoja del m
aximo cardinal [79], [56]. No hay acuerdo sobre la fecha en
la que Cantor descubri
o su paradoja [79] (el rango de fechas propuesto va
desde 1883 [156] a 1896 [87]). La paradoja (inconsistencia) de Burali-Forti
del conjunto de todos los ordinales y la de Cantor del conjunto de todos los
cardinales est
an relacionadas con el tama
no de las totalidades consideradas,
tal vez demasiado grandes para ser consistentes seg
un Cantor. Parece algo
ir
onico que un conjunto infinito puede ser inconsistente precisamente por
su excesivo tama
no. Por cierto, n
otese el eufemismo de llamar paradoja
a lo que realmente es una inconsistencia, es decir, un par de resultados
contradictorios que seguramente derivan de una suposici
on previa com
un.
De que suposici
on? nos podramos tambien preguntar. Tal vez de la
hip
otesis de que los conjuntos infinitos existen como totalidades completas?
57 En efecto, la explicacion m
as simple para ambas paradojas es que
sean realmente inconsistencias derivadas de la hip
otesis del infinito actual,
es decir de asumir la existencia de conjuntos infinitos como totalidades
completas. Pero nadie se ha atrevido a analizar esa alternativa. Finalmente
27
28 Extensi
on de la Paradoja de Cantor
La paradoja de Cantor
58 La versi
on m
as sencilla y breve de la paradoja1 de Cantor es la siguiente: Sea a U el conjunto de todos los conjuntos, el llamado conjunto
universal2 y P (U ) su conjunto potencia, el conjunto de todos sus subconjuntos. Denotemos por |U | y |P (U )| sus respectivos cardinales. Siendo U
el conjunto de todos los conjuntos debe contener a todos los conjuntos,
podemos, pues, escribir:
|U | |P (U )|
(1)
Por otra parte, y teniendo en cuenta el teorema de Cantor sobre el conjunto
potencia [35], se verifica:
|U | < |P (U )|
(2)
lo que contradice (1). Esta es nuestra versi
on simplificada de la inconsistencia o paradoja de Cantor.
59 Como es bien sabido, Cantor no le dio importancia [75] a su paradoja
y zanjo la cuesti
on asumiendo la existencia de dos tipos de totalidades
infinitas, las consistentes y las inconsistentes [33]. Como se indic
o m
as
arriba, en opini
on de Cantor la inconsistencia de esas totalidades infinitas
sera debida a su excesivo tama
no. Estaramos ante la madre de todos los
infinitos, el infinito absoluto que, seg
un Cantor, conduce directamente a
Dios, siendo precisamente la naturaleza divina de esa infinitud absoluta lo
que la hace inconsistente para nuestras pobres mentes humanas [33].
60 Como veremos de inmediato, es posible extender la paradoja de Cantor a otros conjuntos mucho m
as modestos que el conjunto de todos los
conjuntos. Pero ni Cantor ni sus sucesores consideraron tal posibilidad. Lo
haremos aqu. Ese es precisamente el objetivo de la discusion que sigue.
Una discusion que se llevar
a a cabo en el marco de la teora informal, y
por tanto no axiomatizada, de conjuntos de Cantor.
1 Para
un an
alisis detallado vease [79, pp. 66-74]. Por muy usual que pueda ser, la expresi
on
Paradoja de Cantor es como mnimo confusa, puesto que no es una paradoja sino una
verdadera contradicci
on.
2 La teor
a informal de conjuntos (como la teora de Cantor) admite conjuntos como el
conjunto universal U que est
an prohibidos en las teoras axiom
aticas modernas.
Una extensi
on de la Paradoja de Cantor 29
n de la Paradoja de Cantor
Una extensio
61 Puesto que los elementos de un conjunto en la teora informal de
conjuntos pueden ser conjuntos, conjuntos de conjuntos, conjuntos de conjuntos de conjuntos y as sucesivamente, vamos a comenzar por definir la
siguiente relaci
on binaria R entre dos conjuntos: diremos que el conjunto A
est
a R-relacionado con el conjunto B, escrito A R B, si B contiene al menos un elemento que forma parte de la definicion de al menos un elemento
de A. Por ejemplo, si:
A = { {{a, {b}}}, {c}, d, {{{{e}}}}, f }
(3)
B = {1, 2, b}
(4)
C = {1, 2, 3}
(5)
entonces A est
a R-relacionado con B porque el elemento b de B forma
parte de la definicion del elemento {{a, {b}}} de A, pero A no est
a Rrelacionado con C porque ning
un elemento de C interviene en la definicion
de los elementos de A.
62 En esas condiciones sea X un conjunto cualquiera no vaco, e Y uno
de sus subconjuntos. A partir de Y se define el conjunto TY de acuerdo
con:
TY = {Z |V (V Y 6= Z R V )}
(6)
TY es, por tanto, el conjunto de todos los conjuntos Z que no est
an Rrelacionados con conjuntos V que contengan uno o m
as elementos del conjunto Y . Notese que si Y = entonces TY es el inconsistente conjunto
universal.
63 Es facil demostrar que TY es un conjunto infinito. En efecto, sea n un
n
umero natural finito cualquiera y supongamos que |TY | = n. Tendremos:
TY = {T1 , T2 , . . . Tn }
(7)
...
Consideremos ahora el conjunto A = {{...
n {{T1 }} n }}. Puede ser que A sea
diferente de todos los Ti de TY , o puede ser que A = Tk para un cierto
k. Pero en el u
ltimo caso tendra que existir un ndice h < n tal que
...
B = {{ h {{T1 }}...
}} sea diferente de todos los Ti de TY , en caso contrario
h
tendremos |TY | > n. En consecuencia o bien A o bien B ser
a diferente de
todos los Ti de TY . Por otra parte, A y B son conjuntos cuyos elementos
no est
an R-relacionados con conjuntos que contienen uno o m
as elementos
del conjunto Y . Por lo tanto ambos pertenecen a TY , y entonces |TY | > n.
Concluimos entonces que TY solo puede ser infinito.
30 Extensi
on de la Paradoja de Cantor
64 Sea ahora el conjunto P (TY ), el conjunto potencia de TY . Los elementos de P (TY ) son todos ellos subconjuntos de TY y por tanto conjuntos de
conjuntos que no est
an R-relacionados con conjuntos que contengan alg
un
elemento del conjunto Y :
D P (TY ) : V (V Y 6= D R V )
(8)
Consecuentemente, se verifica:
D P (TY ) : D TY
(9)
P (TY ) TY
(10)
|P (TY )| |TY |
(11)
Y entonces:
Podemos, pues, escribir:
65 Por otro lado, y de acuerdo con el teorema de Cantor, tenemos:
|P (TY )| > |TY |
(12)
(13)
Una extensi
on de la Paradoja de Cantor 31
actual. Es decir, cuando se los considera como totalidades completas. Y recuerdese que, desde el punto de vista del infinito potencial, estos conjuntos
no tienen sentido porque desde esta perspectiva las u
nicas totalidades completas son las totalidades finitas, tan grandes como se quiera, pero siempre
finitas.
68 Si hubieramos sabido de la existencia de tantas totalidades infinitas
inconsistentes y no necesariamente tan enormes como el infinito absoluto,
tal vez la teora transfinita de Cantor habra sido recibida de una manera
diferente. Tal vez la noci
on de infinito actual habra sido puesta en cuesti
on
en terminos de la teora de conjuntos; y quizas habramos descubierto la
manera de probar su inconsistencia. Pero, como sabemos, ese no fue el
caso.
69 La historia de la recepci
on de la teora de conjuntos y la manera de
tratar sus inconsistencias (todas ellos derivadas de la hip
otesis de infinito
actual y de la autorreferencia) es bien conocida. Desde los inicios del siglo
XX se ha venido realizando un gran esfuerzo para fundar la teora de conjuntos sobre una base formal libre de inconsistencias. Aunque el objetivo
solo pudo alcanzarse con la ayuda del adecuado parcheo axiomatico. Desde
entonces se han desarrollado al menos media docena de teoras axiomaticas de conjuntos.4 Varios cientos de p
aginas son necesarias para explicar en detalle todas las restricciones axiomaticas de las modernas teoras
axiomaticas de conjuntos. Justo lo contrario de lo que cabra esperar de la
fundamentaci
on axiomatica de una ciencia formal.
70 Como se se
nal
o anteriormente, la explicacion m
as simple de las inconsistencias de Cantor y de Burali-Forti es que sean verdaderas contradicciones derivadas de la inconsistencia de la hip
otesis del infinito actual.
Lo mismo se aplica al conjunto de todos los conjuntos y al el conjunto
de todos los conjuntos que no son miembros de s mismos (paradoja de
Russell), aunque en este caso hay una causa adicional de inconsistencia
relacionada con la autorreferencia. Todos los conjuntos involucrados en las
paradojas de la teora informal de conjuntos fueron eliminados de la teora
mediante las oportunas restricciones axiomaticas. Nadie se atrevio ni siquiera a sugerir la posibilidad de que esas paradojas fueran contradicciones
derivadas de la hip
otesis del infinito actual; es decir, derivadas de asumir
la existencia de conjuntos infinitos como totalidades completas.
4 Se
32 Extensi
on de la Paradoja de Cantor
|U | |P (U )|
(14)
|U | < |P (U )|
n
Introduccio
73 El conjunto Q de los n
umeros racionales, en su ordenamiento natural, est
a densamente ordenado: entre cada dos n
umeros racionales existe
un n
umero infinito de otros n
umeros racionales diferentes. Pero siendo numerable [31], Q tambien puede ser ordenado: entre cada dos n
umeros
racionales sucesivos no existe ning
un otro n
umero racional. El argumento
que sigue se aprovecha de esta especie de esquizofrenia numerica.
Q+
n
Discusio
Q+
q1 = f(1)
1
74 Por sencillez trataremos con el conjun2
q2 = f(2)
to Q+ de los racionales positivos mayores
q3 = f(3)
3
que cero, que tambien es numerable y densaq4 = f(4)
4
q5 = f(5)
5
mente ordenado. Sea entonces f una correspondencia biunvoca entre el conjunto N de
los n
umeros naturales y el conjunto Q+ . Es
evidente que f permite un -ordenamiento
w-ordenado
w-ordenado
de Q+ : gracias a f el conjunto de todos los Densamente
ordenada
racionales positivos se puede escribir como Figura 6.1: -Ordenamiento de la
recta racional positiva.
{q1 , q2 , q3 , . . . }, siendo qi = f (i), i N.
34 El siguiente racional
(2)
que si no fuera posible realizar todas las posibles definiciones sucesivas hDi (x)i,
estaramos ante la contradicci
on elemental de una imposible posibilidad.
Discusi
on 35
(3)
36 El siguiente racional
82 Podramos incluso temporizar la sucesion de definiciones hDi (x)i realizando cada definicion Di (x) en el preciso instante ti de una sucesion
ordenada y estrictamente creciente htn i = t1 , t2 , t3 . . . dentro del intervalo finito (ta , tb ), cuyo lmite es tb . En estas condiciones, x solo podra
perder su condici
on de variable racional apropiadamente definida en su
dominio (0, 1) en el preciso instante tb , el primer instante despues de haber completado la sucesion de definiciones hDi (x)i. En efecto, siendo tb el
lmite de htn i tendremos:
t [ta , tb ) :
(4)
v : tv t < tv+1
(5)
en el instante t, x est
a bien definida por Dv (x)
(6)
n
Introduccio
83 Aunque la crtica de Benacerraf al argumento de la lampara de Thomson est
a bien fundada (vease m
as abajo), queda muy lejos de ser completa.
Como veremos aqu, es posible considerar una nueva lnea argumental, solo
incidentalmente considerada por Benacerraf, que se basa exclusivamente en
la definicion formal de la l
ampara. Esa lnea argumental conduce a un resultado contradictorio que compromete la consistencia formal del orden
involucrado en todas las -supertareas.
84 Realizar una -supertarea (supertarea a
partir de ahora) significa realizar una sucesi
on ordenada de acciones (tareas) en un
tiempo finito. Las supertareas son artefactos
teoricos de cierta utilidad en la filosofa de las Figura 7.1: Supertarea de Grematem
aticas, particularmente en la discusio- gory.
nes formales de ciertos problemas relacionados con el infinito.1 Aunque sus
posibilidades e implicaciones fsicas tambien han sido discutidas.2 Aqu solo
trataremos con supertareas conceptuales.
85 Gregory of Rimini fue probablemente el primero en proponer como se
podra realizar una supertarea ([136], p. 53):
Si Dios quisiera hacer crecer una piedra a
nadiendole sucesivos
metros c
ubicos de piedra -lo que El s puede hacer- podra crear
una piedra infinitamente grande. Para ello s
olo necesita agregar
un pie c
ubico en alg
un instante, otro pie c
ubico media hora m
as
tarde, otro un cuarto de hora m
as tarde, y as sucesivamente ad
una piedra infinita al final
infinitum. Entonces tendra ante El
de una hora.
1 [191],
2 [149],
37
38 La l
ampara de Thomson
Pero el termino supertarea fue introducido por J. F. Thomson en su seminal artculo de 1954 [191]. El artculo de Thomson fue motivado por
el argumento de Black [23] sobre la imposibilidad de realizar infinitas acciones sucesivas y por las subsiguientes discusiones sobre ese argumento
realizadas por R. Taylor [190] y J. Watling [198]. En su artculo, Thomson intento probar la imposibilidad de realizar supertareas. El argumento
de Thomson fue, a su vez, criticado en otro artculo seminal, en este caso
de P. Benacerraf [17]. El exito de la crtica de Benacerraf finalmente motivo la creaci
on de una nueva teora infinitista independiente de la teora
de conjuntos: la teora de supertareas.
86 Las posibilidades de realizar una infinidad no contable de acciones
fueron examinadas, y descartadas, por P. Clark y S. Read [48]. Las supertareas han sido tambien consideradas desde la perspectiva del an
alisis no
est
andar,3 aunque las posibilidades de realizar una hipertarea durante un
intervalo hiperreal de tiempo no han sido discutidas, a pesar de que los intervalos finitos hiperreales se pueden dividir en una infinidad hipercontable
de intervalos infinitesimales (particiones hiperfinitas).4 Pero la mayora de
las supertareas son -supertareas, i.e. sucesiones ordenadas de acciones
realizadas durante un intervalo finito (o percibido como finito) de tiempo.
87 La idea b
asica de la crtica Benacerraf contra el argumento de Thomson es la imposibilidad de derivar consecuencias formales sobre el estado
final de la superm
aquina que realiza la supertarea, a partir de la sucesion
de estados que la m
aquina atraviesa como consecuencia de la ejecucion de
la supertarea. Pero, como veremos, el an
alisis de Benacerraf del argumento
de la lampara de Thomson es incompleto.
88 En efecto, si el mundo continua siendo el mismo mundo que era antes
de la ejecucion de una supertarea, y si se sigue permitiendo pensar en
terminos racionales en el mismo marco de las leyes de la logica, entonces
el argumento de Thomson se pueden reorientar hacia la definicion formal
de la m
aquina que realiza la supertarea. Una definicion que no depende
del n
umero de tareas realizadas con esa m
aquina, una definicion que, por
consiguiente, tiene la misma validez antes durante y despues de realizar la
supertarea. Asumimos pues que la ejecucion de una supertarea no cambia
de forma arbitraria una definicion legtima previamente establecida.
3 [131],
4 [187],
La l
ampara de Thomson 39
mpara de Thomson
La la
89 Como hizo Thomson en 1954, en la siguiente discusion usaremos una
de esas:
... lamparas de lectura que tienen un boton en la base. Si la
lampara est
a apagada y se presione el boton, la lampara se enciende, y si la l
ampara est
a encendida y se presione su boton la
lampara se apaga. ([191], p. 5).
Completemos la definicion de Thomson con las dos siguientes condiciones
sobre el funcionamiento (te
orico) de la lampara:
1) La lampara de Thomson solo tiene dos estados: encendida y apagada
2) El estado de la l
ampara (encendida/apagada) cambia si, y solo si,
se pulsa su bot
on.
3) Cada cambio de estado tiene lugar en un determinado y preciso
instante.
4) La pulsacion del bot
on y el correspondiente cambio de estado (encendida/apagada) de la l
ampara son sucesos instantaneos y simult
aneos.
90 Supongamos ahora que se pulsa el boton de la
lampara en cada uno de los infinitos instantes sucesivos ti , y s
olo en ellos, de una sucesion estrictamente creciente y ordenada de instantes htn i definidos
dentro de un intervalo finito de tiempo (ta , tb ), siendo tb el lmite de la sucesion htn i. En el instante tb Figura 7.2: La lampara
de Thomson.
se habra completado una sucesion ordenada hpn i
de pulsaciones del bot
on de la l
ampara (cada pulsacion pi ejecutada en el
instante ti ), y por tanto se habra completado una sucesion ordenada
de cambios de estado de la l
ampara. O con otras palabras, en el instante
tb se habra completado la supertarea de Thomson. Recuerdese que esto es
un argumento puramente conceptual, de modo que no nos preocupan los
detalles fsicos.
91 Thomson intent
o derivar una contradicci
on de su supertarea especulando sobre el estado final de la l
ampara en el instante tb en terminos de
la sucesion de pulsaciones del bot
on de la lampara completada a lo largo
de la supertarea ([191], p. 5):
[La lampara] no puede estar encendida, porque nunca la encend sin volverla a apagar. No puede estar apagada porque la
40 La l
ampara de Thomson
La l
ampara de Thomson 41
consecuencia l
ogica de ser una l
ampara de Thomson. Esa ser
a la clave de
la argumentaci
on que sigue.
95 Considerese el instante tb , el lmite de la sucesion htn i de instantes
en los que se llevan a cabo la sucesion de pulsaciones hpn i del boton de la
lampara que constituyen la supertarea. Ese instante es, por tanto, el primer
instante despues de completar la sucesion de encendidos y apagados de la
lampara. El primer instante en el que ya no se pulsa el boton de la lampara.
Sea ahora Sb el estado de la l
ampara en el instante tb . Siendo el estado de
una lampara de Thomson, s
olo puede ser encendida o apagada. Y esta
conclusion no tiene nada que ver con el n
umero de encendidos/apagados
que previamente se hayan llevado a cabo. La lampara estar
a encendida
o apagada porque, siendo una l
ampara de Thomson, s
olo tiene esos dos
estados.
96 Algunos infinitistas afirman, sin embargo, que en tb , despues de realizar la supertarea de Thomson, la l
ampara puede estar en cualquier estado
desconocido, incluso en un estado exotico. Pero una lampara que puede
estar en un estado desconocido no es una lampara de Thomson: los u
nicos
estados posibles de una l
ampara de Thomson son encendida y apagada. No
hay otra alternativa sin violar arbitrariamente la legtima definicion formal de la lampara de Thomson. Y suponemos que ninguna teora formal
est
a autorizada a violar arbitrariamente una definicion formal, ni, obviamente, a cambiar de forma arbitraria la naturaleza del mundo. Ni que decir
tiene que si ese fuera el caso, cualquier cosa se podra esperar de esa teora.
97 Otros piensan que el estado Sb es la consecuencia de completar la
sucesion ordenada de pulsaciones hpn i del boton de la lampara, puesto
que esa sucesion de pulsaciones, y solo ella, se ha realizado. Pero si completar la sucesion de pulsaciones hpn i significa realizar todas y cada una
de las infinitas pulsaciones sucesivas pi , y s
olo ellas, entonces tenemos un
problema. El problema de que ninguna pulsacion pi de hpn i origina Sb .
Ninguna. As es, si pv es una pulsacion cualquiera de hpn i, pv no puede ser
la causa de Sb porque en tal caso el bot
on de la lampara se habra pulsado
s
olo un n
umero finito v de veces. O en otros palabras, si quitamos de hpn i
todas las pulsaciones que no originan Sb , entonces las quitaramos todas.
98 En esas condiciones, como puede decirse que la compleci
on de la
sucesion de pulsaciones hpn i, ninguno de cuyos elementos origina Sb , origina precisamente Sb ? Es la compleci
on de la sucesion de pulsaciones una
pulsacion adicional diferente a todos los elementos de hpn i? Si ese fue-
42 La l
ampara de Thomson
(1)
que a
nade un problema adicional: c
omo es posible completar una sucesi
on de acciones
en el intervalo (ta , tb ) si no se puede completar en ninguno de los instantes de (ta , tb )?
La l
ampara de Thomson 43
44 La l
ampara de Thomson
quina de contar
La ma
110 La m
aquina de contar (CM ) que examinaremos en esta secci
on plantea un problema similar al de la l
ampara de Thomson que acabamos de
analizar. Como su nombre sugiere, CM cuenta n
umeros naturales, y lo
hace contando los sucesivos n
umeros 1, 2, 3. . . en cada uno de los sucesivos
instantes t1 , t2 , t3 . . . de la sucesion htn i anterior. Cuenta cada n
umero n en
el preciso instante tn . Adem
as la m
aquina dispone de un LED azul que se
enciende cuando, y solo cuando, la m
aquina cuenta un n
umero par; y se
apaga cuando, y solo cuando, la m
aquina cuenta un n
umero impar.
111 La biyecci
on f :
f : htn i 7 N
(2)
f (tn ) = n
(3)
La m
aquina de contar 45
46 La l
ampara de Thomson
n
umero par.
n
Introduccio
115 Se examinan aqu las condiciones bajo las cuales el argumento de
Cantor de 1874 sobre la naturaleza no contable de los n
umeros reales se
podra aplicar tambien al conjunto de los n
umeros racionales. Ser
a necesario, por tanto, demostrar que esas condiciones nunca se cumplen si se quiere
evitar la amenaza de una contradicci
on relacionada con la cardinalidad del
conjunto de los n
umeros racionales, que el propio Cantor demostro era
numerable [31]. Se incluye tambien una breve variaci
on del argumento de
Cantor aplicado a los n
umeros racionales.
(1)
48 Revisi
on del argumento de Cantor de 1874
es como sigue.
(a1, b1)
(a1, b1)
(a1, b1)
(a1, b1)
(a1, b1)
(a1, b1)
(a1, b1)
(a, b)
(a, b)
(a, b)
(a, b)
(a, b)
(a, b)
(a, b)
r3 > r6
a1 = r6 b1 = r3
r7 < r12
a2 = r7 b2 = r12
(a1, b1 ) = (r6 , r3 )
(2)
(3)
(4)
(5)
124 El n
umero de R-intervalos podr
a ser finito o infinito, y las dos posibilidades han de ser examinadas. Supongamos, en primer lugar, que el
n
umero de R-intervalos es finito.1 En este caso habra un u
ltimo intervalo2
(an , bn ) en la sucesion de intervalos. Este u
ltimo R-intervalo contendra
como mucho un elemento rv de hrn i, en caso contrario sera posible definir como mnimo un nuevo R-intervalo (an+1 , bn+1 ). Sea, por tanto, s un
elemento cualquiera de (an , bn ), diferente de rv en el caso de que rv exista. Evidentemente s es un n
umero real que est
a dentro de (a, b) y que no
pertenece a la sucesion hrn i. En consecuencia, la sucesion hrn i no contiene
a todos los n
umeros reales, lo que prueba la falsedad de la hip
otesis inicial
sobre la naturaleza contable de R.
125 Supongamos ahora que el
a1 a2 a3 a4
L a < L b b4 b3 b2 b1
n
umero de R-intervalos es infini3
to. Puesto que la sucesion han i es
estrictamente creciente y cualquier
b4 b3 b2 b1
a1 a2 a3 a4
La = Lb
elemento de hbn i es una cota superior de la sucesion, ha de existir el Figura 8.2: Alternativas de convergencia para
han i y hbn i.
lmite La de han i. Por su parte, la
sucesion hbn i es estrictamente decreciente y cualquier elemento de han i
es una cota inferior de la misma, por tanto ha de existir el lmite Lb de
hbn i. Teniendo ahora en cuenta que todo ai es menor que todo bi se ha de
verificar: La Lb .
126 Supongamos que La < Lb . En este caso cualquiera de los infinitos
elementos del intervalo real (La , Lb ) es un n
umero real perteneciente a
(a, b) que no pertenece a la sucesion hrn i, y por tanto una prueba de la
falsedad de la hip
otesis inicial sobre la naturaleza numerable de R.
127 Finalmente, supongamos que La = Lb = L. Es claro que L es un
elemento de (a, b) que no pertenece a hrn i. En efecto, supongase que L fuera
un elemento rv de hrn i. De acuerdo con 123, rv no pertenece a ninguno de
los sucesivos R-intervalos:
(av , bv ) (av+1 , bv+1 ) (av+2 , bv+2 ) . . . ,
(6)
2O
50 Revisi
on del argumento de Cantor de 1874
numerabilidad de R.
(7)
(8)
(9)
Versi
on racional del argumento de Cantor 51
(11)
135 El n
umero de Q-intervalos podr
a ser finito o infinito, y las dos posibilidades han de ser examinadas. Supongamos, en primer lugar, que el n
ume4
ro de Q-intervalos es finito . En este caso habra un u
ltimo Q-intervalo5
(an , bn ) en la sucesion de Q-intervalos. Este u
ltimo Q-intervalo contendra
como mucho un elemento qv de hqn i, en caso contrario sera posible definir como mnimo un nuevo Q-intervalo (an+1 , bn+1 ). Sea, por tanto, s un
elemento cualquiera de (an , bn ), diferente de qv en el caso de que qv exista.
Evidentemente s es un n
umero racional que est
a dentro de (a, b) y que no
pertenece a la sucesion hqn i. En consecuencia, la sucesion hqn i no contiene a todos los n
umeros racionales, lo que prueba la falsedad de nuestra
hip
otesis inicial sobre la naturaleza contable de Q.
136 Supongamos ahora que el n
umero de Q-intervalos es infinito.6 Puesto
que la sucesion han i es estrictamente creciente y cualquier elemento de hbn i
es una cota superior de han i, ha de existir el lmite real La de han i. Por su
parte, la sucesion hbn i es estrictamente decreciente y cualquier elemento
de han i es una cota inferior de hbn i, por tanto ha de existir el lmite real
Lb de hbn i. Teniendo ahora en cuenta que todo ai es menor que todo bi se
ha de verificar: La Lb , siendo La y Lb dos n
umeros reales (racionales o
irracionales).
137 Supongamos que La < Lb . En este caso cualquiera de los infinitos
racionales del intervalo real (La , Lb ) es un n
umero racional perteneciente
a (a, b) que no pertenece a la sucesion hqn i, y por tanto una prueba de la
falsedad de nuestra hip
otesis inicial sobre la naturaleza numerable de Q.
138 Finalmente supongamos que La = Lb = L. Resulta inmediato que L
es un n
umero real del intervalo real (a, b) que no est
a en hqn i. En efecto,
si L es irracional entonces est
a claro que no pertenece a hqn i; supongamos
entonces que L es racional, y supongamos tambien que es un elemento qv
de hqn i. De acuerdo con 134, qv no pertenece a ninguno de los sucesivos
4 Incluyendo
5O
52 Revisi
on del argumento de Cantor de 1874
intervalos:
(av , bv ), (av+1 , bv+1 ), (av+2 , bv+2 ), . . .
(12)
(13)
(14)
fuera imposible realizar todas las definiciones posibles estaramos ante la contradicci
on
elemental de una posibilidad imposible.
54 Revisi
on del argumento de Cantor de 1874
dominio aunque no conozcamos su valor actual. Algunos infinitistas argumentan, sin embargo, que aunque la restriccion 144 se aplica a cada una
de las infinitas definiciones sucesivas de x, una vez completada la sucesion
infinita de esas definiciones no podemos asegurar que x siga siendo una
variable racional apropiadamente definida dentro de su dominio (a, b), a
pesar de que cada una de esas definiciones definio correctamente a x dentro de su dominio (a, b). Como si la compleci
on de una sucesion infinita de
definiciones tuviera efectos desconocidos adicionales sobre el objeto definido, como perder la condici
on de ser una variable racional apropiadamente
definida en su dominio.
148 Los mismos efectos desconocidos adicionales sobre los objetos definidos cabra esperar, entonces, en cualquier otro procedimiento, definicion o
prueba compuesta por infinitos pasos sucesivos, en ese caso las matem
aticas infinitistas no tendran ning
un sentido. Por ejemplo, en el argumento
de Cantor de 1874 si el n
umero de R-intervalos es infinito, y debido a esos
desconocidos efectos adicionales de la compleci
on sobre el objeto definido,
no podramos asegurar que esos intervalos contin
uen siendo los intervalos
reales dentro de (a, b) que fueron definidos.
149 Si completar la sucesion infinita de definiciones (14) significa realizar
todas y cada una de las definiciones de la sucesion (y s
olo ellas), cada una
de las cuales define a x dentro de su dominio (a, b), y si la compleci
on de
la sucesion de definiciones no tiene efectos desconocidos arbitrarios sobre
x, entonces, una vez realizadas todas las definiciones posibles, x s
olo puede
estar definida como un cierto n
umero racional r (cualquiera que sea) dentro
de su dominio (a, b).
150 Considerese el intervalo racional (a, r) y un elemento cualquiera s
dentro de (a, r). Es evidente que s (a, b) y s < r. Probaremos que s no
puede ser un elemento de hqn i. En efecto, supongamos que s pertenece a
la sucesion hqn i. Habr
a entonces un elemento qv de hqn i tal que s = qv , y
siendo s un elemento de (a, r) tendremos qv (a, r) y por tanto qv < r.
Pero eso es imposible porque:
1) El ndice v de qv es un n
umero natural.
2) De acuerdo con 145, para cada n
umero natural v es posible llevar
a cabo las primeras v definiciones (14).
3) Se han llevado a cabo todas las posibles definiciones (14).
4) Al menos las primeras v definiciones (14) se han llevado a cabo.
5) Dv (x) = mn(Dv1 (x), qv ) y entonces Dv (x) qv . Por lo tanto
r qv
6) Es imposible entonces que qv < r.
En consecuencia s no puede ser un elemento de hqn i.
151 El n
umero racional s prueba entonces la existencia de n
umeros racionales dentro de (a, b) que no est
an en hqn i, lo que a su vez prueba la
falsedad de la hip
otesis inicial sobre la naturaleza contable de Q. Ahora
bien, teniendo en cuenta que Cantor demostro la naturaleza contable del
conjunto Q, la conclusion final solo puede ser que Q es y no es numerable.
Comentario 151-1.- La sucesion de definiciones (14) lleva a otros resultados contradictorios que el lector podra facilmente encontrar. Evidentemente los resultados contradictorios no se invalidan entre s, simplemente
muestran la existencia de contradicciones.8 Si, a partir de la misma hip
otesis, dos argumentos independientes conducen a resultados contradictorios,
ambos argumentos est
an demostrando la inconsistencia de la hip
otesis inicial. Un argumento no se puede refutar con otro argumento diferente porque este u
ltimo argumento llegue a conclusiones opuestas al primero. Un
argumento solo se pude refutar indicando d
onde y por que ese argumento
falla.
8 Una
56 Revisi
on del argumento de Cantor de 1874
9.-Intercambios numericos
-Intercambios
152 Como veremos en este captulo, es posible hacer desaparecer un
n
umero de una lista de n
umeros si la lista es ordenada y el n
umero
intercambia sucesivamente su posici
on en la tabla (fila) con el n
umero situado en la siguiente posici
on de la tabla, mientras haya un n
umero en
la siguiente posici
on de la tabla con el que intercambiar su posici
on. Este
resultado absurdo es una consecuencia inevitable de asumir que las listas
ordenadas existen como totalidades completas. El conflicto desaparece
en las listas potencialmente infinitas.
t1
t2
t3
t4
t5
t6
58 Intercambios num
ericos
En (1) se llevar
a a cabo si, y solo si, deja al n
umero 1 situado en
rn+1 y al n
umero n+1 en rn .
155 Es inmediato probar que para cada n
umero natural v es posible realizar los primeros v intercambios hEi (1)ii=1,2...v sin violar la Restriccion
154. Es evidente que se puede realizar E1 (1) sin violar la Restriccion 154,
porque ese intercambio deja al n
umero 1 en r2 y al n
umero 2 en r1 . Supongamos que, siendo n un n
umero natural cualquiera, se pueden realizar los
primeros n intercambios hEi (1)ii=1,2...n sin violar la Restriccion 154. Una
vez realizados, el n
umero 1 estar
a situado en rn+1 y el n
umero n+1 en
rn . En consecuencia se puede realizar En+1 (1), porque deja al n
umero 1
situado en rn+2 y al n
umero (n + 2) en rn+1 . Este razonamiento inductivo
prueba que para todo n
umero natural v es posible realizar los primeros v
intercambios hE(1)ii=1,2...v sin violar la Restriccion 154.
156 Examinaremos las consecuencias de esta conclusion en las dos secciones siguientes mediante dos argumentos independientes.
Argumento de la supertarea
157 La teora de supertareas presupone la posibilidad de realizar infinitas
acciones en un tiempo finito (ver [154] para m
as detalles y los Captulos
7 y 25 de este libro). La breve discusion que sigue analiza esta hip
ote1
sis por medio de un supertarea condicionada elemental cuyas sucesivas
acciones (tareas) consisten precisamente en la realizaci
on de los sucesivos
intercambios Ei (1) sujetos a la Restriccion 154. Como consecuencia de esos
sucesivos intercambios el n
umero 1, originalmente colocado en la primera
fila, ser
a sucesivamente colocado en la 2a , 3a , 4a ... fila de T .
158 Sea htn i una sucesion estrictamente creciente y ordenada de instantes en el intervalo real (ta , tb ) cuyo lmite es tb . Supongamos que cada
posible intercambio Ei (1) se realiza en el preciso instante ti de htn i. Es
evidente que en el instante tb se habran realizados todos los posibles intercambios Ei (1). El problema es: en que fila estar
a el n
umero 1 en el
instante tb ? Si rv es cualquier fila de T , est
a claro que 1 no est
a en rv
porque en tal caso los v primeros intercambios E(1)i=1,2,...v no se habran
efectuado,2 lo que seg
un 155 es imposible. Por lo tanto, y siendo rv una
fila cualquiera de T , debemos concluir que en el instante tb el n
umero 1
ha desaparecido de la tabla. En tb , por lo tanto, la Restriccion 154 ha sido
1 En
violada, a pesar de que ninguno de los intercambios realizados la ha violado. Mientras todos los n
umeros mayores que 1 permanecen en la tabla,
el n
umero 1 ha desaparecido misteriosamente en una bocanada de humo
infinitista.
159 Cabe destacar que la conclusion sobre la desaparicion del n
umero
1 no se ha derivado de los sucesivos intercambios realizados. Simplemente
hemos demostrado que una vez completada la supertarea, el n
umero 1 no
puede estar en ninguna de las filas de la tabla T , en caso contrario, si
estuviera en una fila rv , no se habran realizado los primeros intercambios
E1,2,...v (x), lo que va en contra de 155.
60 Intercambios num
ericos
(2)
(3)
(4)
lo que significa que una vez realizados todos los posibles intercambios Ei (1)
el n
umero 1 ya no est
a en T . O, alternativamente, que es imposible realizar
todos los posible intercambios Ei (1).
ri = i + 1
(5)
i = 1, 2, 3, . . . n 1. Ei (1) :
r
=1
i+1
ri = i + 1
(6)
i = 1, 2, 3, . . . n 1 Ei (1) :
r
=1
i+1
i = 1, 2, 3, . . . Ei (1) :
ri = i + 1
r
i+1
es inconsistente.
=1
(7)
n
Introduccio
165 El argumento de la diagonal de Cantor hace uso de una hipotetica
tabla T que se supone contiene todos los n
umeros reales en el intervalo real
(0, 1). Dicha tabla puede ser facilmente redefinida con el fin de garantizar
que contiene por lo menos todos los n
umeros racionales de (0, 1). En estas
condiciones, podran reordenarse las filas de T de tal manera que pudiera
definirse una antidiagonal racional? En ese caso, y por la misma raz
on que
en el argumento original de Cantor, se habra probado que el conjunto de
los n
umeros racionales es no numerable. Y entonces tendramos una contradicci
on, porque como el mismo Cantor tambien probo, el conjunto de los
n
umeros racionales es numerable. Debe, por lo tanto, suspenderse el argumento de la diagonal de Cantor hasta que se demuestre la imposibilidad
de tal reordenamiento? Sera posible ese reordenamiento? La discusion
que sigue aborda ambas cuestiones.
Teorema del n-
esimo decimal
166 Empezaremos demostrando un resultado b
asico relacionado con la
representacion decimal de los n
umeros racionales (se podra aplicar tambien a los n
umeros irracionales) del que haremos uso m
as adelante. Para
ello, sea M el conjunto de todos los n
umeros reales en el intervalo real
(0, 1) expresados en notaci
on decimal y completados, en los casos de un
n
umero finito de cifras decimales, con infinitos ceros a la derecha, as en
lugar de 0,25 escribiremos 0,25000. . . . El subconjunto de todos los n
umeros
racionales del conjunto M se denotara por MQ .
167 Vamos a demostrar el siguiente:
Teorema 167 (del n-
esimo decimal).-Para cada n
umero natural n hay infinitos elementos diferentes en MQ con el mismo
dgito decimal dn en la misma n-esima posici
on de su representacion decimal.
61
62 La diagonal de Cantor
Demostraci
on.-Consideremos un elemento cualquiera r0 de MQ de la forma:
r0 = 0.d1 d2 . . . dn
(1)
donde cada di es una cifra decimal cualquiera (0,1,2,3. . . 9). A partir de r0
definimos la sucesion de n
umeros racionales:
r1 = 0.d1 d2 . . . dn 1000 . . .
(2)
r2 = 0.d1 d2 . . . dn 11000 . . .
(3)
r3 = 0.d1 d2 . . . dn 111000 . . .
(4)
...
rk = 0.d1 d2 . . . dn 1 .(k)
. . 1000 . . .
(5)
...
La biyeccion f entre N (el conjunto de los n
umeros naturales) y MQ definida
por:
f (k) = rk , k N
(6)
demuestra, que siendo n un n
umero natural cualquiera, existe un subconjunto numerable f (N) de MQ , cada uno de cuyos elementos rk tiene una
expansi
on decimal finta de k + n decimales con la misma cifra decimal dn
en la misma n-esima posici
on.
todos los n
umeros racionales de (0, 1).
169 La diagonal de la tabla T de Cantor es el n
umero real D = 0.d11 d22 d33 . . .
cuyo n-esimo decimal dnn es el n-esimo decimal de la n-esima fila rn de T .
A partir de este n
umero Cantor define otro n
umero real en M , la antidiagonal D de la siguiente manera: c
ambiese cada decimal dnn por cualquier
otro decimal diferente. Esto asegura que, siendo un n
umero real del conjunto M , D es diferente de todas las filas de T : se diferencia de cada fila
rn al menos en su n-esimo decimal.
170 En consecuencia, M no puede ser numerable, como se haba supuesto.
Este es el argumento de la diagonal de Cantor, un impecable Modus Tollens
(MT)1 [35]. En efecto, consideremos las dos siguientes proposiciones:
p: M es numerable
(8)
(9)
(10)
(11)
(12)
64 La diagonal de Cantor
se demuestre, sin hacer uso circular del argumento de la diagonal, la imposibilidad de reordenar las filas de T de tal manera
que pueda definirse una antidiagonal racional.
173 Sin esa demostracion, la teora de conjuntos est
a bajo la amenaza de
una contradicci
on fundamental. Resulta entonces impactante que durante
m
as de un siglo nadie haya planteado ese problema (los reordenamientos
de las filas de T ), incluyendo a miles de matem
aticos y logicos de todo el
mundo.
Antidiagonales racionales
174 Examinaremos ahora las posibilidades y las consecuencias de reordenar las filas de T en el sentido indicado en 172.
175 Una vez asumida la existencia del conjunto de todos los cardinales
finitos como una totalidad completa, Cantor demostro la existencia de
sucesiones ordenadas [37], [39, Th. 15-A]. En una sucesion ordenada, como la anterior tabla T, cada uno de sus elementos estar
a siempre
precedido por un n
umero finito de elementos y seguido por un n
umero
infinito de elementos. A continuaci
on veremos una conflictiva consecuencia
de esa inmensa asimetra.
176 Empezaremos definiendo el concepto de fila D-modular en la tabla T .
En primer lugar, diremos que una fila ri de T es n-modular si su n-esima
cifra decimal es (n mod 10). Esto significa que una fila es, por ejemplo,
2348-modular si su 2348-esima cifra decimal es 8; o que es 453-modular
si su 453-esima cifra decimal is 3. Si una fila rn es n-modular (siendo el
mismo n en n-modular y en rn ) se dir
a que es D-modular. Por ejemplo, las
filas:
r1 = 0.1007647464749943400034577774413 . . .
(13)
r2 = 0,2200045667778943000000000000000 . . .
(14)
r3 = 0,0030000000000000000000000000000 . . .
(15)
r9 = 0,1112223390000004340666666666333 . . .
(16)
r13 = 0,1234567890003000567585843456931 . . .
(17)
son todas ellas D-modulares. Una fila ri no D-modular se puede intercambiar con cualquier fila siguiente rj que sea i-modular (el n
umero en rj pasa
a ri , y el n
umero en ri pasa a rj ), siempre que exista una fila siguiente
i-modular. Llamaremos D-intercambios a esos intercambios de las filas de
T.
Antidiagonales racionales 65
n t er
ca
m.
136900987838344...
028282828282828...
133389745600000...
032967898354283...
136900987838344...
028282828282828...
133389745600000...
655489023467289...
...
...
655489023467289...
345787352637839...
032967898354283...
345787352637839...
...
...
D- i
Figura 10.1: Izquierda: r4 antes de ser D-intercambiada. Derecha: Una vez intercambiada, r4 es una fila D-modular.
178 Es inmediato demostrar, por Modus Tollens (MT), que como consecuencia de la permutaci
on P cada fila de T se convierte en D-modular.
En efecto, vamos a suponer que una fila rn no se convierte en D modular
como consecuencia de P. Esto significa que rn no es D-modular ni pudo
ser D-intercambiada con una fila siguiente n-modular. Ahora bien, todos
las filas n-modulares tienen la misma cifra (n mod 10) en la misma n-esima posici
on de su representaci
on decimal y, seg
un el teorema 167 de la
n-esima cifra decimal, hay infinitos n
umeros racionales con la misma cifra
en la misma posici
on de su representacion decimal, cualquiera que sea el
cifra y la posici
on. En consecuencia, puesto que n es finito, la fila rn estar
a precedida por un n
umero finito y seguida por un n
umero infinito de
filas n-modulares. Cualquiera de estas infinitas filas n-modulares se tuvo
que haber D-intercambiado con rn . Por lo tanto, resulta imposible que rn
no sea D-modular. En consecuencia (Modus Tollens), cada fila rn de T se
convierte en D-modular como consecuencia de P.
179 Cabe destacar que el resultado demostrado en 178 es una consecuencia formal tanto del teorema 167 de la n-esima cifra decimal como
66 La diagonal de Cantor
(18)
q2
q1
(19)
(20)
Antidiagonales racionales 67
racionales hAn i:
n N : An = 0.p1 p1 . n. . p1 pb2
(21)
184 La permutaci
on P, se puede considerar incluso como un caso de supertarea (hipercomputacion): sea htn i una sucesion estrictamente creciente
y ordenada de instantes en un intervalo finito de tiempo (ta , tb ), siendo tb el lmite de la sucesion. Supongamos que P se aplica a cada fila ri
justo en el preciso instante ti de htn i. Por lo tanto, ri se mantendra sin
cambios si se trata de una fila D-modular (o si no es D-modular pero no se
puede D-intercambiar) o ser
a D-intercambiada por cualquier fila i-modular
siguiente. En el instante tb la permutaci
on P se habra aplicado a cada fila
cada n-esima cifra decimal de 0.c
21 se verifica (n mod 10) = 2 si n es impar, o (n
mod 10) = 1 si es par.
2 Para
68 La diagonal de Cantor
Un nota final
187 Terminemos recordando que un argumento no puede ser refutado
con otro argumento diferente. En palabras de W. Hodges: [101, p. 4]
Como puede alguien caer en un estado mental en el que se
persuade a s mismo de que es posible criticar un argumento
sugiriendo otro argumento diferente que no llega a la misma
conclusion?
Esta estrategia inadmisible es usada frecuentemente en los debates relacionados al infinito, por ejemplo para refutar los argumentos de Cantor sobre
la naturaleza no contable de los n
umeros reales. Refutar un argumento
significa indicar d
onde y por que ese argumento falla. Si dos argumentos
conducen a conclusiones contradictorias, simplemente est
an demostrando
la existencia de una contradicci
on.
11.-Intervalos racionales
n
Introduccio
188 En este captulo se desarrollan dos argumentos relacionados con la
cardinalidad del conjunto Q de los n
umeros racionales. En el primero de
ellos se define una sucesion de intervalos racionales positivos cuyos sucesivos elementos se definen por medio de una sucesion ordenada de
n
umeros racionales positivos que contiene a todos los n
umeros racionales positivos. Como veremos, estos intervalos contienen n
umeros racionales
positivos que no son miembros de la sucesion definidora pero que tendran
que ser miembros de la sucesion definidora. En el segundo argumento redefiniremos un intervalo racional por sucesivas redefiniciones de su extremo
derecho, de modo que el intervalo se hace progresivamente m
as corto. El
resultado es tambien una contradicci
on relacionada con la cardinalidad del
conjunto Q de los n
umeros racionales.
n cantoriana
Una particio
189 Como es sabido, el conjunto de los n
umeros racionales en su natural orden de precedencia est
a densamente ordenado. Por lo tanto, si a
y b son dos n
umeros racionales cualquiera, entonces el el intervalo (a, b)
contiene infinitos n
umeros racionales diferentes, independientemente de lo
cerca que a este de b. O en otras palabras (y al contrario de lo que ocurre
con cualquier n
umero natural de la sucesion 1, 2, 3. . . ), ning
un n
umero
racional tiene un sucesor inmediato en el orden natural de precedencia de
los n
umeros racionales. Esta propiedad trivial de los n
umeros racionales
ser
a de capital importancia en el siguiente argumento.
190 Sea f una correspondencia uno a uno entre el conjunto N de los
n
umeros naturales y el conjunto numerable Q+ de los n
umeros racionales
positivos, y consideremos la sucesion ordenada hqn i definida por:
i N : qi = f (i)
69
(1)
70 Intervalos racionales
(2)
(x, qi ] (qi , y] = .
(3)
(4)
(5)
(6)
Una partici
on cantoriana 71
(7)
72 Intervalos racionales
Si f (i)
/ Ia Entonces Di (Ia ) = Di1 (Ia )
(8)
(9)
Discusi
on 73
n
Discusio
200 Los Beitr
age (Contributions)1 , de Cantor publicados en 1895 (Parte
I, [36]) y 1897 (Paret II, [37]) contienen los fundamentos de la teora de los
cardinales y ordinales transfinitos. El epgrafe 6 del primer artculo empieza
asumiendo la existencia del conjunto de todos los cardinales finitos como
una totalidad completa (aunque m
as que como una hip
otesis es introducida como un ejemplo de conjunto transfinito cuya existencia como una
totalidad completa Cantor dio por sentada). Esta hip
otesis implcita (equivalente al moderno Axioma del Infinito) es la u
nica hip
otesis en la teora
de Cantor de los n
umeros transfinitos. A partir de ella, Cantor dedujo la
existencia de sucesiones crecientes de ordinales transfinitos (Teoremas 15
A-K) y cardinales transfinitos (Teoremas 16 D-F). La consistencia de la
teora de Cantor descansa, pues, en la consistencia de esa u
nica hip
otesis
fundacional.
201 En el a
no 1874 Cantor demostro por primera vez que el conjunto de
los n
umeros reales no es numerable [31], [32], [43]. Dos de las tres alternativas finales de la prueba de Cantor se pueden aplicar tambien al conjunto de
los n
umeros racionales. En consecuencia, es necesario demostrar que esas
alternativas nunca son satisfechas por el conjunto de los n
umeros raciones.
1 Traducci
on
inglesa [39].
74 Intervalos racionales
En otro caso ese conjunto sera y no sera numerable- Hasta ahora, y hasta
donde yo se, este problema ni siquiera ha sido planteado.
202 En el a
no 1891 Cantor demostro por segunda vez que el conjunto
de los n
umeros reales no es numerable, ahora con su famoso metodo de la
diagonal, un impecable Modus Tollens [35]. La antidiagonal de Cantor es
un n
umero real del intervalo (0, 1), y siendo real ser
a racional o irracional.
Si fuera racional tendramos el mismo problema que con su argumento de
1874. Por tanto, se debera demostrar formalmente que ninguna permutacion de las o filas de la tabla de Cantor origina una diagonal racional
(las antidiagonales racionales se deducen inmediatamente de las diagonales
racionales).
203 El referido argumento de Cantor de 1874 empieza demostrando que
el conjunto de los n
umeros algebraicos (y por tanto el conjunto des los
n
umeros racionales) es numerable. Algunos a
nos despues, en 1885, Cantor
publico un corolario inmediato de ese resultado: las particiones no numerables de la recta real son imposibles, por la u
nica raz
on de que si fueran
posibles entonces el conjunto de los n
umeros racionales sera no numerable [34]. Por consiguiente, y como en los argumentos de Cantor de 1874
y 1891, y por las mismas razones, deberamos demostrar la imposibilidad
de las particiones no contables de la recta real mediante un argumento
independiente del corolario de Cantor.
204 En conclusion, y para asegurar que la teora de conjuntos est
a libre de inconsistencias relacionadas con la cardinalidad del conjunto de los
n
umeros racionales, los argumentos de Cantor de 1784, 1885 y 1891 debera
ser completados en el sentido indicado en 201-203.
205 Por otra parte los argumentos anteriores sobre intervalos racionales
demuestran dos contradicciones relacionadas con la cardinalidad del conjunto de los n
umeros racionales, lo que u
nicamente puede significar que ese
conjunto es y no es numerable. Si ese fuera el caso, y de acuerdo con 200, la
supuesta existencia de los conjuntos infinitos como totalidades completas
sera inconsistente, simplemente porque esa hip
otesis es la u
nica hip
otesis
de la teora de los n
umeros transfinitos.
12.-Particiones no contables
n
Introduccio
206 El argumento de Cantor de 1874 y el argumento de la diagonal del
mismo autor demostraron que el conjunto de los n
umeros reales no es numerable. Aunque el argumento de la diagonal ha recibido varias crticas,
creo que ambos argumentos est
an bien fundados y de hecho prueban que el
conjunto de los n
umeros reales no puede ser numerable. Ambos argumentos, sin embargo, tambien podran aplicarse al conjunto de los n
umeros
racionales, el primero de ellos con ciertas limitaciones.
207 Obviamente, si fuera posible aplicar alguno de esos argumentos al
conjunto Q de los n
umeros racionales, estaramos frente a una contradicci
on
fundamental: ese conjunto sera y no sera numerable. Y la causa de esta
contradicci
on s
olo podra ser la hip
otesis del infinito actual subsumida en
el Axioma del Infinito.
208 Por consiguiente, el Axioma del infinito estar
a en cuesti
on hasta que
se pruebe la imposibilidad de satisfacer los requisitos de ambos argumentos de Cantor para que puedan ser aplicados al conjunto de los n
umeros
racionales. Y esto es un hecho, no una hip
otesis m
as o menos discutible.
Durante m
as de un siglo nadie haya hecho notar que, en efecto, ser
a necesario demostrar esa imposibilidad para garantizar la consistencia del Axioma
del Infinito. Lo que tambien es un hecho. Y uno realmente chocante, teniendo en cuenta el elevado n
umero de personas que han estudiado ambos
argumentos, particularmente el argumento de la diagonal.
209 Como veremos en este captulo, existe un tercer argumento de Cantor
[34] relacionado con la cardinalidad del conjunto Q de los n
umeros racionales, y que tambien podra utilizarse para poner a prueba la consistencia
de la hip
otesis de infinito actual.
76 Particiones no contables
(1)
xb = y a , xc = y b , . . .
(2)
(3)
podramos seleccionar un n
umero racional qh dentro de cada intervalo
(xh , yh ] de la partici
on P y finalmente tendramos un conjunto no numerable de diferentes n
umeros racionales, lo cual es imposible porque el
conjunto de n
umeros racionales es numerable.
211 Como acabamos de ver, la prueba de Cantor de 1885 se basa en un
resultado infinitista anterior, a saber, que el conjunto Q de los n
umeros
racionales es numerable, un resultado que haba sido previamente probado
por el mismo Cantor [31]. Por lo tanto, la prueba de Cantor de 1885 no
es una prueba independiente en el sentido de que no demuestra la imposibilidad de definir una partici
on no-contable en la recta real, simplemente
manifiesta que esa partici
on entrara en conflicto con la cardinalidad numerable de los n
umeros racionales. Por consiguiente, si fuera posible definir
una partici
on no-contable en la recta real estaramos ante una contradiccion fundamental que implica de nuevo la cardinalidad de Q, y por tanto
la consistencia de la hip
otesis del infinito actual de la cual se deriva esa
conclusion.
212 As, por tercera vez, nos enfrentamos a un hecho sorprendente: como
es posible que durante m
as de un siglo nadie haya tratado de definir una
partici
on no numerable en la recta real, o de demostrar la imposibilidad
de tal partici
on? Como el lector podr
a imaginar, en la siguiente secci
on
trataremos de definir una tal partici
on.
Figura 12.1: Los primeros cinco pasos de la sucesion infinita de pasos que definen el
conjunto ternario de Cantor.
214 Pero recordemos ahora como se define el Conjunto Ternario de Cantor. Considere el intervalo real cerrado [0, 1]. Si eliminamos el tercio central
abierto (1/3, 2/3) de este intervalo tendremos dos intervalos cerrados:
[0, 1/3], [2/3, 1]
(4)
(5)
78 Particiones no contables
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Siguiente paso
218 Cada paso de H consiste en eliminar un ndice cualquiera de I
(haciendo uso del conjunto intermediario J) que servir
a para indexar y
eliminar del conjunto A (haciendo uso del conjunto intermediario B) uno
cualquiera de sus elementos r , que se utilizar
a despues para definir un
nuevo intervalo real (x , y ] disjunto y adyacente al intervalo previamente
definido, siempre que no sea el primer intervalo definido. Este nuevo intervalo define el conjunto P , cuyo u
nico elemento es ese intervalo. Puesto
que la suma de dos n
umeros reales, como u + r , es un n
umero real, el
procedimiento H vaca completamente los conjuntos I, J, A y B.
219 Definimos ahora la siguiente partici
on P en la recta real:
[
[
P = {(x , y ]} = {(xa , ya ], (xb , yb ], (xc , yc ], (xd , yd ], . . . }
P =
(6)
(7)
(8)
nici
on, y teniendo en cuenta que cada elemento de (0, 1) es diferente de
cualquier otro, los intervalos de la partici
on P tambien satisfacen::
yh xh = rh (0, 1)
(9)
(xh , yh ], (xs , ys ] P ys xs = rs (0, 1)
r 6= r
h
rf
rc
rb rg
rd
re
1
...
xa
xb xc
qa qb qc
xd
xe xf xg ...
qd qe qf qg ...
Figura 12.2: Cada intervalo real (xh , yh ] de P tiene una longitud diferente yh xh
definida por un elemento diferente rh de (0, 1). Eligiendo un n
umero racional qh en
cada intervalo (xh , yh ] obtendremos un conjunto de n
umeros racionales de la misma
cardinalidad que P , y por tanto que (0, 1).
(10)
(11)
Puesto que, de acuerdo con la definicion 217, cada yp xp es un elemento diferente de (0, 1), y teniendo en cuenta (9), la correspondencia f es
una funcion inyectiva. Tambien es exhaustiva, en caso contrario habramos
encontrado dos n
umeros reales u y r (vease la definicion anterior del procedimiento H) cuya suma no es un n
umero real, lo que es imposible porque
el cuerpo de los n
umeros reales es cerrado respecto a la suma. Por consiguiente f es una correspondencia uno a uno (biyeccion). Por lo tanto la
partici
on P y el intervalo real (0, 1) tienen la misma cardinalidad: 2o .
80 Particiones no contables
1 Cada
13.-Cajas y conjuntos
n
Introduccio
224 Desde el punto de vista plat
onico (la perspectiva dominante en las
matem
aticas contempor
aneas), todos los intentos de definir el concepto de
conjunto han sido circulares, de modo que ahora se considera una nocion
primitiva, es decir, un concepto que no puede ser definido en terminos de
otros conceptos m
as b
asicos.
225 Desde un punto de vista no plat
onico, sin embargo, es posible definir
la nocion de conjunto como una elaboraci
on mental. Por ejemplo, Charles
Dogson (m
as conocido como Lewis Carroll) propuso el siguiente concepto
[44, p. 31]:
La clasificaci
on, o la formaci
on de clases, es un proceso mental,
en el que imaginamos que hemos reunido, en un grupo, ciertas
cosas. Ese grupo se llama una clase.
La definicion de Carroll conduce inmediatamente a la siguiente:
Un conjunto es un objeto te
orico que resulta de la agrupaci
on
mental de elementos arbitrarios previamente definidos.
Puede demostrarse que esta definicion no es compatible con la autorreferencia, una fuente de inconsistencias en la teora primitiva (cantoriana) de
conjuntos. Pero este tipo de definiciones no plat
onicas son absolutamente
desconocidos en las matem
aticas contempor
anea. Introduciremos algunas
de ellas en el Apendice B.
(1)
82 Cajas y conjuntos
B1 = B {b1 }
(2)
B = B
i
i1 {bi }, i = 2, 3, 4, . . .
(3)
BX(t1 ) = BX(ta ) b1
(4)
BX(t ) = BX(t ) b , i = 2, 3, 4, . . .
i
i1
229 La biyecci
on f (ti ) = bi demuestra que en el instante tb se habran
retirado todas las bolas de la caja y BX estar
a vaca. Comparando (2) con
(4) tendremos:
BX(ti ) = Bi , i N
(5)
230 Existe, sin embargo, una diferencia fundamental entre la sucesion
de conjuntos hBn i y la sucesion de estados hBX(ti )i: en cada una de las
sucesivas sustracciones de bolas (4) la caja BX es siempre es la misma caja
BX, mientras que los conjuntos definidos por cada una de las sucesivas
sustracciones de bolas (2) son todos ellos diferentes. Como consecuencia
tendremos una caja final vaca pero no un conjunto final vaco. Como es
esto posible? D
onde se rompe la simetra? Abordaremos este problema en
el Captulo 19.
231 Mientras tanto, n
otese que en cada instante t de [ta , tb ) la caja contiene o bolas, y que en el instante tb est
a vaca. Veamos que as es, puesto
que tb es el lmite de la sucesion htn i, tendremos:
t [ta , tb ) : v : tv t < tv+1
(6)
lo contrario s
olo un n
umero finito de definiciones se habran realizado, porque cualquier elemento bn perteneciente a X estara demostrando que la n-esima redefinici
on
(que define a X como {bn+1 , bn+2 , bn+3 , . . . }) no se habra efectuado.
84 Cajas y conjuntos
t1
t?
b1
BX
BX
BX
Figura 13.1: 1.-Extraccion de bolas de la caja BX. 1.-La caja BX y su cierre automatico
en el preciso instante t1 de extraer la primera bola b1 . 2.-La caja se cierra de forma
autom
atica cuando contiene k bolas. 3.-La caja no se cierra y est
a vaca en el instante
tb porque todas sus bolas se extrajeron simult
aneamente.
Magia infinitista 85
Magia infinitista
240 Consideremos de nuevo la coleccion de bolas etiquetadas hbn i y, en
el lugar de la caja BX, un cilindro hueco AB capaz de contener todas
las bolas de la colecci
on hbn i. El hueco del cilindro y las bolas, todas ellas
identicas, tienen el mismo di
ametro. Ahora supongamos que en cada uno
de los sucesivos instantes ti de htn i cada una de las sucesivas bolas bi se
introduce en AB a traves es extremo izquierdo A, como se muestra en la
Figura 13.2.
...
b3 b2 b1
Figura 13.2: Cada una de las sucesivas bolas bi de hbn i sera sucesivamente introducida
en el interior del cilindro AB.
86 Cajas y conjuntos
B
A
?
Figura 13.3: Al inclinar el cilindro en un sentido las sucesivas bolas bi iran abandonando
el cilindro a trav
es de su extremo derecho B (arriba). Pero, qu
e pasar
a si inclinamos el
cilindro en el sentido contrario? (abajo)
meros n-expofactoriales
Nu
245 En este captulo se introducen los n
umeros expofactoriales y n-expofactoriales, as como el metodo de las sucesivas expansiones decimales, con
el que resulta posible definir un n
umero racional diferente a partir de la
expansi
on decimal infinita de cada n
umero irracional del intervalo (0, 1).
Evidentemente, esta conclusion contradice otros resultados bien conocidos
sobre la cardinalidad del conjunto Q de los n
umeros racionales.
246 Aunque el metodo de las sucesivas expansiones decimales que usaremos en la secci
on siguiente funciona con cualquier n
umero natural, elegiremos n
umeros naturales inimaginablemente grandes: los n
umeros nexpofactoriales que definiremos inmediatamente en 249.
247 El expofactorial1 de un n
umero natural n, escrito n! (n
otese que el
smbolo factorial ! aparece como superndice), es el factorial n! elevado a
una torre de exponentes de orden n! del mismo exponente n!:
n!
(.n!. .)
n!
n!
n! = n!
O en la notaci
on de Knuths:
n! = n! n!
(1)
248 Estos n
umeros crecen tan deprisa que mientras el expofactorial de 2
(en smbolos 2! ) es 16, el expofactorial de 3 (en smbolos 3! ) es pr
acticamente incalculable incluso con la ayuda de los ordenadores m
as potentes.
1 La
87
66
646656
66
= 66
3 =6
26591197721532267796824894043879...
66
= 66
n! 2
(.n. .)
n!
n
!2
=n
n! 3
(.n. .)
!2
!3
n! 2
n
!3
=n
n! 3
!2
!4
=n
!3
...
O en la notaci
on de Knuths:
n!2 = n! n!
!3
!2
(2)
!2
(3)
(4)
n = n n
!5
!4
n = n n
!4
(5)
...
La enormidad de, por ejemplo, 9 ! 9 (9-expofactorial de 9) queda muy lejos del alcance de la imaginaci
on humana. Tres smbolos de la aritmetica
!9
est
andar, 9 , es todo lo que necesitamos para definir un n
umero finito tan
inmenso que la expresi
on escrita de su secuencia precisa de cifras requerira
un volumen de papel trillones y trillones de veces mayor que el volumen
de todo el universo visible. Usando el sistema de numeracion hexadecimal,
el n
umero F ! F sera inconcebiblemente mayor.
meros racionales
Una fuente irracional de nu
251 Los n
umeros reales del intervalo (0, 1) con una expansi
on decimal
infinita se definen aritmeticamente como:
r = 0.d1 d2 d3 . . .
= d1 101 + d2 102 + d3 103 + . . .
(6)
(7)
(8)
(9)
(10)
(11)
(12)
...
siendo q,nh (para todo n en N) el n
umero racional del intervalo (0, 1) cuya
expansi
on decimal finita 0.d1 d2 . . . dnh coincide con las nh primeras cifras
decimales de m . Por esta raz
on, m ser
a considerado como la fuente de
la sucesion hq,nh i, y aparecera en los subndices de todos los q,nh . El
racional q,(n+1)h es la la h-expansi
on de q,nh porque q,nh se ampla con
los siguientes h cifras sucesivas (empezando por dnh+1 ) de la fuente m
para definir q,(n+1)h . No olvide la grandeza inimaginable de h = 9 ! 9 .
255 Desde la perspectiva del infinito actual, el resultado de definir los
infinitos n
umeros naturales mediante sucesivas adiciones de una unidad al
primer n
umero natural 1 un n
umero infinito de veces (1+1, 2+1, 3+1, . . . ),
define una infinidad de n
umeros finitos cada vez mayores, pero sin llegar
a un n
umero infinito.2 O dicho con otras palabras, de acuerdo con la ortodoxia infinitista, la adici
on a una unidad inicial de un n
umero infinito de
unidades sucesivas no origina un n
umero de tama
no infinito sino infinitos
n
umeros finitos, cada uno una unidad mayor que su predecesor inmediato.
Lo mismo ocurrira si en lugar de una unidad a
nadimos cualquier n
umero
finito de unidades.
256 En consecuencia, y siendo h un n
umero natural, el resultado de
a
nadir h nuevas cifras decimales un n
umero infinito de veces sucesivas
a q,h , origina una infinidad de expansiones decimales finitas (n
umeros
racionales), explosivamente crecientes pero siempre finitas (nh para todo
n N), sin llega a originar una expansi
on decimal infinita.
257 Esta hip
otesis infinitista ser
a esencial para el argumento que sigue
puesto que legitimiza la existencia real de todos y cada uno de los infinitos
n
umeros racionales en hq,nh i todos ellos con un n
umero finito de decimales, nh por cada n en N. De la misma manera que el conjunto N de los
n
umeros naturales contienen infinitos n
umeros finitos, cada uno de ellos
una unidad mayor que su inmediato predecesor, hq,nh i contiene infinitos
n
umeros racionales con una expansi
on decimal finita (nh para cada n
umero natural n), cada uno con h decimales m
as que su inmediato predecesor.
Pura ortodoxia infinitista.
2 La
misma conclusi
on se deriva de la definici
on recursiva formal de los n
umeros naturales
en la teora de conjuntos.
258 Sea P el conjunto de todos los pares (m , q,h ) cuyo primer elemento
es un n
umero irracional diferente m dentro del conjunto MI de todos los
irracionales del intervalo (0, 1), y cuyo segundo componente es el n
umero
racional q,h del intervalo (0, 1) formado por las primeras h cifras sucesivas
d1 , d2 , . . . dh de m :
m = 0.d1 d2 . . . dh dh+1 MI
(13)
(m , q,h ) P
q = 0.d d . . . d
,h
1 2
(14)
un nuevo conjunto P , P , . . . y no podramos demostrar si los racionales repetidos desaparecen o no. Para evitar este problema tendremos que
redefinir el conjunto P despues de cada sustitucion.
263 Cada par (m , q,h ) define una sucesion hq,nh i de n
umeros racionales
similar a la sucesion hq,nh i definida en 254, solo que ahora la fuente de la
sucesion es el n
umero irracional m en lugar de m . Haremos uso de esas
sucesiones para realizar sucesivas h-sustituciones de los racionales repetidos
en P . La supuesta existencia en el acto, y como una totalidad completa, de
todas las infinitas cifras decimales de los n
umeros irracionales del intervalo
(0, 1), legitima las definiciones de los conjuntos P , P y de las sucesiones
hq,nh i, todas ellas como totalidades completas.
264 Sea A cualquier conjunto de pares de n
umeros (a, b) cuyo primer
componente a es un n
umero irracional del intervalo real (0, 1) y cuyo segundo componente b es un n
umero racional del mismo intervalo real (0, 1).
Definamos los dos siguientes operadores de conjuntos:
1) D(A) = Conjunto de todos los pares de A cuyos componentes
racionales son diferentes, no repetidos.
2) R(A) = Conjunto de todos los pares de A cuyos componentes
racionales est
an repetidos.
Evidentemente:
A = D(A) R(A)
(15)
D(A) R(A) = .
(16)
Pd = D(P )
(17)
n = 1, 2, 3, . . .
X
=
{(m
,
q
)
|
(m
,
q
)
R(P
)}
,(n+1)h
,nh
P = P d X
No
STOP
Es posible
una nueva h-sustitucin?
No
El racional qj,nh no
puede ser h-expandido
Falso
Figura 14.1: Las consecuencias de ser una sucesion completa sin un ultimo elemento
que complete la sucesi
on.
(18)
Eplogo 95
n
Discusio
271 La hip
otesis del infinito actual subsumida por el Axioma del Infinito
legitima la siguientes razones que fundamentan el argumento 258/270:
271-1 Las infinitas cifras decimales de cualquier n
umero irracional del
intervalo (0, 1) existen todas en el acto, como una totalidad completa.
271-2 Las expansiones decimales infinitas de los n
umeros irracionales
del intervalo (0, 1) son ordenadas, siendo el menor ordinal infinito.
271-3 Dos n
umeros irracionales diferentes del intervalo (0, 1) solo
pueden coincidir en un n
umero finito de sus primeras cifras decimales
sucesivas.
271-4 Las infinitas h-expansiones hq,nh i definidas a partir de la expansion decimal de cualquier irracional m del intervalo real (0, 1)
existen todas en el acto, como una totalidad completa.
271-5 Cada una de las infinitas h-expansiones de hq,nh i es un n
umero
racional con un n
umero finito de cifras decimales: nh para cada n en
N.
271-6 De acuerdo con 271-4 y 271-5, los racionales repetidos en P
pueden ser sucesivamente sustituidos por sus correspondientes sucesivas h-expansiones racionales cualquier n
umero finito o infinito de
veces.
271-7 En estas condiciones, y por Modus Tollens 267, todas la repeticiones de racionales en los pares de P , y por tanto de P , pueden
ser eliminadas, quedando cada par formado por un n
umero irracional
diferente y por un n
umero racional diferente derivado de su pareja
irracional.
271-8 En consecuencia, cada n
umero irracional del intervalo (0, 1)
define un n
umero racional diferente en el mismo intervalo.
272 La conclusion 271-8 contradice otros resultados bien conocidos sobre
la cardinalidad del conjunto Q de los n
umeros racionales.
273 Definir n
umeros racionales, y sucesiones ordenadas de n
umeros
racionales, a partir de la expansi
on decimal de los n
umeros irracionales
conduce a otras contradicciones de las que no nos ocuparemos aqu.
Eplogo
4 Basado
15.-Substraccion de cardinales
n
Introduccio
278 Al contrario de lo que ocurre con los ordinales, la substraccion de
cardinales en la aritmetica transfinita no siempre est
a definida, ni siquiera
permitida. Sin embargo, se han dado algunas definiciones indirectas y se
han probado algunos resultados sobre la substraccion de cardinales [173,
pp. 161-173]. Por ejemplo en ZFC1 se pueden probar, entre otros, los siguientes resultados:
Si a y b son dos cardinales, diremos que a b existe si existe un, y solo
un, cardinal c tal que a = b + c. Podemos entonces escribir: c = a b
(Teorema de Tarski-Bernstein).
Si a es un cardinal infinito y b un cardinal (finito or infinito), entonces
existe un tercer cardinal c tal que:
b+c=aba
(1)
(3)
279 Acabamos de ver algunos ejemplos que los que la sustraccion de cardinales est
a permitida, en la u
ltima secci
on de este captulo veremos un
caso en el que no lo est
a. El estado de la sustraccion de cardinales en la
1 En
97
98 Substracci
on de cardinales
aritmetica transfinita es realmente curioso. Aunque parece razonable declarar como indefinida la sustraccion de dos cardinales cuando no podemos
decir nada sobre el resultado de la operaci
on, que pasa con la sustraccion
de cardinales cuando conducen a resultados contradictorios? Ser definido
o indefinido podra ser razonable, pero ser definido, indefinido o inconsistente seg
un el caso, parece algo inc
omodo desde un punto de vista formal.
Como diablos puede ser consistente una operaci
on aritmetica que en algunos casos conduce a contradicciones sin haber determinado previamente
cu
ales son esos casos y por que son inconsistentes?
280 En este captulo vamos a analizar, al nivel fundacional de la teora
de conjuntos, las razones por la que la mayora de las sustracciones de
cardinales transfinitos han de ser prohibidas. En este nivel fundamental de
la discusion la u
nica operaci
on disponible es establecer correspondencias
entre conjuntos. Hacer uso de la aritmetica transfinita conducira argumentos circulares, porque la aritmetica transfinita se deriva precisamente de
las definiciones y de las hip
otesis fundamentales que vamos a considerar.
Como veremos, esas razones son las consecuencias inmediatas de la definicion fundacional de los conjuntos infinitos, que, como sabemos, se basa en
la violacion del Axioma del Todo y la Parte. En efecto, la sustraccion de
cardinales finitos (que cumplen con el viejo axioma eucldeo) no plantea
ning
un problema, el problema de la sustraccion de cardinales u
nicamente
aparece cuando al menos uno de los cardinales implicados en la operaci
on
es transfinito. Y como se acaba de indicar, unas veces aparece y otras no,
sin que se hayan podido establecer las razones por los cuales aparece o no
aparece.
n de cardinales
Problemas con la sustraccio
281 Si A y B son dos conjuntos finitos cualesquiera tales que |B| |A|
y f es una funci
on inyectiva de B en A tendremos:
A = (A f (B)) f (B)
(4)
(A f (B)) f (B) =
(5)
(6)
Se podra esperar, por tanto, que la sustraccion de los cardinales |A| y |B|
fuera algo as como:
|A| |B| = |A f (B)|
(7)
porque, siendo B y f (B) equipotentes, A f (B) es el conjunto que resulta
de retirar (restar) de A un n
umero de elementos igual al cardinal de B. La
f1 (bi ) = ai
i N f2,n (bi ) = ai+n , n N
(8)
f (b ) = a
3
2i
donde n as un n
umero natural cualquiera. Tendramos:
|A| |B| = |A f1 (B)| = || = 0
(9)
(10)
(11)
Por lo tanto, la sustraccion de los mismos dos cardinales infinitos origina infinitos resultados diferentes, dependiendo de la forma particular de
emparejamiento de los elementos de ambos conjuntos: los elementos de B
se puede emparejar con los elementos de A (f1 , por ejemplo) o con los
elementos de una parte propia de A (f2 o f3 ), como si la parte y el todo
fueran la misma cosa.
283 Podramos incluso demostrar una variante conjuntista del Teorema de las Series de Riemann: Si A y B son dos conjuntos ordenados entonces la sustraccion de sus respectivos cardinales |A| y |B| se puede hacer igual a cualquier n
umero natural dado. Para demostrarlo, Sean
A = {a1 , a2 , a3 , . . . } y B = {b1 , b2 , b3 , . . . } dos conjuntos ordenados cualesquiera y n cualquier n
umero natural. Consideremos ahora la inyeccion
f de B en A:
f (bi ) = an+i , i N
(12)
Tendremos:
f (B) = {an+1 , an+2 , an+3 , . . . }
(13)
A f (B) = {a1 , a2 , . . . an }
(14)
(15)
100 Substracci
on de cardinales
(16)
(17)
b+d=a
(18)
b+e=a
(19)
etc.
tambien deberamos aceptar que:
ba=c
(20)
ba=d
(21)
ba=e
(22)
etc.
La soluci
on a este problema ha sido, no obstante, la ignorancia (m
as o
menos explcita) de la sustraccion de cardinales.
El argumento de Faticoni
286 En [72], p
aginas 150-51, podemos leer el siguiente argumento sobre
la imposibilidad de la sustraccion de cardinales (por cierto un argumento
tpico sobre ese asunto):
1) H1 : Supongase que es posible definir la sustraccion o - o (como
lo opuesto a la adici
on) de modo que:
o o = 0
(23)
2) tendramos:
1 + o = o
(24)
1 + (o o ) = o o
(25)
1+0=0
(26)
1=0
3) En consecuencia H1 es imposible
(27)
287 Como no poda ser de otra manera, el argumento de Faticoni assume los supuestos de la moderna teora de conjuntos. Se podra por tanto
completar de la siguiente manera:
D: Un conjunto es infinito si existe una correspondencia uno a uno
entre el conjunto y uno de sus subconjuntos propios.
A: Existe un conjunto infinito2 (Axioma del Infinito).
H0 : Dos conjuntos tienen el mismo n
umero de elementos si se pueden
poner en correspondencia uno a uno.
H1 : Supongase que es posible definir la sustraccion o - o (como lo
opuesto a la adici
on) de modo que:
o o = 0
(28)
1) Tendramos:
1 + o = o
(29)
1 + (o o ) = o o
(30)
1+0=0
(31)
1=0
(32)
(33)
288 Quiz
as la sustraccion de cardinales sea una operaci
on imposible.
Consideremos, pues, la posibilidad de extraer bolas de una caja que contiene bolas, que parece estar un poco m
as a mano. Sea BX una caja que
contiene una colecci
on numerable de bolas rojas. A
nadamos a BX una coleccion numerable de bolas azules. En este momento BX tendra o bolas
rojas m
as o bolas azules, es decir, o bolas (o + o = o ). Retiremos
2 N
otese
Caja BX
102 Substracci
on de cardinales
Aadir 0 bolas
0 bolas
0 bolas
Aadir 0 bolas
Retirar 0 bolas
Retirar 0 bolas
0 bolas
0 bolas
ahora de BX todas las bolas rojas, es decir, eliminar o bolas de una caja
que contiene o bolas. El resultado ser
a una caja que contiene o bolas
(todas las bolas azules). Finalmente retiremos todas las bolas azules, es
decir, retiremos o bolas de una caja que contiene o bolas. El resultado
ser
a una caja que no contiene ninguna bola. As, mediante la eliminaci
on
de o bolas de una caja que contiene o bolas, podemos obtener ya sea
una caja que contiene o bolas o una caja que no contiene ninguna bola,
una conclusion que est
a de acuerdo con 285.
16.-Alef-cero
n
Introduccio
289 Para nombrar un objeto s
olo tenemos que elegir (o inventar) una
o varias palabras arbitrarias o smbolo(s) que designen al objeto. Pero
nombrar un objeto no es lo mismo que definirlo en terminos de otros objetos m
as b
asicos. En este u
ltimo caso tambien tendramos que definir
esos objetos m
as b
asicos en terminos de otros objetos m
as b
asicos y estos
u
ltimos objetos en terminos de otros objetos m
as b
asicos y as sucesivamente. Finalmente caeramos en una regresion potencialmente infinita de
definiciones.
290 Por esta raz
on nos vemos obligados a aceptar conceptos primitivos
que utilizamos sin haber sido previamente definidos. Los conceptos m
as
b
asicos tanto en las ciencias formales como en las experimentales pertenecen a esta categora: n
umero, conjunto, espacio, punto, tiempo, masa,
etc. En algunos casos, como para el concepto de masa o el de n
umero,
son posibles definiciones operacionales. En otros casos (conjunto, punto,
instante, etc.) ni siquiera eso.
291 Por la misma raz
on que en el caso de los conceptos primitivos, tambien necesitamos axiomas (ciencias formales) y leyes fundamentales (ciencias experimentales). Aunque en este caso para evitar una regresion infinita
de argumentos. Mientras los axiomas pueden ser arbitrarios, la mayora de
las leyes fundamentales de las ciencias experimentales son conclusiones inductivas derivadas de observaciones y mediciones experimentales.
292 Los Elementos de Euclides son quizas el primer sistema axiomatizado
en la historia de las matem
aticas. No obstante, la historia de las matem
aticas hasta principios del siglo XX est
a llena de obras no tan formalizadas
como podra esperarse. Este es el caso de la obra fundacional de Cantor
sobre los n
umeros transfinitos, sus famosos Beitr
age [36], [37] (traduccion
inglesa [39]).
293 Cantor no hizo ninguna suposici
on acerca de la existencia de con103
104 Alef-cero
(1)
295 Esta claro, pues, que Cantor definio o como el cardinal del conjunto
de todos los cardinales finitos, en notaci
on moderna:
o = |{1, 2, 3, . . . }| = |N|
(2)
(3)
A = N {a}
(4)
(Cardinal o +1)
(5)
f (i + 1) = i, i N
(6)
(7)
|{, {}}| = 2
(8)
(9)
(10)
...
o incluso:
|{0}| = 1
(11)
|{0, 1}| = 2
(12)
|{0, 1, 2}| = 3
(13)
|{0, 1, 2, 3}| = 4
(14)
...
300 La sucesion de definiciones recursivas anterior, y otras muchas similares, se considera una sucesion completa que originan la totalidad completa
de los n
umeros naturales de acuerdo con la hip
otesis del infinito actual.
No obstante, y a pesar del hecho de que consiste en un n
umero infinito de
pasos y cada paso define un n
umero mayor que su predecesor inmediato, la
secuencias no origina un n
umero infinito. Origina una sucesion infinita de
n
umeros finitos, cada uno una unidad mayor que su predecesor inmediato,
pero siempre finito. o no est
a, por tanto, relacionado con esta sucesion
106 Alef-cero
(15)
(16)
(17)
= 1 + 1 + 1 + ...
(18)
y la u
ltima suma est
a definida solo si conocemos el n
umero de sumandos,
que es precisamente el n
umero que se est
a definiendo con la suma.
304 Consideremos nuevamente la definicion original de Cantor de o :
o = |{1, 2, 3, . . . }|
(19)
(20)
o = |{v + 1, v + 2, v + 3, . . . }|
(21)
Puesto que
el n
umero v tuvo que ser retirado del conjunto definidor en el instante tv .
En consecuencia, la Definici
on (20) es imposible para todo cardinal finito
v. Por tanto solo podramos tener:
tb : o = || = 0
(22)
108 Alef-cero
n
Introduccio
305 La discusion que sigue trata con los elementos del conjunto ( + 2)ordenado N = {1, 2, 3, . . . , o , 2o }, as como con las operaciones aritmeticas b
asicas y las relaciones de orden entre los cardinales finitos e infinitos
introducidas por Cantor en su trabajo fundacional sobre los n
umeros transfinitos [39]. Definiciones que, en lo fundamental, siguen siendo aplicables
en las modernas matem
aticas transfinitas.
306 Una vez asumida la existencia del conjunto N de todos los cardinales
finitos (n
umeros naturales) como una totalidad completa,1 Cantor defini
o o como su cardinal, demostrando a continuaci
on que o es el menor
el cardinal infinito mayor que todos los cardinales finitos [39, 6].
307 La aritmetica transfinita permite definir operaciones aritmeticas con
un n
umero infinito de operandos. As, no s
olo los operandos, sino tambien la
sucesion de operaciones pueden ser de cualquier tama
no, finita o infinita.
En la discusion que sigue, y por razones de claridad, indexaremos a los
sucesivos operandos de las operaciones aritmeticas para hacer explcito,
entre otras cosas, el orden de los operandos.
mero primo?
Es o un nu
308 La teora axiomatica de conjuntos,2 que se aplica a todos los conjuntos finitos e infinitos, nos permite disociar el conjunto N de los n
umeros
naturales de la siguiente manera:
{1, 2, 3, . . . } = {1} {2, 3, 4, . . . }
(1)
109
(2)
= |{1} {2, 3, 4, . . . }|
(3)
= |{1}| + |{2, 3, 4, . . . }|
(4)
= 11 + |{2, 3, 4, . . . }|
(5)
donde el n
umero natural 1 se escribe como 11 para indicar que representa
el cardinal del conjunto {1}, y lo mismo se aplicar
a a los sucesivos 12 , 13 ,
14 , etc
309 Por cierto, la ecuaci
on (5) o = 1 + |{2, 3, 4, . . . }| sirvio a Cantor
para demostrar que o no era un n
umero natural (vease el Captulo 16
sobre Alef-cero).
310 Mediante sucesivas disociaciones (S-disociaciones en adelante) de N
obtendremos:
o = |{1, 2, 3, . . . }|
(6)
= |{1} {2, 3, 4, . . . }|
(7)
= |{1}| + |{2, 3, 4, . . . }|
(8)
= 11 + |{2, 3, 4, . . . }|
(9)
= 11 + |{2} {3, 4, 5, . . . }|
(10)
= 11 + |{2}| + |{3, 4, 5, . . . }|
(11)
= 11 + 12 + |{3, 4, 5, . . . }|
(12)
= 11 + 12 + |{3} {4, 5, 6, . . . }|
(13)
= 11 + 12 + |{3}| + |{4, 5, 6, . . . }|
(14)
= 11 + 12 + 13 + |{4, 5, 6, . . . }|
(15)
...
Vale la pena destacar que una S-disociaci
on simplemente disocia un conjunto en dos subconjuntos disjuntos, (uno de ellos un singleton, un conjunto
de un solo elemento), por lo que el cardinal del conjunto original, es la
suma de los cardinales de los dos conjuntos resultantes.
311 Las sucesivas S-disociaciones estar
an sometidos a la siguiente:
Restricci
on 311.-Una S-disociaci
on se llevar
a a cabo si, y s
olo
si, el resultado es una suma bien definida de cardinales cuyos sumandos tiene todos un predecesor inmediato, excepto el primero
de ellos 11 .
Es o un n
umero primo? 111
(16)
(17)
= 11 + 12 + + 1n1 + |{n} {n + 1, n + 2, n + 3, . . . }|
(18)
(19)
= 11 + 12 + + 1n1 + 1n + |{n + 1, n + 2, n + 3, . . . }|
(20)
Nuestra hip
otesis de partida, debe ser, por lo tanto falsa, y entonces
podemos confirmar que para cada n
umero natural v las primeras v Sdisociaciones sucesivas pueden llevarse a cabo.
314 La prueba inductiva es como sigue. Esta claro que la primera Sdisociacion se puede realizar porque:
o = |{1, 2, 3, . . . }|
(21)
= |{1} {2, 3, 4, . . . }|
(22)
= |{1}| + |{2, 3, 4, . . . }|
(23)
= 11 + |{2, 3, 4, . . . }|
(24)
(25)
(26)
(27)
= 11 + 12 + + 1n + 1n+1 + |{n + 2, n + 3, . . . }|
(28)
(29)
o = 11 + 12 + 13 + . . .
(30)
donde v es un cierto n
umero natural. Puesto que v + 1 es tambien un
n
umero natural, la primera de las alternativas ha de ser falsa, de acuerdo
con 313 y 314. Notese que no se trata de una indeterminacion sino de
una imposibilidad: la primera alternativa es imposible para todo v en N,
mientras que si fuera indeterminable existira un conjunto no vaco de
posibles soluciones. En consecuencia, una vez realizadas todas las posibles
S-disociaciones sucesivas tendremos:
o = 11 + 12 + 13 + . . .
(31)
316 Vamos a probar ahora que el lado derecho de (31) es una sucesion
ordenada de sumas. Veamos que as ha de ser. La sucesion no puede ser
finita porque la suma de un n
umero finito de cardinales finitos es tambien
finita, mientras que o es el primer cardinal infinito. El lado derecho de
(31) ha de tener, por tanto, un n
umero infinito de sumandos. Veamos que
s
olo puede ser una sucesion ordenada de sumandos. Si no lo fuera, sera
por lo menos ( + 1)-ordenada4 y, entonces podramos escribir:
o = 11 + 12 + 13 + + 1 + S
(32)
5 Es
Es o un n
umero primo? 113
=2
(34)
(35)
(37)
(38)
11
=2
11
=2
12
=2
11
=2
12
12
13
13
(39)
(40)
(41)
(42)
(43)
...
Observese que una P-disociacion es una simple aplicaci
on de una propiedad
est
andar del producto de potencias.
319 Las sucesivas P-disociaciones estar
an sometidas a la siguiente:
Restricci
on 319.-Un P-disociacion se llevar
a a cabo si, y s
olo
si, el resultado es un producto bien definido de potencias cada
uno de cuyos factores tiene un predecesor inmediato, excepto el
primero de ellos 211 .
320 Probaremos ahora, por MT (tambien es posible una prueba inductiva), que para cada n
umero natural v las primeras v P-disociaciones sucesivas puede llevarse a cabo. Supongamos que es falso que para cada n
umero
natural v las primeras v P-disociaciones sucesivas puede llevarse a cabo.
Existira entonces al menos un n
umero natural n tal que:
2o = 211 212 21n1 21n +1n+1 +1n+2 +...
(44)
(45)
(46)
(47)
11
=2
12
13
...
(48)
(49)
donde v es un cierto n
umero natural. De acuerdo con 320, y siendo v un
n
umero natural, la primera alternativa ha de ser falsa. Notese de nuevo que no se trata de una indeterminacion sino de una imposibilidad: la
primera alternativa es imposible para todo v en N, mientras que si fuera
indeterminable existira un conjunto no vaco de posibles soluciones. En
consecuencia, una vez realizadas todas las posibles P-disociaciones sucesivas tendremos:
(50)
2o = 211 212 213 . . .
que, obviamente, tambien podemos escribir como:
2o = 21 22 23 . . .
(51)
322 Probemos ahora que el lado derecho de (51) es una sucesion ordenada de multiplicaciones. En efecto, no puede ser finita porque el producto
de un n
umero finito de factores finitos es tambien finito, mientras que 2o
es infinito no contable. El lado derecho de (51) solo puede tener un n
umero
infinito de factores. Adem
as, debe ser una sucesion ordenada de factores
porque en caso contrario sera como mnimo ( + 1)-ordenada y podramos
escribir:
(52)
2o = 21 22 23 . . . 2 P
donde P es o bien el producto de un n
umero finito o infinito del mismo
factor 2, o bien 1. En cualquier caso, el factor 2 estar
a siempre presente y
no tiene predecesor inmediato,6 lo que viola la Restriccion 319. Por tanto
el lado derecho de (51) solo puede ser ordenado.
323 La ecuaci
on (51), por otra parte, se da por sentada y, como hizo
Cantor, puede ser inmediatamente deducida de la definicion original que el
6 Es
(53)
21 22 23 a1 a2 a3 . . .
(54)
y entonces:
a1 a2 a3 a . . .
(55)
(56)
(57)
de (57):
2o = (11 + 12 ) 22 23 24 . . .
(58)
(59)
= (11 + 12 + 13 + 14 ) 23 24 25 . . .
(60)
(61)
= (11 + 12 + + 18 ) 24 25 26 . . .
(62)
(63)
= (11 + 12 + + 116 ) 25 26 27 . . .
(64)
(65)
= (11 + 12 + + 132 ) 26 27 28 . . .
(66)
...
Llamaremos F-duplicaciones a estas sucesivas duplicaciones del n
umero de
sumandos del primer factor de (57). Las sucesivas F-duplicaciones estar
an
sujetas a la siguiente:
Restricci
on 327.-Una F-duplicaci
on ser
a realizada si, y s
olo
si, cada sumando 1n de la suma resultante tiene un predecesor
inmediato 1n1 , excepto el primero 11 .
328 Demostremos, por MT (tambien es posible una prueba inductiva),
que para cada natural n
umero v las primeras v F-duplicaciones sucesivas
pueden llevarse a cabo. Para ello, supongamos que es falso que para cada
natural n
umero v los primeros v F-duplicaciones sucesivas pueden llevarse a
cabo. Existir
a entonces al menos un n
umero natural n tal que es imposible
realizar las primeras n F-duplicaciones sucesivas. Es decir, un n
umero n
tal que:
2o = (11 + 12 + + 12n1 ) (2n 2n+1 2n+2 . . . )
(67)
(68)
(69)
(70)
Nuestra suposici
on inicial ha de ser, por tanto, falsa, y podemos confirmar que para cada n
umero natural v es posible realizar las primeras v
F-duplicaciones sucesivas.
329 Supongamos ahora que mientras las sucesivas F-duplicaciones pue-
den llevarse a cabo, se llevan a cabo. Una vez realizadas todas las posibles
F-duplicaciones sucesivas tendramos una de las dos alternativas siguientes:
2o = (11 + 12 + + 12v1 ) (2v 2v+1 2v+2 . . . )
o
= 11 + 12 + 13 + . . .
(71)
(72)
donde v es un cierto n
umero natural. Siendo v un n
umero natural, la primera alternativa debe ser falsa de acuerdo con 328. De nuevo es necesario
notar que no se trata de una indeterminacion sino de una imposibilidad:
la primera alternativa es imposible para todo v en N, mientras que si fuera
indeterminable existira un conjunto no vaco de posibles soluciones. En
consecuencia, una vez realizada todas las F-duplicaciones sucesivas posibles, tendremos:
(73)
2o = 11 + 12 + 13 + . . .
330 Probaremos ahora que el lado derecho de (73) es una sucesion ordenada de sumas. No puede ser finita porque la suma de un n
umero finito
de sumandos finitos es tambien finita. Por tanto el lado derecho de (73)
ha de tener un n
umero infinito de sumandos. Ademas ha de ser una sucesi
on ordenada de sumas, en caso contraro sera como mnimo ( + 1)ordenada y tendramos:
2o = 11 + 12 + 13 + + 1 + S
(74)
(75)
(76)
Definiciones
ai = L
(1)
i=0
|ai | =
(2)
i=0
n
Discusio
335 Nos ocuparemos exclusivamente de series condicionalmente convergentes de n
umeros reales que pueden converger a diferentes n
umeros finitos
por reordenamientos basados en la aplicaci
on de las propiedades conmu119
120 Reinterpretaci
on del teorema de la reordenaci
on de Riemann
(3)
Discusi
on 121
122 Reinterpretaci
on del teorema de la reordenaci
on de Riemann
n vaca
Teorema de la interseccio
340 Sea A = {a1 , a2 , a3 . . . } un conjunto ordenado cualquiera y considerese la siguiente definicion recursiva:
(
A1 = A {a1 }
(1)
Ai = Ai1 {ai }; i = 2, 3, 4, . . .
que origina la sucesion ordenada de conjuntos anidados:
S = hAn i; A1 A2 A3 . . .
(2)
siendo cada conjunto numerable An = {an+1 , an+2 , an+3 , . . . } un subconjunto propio de todos sus predecesores y un superconjunto de todos sus
sucesores.
A
1
A2
A3
...
versi
on original, tambien llamada Teorema de la Intersecci
on de Cantor, trata con
conjuntos compactos y la conclusi
on es la contraria, es decir que la intersecci
on es no
vaca.
123
t1
ta
0 bolas
BX
b1
0 bolas
BX
t2
b2
0 bolas
BX
t3
b3
0 bolas
BX
...
Figura 19.2: Retirando una a una las bolas de una caja que contiene o bolas.
Teorema de la intersecci
on vaca 125
(
o , t [ta , tb )
0 si t = tb
(4)
En el instante t b :
o bolas
0 bolas
BX
BX
(5)
sustracci
on de cardinales no est
a siempre definida porque conduce a contradicciones.
n = 1 : S = A1
i=n
n = 1, 2, 3, . . .
(6)
\
n
>
1
:
Ai 6= A
nadir An a S
i=1
(7)
(8)
(9)
(10)
6) En consecuencia Av es un miembro de S .
360 Hemos deducido, por lo tanto, una contradicci
on de nuestra hip
otesis
inicial: el conjunto Av est
a y no est
a en la sucesion de S .
361 La alternativa a la contradicci
on anterior es otra contradicci
on a
un
m
as elemental: despues de haber realizado todas las posibles definiciones
(6), no se han realizado todas las posibles definiciones (6).
362 Tambien se podra argumentar que S es definida un n
umero infinito
de veces y que aunque todas y cada una de las definiciones (6) definen a
S como una sucesion de conjuntos cuya intersecci
on es no vaca, la compleci
on de la sucesion de definiciones (6) convierte a S en una sucesion de
conjuntos cuya intersecci
on es vaca. Como si la compleci
on de una sucesion
ordenada de definiciones, como tal compleci
on, tuviera consecuencias
arbitrarias adicionales sobre el objeto definido. Las mismas consecuencias
arbitrarias adicionales podran esperarse en cualquier otra definicion, procedimiento o prueba que consista en una sucesion ordered de pasos.
En esas condiciones, cualquier cosa podra esperarse en las matem
aticas
infinitistas.
363 Mas a
un, temporizando la definicion (6) de modo que cada i-esimo
paso se realice en el preciso instante ti de una sucesion estrictamente creciente de instantes htn i del intervalo (ta , tb ) y cuyo lmite es tb , se podra
probar facilmente que solo en el instante tb , una vez completada la sucesion
de definiciones (6), podra S ser convertida en una sucesion de conjuntos
cuya intersecci
on es vaca. Lo que confirmara, por una parte que la compleci
on de una sucesion ordenada de pasos, como tal compleci
on, tiene
efectos arbitrarios adicionales sobre los objetos resultantes; y por la otra
que esos efectos arbitrarios ocurren en el preciso instante (tb ), un instante
en el que ya no se realiza ning
un paso.
20.-Dicotomas de Zenon
Definiciones introductorias
364 En este captulo se introduce una versi
on formal de la Dicotoma de
Zen
on en sus dos variantes (aqu referidas como Dicotoma I y II) basadas
en la sucesividad del orden (Dicotoma I) y del orden (Dicotoma
II). Cada una de las versiones formalizadas conduce a una contradicci
on.
365 En la segunda mitad del siglo XX, se propusieron varias soluciones a
algunas de las paradojas de Zen
on con la ayuda de la aritmetica transfinita
de Cantor, la topologa, la teora de la medida y m
as recientemente la teora
interna de conjuntos1 (una rama del an
alisis no est
andar). Tambien vale
la pena destacar las soluciones propuestas por P. Lynds2 en el marco de
la mec
anica cl
asica y en el de la mec
anica cu
antica. Sin embargo, algunas
de estas soluciones han sido contestadas. Y en la mayora de los casos, las
soluciones propuestas no explican donde fallan los argumentos de Zen
on.
Ademas, algunas de esas soluciones dieron lugar a una nueva coleccion de
problemas tan excitantes como las paradojas originales de Zen
on.3 En la
discusion que sigue se propone una nueva forma de discutir las dicotomas
de Zen
on basada en la noci
on de orden, el orden inducido por , el
primer ordinal transfinito.
366 Como es bien sabido, en una sucesion ordenada hay un primer
elemento y cada elemento tiene un sucesor inmediato y un predecesor inmediato, excepto el primero. Seg
un la hip
otesis del infinito actual subsumida
en el Axioma del Infinito, una sucesion ordenada es una totalidad completa a pesar de que ning
un u
ltimo elemento la complete.4 La sucesion de
n
umeros naturales en su orden natural de precedencia es un ejemplo de
sucesion ordenada.
1 [90],
131
zn
= n , n N
(2)
2
donde zn representa al n-esimo elemento por la cola de la sucesion ordenada de Z*-puntos.
zn =
-1
1/2
2
X
Z*-puntos
Z-puntos
Dicotoma II de Zen
on 133
370 A medida que P pasa sobre los puntos del intervalo real [0, 1] debe
atravesar los sucesivos Z*-puntos y los sucesivos Z-puntos. No tiene sentido
preguntarse sobre el instante en el que se empiezan a atravesar los sucesivos
Z*-puntos porque no existe un primer Z*-punto que atravesar. Lo mismo
podra decirse del instante en el que termina la travesa de los Z-puntos,
en este caso porque no existe un u
ltimo Z-punto que atravesar. Por esta
raz
on centraremos nuestra atenci
on en el n
umero de Z*-puntos que ya han
sido atravesados y en el n
umero de puntos Z que a
un quedan por atravesar
en cualquier instante t dentro del intervalo [to , t1 ].
371 En este sentido, y siendo t un instante cualquiera de [to , t1 ], sea Z (t)
el n
umero de Z*-puntos atravesados en el instante t. Y sea Z(t) el n
umero
de Z-puntos que a
un quedan por atravesar en el instante t. La discusion
que sigue examina la evoluci
on de Z (t) y Z(t) a media que P se mueve
desde el punto 0 al punto 1. Ambas discusiones son versiones formales de
la dicotoma II y de la Dicotoma I de Zen
on respectivamente.5
372 La estrategia de emparejar los Z*-puntos (o los Z-puntos) con los
sucesivos instantes de una sucesion infinita estrictamente creciente de instantes fue originalmente utilizada por Aristoteles [11] al intentar resolver
las dicotomas de Zen
on. Aunque Arist
oteles termino por rechazar su estrategia original, esa estrategia es la preferida en la actualidad para resolver
ambas paradojas. Como se ver
a, sin embargo, la sucesividad de los Z*puntos y de los Z-puntos lleva a una conclusion conflictiva.
n
Dicotoma II de Zeno
373 Comencemos analizando la forma en la que P atraviesa los Z*-puntos.
Puesto que la sucesion de Z*-puntos es ordenada no existe un primer
elemento, y por tanto tampoco existen los n primeros elementos, para cualquier n
umero finito n. En consecuencia, y teniendo cuenta que P est
a en
el punto 0 en el instante t0 y en el punto 1 en t1 , tendremos:
(
t = t0 : Z (t) = 0
t [t0 , t1 ]
(3)
t > t0 : Z (t) = o
Por tanto, no existe ning
un instante t dentro de [t0 , t1 ] en el cual Z (t) =
n, sea cual sea el n
umero finito n, de otra forma existiran los primeros n
elementos de una sucesion ordenada. Notese que Z (t) est
a bien definida en todo el intervalo [t0 , t1 ]. As, la ecuaci
on (3) expresa una dicotoma:
Z (t) solo puede tomar dos valores en todo el intervalo [t0 , t1 ]: 0 o o .
5 V
ease,
por ejemplo,, [29], [30], [195], [165], [106], [197], [51], [129].
Dicotoma I de Zen
on 135
n
Dicotoma I de Zeno
379 Examinaremos ahora la forma en la que P atraviesa los Z-puntos
entre el punto 0 y el punto 1. Siendo Z(t) el n
umero de Z-puntos por
atravesar en el preciso instante t de [t0 , t1 ], ese n
umero s
olo puede tomar
dos valores: o
o 0. En efecto, supongamos que existe un instante t en
[t0 , t1 ] en el que el n
umero de Z-puntos que P a
un ha de atravesar es un
n
umero finito n > 0. Eso implicara la imposible existencia de los u
ltimos n
puntos de una sucesion ordenada de puntos. En consecuencia tenemos
una nueva dicotoma:
(
t < t1 : Z(t) = o
t [t0 , t1 ]
(4)
t = t1 : Z(t) = 0
Por tanto, no existe un instante t en el cual Z(t) = n, sea cual sea el
n
umero finito n. Notese que Z(t) est
a bien definida en todo el intervalo
[t0 , t1 ]. As, la ecuaci
on (4) expresa una nueva dicotoma: Z(t) solo puede
tomar dos valores: o bien o o bien 0.
380 De acuerdo con 379 y en relaci
on con el n
umero de Z-puntos que
a
un han de ser atravesados, P s
olo puede presentar dos estados sucesivos:
el estado P (o ) en el que ese n
umero es o y el estado P (0) en el que
ese n
umero es 0. El n
umero de Z-puntos que P ha de atravesar disminuye
directamente desde o hasta 0, sin estados intermedios finitos en los que
s
olo queden un n
umero finito de Z-puntos por atravesar.
381 Teniendo en cuenta la sucesividad de los de Z-puntos y el hecho de
que entre dos Z-puntos sucesivos cualesquiera existe siempre una distancia
mayor de cero (-separacion), para atravesar dos Z-puntos, cualesquiera
que sean, se ha de atravesar una distancia mayor de cero. Y atravesar una
distancia mayor de cero a la velocidad finita v de P significa que la travesa
ha de durar un tiempo mayor que cero.
382 Aunque es imposible calcular la duracion exacta de la transicion
P (o )-P (0) (no existe un u
ltimo instante en el que acaba la transicion),
hemos probado en 381 que, por muy indeterminable que sea, esa duracion
tiene que ser mayor que cero. Probaremos ahora que no puede ser mayor
que cero. Lo mismo puede decirse de la distancia que P ha de atravesar
mientras realiza la transicion P (o )-P (0).
n
Conclusio
386 De acuerdo con la hip
otesis del infinito actual, los Z-puntos y los
Z*-puntos existen como totalidades completas. Por lo tanto las transiciones P (0)-P (o ) y P (o )-P (0) tienen lugar. Ahora bien, las transiciones
P (0)-P (o ) y P (o )-P (0) solo pueden ocurrir durante una distancia y
un tiempo mayores que cero (-separacion). El problema es que no pueden ocurrir durante una distancia y un tiempo mayores que cero porque
ese tiempo y esa distancia han de ser menores que cualquier n
umero real
mayor que cero (-dicotoma).
387 Las contradicciones anteriores son consecuencias directas del orden y del orden que, a su vez, son consecuencias directas de asumir la
existencia de totalidades infinitas completas. Es entonces ese supuesto, la
hip
otesis de infinito actual, la causa u
ltima de las dos contradicciones.
El Hotel de Hilbert
388 En la discusion que sigue haremos uso de una superm
aquina inspirada en el emblem
atico Hotel de Hilbert. Pero antes vamos a relatar alguna
de las prodigiosas, y sospechosas, habilidades del ilustre Hotel.
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
138 La m
aquina de Hilbert
Definiciones
392 En la siguiente discusion conceptual haremos uso de un dispositivo
teorico, inspirado en el emblem
atico Hotel de Hilbert, al que nos referiremos
como m
aquina de Hilbert, compuesto por los siguientes elementos (vease
la Figura 21.2):
1) Un alambre horizontal infinito dividido en dos partes infinitas, la
parte izquierda y la parte derecha:
a) La parte derecha se divide en una sucesion ordenada de
secciones adyacentes hSn i de igual longitud que se etiquetan de
izquierda a derecha como S1 , S2 , S3 , . . . Ser
an referidas como
secciones derechas.
b) La parte izquierda est
a tambien dividida en una sucesion ordenada de secciones adyacenteshSn i iguales y de la misma longitud que las secciones derechas, ahora etiquetadas de derecha
a izquierda como . . . , S3 , S2 , S1 ; siendo S1 adyacente a S1 .
Ser
an referidas como secciones izquierdas.
2) Una sucesion ordenada de bolas etiquetadas hbn i ensartadas en el
alambre y capaces de deslizarse sobre el como las bolas de un abaco,
estando cada bola bi inicialmente insertada en el centro de la secci
on
derecha Si .
La contradicci
on de la m
aquina de Hilbert 139
justo a
ordenadas cada secci
on Sn tiene un sucesor inmediato Sn+1
su izquierda. De acuerdo con la hip
otesis del infinito actual todas esas
secciones izquierdas existen como una totalidad infinita completa, a pesar
de que no hay una u
ltima secci
on que complete la sucesion.
394 Empecemos por demostrar que para cada n
umero natural v es posible realizar los primeros v L-deslizamientos. Es evidente que el primer
L-deslizamiento puede llevarse a cabo: b1 se mueve a S1 y cada bi, i>1 a
Si1 . Supongamos que, siendo n un n
umero natural cualquiera, se pueden realizar los primeros n L-deslizamientos. Como consecuencia de esos
primeros n L-deslizamientos, y teniendo en cuenta que cada uno de ellos
mueve todas las bolas exactamente una secci
on hacia la izquierda, la bola b1 estar
a colocada n secciones a la izquierda de su posici
on inicial S1 ,
n de la ma
quina de Hilbert
La contradiccio
395 Supongamos que mientras los sucesivos L-deslizamientos se pueden
realizar, se realizan. Es entonces inmediato el siguiente:
Teorema 395.-Una vez realizados todos los posibles L-deslizamientos todas las bolas permanecen ensartadas en el alambre.
Demostraci
on.-Es una consecuencia inmediata de la definicion de la Maquina de Hilbert: su sensor de bolas deshara cualquier L-deslizamiento a con-
140 La m
aquina de Hilbert
secuencia del cual una bola quedara fuera del alambre y la maquina se
parara con todas las bolas insertadas en el alambre. Notese que la definicion de la Maquina de Hilbert se ha de verificar siempre: antes, durante y
despues de ejecutar todos los posibles L-deslizamientos.
396 Pero tambien es inmediato el siguiente:
Teorema 396.-Una vez realizados todos los posibles L-deslizamientos ninguna bola queda ensartada en el alambre.
Demostraci
on.-Supongamos que una vez realizados todos los posibles Ldeslizamientos una bola cualquiera bv se encuentra ensartada en la secci
on
derecha Sk . Debe ser k < v ya que todos los L-deslizamientos son hacia
la izquierda, en la direcci
on hacia la cual los ndices de hSn i disminuyen.
Puesto que bv estaba inicialmente en Sv s
olo un n
umero finito vk de L-deslizamientos se habran realizado, y por tanto no habra sido posible realizar
los primeros v k + 1 L-deslizamientos, lo que va en contra de 394 porque
v k + 1 es un n
umero natural. Un razonamiento similar puede aplicarse
si bv se encuentra finalmente en una secci
on izquierda Sn , lo que significa
que se realizaron v + n 1 L-deslizamientos ; en este caso los primeros
v+n primeros deslizamientos no se habran podido realizar, lo que tambien
va en contra de 394. As, puesto que bv es una bola cualquiera, si todas
los posibles L-deslizamientos se han realizado, ninguna bola permanece
ensartada en el alambre.
397 Un punto a destacar del argumento anterior es que no se necesita
conocer si el n
umero de L-deslizamientos realizados es finito o infinito. Solo
hace falta asumir, bajo la hip
otesis del infinito actual, que se han realizado
todos los L-deslizamientos posibles.
n
Discusio
bolas detiene la m
aquina con cada secci
on izquierda Si ocupada por bola
Discusi
on 141
bni+1 y con todas las secciones derechas vaca, y esto es todo. Ninguna contradicci
on se deriva del funcionamiento de Hn . As, para cualquier
n
umero natural n, la correspondiente m
aquina Hn es un artefacto teorico
consistente. S
olo la m
aquina infinita de Hilbert H es inconsistente.
399 Lo que la contradicci
on 395-396 prueba no es el funcionamiento inconsistente de una superm
aquina. Lo que demuestra es la inconsistencia del
propio orden. Tal vez no deberamos sorprendernos por esta conclusion.
Despues de todo, una sucesion ordenada es a la vez completa (como el
infinito actual requiere) e incompletable (no hay un u
ltimo elemento que la
complete). Por otro lado, y como Cantor demostro [37], [39], el orden es
una consecuencia inevitable de asumir la existencia de conjuntos infinitos
como totalidades completas. Una existencia axiomaticamente establecida
en nuestros das por el Axioma del Infinito, en todas las teoras axiomaticas
de conjuntos, incluyendo sus m
as populares versiones ZFC y BNG [188],
[186]. Es por tanto ese axioma la causa de la contradicci
on 395-396.
142 La m
aquina de Hilbert
n
Introduccio
400 La sucesion ordenada hxn i de puntos en el intervalo real (0, 1)
definida por:
2n 1
xn =
(1)
2n
es un ejemplo de -partici
on de un segmento finito. Cada par de puntos
sucesivos xn , xn+1 define una parte de la partici
on. Las sucesivas partes son
disjuntas y adyacentes, de modo que el extremo derecho de una coincide
con el extremo izquierdo de la siguiente:
[x1 , x2 ), [x2 , x3 ), [x3 , x4 ), . . .
x1
x2
x3
x4
x5
x6
(2)
x7 ...
401 Como es bien sabido, al menos desde el siglo XVIII, las -particiones
de segmentos lineales finitos son posibles solo si las sucesivas partes adyacentes de la partici
on son de una longitud decreciente, en caso contrario la
longitud de la lnea tendra que ser infinita [15]. Esta inevitable restriccion
origina una inmensa asimetra en la partici
on. En efecto, cualquiera que
sea la longitud del segmento AB -particionado y cualquiera que sea la
-partici
on, todas sus partes, excepto un n
umero finito de ellas, estar
an
necesariamente dentro de un intervalo final CB arbitrariamente peque
no.
402 A modo de ilustracion, consideremos una -partici
on de un segmento
10
de recta AB de longitud igual a 9,3 10 a
nos luz, el supuesto di
ametro del universo visible. Cualquiera que sea la -partici
on de este enorme
segmento lineal todas sus infinitas partes, salvo un n
umero finito de ellas,
inevitablemente se encuentran dentro de un intervalo final CB inconcebible menor que, por ejemplo, la longitud de Planck ( 1033 cm). No hay
forma de realizar una partici
on m
as equitativa si la partici
on tiene que
143
ser ordenada, la m
as peque
na de las particiones infinitas (Figura 22.2).
As, las -particiones son -asimetricas. Y siendo el menor ordinal infinito, cualquier partici
on infinita ha de contener al menos una partici
on
ordenada.
Infinitas partes en CB cuya longitud
es m enor que la distancia
-33
de Planck: 10 cm
m 1 m 2 m 3 46
CB
aos luz
1 Una
(4)
Partici
on infinita de una curva de Jordan 145
(5)
(6)
La biyeccion f entre hxi iiI y hri iiI definida por f (xi ) = ri prueba que
ambas sucesiones tienen la misma cardinalidad. As, si la primera fuera
infinita no numerable tambien lo sera la segunda. Pero hri iiI no puede
ser infinita no numerable porque si ese fuera el caso podramos elegir un
n
umero racional diferente qi en cada intervalo real [ri , ri+1 ) y tendramos un
conjunto no numerable de n
umeros racionales distintos, lo que, de acuerdo
con Cantor, es imposible.
408 En el captulo 12 se examinaron las posibilidades de las particiones
no numerables y se demostro que la conclusion de Cantor podra no ser la
conclusion correcta. En cualquier caso, y siendo el menor de los ordinales
infinitos, el ordinal de cualquier partici
on infinita tiene que ser o mayor
que , lo que significa que contiene al menos un subparticion ordenada.
409 Por consiguiente el ordinal de la partici
on hxi iiI tiene que ser o
mayor que . Es inmediato demostrar, sin embargo, que no puede ser ni
ni mayor que .
410 Considerese un punto y en el sentido contrario al de las agujas del
reloj y tal que:
L(y, x1 ) = r/2
(7)
De (4) deducimos que y s
olo puede pertenecer a la u
ltima parte de hxi iiI .
Por tanto, esta partici
on no puede ser ordenada porque las particiones
ordenadas no tienen una u
ltima parte.
y x1
x2
x3
x w+1
r/2
x4
...
xw
...
r/2
n unario
El sistema de numeracio
413 Tal vez la forma m
as primitiva de representar n
umeros [203] es lo que
ahora llamamos el sistema unario de numeracion (SUN). Como su nombre
indica, s
olo se necesita un numeral1 para representar cualquier n
umero natural. Aqu vamos a utilizar el numeral 1. Los sucesivos n
umeros naturales
se escribiran entonces:
1, 11, 111, 1111, 11111, 111111, . . .
(1)
numeral de un n
umero no es un n
umero sino el smbolo que se utiliza para referirse al
n
umero. As, el n
umero 5 es el smbolo para el n
umero 5 en el sistema normal (decimal)
de numeraci
on.
147
Cabezal de escritura
1111
Cinta
infinitud actual de n
umeros finitos, cada uno una unidad mayor que su predecesor inmediato. Para ello, consideremos una m
aquina unaria de escribir
(MUE) capaz de escribir cadenas horizontales de 1s de cualquier longitud finita. Ahora hagamos trabajar a MUE de acuerdo con las siguientes
condiciones:
a) En una cinta vaca, MUE escribe un primer numeral 1.
b) MUE escribe un nuevo numeral 1 a la derecha del u
ltimo 1
previamente escrito si, y s
olo si, el resultado es una cadena finita
de 1s, es decir, la expresi
on unaria de un n
umero natural. De lo
contrario MUE se detiene.
417 Es inmediato demostrar por induccion el siguiente:
Teorema 417.-Para todo n
umero natural v, MUE puede escribir una cadena finita Sv = 11 .(v)
. . 1 de v numerales 1.
Demostraci
on.-Dado que 1 is una cadena finita, MUE puede escribir la
primera cadena S1 = 1. Supongamos que MUE puede escribir la cadena
Sn = 11 .(n)
. . 1 de n numerales 1, siendo n cualquier n
umero natural. Puesto
que n + 1 es tambien finito, MUE puede escribir un nuevo numeral 1 a la
derecha de Sn , i.e. una cadena finita Sn+1 = 11 (n+1)
. . . 1 de n+1 numerales.
As, MUE puede escribir la primera cadena S1 y si para cualquier n
umero
(n)
natural n, puede escribir una cadena Sn = 11 . . . 1 de n numerales 1
tambien puede escribir una cadena Sn+1 = 11 (n+1)
. . . 1 de n + 1 numerales.
Esto prueba que para todo n
umero natural v, MUE puede escribir una
cadena Sv = 11 .(v)
. . 1de v numerales 1.
418 Supongamos ahora que mientras MUE pueda escribir un nuevo numeral 1 a la derecha del u
ltimo 1 previamente escrito, lo escribe. Sea S
la cadena resultante una vez que todos los numerales posibles han sido escritos. En primer lugar destaquemos que estamos asumiendo la posibilidad
de llevar a cabo todas las acciones posibles de una sucesion de acciones sucesivas, precisamente porque son posibles. De lo contrario estaramos ante
una contradicci
on b
asica, la de una posibilidad imposible. Por lo tanto,
estamos asumiendo la Primera Ley de la logica, seg
un la cual si algo es
posible, entonces es posible.
El sistema de numeraci
on unario 149
t2
b1
BX
tb
t3
b2
BX
b3
BX
...
BX
426 Sea BX una caja vaca, hbn i una coleccion ordenada de bolas
etiquetadas y htn i una sucesion estrictamente creciente de instantes en el
intervalo (ta , tb ) cuyo lmite es tb . Ahora considerese la siguiente supertarea
condicionada: En cada uno de los sucesivos instantes ti de htn i a
nadir la
bola bi si y s
olo si, el n
umero de bolas en la caja BX es finito.
427 En el instante tb habra terminado nuestro supertarea y BX contendra un cierto n
umero de bolas. De acuerdo con la la hip
otesis del infinito
actual subsumida en el Axioma del Infinito, existe una totalidad completa
de infinitos n
umeros naturales finitos, 1, 2, 3, . . . , cada una unidad mayor que su predecesor inmediato. La coleccion de bolas hbn i y la sucesion
de instantes htn i tambien existen como totalidades completas. Todas estas
colecciones y sucesiones completas de n
umeros naturales, de bolas y de
instantes son legitimadas por el Axioma del Infinito. A su vez, esas colecciones y sucesiones legitiman la realizaci
on de nuestro supertarea en el
intervalo de tiempo (ta , tb ).
428 Consideremos las dos siguientes alternativas, exhaustivas y mutuamente excluyentes, con respecto al n
umero de bolas en la caja BX en el
instante tb :
1) En el instante tb , la caja BX contiene un n
umero finito de bolas.
2) En el instante tb , la caja BX contiene un n
umero infinito de bolas.
429 Sea v cualquier n
umero natural y supongamos que en el instante tb la
caja BX contiene v bolas. Puesto que v + 1 es tambien un n
umero natural
finito, la bola bv+1 tambien fue a
nadida a BX en el instante tv+1 . As, en
tb la caja BX no puede contener v bolas, y siendo v cualquier n
umero
natural finito podemos concluir que en el instante tb la caja BX no puede
contener un n
umero finito de bolas.
430 En el instante tb la caja BX tampoco puede contener un n
umero
infinito de bolas. En efecto:
1) BX contendra un n
umero infinito de bolas si la condici
on, a
nadir
una bola a la caja si, y solo si, la caja contiene un n
umero finito
de bolas, ha sido violada. O si existe un n
umero natural finito v
tal que v + 1 sea infinito, lo que obviamente no es el caso.
2) Siendo tb el lmite de la sucesion htn i, en cada instante t del intervalo (ta , tb ) la caja BX contienen un n
umero finito v de bolas:
v N : tv t < tv+1
(3)
Por tanto, la u
nica manera de que BX contenga un n
umero infinito de bolas
en el instante tb es a
nadiendo infinitas bolas precisamente en el instante
tb , lo que es imposible porque en el instante tb todas las bolas han sido ya
a
nadidas a la caja, como demuestra la biyeccion f (ti ) = bi . En el instante
tb ninguna bola se a
nade a la caja BX.
431 La conclusion sobre la caja y las bolas es, por tanto, muy clara:
Si la lista de los n
umeros naturales existe como una totalidad infinita y
completa, entonces la caja BX no puede contener ni un n
umero finito ni
un n
umero infinito de bolas .
meros naturales
La tabla monaria de los nu
432 Consideremos ahora la siguiente tabla ordenada T de los n
umeros
naturales en su orden natural de precedencia y escritos en el sistema unario
de numeracion:
Fila F1 : 1
Fila F2 : 11
Fila F3 : 111
Fila F4 : 1111
Fila F5 : 11111
...
La n-esima fila de T , simb
olicamente rn , corresponde a la representacion
unaria del n
umero n, estando por consiguiente formada por n numerales 1.
Seg
un la hip
otesis del infinito actual, las infinitas filas de T , una para cada
n
umero natural, existen todas en el acto, como una totalidad completa.
433 El n
umero de filas de la tabla T es igual al n
umero de n
umeros naturales, es decir, o , el cardinal del conjunto de los n
umeros naturales. Seg
un
la ortodoxia infinitista, o es el menor cardinal infinito, el menor n
umero
mayor que todos los n
umeros naturales finitos (veanse los Captulos 3 y 16
sobre el infinito actual y alef-cero).
434 La primera columna de T tiene o elementos, uno para cada fila;
uno para cada n
umero natural. Dado que cada elemento de esta columna
pertenece a una fila diferente y ninguna otra columna tiene m
as elementos
2
que ella , podemos decir que esta primera columna define el n
umero de filas
de T en el sentido de que el primer elemento de cada fila es un elemento
diferente de la primera columna, y por tanto es posible definir una biyeccion
entre las filas de T y los elementos de su primera columna. Sin embargo,
mientras que el n
umero de filas de T est
a completamente definido por el
n
umero de elementos de su primera columna, el n
umero de columnas de T
es mucho m
as problematico, como veremos inmediatamente.
435 Estando cada fila rn compuesta por exactamente n numerales 1, y
siendo cada uno de esos numerales un elemento de una columna diferente
de T , esa fila garantiza la existencia de al menos n columnas en T . Es en
este sentido que diremos que rn define exactamente n columnas:
...
r4 = 1111
r4 define 4 columnas
...
r9 = 111111111
r9 define 9 columnas
...
436 Empecemos demostrando que el n
umero de columnas de la tabla T
2 Se
podra demostrar f
acilmente que cada columna de T tiene o elementos
24.-Temporizando el infinito
n
Introduccio
443 Las matem
aticas no suelen ocuparse de la forma en la que las infinitos pasos sucesivos de, por ejemplo, una definicion recursiva ordenada
se podran de hecho llevar a cabo. Simplemente supone que son llevados a
cabo en su completa totalidad. Pero las definiciones o los procedimientos
matem
aticos compuestos por cualquier n
umero finito o infinito de pasos
sucesivos podran ser facilmente temporizados mediante una sucesion de
instantes de la misma ordinalidad que la sucesion de pasos y una correspondencia uno a uno entre ambas sucesiones. Evidentemente, la correspondencia entre instantes y pasos no tiene ning
un efecto sobre el resultado de
la definicion o del procedimiento temporizado. Simplemente establece los
sucesivos instantes en los que cada uno de los sucesivos pasos podran tener
lugar. Examinaremos aqu la diferencia entre definir una sucesion infinita
de objetos sin un u
ltimo objeto que complete la sucesion, y redefinir un
n
umero infinito de veces el mismo objeto.
Definiciones recursivas
444 Sea han i una sucesion ordenada a1 , a2 , a3 , . . . y considerese la
siguiente sucesion ordenada de definiciones recursivas:
(
A1 = {a1 }
(1)
Ai = Ai1 {ai }
De acuerdo con la hip
otesis del infinito actual, el resultado de la sucesion
de definiciones (1) es una sucesion ordenada hAn i de conjuntos anidados
A1 A2 A3 . . . que existe como una totalidad completa. Obviamente,
eso implica asumir la compleci
on de los infinitos pasos sucesivos de (1).
445 Sea ahora (ta , tb ) un intervalo de tiempo cualquiera y htn i una sucesi
on ordenada y estrictamente creciente de instantes dentro de (ta , tb )
cuyo lmite es tb , como es, por ejemplo, el caso de la sucesion clasica:
tn = ta + (tb ta )(2n 1)/2n
155
(2)
(3)
(4)
demuestra que en el instante tb tendremos la misma totalidad ordenada hAn i definida en (1). Notese que cada paso sucesivo de la definici
on
(1) define un nuevo conjunto, y que finalmente tendremos una sucesion de
infinitos conjuntos sin un u
ltimo conjunto que complete la sucesion.
n conflictiva
Una definicio
447 Temporizar las definiciones matem
aticas compuestas por un n
umero infinito de pasos pone de manifiesto algunas insuficiencias importantes
en la supuesta completitud de las totalidades ordenadas implicadas.
Examinaremos una de ellas a continuaci
on.
448 Sean x e y de dos variables naturales (cuyo dominio es el conjunto
de los n
umeros naturales) y considerense las siguientes sucesiones ordenadas de (re)definiciones de ambas variables hDn (x)i y hDn (y)i
Dn (y) = 1
(5)
En cada sucesivo instante tn de htn i
Dn (x) = n
Una definici
on conflictiva 157
...
x indefinida
...
...
ta
tb
Figura 24.1: Justo en el instante tb la variable natural x resulta indefinida, aunque nada
ocurre en tb que pueda indefinir a x.
orden
}|
{z
}|
{
z
. . . t3 , t2 , t1 | t1 , t2 , t3 , . . .
(1)
159
5 Una
(2)
462 Examinaremos ahora la forma en la que transcurren los sucesivos t instantes de htn i y los sucesivos t-instantes de htn i a medida que el tiempo
pasa de ta a tb , para lo cual consideraremos los dos siguientes funciones:
f (t) = n
umero de t -instantes transcurridos en t, t [ta , tb ]
(5)
f (t) = n
umero de t-instantes por transcurrir en t, t [ta , tb ]
(6)
f (t) =
f (t) =
(7)
o if t > ta
0 if t = tb
En caso contrario, si siendo n un n
umero natural, existiera un instante t
(9)
465 La funci
on f define, por tanto, una dicotoma, (t -dicotoma):
Con relaci
on al n
umero de t -instantes transcurridos a medida que el
tiempo pasa de ta a tb solo dos valores son posibles: 0 y o .
La funcion f tambien define una dicotoma, (t-dicotoma):
Con relaci
on al n
umero de t-instantes que quedan por transcurrir a
medida que el tiempo pasa de ta a tb solo son posibles dos valores: o
y 0.
0
tb
ta
Prohibido
Prohibido
1
2
3
tb
ta
3
2
1
0
(10)
S(o ) S(0)
(11)
de tal modo que entre dos cualesquiera de esos sucesivos instantes tn , tn+1
siempre transcurre un tiempo mayor que cero, tn+1 - tn > 0 (-separacion).
En consecuencia, el n
umero de t -instantes transcurridos desde ta solo puede aumentar de uno en uno, desde 0 hasta o . Lo mismo vale para la forma
en la que el n
umero de t-instantes por transcurrir disminuye desde o hasta
0. Esta sucesividad jugar
a un papel decisivo en la discusion que sigue.
471 Como consecuencia de la t -dicotoma, el n
umero de t -instantes
transcurridos desde ta debe incrementarse uno a uno desde 0 hasta o sin
atravesar la sucesion creciente de n
umeros naturales 1, 2, 3, . . . . Analogamente, el n
umero de t-instantes por transcurrir debe decrecer de uno
en uno, desde o hasta 0 sin atravesar la sucesion decreciente de n
umeros
naturales . . . , 3, 2, 1 (vease la Figura 25.2).
1 0 1* 2*
3*
3 2
4*
4
5
Z-Reloj
Nmero de t*-instantes
transcurridos
t*-instantes
ta
FR
t-instantes
tb
Nmero de t-instantes
por transcurrir
Figura 25.2: A medida que el tiempo (flecha roja FR) pasa desde ta hasta tb la flecha de
los t -instantes ha de girar en sentido de las agujas del reloj desde 0 hasta o sin pasar
sobre los sucesivos radios 1*, 2*, 3*, . . . . Al mismo tiempo, la flecha de los t-instantes ha
de girar en sentido de las agujas del reloj desde o hasta 0 sin pasar sobre los sucesivos
radios . . . 3, 2, 1.
n t :
n t = tn+1 tn =
tb ta
>0
2n+1
(12)
o el intervalo n t:
tb ta
>0
(13)
2n+1
Las transiciones S (0) S (o ) y S(o ) S(0) han durar tiempos mayores que cero pero no pueden durar tiempos mayores que cero (475-476).
Tenemos pues dos contradicciones que prueban la imposibilidad de dividir cualquier intervalo finito de tiempo en una infinitud actual de partes
ordenadas y en una infinitud actual de partes ordenadas (vease el
Z-reloj de la Figura 25.2).
n t = t(n+1) tn =
478 Como u
ltimo recurso, algunos infinitists afirman que no tienen sentido tratar de calcular la duracion de las transiciones S (0) S (o ) y
S(o ) S(0) simplemente porque no hay ni primer elemento en las sucesiones ordenadas ni u
ltimo elemento en las sucesiones ordenadas.
Pero aqu no hemos estado tratando de calcular la duracion de esas transiciones, nos hemos limitado a tratar de demostrar que tienen que durar
un tiempo mayor que cero (-separacion), pero que no pueden durar un
tiempo mayor que cero (-dicotoma).
479 Cualquier partici
on numerable del tiempo ha de ser ordenada o
(15)
(16)
2i 1
, i N
2i
(17)
hzi i : zi =
hzi i : zi =
Apendice A
El problema del cambio
n
Introduccio
482 El cambio es una caracterstica omnipresente de nuestro universo en
continua evoluci
on. Pero el cambio es tambien la cuesti
on m
as peliagu1
da con la que el hombre se ha enfrentado. Tan peliaguda que podra ser
inconsistente, como se viene reclamando al menos desde los tiempos presocr
aticos.2 Evidentemente, si ese fuera el caso, la tarea de explicar el mundo en terminos consistentes sera imposible. En este apendice probaremos
que, en efecto, el cambio es inconsistente en el continuum espaciotiempo,
aunque podra encontrar una soluci
on en ciertos espaciotiempos discretos
como los de los aut
omatas celulares.
483 Por sencillez, y para evitar complicaciones innecesarias, discutiremos
aqu el problema de los cambios causales en objetos fsicos macroscopicos.
As, si O es uno de esos objetos macroscopicos, diremos que O cambia
del estado Sa al estado Sb si existe un conjunto de leyes (fsicas) L tales
que, bajo las mismas condiciones C y como consecuencia de esas leyes y
condiciones, el estado de O es Sa en el instante ta y Sb en un instante
posterior tb . En smbolos:
Sa 7 Sb
(1)
Cambio causal
L(S , C, t ) = (S , t )
a
Puesto que u
nicamente trataremos con cambios causales (1), de ahora en
adelante ser
an referidos simplemente como cambios.
una visi
on general del problema vease [139], [168] y el punto de vista particular de
H. Bergson en [19], [20]
s
olo autores presocr
aticos como Parmenides o Zen
on de Elea afirmaron la imposibilidad del cambio, autores modernos como J.E. McTaggart tambien defendieron esa
imposibilidad [132]
2 No
169
(2)
(3)
difcil de explicar en terminos fsicos que diablos podra ser una sucesi
on de cambios
no can
onicos.
Introducci
on 171
(5)
f (x) = 0 en el punto b
(6)
matas celulares
Un modelo discreto: auto
502 Los modelos similares a los aut
omatas celulares (cellular automata
like model, CALM) proporcionan una nueva e interesante perspectiva para analizar la forma en la que el universo podra estar evolucionando. En
particular proporciona un espaciotiempo discreto en el que sera posible
un nuevo an
alisis de algunos de los problemas aparentemente irresolubles
o paradojicos de la fsica contempor
anea. Como veremos en la breve discusi
on que sigue, veintisiete siglos despues de que fuera planteado, el viejo
problema del cambio podra encontrar una primera soluci
on consistente en
el marco discreto del espaciotiempo de los CALMs.
Espacio continuo
Espacio discreto
Cada qusit tiene un
sucesor inmediato
ab
Distancia ab = 0
Distancia ac = 5
Distancia bc = 4
an
alisis teorico, U-CALM sera incomparablemente menos complejo que,
por ejemplo, cualquier matriz de infinitos elementos (que son usuales en
matem
aticas y en fsica te
orica). Se podra modelar el universo siempre que
conocieramos las leyes b
asicas que lo hacen autoorganizarse y evolucionar.
En estas circunstancias, simular no significa reproducir la historia exacta
del universo: las interacciones recursivas de los qusits y las din
amicas no
lineales resultantes abriran la puerta de lo inesperado y de la creatividad,
como ocurre con la biosfera terrestre.
511 En cualquier caso, y como indic
abamos en 510, podramos teorizar sobre UCALM, podramos usarlo como un referente teorico para comprender la esencia, la
magnitud y las posibilidades de los universos reales. Con todo lo colosal que pueda
parecer, U-CALM sera un objeto finito y
por tanto formado por un n
umero de elementos incomparablemente menor que el
n
umero de puntos (2o ) de un simple in- Figura A.4: Si fuera posible, un 3Dtervalo tan peque
no como (0, 1) en el con- CALM podran servir para simular la
auto-organizaci
on y la evoluci
on del
tinuum espaciotiempo. Adem
as, mientras universo.
que los puntos de (0, 1) no tienen significado fsico alguno, cada elemento de U-CALM rebosara significacion fsica.
512 Para finalizar esta captulo, imaginemos que construimos un juego de
ordenador muy avanzado en el que los personajes evolucionan hasta hacerse conscientes de su propia inteligencia. Si intentaran explicar su universo
digital, seguramente tendran el mismo tipo de problemas que tenemos nosotros cuando pretendemos explicar los incesantes cambios que observamos
en el nuestro.
Apendice B
Sugerencias para una teora natural de conjuntos
n
Introduccio
513 En mi opini
on, las teoras modernas de conjuntos son excesivamente
tortuosas y complicadas principalmente debido a las tres razones siguientes:
1) El escenario plat
onico donde todas ellas se han fundado y desarrollado, lo que significa que los conjuntos son considerados objetos
plat
onicos que existen con independencia de la mente humana.
2) Las restricciones necesarias para evitar la autorreferencia, otra asuncion plat
onica de origen presocr
atico. Asumir la autorreferencia
sem
antica implica asumir la existencia de autolenguajes, de lenguajes con la capacidad de referirse a s mismos. Desde la perspectiva no plat
onica, por el contrario, solo el hombre puede referirse
a otros objetos, incluyendose a s mismo. Desde esta perspectiva
la autorreferencia es una habilidad exclusivamente humana y, en
consecuencia, solo se consideran el lenguaje y los sucesivos metalenguajes.
3) La hip
otesis del infinito actual subsumida en el Axioma del Infinito, de acuerdo con la cual los conjuntos infinitos existen como
totalidades completas.
Este apendice sugiere otra alternativa fundacional lejos del escenario plat
onico: el escenario natural de de las actividades intencionales de la mente
humana.
514 La discusion que sigue se fundamenta de hecho en una definicion
natural (no plat
onica) de conjunto. Tambien introduce el concepto de sucesi
on incompletable, a traves de la definicion de conjunto sucesor. Las
sucesiones incompletables de conjuntos sucesores se utilizan entonces para
definir la sucesion de cardinales finitos y la de conjuntos potencialmente
infinitos.
179
n natural de conjunto
Una definicio
515 Suponemos aqu que los conjuntos y los n
umeros naturales son objetos teoricos elementales que resultan de nuestra actividad mental intencionada. Por lo tanto no tienen existencia independiente de la mente.
516 Tal vez el proceso intencional m
as b
asico de nuestra mente consista
en considerar (centrar nuestra atenci
on en) cualquier objeto o grupo de
objetos. Existen, a su vez, dos formas b
asicas de considerar objetos: o sucesiva o simult
aneamente. La primera lleva al concepto de n
umero natural;
la segunda al concepto de conjunto.
517 Cuando consideramos sucesivamente diferentes objetos, en cierto modo los estamos contando. Un n
umero natural es una especie de medida de
la cantidad de objetos considerados sucesivamente (vease m
as abajo). Por
otro lado, si consideramos esos objetos de forma simult
anea los estamos
agrupando en una totalidad que es un nuevo objeto diferente de cada uno
de los objetos considerados. En consecuencia, vamos a proponer la siguiente definicion natural de conjunto en cierta forma sugerida por por Lewis
Carroll [45]:
Definici
on de conjunto.-Un conjunto es el objeto teorico que
resulta de un agrupamiento mental de objetos arbitrarios previamente definidos.
Obviamente el mundo fsico est
a lleno de grupos naturales de objetos, por
ejemplo el conjunto de todos los iones de un cierto cristal de pirita. La
mente humana tiene la habilidad de reconocer esos grupos naturales, pero
tambien tiene la capacidad de definir otros muchos grupos que pueden
incluir objetos abstractos e imaginarios.
518 Obviamente, la Definici
on 517 es de tipo constructivo: s
olo indica la
forma en la que se construyen los conjuntos: por procesos mentales de agrupamiento. Al ser constructiva, la definicion no es sem
anticamente circular.
Los conjuntos se definen como objetos teoricos porque la mente humana
s
olo puede construir objetos te
oricos. Ademas, la Definici
on 517 requiere
que los elementos que se van a agrupar han de estar previamente definidos
(ya sea por enumeracion o por comprension). Parece un requisito razonable, de lo contrario no sabramos que estamos agrupando, que estamos
definiendo.
519 Por otra parte, ese simple requisito (ser definidos antes de ser agrupados) invalida a los conjuntos autorreferentes. En efecto, de acuerdo con
el un conjunto no puede pertenecerse a s mismo, ya que no existe como un
Una definici
on natural de conjunto 181
elemento que se pueda agrupar hasta que el conjunto se haya definido. Paradojas como la de Cantor (conjunto de todos los cardinales), Burali-Forti
(conjunto de todos los ordinales) y Russell (conjunto de todos los conjuntos
que no pertenecen a s mismos), ni siquiera se plantean porque sus correspondientes conjuntos son inmediatamente descartados como consecuencia
de la propia definicion 517.
520 Comparemos ahora esta definicion constructiva de conjunto de los
dos siguientes intentos plat
onicos de G. Cantor:
a) Por un conjunto o agregado por lo general entiendo una multiplicidad que puede ser pensada como una unidad, es decir, cualquier totalidad de elementos definidos que, mediante una ley, se
pueden poner en una totalidad, y creo que en esto estoy definiendo
algo que est
a relacionado con el eidos plat
onico o idea. ([40, page
93])
b) Por un conjunto (Menge) hemos de entender cualquier coleccion
en una totalidad M de objetos m definidos y separados de nuestra
intuici
on o nuestro pensamiento. ([36, p. 481], [39, . 85])
521 Puesto que multiplicidad y coleccion son sin
onimo de conjunto
ambas definiciones son circulares. La circularidad tampoco pudo evitarse
en los intentos posteriores de definir la nocion plat
onica de conjuntos, que
fue finalmente declarada como no definible, i.e. como un concepto primitivo
que no puede definirse en terminos de otros conceptos m
as b
asicos. La
imposibilidad de definir conjuntos plat
onicos probablemente indica que
los conjuntos no son los objetos plat
onicos que se haban supuesto, sino
productos de nuestra actividad mental intencionada.
522 Afortunadamente, la mayora de los smbolos, convenciones y operaciones de las teoras axiomaticas de conjuntos pueden mantenerse en las
teoras no plat
onicas de conjuntos. Particularmente las nociones de pertenencia, subconjunto, conjunto vaco, uni
on, intersecci
on, correspondencias
y similares. Por el contrario, la mayora de los axiomas necesarios en las
teoras plat
onicas de conjuntos son innecesarios en las teoras no plat
onicos.
523 Como veremos en este apendice, uno de los conceptos m
as importantes en una teora constructiva de conjuntos es el de conjunto sucesor, que
se deriva de forma inmediata de la Definici
on 517. En efecto, es inmediato
demostrar el siguiente:
Teorema del conjunto sucesor.-Cada conjunto A define un
conjunto nuevo, su conjunto sucesor s(A), del cual el es un ele-
mento.
Demostraci
on.-Una vez definido un conjunto A, tendremos a nuestra disposici
on un nuevo objeto, el conjunto A, y seg
un la Definici
on 517, podremos
agruparlo con otros elementos arbitrarios previamente definidos. Por ejemplo con los elementos que se utilizaron para definir A. As podremos definir
un nuevo conjunto s(A) de la forma:
s(A) = A {A}
(1)
(2)
(3)
(4)
Conjuntos y n
umeros 183
guiente:
Teorema de la sucesi
on de sucesores.-La sucesion de conjuntos sucesores de un conjunto cualquiera es incompletable.
meros
Conjuntos y nu
526 Aunque se han llevado a cabo varios intentos constructivos y formales
para definir el concepto de n
umero, este concepto podra ser de hecho
primitivo, no definible en terminos de otros conceptos m
as b
asicos. En
cualquier caso, podemos asumir que dos conjuntos tienen el mismo n
umero
de elementos si se puede establecer entre ellos una correspondencia uno a
uno. Todos los conjuntos que se pueden poner en una correspondencia uno
a uno entre s definen una clase de conjuntos, y por tanto un n
umero: el
cardinal de todos los conjuntos de esa clase. El cardinal de un conjunto A
se suele representar por |A|.
527 Contar los elementos de un conjunto A significa finalmente considerar sucesivamente cada uno de sus elementos sucesivos. Podramos definir
un n
umero (nombre, n
umero y caractersticas) cada vez que consideramos
un nuevo elemento de A como una indicaci
on de la cantidad de los elementos considerados, como una indicaci
on del tama
no del conjunto. Aunque
en este contexto, n
umero, cantidad y tama
no son sem
anticamente indistinguibles, y por tanto el intento de definicion tambien es circular. Despues
de todo, quizas solo sean posibles las definiciones operativas del concepto
de n
umero. Presentaremos inmediatamente una de ellas.
528 Uno de las sucesiones incompletables mejor conocida es la siguiente,
basada en la noci
on de conjunto vaco :
=
(5)
s() = {} = {}
(6)
(7)
(8)
...
529 Llamamos cardinales finitos, o n
umeros naturales, a los cardinales
de los conjuntos (definicion de Von Neumann de 1923 [142]):
|| = 0
(9)
|{}| = 1
(10)
|{, {}}| = 1 + 1 = 2
(11)
(12)
(13)
...
donde escribimos +1 para indicar que un nuevo elemento se ha a
nadido
al conjunto precedente para definir el nuevo conjunto y su correspondiente
nuevo cardinal finito. Por claridad escribiremos la anterior sucesion de
cardinales como:
|| = 0
(14)
|{}| = |{0}| = 1
(15)
(16)
(17)
(18)
...
(19)
(20)
= {, s (), s (), . . . s
n1
(21)
n
(), s ()}
(22)
(23)
Conjuntos y n
umeros 185
(25)
(
f (1) =
(26)
Conjuntos finitos
536 Como es bien sabido, la hip
otesis del infinito actual subsumida en
el Axioma del Infinito afirma la existencia de un conjunto equipotente con
el conjunto de todos los cardinales considerado como una totalidad completa, como si la sucesion anterior (5)-(8) pudiera, en efecto, ser realmente
completada. Por el contrario, en una teora no-plat
onica de conjuntos esa
sucesion es incompletable y entonces no puede ser considerada como una
totalidad completa. Esa sucesion es un ejemplo de objeto potencialmente
infinito. En la secci
on siguiente nos ocuparemos de ellos. En esta centraremos nuestra atenci
on en los conjuntos finitos. Para empezar, consideremos
la siguiente definicion elemental, basada en las sucesiones anteriores de
conjuntos sucesores y cardinales finitos:
Definici
on 536.-Un conjunto es finito si y s
olo si, tiene un
cardinal finito.
Los teoremas y definiciones anteriores permiten demostrar los siguientes
resultados sobre los conjuntos finitos.
(27)
que es la versi
on n-ordenada del conjunto A.
538 Teorema del ordenamiento finito 2.-Todo conjunto finito es
n-ordenado.
Demostraci
on.- De acuerdo con el teorema del ordenamiento finito 1, cualquier conjunto finito A de cardinal n puede ser n-ordenado mediante una
biyeccion f entre Nn y A, de modo que podemos escribir:
A = {f (1), f (2), . . . , f (n)}
(versi
on n-ordenada de A)
(28)
Puesto que la sucesion f (1), f (2),. . . f (n) contiene todos los elementos del
conjunto A, el ordenamiento de este conjunto solo puede ser uno de los posibles reordenamientos de f (1), f (2),. . . f (n), i.e una de las n! permutaciones
de f (1), f (2),. . . f (n). Puesto que cada permutaci
on de f (1), f (2),. . . f (n)
cambia los elementos indexados pero no el conjunto n-ordenado de ndices
{1, 2, . . . n}, cada permutaci
on ser
a n-ordenada. Por tanto A es un conjunto
n-ordenado.
539 Teorema del siguiente cardinal.-Si A es un conjunto finito de
cardinal n, entonces su conjunto sucesor S(A) = A {A} es un conjunto
finito de cardinal n + 1.
Demostraci
on.-Puesto que el cardinal de A es n y, seg
un 534, el cardinal de
Nn tambien es n, existir
a una biyecci
on f entre A y Nn = {1, 2, 3, . . . n}.
La biyeccion g definida por:
g : A {A} 7 {1, 2, 3, . . . n, n + 1}
(29)
a A : g(a) = f (a)
(30)
g(A) = n + 1
(31)
Teorema de la extensi
on finita.-Si A es un conjunto finito y b
(32)
f (b) = A
(33)
(34)
A {b1 } {b2 }
..
.
(35)
(37)
(36)
(38)
(39)
Apendice C
Platonismo y biologa
supuesto, la evoluci
on es un proceso natural y negarlo es tan est
upido como negar
la fotosntesis o la glucolisis. Otra cosa es su explicaci
on te
orica. Como cualquier teora
cientfica, la teora de la evoluci
on org
anica no est
a terminada, existen, por el contrario,
un buen n
umero de discusiones abiertas. Vease, por ejemplo [179], [24], [184], [160], [167],
[125], [69], [159], [47], [86], [166], [46] etc.
191
[137].
553 Tener la habilidad de componer representaciones abstractas del mundo es indispensable para los animales a fin de sobrevivir y reproducirse, Y un error en este asunto puede costar el m
as elevado de
los precios. Una pelota rodando hacia un
Figura C.1: El perro conoce la logica
precipicio no se detendra para evitar caer; del mundo fsico. La bola no.
pero el perro que corre detr
as de ella s lo
har
a; los perros conocen gravedad y sus consecuencias. Los animales interact
uan con su entorno y necesitan conocer sus singularidades, su forma
peculiar de ser y evolucionar, es decir, su logica fsica; y a
un su logica
matem
atica.3
554 Los animales necesitan representaciones abstractas del mundo fsico,
lo que no es un detalle sin importancia (el mantenimiento y el funcionamiento continuo de esta representaci
on interna del mundo gasta hasta el
80 % de la energa total consumida por un cerebro humano [157].) Debe ser
una representaci
on precisa y eficiente, si no sera imposible la vida animal.
Es a traves de sus propias acciones y experiencias, incluyendo la imitaci
on e
4
innovation como los animales desarrollan su representacion neurobiologica del mundo en terminos simb
olicos y abstractos. El funcionamiento del
cortex cerebral depende m
as de las conexiones neuronales desarrolladas a
traves de la historia de los estmulos recibidos por cada individuo que de
la intervenci
on de tal o cual gen en tal o cual area de su cerebro [70], [112].
Resulta, pues, indiscutible que:
El conocimiento abstracto construido sobre la accion y experiencia de los individuos es indispensable para la vida animal.
555 Percepci
on y cognici
on son procesos neuronales constructivos en el
que participan unidades elementales de conocimiento abstracto. Los procesos tienen lugar en zonas diferentes del cerebro, como ahora estamos
empezando a conocer con cierto detalle.5 Este modo de funcionamiento
parece incompatible con el esencialismo plat
onico. En consecuencia, los
conceptos e ideas parecen elaboraciones cerebrales m
as que entidades trascendentes con las que tenemos la capacidad de contactar. A traves de
nuestras acciones y experiencias cognitivas personales (que adem
as tienen
3 Los
primates y los seres humanos podran disponer de redes neuronales para tratar con
los n
umeros [60], [61], [97].
4 [108], [80], [161], [201]
5 [162], [53], [178], [54], [109], [55], [172]
car
acter acumulativo transpersonal a traves de la herencia cultural y de las
redes culturales) hemos finalmente desarrollado el gran sistema cognitivo
que llamamos ciencia.
556 La consciencia de las ideas y la capacidad de pensamiento recursivo
(quizas una capacidad exclusivamente humana6 ) podran haber promovido
el nacimiento y la persistencia del esencialismo plat
onico. Pero esa forma
de pensar es simplemente incompatible con la biologa evolutiva [128] y con
la neurobiologa. Parece razonable que Plat
on fuera plat
onico en tiempos
de Plat
on, pero ciertamente sorprende la persistencia de esa vieja manera de pensar en la comunidad de matem
aticos contempor
aneos. Aunque,
como podra esperarse, tambien existe un cierto nivel de desacuerdo sobre
este asunto.7 Es notable el hecho de que muchos autores no plat
onicos,
como Wittgenstein, estuviesen en contra tanto del infinito actual como
de la autorreferencia [126], dos conceptos capitales en la historia de las
matem
aticas plat
onicas.
557 El lector puede llegar a sus propias conclusiones sobre las consecuencias que la anterior crtica biol
ogica de esencialismo plat
onico podra
tener sobre la autorreferencia y el infinito actual. Aunque, evidentemente, tambien puede mantener que no conoce a traves de redes neuronales
y persistir en sus h
abitos plat
onicos. Pero para aquellos de nosotros que
creemos en la naturaleza org
anica de nuestro cerebro y en su capacidad
de percibir y conocer modelada a traves de m
as de 3600 millones de a
nos
de evoluci
on org
anica, el platonismo ya no tiene sentido. El infinito actual
y la autorreferencia podran perder todo su significado fuera del escenario
plat
onico
558 En mi opini
on, la hip
otesis del infinito actual no es solo in
util para
explicar el mundo natural, tambien es muy molesta en ciertas disciplinas
como la gravedad cu
antica o la electrodin
amica cu
antica (renormaliza8
9
10
cion ). La fsica e incluso las mathematicas podran funcionar sin ella.11
Las ciencias experimentales como la qumica, la biologa y la geologa nunca han estado relacionadas con el infinito actual. El infinito potencial es
6 [52],
[97]
[114], [121], [13]
8 [77], [105], [116], [204], [170], [182], [8].
9 [175], [177]
10 [141], [176]
11 Excepto la aritm
etica transfinita y otras
areas relacionadas, la mayor parte de las matem
aticas contempor
aneas son compatibles con el infinito potencial, incluyendo conceptos clave como los de lmite o integral
7 [120],
suficiente.12 Incluso el n
umero de sitios distinguibles en el universo podra
ser finito [102]. La materia, la energa o la carga electrica parecen ser entidades discretas con mnimos indivisible; el espacio y el tiempo tambien
podran ser de naturaleza discreta, como se sugiere en algunas areas de la
fsica contempor
anea.13
559 Mas all
a de la escala de Planck la naturaleza parece perder todo su
sentido fsico. Como la autorreferencia y el infinito actual, el espaciotiempo
continuo podra ser s
olo un recurso ret
orico in
util. Finalmente, el lector
puede imaginar la enorme simplificacion de las matem
aticas y la fsica,
una vez liberada de la carga del infinito actual y de la autorreferencia. Tal
vez debieramos dar una oportunidad a la navaja de Ockham.
12 Algunos
teoras cosmol
ogicas contempor
aneas, como la teora de los multiversos [57] o
la teora del Universo cclico [185], hacen uso del infinito, pero de una manera bastante
imprecisa
13 [88], [89] [193], [74], [180], [12] [181], [7], [122], [189], [16], [115], [16], [189]
Bibliografa
[1] Amir D. Aczell, The Mystery of the Aleph: Mathematics, the Kabbalah and the
Search for Infinity, Pockets Books, New York, 2000.
[2] Antonio Alegre Gorri, Estudios sobre los presocr
aticos, Anthropos, Barcelona,
1985.
[3] L. V. Allis and T. Koetsierx, On Some Paradoxes of the infinite, British Journal
for the Philosophy of Science 46 (1991), 235 47.
[4] Joseph S. Alper and Mark Bridger, Mathematics, Models and Zenos Paradoxes,
Synthese 110 (1997), 143 166.
[5]
[6] Joseph S. Alper, Mark Bridger, John Earman, and John D. Norton, What is a
Newtonian System? The Failure of Energy Conservation and Determinism in
Supertasks, Synthese 124 (2000), 281 293.
[7] Jan Ambjorn, Jerzy Jurkiewicz, and Renate Loll, El universo cu
antico
autoorganizado, Investigaci
on y Ciencia 384 (2008), 2027.
[8] Charis Anastopoulos, Particle or Wave. The evolution of the concept of matter
in modern physics, Princeton University Press, New Jersey, 2008.
[9] Aristotle, Prior and Posterior Analytics, Clarendon Press, Oxford, 1949.
[10] Arist
oteles, Metafsica, Espasa Calpe, Madrid, 1995.
[11]
[12] John Baez, The Quantum of Area?, Nature 421 (2003), 702 703.
[13] Mark Balaguer, Platonism and Anti-platonism in Mathematics, Oxford
University Press, New York, 2001.
[14] John D. Barrow, The Infinite Book, Vintage Books(Random House), New York,
2006.
[15] George Bekeley, A Treatise Concerning the Principles of Human Knowledge,
Renascence Editions, http://darkwing.uoregon.edu/ bear/berkeley, 2004.
[16] Jacob D. Bekenstein, La informaci
on en un universo hologr
afico, Investigaci
on y
Ciencia (2003), no. 325, 36 43.
[17] Paul Benacerraf, Tasks, Super-tasks, and Modern Eleatics, Journal of Philosophy
LIX (1962), 765784.
197
, Sur une propriete du syst`eme de tous les nombres algebriques reels, Acta
Mathematica 2 (1874/1883), 305310.
[33]
[34]
, Uber
verschiedene Theoreme asu der Theorie der Punktmengen in einem
n-fach ausgedehnten stetigen Raume Gn, Acta Mathematica 7 (1885), 105124.
[35]
, Uber
Eine elementare frage der mannigfaltigkeitslehre, Jahresberich der
Deutschen Mathematiker Vereiningung, vol. 1, 1891.
[36]
, Beitr
age zur Begr
undung der transfiniten Mengenlehre, Mathematische
Annalen XLVI (1895), 481 512.
Referencias bibliogr
aficas - 199
[37]
, Beitr
age zur Begr
undung der transfiniten Mengenlehre, Mathematishe
Annalen XLIX (1897), 207 246.
, Gesammelte Abhandlungen, Verlag von Julius Springer, Berlin, 1932.
[38]
[39]
[40]
[41]
[42]
[43]
, Y el cerebro cre
o al hombre, Destino, Barcelona, 2010.
[56] Josep W. Dauben, Georg Cantor. His mathematics and Philosophy of the
Infinite, Princeton University Press, Princeton, N. J., 1990.
[57] P. C. W. Davies, Multiverse Cosmological Models, Modern Physics Letters A 19
(2004), 727743.
[58] John W. Dawson, Logical Dilemmas. The life and work of Kurt G
odel, A K
Peters Ltd., Wellesley MA, 1997.
[68]
, Matem
aticas y platonismo(s), Gaceta de la Real Sociedad Matem
atica
Espa
nola 2 (1999), 446473.
Referencias bibliogr
aficas - 201
, The Fabric of the Cosmos. Space, Time, and the Texture of Reality,
Alfred A. Knopf, New York, 2004.
[90] Adolf Gr
unbaum, Modern Science and Refutation of the Paradoxes of Zeno, The
Scientific Monthly LXXXI (1955), 234239.
[91]
, Modern Science and Zenos Paradoxes, George Allen And Unwin Ltd,
London, 1967.
[92]
[93]
[94]
[95] Michael Hallet, Cantorian set theory and limitation of size, Oxford University
Press, 1984.
[96] Charles Hamblin, Starting and Stopping, The Monist 53 (1969), 410 425.
[97] Marc D. Hauser, Mentes animales, El nuevo humanismo y las fronteras de la
ciencia (John Brockman, ed.), Kair
os, Barcelona, 2007, pp. 113136.
Referencias bibliogr
aficas - 203
[122] Shahn Majid, Quantum space time and physical reality, On Space and Time
(Shahn Majid, ed.), Cambridge University Press, New York, 2008.
[123] Ben
oit Mandelbrot, Los objetos fractales. forma, azar y dimensiones, Tusquets,
Barcelona, 1987.
[124] Eli Maor, To Infinity and Beyond. A Cultural History of the Infinite, Pinceton
University Press, Princeton, New Jersey, 1991.
[125] Lynn Margulis, Teora de la simbiosis: las celulas como comunidades
microbianas, Evoluci
on ambiental (Lynn Margulis and Lorraine Olendzenski,
eds.), Alianza, Madrid, 1996, pp. 157182.
[126] Mathieu Marion, Wittgenstein, finitism and the foundations of mathematics,
Clarendon Press Oxford, Oxford, 1998.
[127] James Clerk Maxwell, Materia y movimiento, Crtica, Barcelona, 2006.
[128] Ernst Mayr, The Growth of Biological Thought, Harvard University Press,
Cambirdge MA, 1982.
[129] Joseph Mazur, The Motion Paradox, Dutton, 2007.
[130] William I. McLaughlin, Una resoluci
on de las paradojas de Zen
on, Investigaci
on
y Ciencia (Scientifc American) (1995), no. 220, 62 68.
[131] William I. McLaughlin and Silvia L. Miller, An Epistemological Use of
non-standard Analysis to Answer Zenos Objections Against Motion, Synthese
92 (1992), no. 3, 371 384.
[132] J. E. McTaggart, The unreality of time, Mind 17 (1908), 457 474.
[133] Brian Medlin, The Origin of Motion, Mind 72 (1963), 155 175.
[134] H. Meschkowski, Georg Cantor. Leben, Werk und Wirkung, Bibliographisches
Institut, Mannheim, 1983.
[135] Andreas W. Moore, Breve historia del infinito, Investigaci
on y Ciencia (Scientifc
American) (1995), no. 225, 54 59.
[136]
[140] Jes
us Mostern, Los l
ogicos, Espasa Calpe, Madrid, 2000.
[141] Jan Mycielski, Analysis without actual Infinite, The Journal of Symbolic Logic
46 (1981), no. 3, 625 633.
[142] John Von Neumann, On the introduction of transfinite numbers, From Frege to
G
odel. A sourcebook in mathematical logic 1879-1931 (Jean Van Heijenoort,
ed.), Harvard University Press, 2011, pp. 346354.
[143] John D. Norton, A Quantum Mechanical Supertask, Foundations of Physics 29
(1999), 1265 1302.
[144] Javier Ordo
nez, Victor Navarro, and Jose Manuel S
anchez Ron, Historia de la
Ciencia, Espasa Calpe, Madrid, 2004.
[145] Alba Papa-Grimaldi, Why mathematical solutions of Zenos paradoxes miss the
point: Zenos one and many relation and Parmenides prohibition, The Revew of
Metaphysics 50 (1996), 299314.
[146] Derek Parfit, Reasons and Persons, The Clarendon Press, Oxford, 1984.
[147] Parmenides, Acerca de la naturaleza, De Tales a Dem
ocrito. Fragmentos
presocr
aticos (Alberto Bernabe, ed.), Alianza, Madrid, 1988, pp. 159 167.
[148] Clifford A. Pickover, Keys to Infinity, Wiley, New York, 1995.
[149] I. Pitowsky, The Physical Church Thesis and Physical Computational
Complexity, Iyyun 39 (1990), 81 99.
[150] Jon Perez Laraudogoitia, A Beautiful Supertask, Mind 105 (1996), 4954.
[151]
[152]
265.
[153]
[154]
[155] Jon Perez Laraudogoitia, Mark Bridger, and Joseph S. Alper, Two Ways of
Looking at a Newtonian Supertask, Synthese 131 (2002), no. 2, 157 171.
[156] W. Purkert, Cantors view on the foundations of mathematics, The history of
modern mathematics (D. Rowe and J. McClearly, eds.), Academic Press, New
York, 1989, pp. 4964.
[157] Marcus E. Raichle, The Brains Dark Energy, Science 319 (2006), 12491250.
[158] Nicholas Rescher, Process Philosophy, Stanford Encyclopedia of Philosophy
(Edward N.. Zalta, ed.), Stanford University, URL = http://plato.stanford.edu,
2002.
[159] Robert J. Richards, El significado de la evoluci
on. La construcci
on morfol
ogica y
la reconstrucci
on ideol
ogica de la teora de Darwin, Alianza, Madrid, 1998.
[160] Mark Ridley, La evoluci
on y sus problemas, Pir
amide, Madrid, 1985.
Referencias bibliogr
aficas - 205
[161] Giacomo Rizzolati, Leonardo Fogassi, and Vittorio Gallese, Neuronas espejo:,
Investigaci
on y Ciencia 364 (2007), 1421.
[162] Adina L. Roskies, The Binding problem, Neuron 24 (1999), 79.
[163] Brian Rotman, The Ghost in Turing Machine, Stanford University Press,
Stanford, 1993.
[164] Rudy Rucker, Infinity and the Mind, Princeton University Press, Princeton, 1995.
[165] Wesley C. Salmon, Introduction, Zenos Paradoxes (Wesley C. Salmon, ed.),
Hackett Publishing Company, Inc, Indianapolis, Cambridge, 2001, pp. 5 44.
[166] Javier Sampedro, Deconstruyendo a Darwin, Crtica, 2007.
[167] M
aximo Sandn, Lamarck y los mensajeros. La funci
on de los virus en la
evoluci
on, Istmo, Madrid, 1995.
[168] Steven Savitt, Being and Becoming in Modern Physics, The Stanford
Encyclopedia of Philosophy (Edward N. Zalta, ed.), The Stanford Encyclopedia
of Philosophy, 2008.
[169] Erwin Schr
odinger, La naturaleza y los griegos, Tusquets, Barcelona, 1996.
[170] Bruce A. Schumm, Deep Down Things. The Breathtaking Beauty of Particle
Physics, The Johns Hopkins University Press, Baltimore, 2004.
[171] Jan Sebestik, La paradoxe de la reflexivitedes ensembles infinis: Leibniz,
Goldbach, Bolzano., Infini des mathematiciens, infini des philosophes (Fran coise
Monnoyeur, ed.), Belin, Paris, 1992, pp. 175191.
[172] Sebastian Seung, Connectome. how the brains wiring makes us who we are,
Houghton Mifflin Harcourt, New York, 2012.
[173] Waclaw Sierpinski, Cardinal and ordinal numbers, PWN-Polish Scientific
Publishers, Warszawa, 1965.
[174] Z. K. Silagadze, Zeno meets modern science, Philsci-archieve (2005), 140.
[175] Hourya Sinaceur, Le fini et linfini, Infini des mathematiciens, infini des
philosophes (Fran coise Monnoyeur, ed.), Belin, Paris, 1992.
[176]
, existen los n
umeros infinitos?, Mundo Cientfico(La Recherche) Extra:
El Universo de los n
umeros (2001), 24 31.
[182]
, The trouble with physics, Allen Lane. Penguin Books, London, 2007.
[183] Carlos Sols and Luis Selles, Historia de la ciencia, Espasa Calpe, Madrid, 2005.
[184] Steven M. Stanley, El nuevo c
omputo de la evoluci
on, Siglo XXI, Madrid, 1986.
[185] Paul Steinhardt, El universo cclico, El nuevo humanismo y las froteras de la
ciencia (John Brockman, ed.), Kair
os, Barcelona, 2008, pp. 363379.
[186] Robert R. Stoll, Set Theory and Logic, Dover, New York, 1979.
[187] K. D. Stroyan, Foundations of Infinitesimal Calculus, Academic Press, Inc, New
York, 1997.
[188] Patrrick Suppes, Axiomatic Set Theory, Dover, New York, 1972.
[189] Leonard Susskind, Los agujeros negros y la paradoja de la informaci
on,
Investigaci
on y Ciencia (Scientifc American) (1997), no. 249, 12 18.
[190] Richard Taylor, Mr. Black on Temporal Paradoxes, Analysis 12 (1951 - 52), 38
44.
[191] James F. Thomson, Tasks and Supertasks, Analysis 15 (1954), 113.
[192] Alan M. Turing, On Computability Numbers, With an Application to the
Entscheidungsproblem, Proc. London Math. Soc. Series 2 43 (1937), 230 265.
[193] Gabriele Veneziano, El universo antes de la Gran Explosi
on, Investigaci
on y
Ciencia (Scientifc American) (2004), no. 334, 58 67.
[194] Gregory Vlastos, Zenos Race Course, Journal of the History of Philosophy IV
(1966), 95108.
[195]
Referencias bibliogr
aficas - 207
[205] Lofty A. Zadeh, Fuzzy Sets, Information and Control 8(3) (1965), 338353.
[206] Mark Zangari, Zeno, Zero and Indeterminate Forms: Instants in the Logic of
Motion, Australasian Journal of Philosophy 72 (1994), 187204.
[207] Semir Zeki, Una visi
on del cerebro, Ariel, Barcelona, 1995.
[208] Paolo Zellini, Breve storia dellinfinito, Adelphi Edicioni, Milano, 1980.
Indice alfabetico
a-Intervalo, 72
Alef-cero, 15
Como un n
umero primo, 117
Definici
on, 106
Propiedades, 107
Alef-cero y la potencia del continuo,
117119
Antidiagonal de Cantor, 63
Antidiagonales racionales, 6468
Argumento de Faticoni, 102
Argumento de la m
aquina de Hilbert,
143145
Argumento de Thomson, 40
Argumento del siguiente racional, 3335
Argumentos inductivos
El siguiente racional, 34
Intercambio de n
umeros, 58
La m
aquina de escribir unaria, 152
La m
aquina de Hilbert, 143
S-Disociaciones, 113
Variaci
on del argumento de Cantor
de 1874, 53
Argumentos Modus Tollens
Antidiagonales racionales, 66
Diagonal de Cantor, 63
F-Duplicaciones, 118
Intercambio de n
umeros, 59
P-Disociaciones, 115
Permutaci
on P , 65
S-disociaciones, 113
Arist
oteles, 10, 11, 193
Arist
oteles y las biyecciones, 135
Autorreferencia, 31, 183
Axioma del Infinito, 3, 5, 13, 14, 111
Axioma del Todo y la Parte, 21, 106
Axiomas, 105
Benacerraf, P., 37, 38
Bergson, H., 173
Black, M., 38
Bolzano, B.P.J.N., 10
Prueba del infinito actual, 13
Brouwer, L.E.J., 14
Los cambios instant
aneos son imposibles
en el continuum espaciotiempo,
176
Cambios causales, 173
Cambios en CALMs, 180
Cambios instant
aneos, 175
Cambios instant
aneos en CALMs, 180
Cantor y G
odel, 1
Cantor, G., 10, 12
o es el cardinal menor infinito, 111
Argumento de 1874, 4750
Argumento de 1885, 74
Argumento de la diagonal, 6263
Beitr
age, 105
Definici
on de conjunto, 185
El menor cardinal finito, 15
Paradoja del m
aximo cardinal, 25,
2728
Prueba del infinito actual, 13
Pruebas pendientes, 74
Teorema 15 A, 133
Teorema 16-F, 18
Teorema de la intersecci
on, 125
Teoremas sobre alef-cero, 15
Totalidad de los cardinales finitos, 15
Capturando una falacia, 8587
Cardinales transfinitos, 16
Sucesiones crecientes, 18
Carroll, L., 83
Clark, P., 38
Completo e incompletable, 68
Concepci
on no plat
onica de n
umero, 98
Concepci
on plat
onica de n
umero, 97
Conceptos primitivos, 15, 105
Conclusi
on de la antidiagonal de Cantor,
63
Conjunto bien ordenado, 16
Conjunto densamente ordenado, 33
Conjunto sucesor, 185
Conjunto universal, 28
Conjuntos autorreferentes, 184
Conjuntos difusos, 14
Conjuntos finitos
Definici
on, 190
Propiedades, 191192
Conjuntos plat
onicos, 83
209
Expansi
on decimal infinita, 91
Extensi
on del argumento de Cantor de
1874, 5052
Fila D-modular, 64
Fila n-modular, 64
Filopon, 21
Frege, G., 10
Funci
on inyectiva, 21
Gauss, C.F., 9
Grosseteste, R., 21
Guerra de los infinitos, 3
Hegel, H.W.F., 1
Hegemona del infinito actual, 10, 12
Hegemona del infinito potencial, 10
Hilbert, D., 10
Hip
otesis del continuum, 18
Hodges, W., 68
Inconsistencia de Galileo, 24
Inconsistencia de los conjuntos anidados,
129130
Inductive arguments
Redefinitions of a rational interval,
72
Infinitismo naif, 12
Infinito absoluto, 28
Infinito actual, 11
Infinito actual y potencial, 1113
Infinito potencial, 11, 12, 32, 60, 193
Intervalos racionales
Primera contradicci
on, 72
Segunda contradicci
on, 73
Inyecci
on exhaustiva, 22
Kleene, S., 14
Kronecker, L., 14
L
ampara de Thomson, 39
La m
aquina de contar, 44
La m
aquina de escribir unaria, 151
Ley de la Reproducci
on, 195
Leyes fundamentales, 105
Longitud de una curva, 148
Los animales y el conocimiento abstracto,
196, 197
Los n
umeros racionales son y no son
numerables, 5255, 96
Los seres vivos como sistemas informados,
195
Lynds, P., 133
M
aquina de Hilbert finita, 144
Magia infinitista, 87, 88
Indice alfab
etico - 211
Maxwell, C., 1
McTaggart, J.M.E., 1, 173
Met
afora del perro y la bola, 197
N
umero como concepto primitivo, 187
N
umeros algebraicos, 47
N
umeros cardinales, 187
N
umeros expofactoriales, 89
N
umeros n-expofactoriales, 90
N
umeros racionales
Primera contradicci
on, 55
Segunda contradicci
on, 67
Tercera contradicci
on, 82
Cuarta contradicci
on, 97
Naturaleza discreta, 3
Numeral de un n
umero, 151
El primer ordinal infinito, 17, 163
-Asimetra, 147, 164
-Asimetra de las supertareas, 164
-Asimetra espacial, 147
-Sucesividad, 134
omega-Separaci
on, 134
Objetos -ordenados, 18
Objetos -ordenados, 19
Obra fundacional de Cantor, 105
Ockham, W. of, 21
Operadores de conjuntos, 94
Orden denso de los n
umeros racionales, 69
Orden inducido por el conjunto sucesor,
189
Orden natural, 190
Orden natural versus -orden, 190
Ordinales de la primera clase, 17
Ordinales de la segunda clase, 17
Ordinales finitos, 16
Ordinales transfinitos, 1619
Primera especie, 17
Segunda especie, 17
Ortodoxia infinitista, 92
Paraso del infinito actual, 22
Paraso infinitista, 10
Paradoja de Burali-Forti, 25, 27, 185
Paradoja de Cantor, 28, 185
Paradoja de Galileo, 21
Paradoja de Richard, 3
Paradoja de Russell, 31, 185
Paradoja del mentiroso, 3
Paradojas de la autorreferencia, 3
Paradojas de la reflexividad, 2125
Parmenides, 9, 173
Parmenides, 1
Partici
on al modo de Cantor, 70
Partici
on infinita de una curva de Jordan,
148150
Y el infinito no contable, 38
Tabla unaria de los n
umeros naturales,
155
Taylor, R., 38
Temporizar procedimientos infinitos, 159
Teora de supertareas, 38
Teora informal de conjuntos, 28
Teoras axiom
aticas de conjuntos, 31
Teorema de la extensi
on finita, 191
Teorema de la intersecci
on vaca, 125
Teorema de la reordenaci
on de Riemann,
26, 121
Teorema de la sucesi
on de cardinales, 189
Teorema de la sucesi
on de sucesores, 187
Teorema de la uni
on finita, 192
Teorema de los conjuntos anidados, 125
Teorema de Tarski-Bernstein, 99
Teorema de Tarski-Sierpinski, 99
Teorema del cambio, 176
Teorema del infinito, 192
Teorema del n-esimo decimal, 61
Teorema del ordenamiento finito 1, 191
Teorema del ordenamiento finito 2, 191
Teorema del reordenamiento consistente,
122
Teorema del reordenamiento de Riemann,
121
Teorema del siguiente cardinal, 191
Teoremas sobre sustracci
on de cardinales,
99
Thabit ibn Qurra al-Harani, 21
Thomson, J.F., 37
Totalidades completas, 12
Tragedia del infinito, 4
U-CALM, 180
Un intervalo racional menguante, 72
Una sospechosa diferencia, 128
Versi
on conjuntista del teorema de
Riemann, 101
Versi
on fsica del teorema de la
intersecci
on vaca, 126
Von Neumann, J., 16
Watling, J., 38
Wittgenstein, L., 14
Z-puntos y Z*-puntos, 134
Z-reloj, 168
Zen
on de Elea, 9, 173