Qu son las paradojas? Del griego paradoxa, de para, 'ms all', y dxa, 'opinin'.

Es decir, que paradoja es 'lo que est ms all de la opinin comn'. En castellano lo podemos entender en dos sentidos: uno ms general, ms literal, como aquello que va en contra de la opinin comn, del sentido comn, digamos, y otro, ms concreto, como aquello que encierra contradiccin. Es este segundo sentido el ms querido en matemticas, aunque el primero no deja de tener su inters. Las paradojas han existido en las matemticas desde sus comienzos y han sido fundamentales para una formalizacin ms cuidadosa de sus teoremas y leyes. Un ejemplo muy antiguo es la paradoja de Zeno, la cul cobr importancia en el desarrollo del clculo; como veremos ms adelante, las paradojas de la teora de conjuntos han hecho que los matemticos cuestionen la consistencia de las matemticas y vean ms all de lo que hasta ahora se ha formulado. PARADOJA DE CANTOR EL CONJUNTO DE TODOS LOS CONJUNTOS Sea C el conjunto de todos los conjuntos. Entonces todo subconjunto de C es as mismo un elemento de C; luego, el conjunto potencia de C es un subconjunto de C; pero esto implica que la cardinalidad del conjunto potencia es menor o igual a la cardinalidad de C. Pero entonces, segn el teorema de Cantor, la cardinalidad de C debe ser menor a la cardinalidad del conjunto potencia. As pues, el concepto de conjunto de todos los conjuntos lleva a una contradiccin. Cardinalidad. Esta es la palabra tcnica que denota a la cantidad de elementos de cierto conjunto. Todo subconjunto tiene menor cardinalidad que el conjunto del cual es un subconjunto. Por ejemplo, B (que es subconjunto de A) tiene 2 elementos y A tiene 32 elementos. Teorema de Cantor. El conjunto potencia de un conjunto tal tiene mayor cardinalidad que ese conjunto tal. Por ejemplo: Card(Pot(B))=4, y Card(B)=2. Es ms puede decirse que dado un conjunto x de a elementos, su respectivo conjunto potencia (Pot(x)) tendr 2 n elementos Supuesta la existencia del conjunto universal U, por un lado, se plantea que como U incluye a todos los conjuntos, U tambin incluir a su propio conjunto potencia Pot (U), es decir, ( Pot (U) U ). Pero, la cardinalidad de un subconjunto X de Y es siempre menor o igual que la cardinalidad de Y. sta es la relacin entre inclusin y cardinalidad de dos conjuntos cualesquiera: XY ( ( X Y ) ( Card(X) Card(Y) ) ).

 Por lo tanto, mediante la Ejemplificacin Universal de la anterior frmula obtendremos la condicional ( Pot(U) U ) ( Card(Pot(U)) Card(U) ) y por la regla del Modus Ponens entre esta frmula y la premisa 1, obtenemos la siguiente frmula: Card(Pot(U)) Card(U). Por otro lado, por Ejemplificacin Universal Teorema de Cantor que indica que X ( Card(Pot(X)) > Card(X) ) tendremos que Card(Pot(U)) > Card(U). Estos dos resultados se contradicen: Card(Pot(U)) Card(U) & Card(Pot(U)) > Card(U). DESARROLLO DE LA PARADOJA DE CANTOR

PARADOJA DE BURALI-FORTI La paradoja de Burali-Forti fue publicada por su autor en 1897 en Una questione sui numeri transfiniti, sin embargo, Georg Cantor en 1895 en The Founding of the Theory of Transfinite Numbers, ya la haba advertido. Es la llamada paradoja del mayor ordinal, y al igual que su hermana cantoriana, dicha prueba se construir por el mtodo de la reduccin al absurdo trivial, que demuestra la inexistencia de los conjuntos universales de ordinales. Antes de exponer la paradoja de Burali-Forti es necesario repasar ciertas nociones previas de la Teora de los Nmeros Ordinales.

Un nmero ordinal es un nmero que denota la posicin de un elemento perteneciente a una sucesin ordenada. Por ejemplo, en la sucesin a b c d, el elemento a es el primero, b el segundo, c el tercero, etc. Mostraremos que para todo conjunto de nmeros de orden se da uno que no est contenido en l, que es mayor que todos los comprendidos en l. Caracterizaremos los nmeros ordinales en trminos de la Teora de Conjuntos, utilizando conjuntos representativos que no son arbitrarios, sino que generan a partir de un primer elemento de modo iterativo, es decir, por una ley de formacin de una sucesin que involucra a los elementos precedentes. En particular, se seleccionarn los conjuntos que se construyan iterativamente a partir del conjunto vaco. Veremos cmo ese aparentemente inocente conjunto vaco desarrolla un interesante papel en esta circunstancial Teora de Ordinales. Por construccin, el primer ordinal es el conjunto vaco; el segundo, el conjunto que contiene al conjunto vaco, el tercero; el conjunto que incluye a los dos anteriores; el cuarto, el conjunto que incluye a los tres anteriores y as sucesivamente.

NOTACIN Dejando de lado las mltiples apariciones de advirtase que el primer ordinal carece de elementos; el segundo tiene un nico elemento; el tercero tiene dos elementos, etc. Ntese adems que si en cada ordinal estn presentes todos los anteriores en calidad de elementos, el nmero ordinal sucesivo es el conjunto de todos los nmeros ordinales anteriores que no est incluido en l. Por cuestiones de simplicidad notacional los siguientes nmeros ordinales sern nombrados del siguiente modo: =0 {} = 1 {, {}} = 2 {, {}, {, {}} } = 3 {0, 1, 2, 3, } = a diferencia de 0, 1, 2, 3 y todos los dems nmeros es un conjunto de nmeros ordinales o de orden. Es el primer ordinal transfinito y en ese sentido es diferente de 0, 1, 2, 3 y todos los dems pues estos ltimos son nmeros ordinales finitos. Adems, 0, 1, 2, 3, y los dems son nmeros ordinales que corresponden a una sola forma de ordenacin, mientras que a todos los nmeros transfinitos a partir les corresponden infinitas formas de ordenacin similares, pues es tanto el nmero ordinal de {0, 1, 2, 3, } como de {0, 1, -1, 2, -2, 3, -3, 4, -4, }. Veamos qu ordinales siguen a continuacin:

ORDINALES INFINITOS {0, 1, 2, 3, } = {0, 1, 2, 3, } = + 1 {0, 1, 2, 3, , +1} = + 2 {0, 1, 2, 3, , +1, +2} = +3 {0, 1, 2, 3, , +1, +2, +3, } = + = 2 {0, 1, 2, 3, , +1, +2, +3, , 2} =2 +1 Este grupo nos interesa en virtud de lo que queremos demostrar, a saber, que en todo conjunto de nmeros de orden, se da un nmero de orden no contenido en ese conjunto, mayor que cada uno de los elementos de ese conjunto de nmeros ordinales. Como verificamos, siempre la denominacin de un conjunto de nmeros ordinales es un nmero ordinal mayor en una unidad que adems no est incluido en el conjunto de nmeros ordinales. (Picollo, 2007a). Segn Jess Mostern (1980, p. 127): () Los nmeros ordinales se suceden indefinidamente, obtenindose ordinales cada vez mayores, sin que este proceso acabe nunca. Despus de los ordinales finitos (que coinciden con los nmeros naturales: 0, 1, 2, 3, ), un salto mortal nos permite pasar a , el primer ordinal infinito. Despus de viene +1, +2, +3, etc., hasta llegar a + = 2 , al que sigue (.2)+1, (.2)+2, etc., hasta llegar a (.2)+ = .3, y as sucesivamente . 4, . 5, hasta llegar a . = 2. A 2 siguen 2+1, 2+2, hasta 2+ , 2+ 2= 2.2, hasta 2. = 3. El proceso de generacin de ordinales no se acaba nunca: 3 +1, 3 +2, etc., y as sucesivamente: 4 ,5 ,6 , hasta llegar a , y luego , , etc.

PARADOJA DE BURALI-FORTI: CONJUNTO DE TODOS LOS NMEROS ORDINALES Sea D el conjunto de todos los nmeros ordinales. Por un teorema anterior, D es un conjunto bien ordenado; sea A=ord(D). Considrese ahora s(A) el conjunto de todos los nmeros ordinales menores que A. Obsrvese que 1. Puesto que S(A) consiste en todos los elementos de D que son anteriores a A, S(A) es una seccin inicial de D. 2. Por un teorema previo, A=ord(s(A)); por tanto, ord(s(a))= A= ord D

Por consiguiente D es isomorfo a una de sus secciones iniciales. As pues el concepto de conjunto de todos los nmeros ordinales lleva a una contradiccin. La paradoja que expondremos a continuacin se conoce con el nombre de paradoja BuraliFortiana. Por una parte, todo conjunto de nmeros de orden es bien ordenado. Veamos el conjunto de todos los nmeros de orden, que llamaremos ; l mismo tambin deber ser bien ordenado y, por lo tanto, deber tener un menor elemento y ya que +1 es un nmero ordinal, ste (que est incluido en por definicin) podr ser menor o igual, es decir, +1 . Por otra parte, habamos demostrado la proposicin de que para todo conjunto de nmeros de orden se da uno que no est contenido en l y que es mayor. Refiramos esta proposicin al conjunto ; se sigue de aqu que existe un nmero ordinal, el cual es mayor que cualquiera contenido en ; este nmero no es otro naturalmente que el tipo de orden de +1. Por lo tanto, +1 > . He aqu una abierta contradiccin, pues hay un nmero ordinal que es menor y mayor o igual y mayor que su precedente. Reduciremos esta paradoja al siguiente argumento en lenguaje natural y luego al lenguaje formal: 1. Dados un nmero ordinal X y un conjunto Y de nmeros ordinales, si X es el nmero ordinal de Y, siempre un nmero ordinal Z pertenecer a Y y ser menor o igual que X. 2. Dados un nmero ordinal X y un conjunto Y de nmeros ordinales, si X es el nmero ordinal de Y, siempre un nmero ordinal no pertenecer a Y y ser mayor que X. 3. Para cualquier nmero ordinal Y, (el nmero ordinal de todos los ordinales) es el ordinal de Y. POR LO TANTO: No es cierto que exista , el ordinal de todos los ordinales. FORMALIZACIN

PARADOJA DE RICHARD La paradoja de Richard trata sobre la nocin de definibilidad finita en un lenguaje previamente dado. A efectos de precisin, convengamos en referirnos a un lenguaje dado, por ejemplo, el espaol, con un alfabeto, un diccionario y una gramtica previamente asignados. Podemos considerar que el alfabeto consta de las 27 letras del idioma espaol, la coma y el espacio en blanco. Luego, establecemos una correspondencia biunvoca entre las letras (incluyendo la coma y el espacio en blanco) y los nmeros naturales para traducir sucesiones continuas de letras a sucesiones continuas de nmeros tomando en cuenta esta codificacin bsica. Por una expresin en el espaol podemos entender, simplemente, cualquier secuencia finita de esos 29 signos que no comience con un espacio en blanco. A = { R / es un nmero que se puede definir con una frase en castellano} donde R= NMEROS REALES. Una expresin descriptora de un nmero real de A, puede definir un nmero real. Por ejemplo puede ser definido con la siguiente expresin La longitud de una circunferencia sobre su dimetro. e puede ser definido con la siguiente expresin El lmite cuando n tiende a infinito de uno ms uno sobre n, elevado a la n. Y tambin 2 puede ser definido con la expresin Raz cuadrada de dos. Estas expresiones en espaol pueden entonces ser numeradas por la codificacin, es decir, el procedimiento en el que vinculamos un nmero con una expresin de otra ndole. Este es el procedimiento de la Godelizacin. Veamos cmo funciona este proceso.

GODELIZACIN Vamos a hacer corresponder a cada nmero a un nico nmero natural de la siguiente forma. En general, si un nmero A est representado por una frase cuyos caracteres corresponden en su orden a los nmeros: m 1, m2, m3, mk, mr, a le hacemos corresponder el nico nmero natural: n = 2m1. 3m2. 5m3. Pk mk Pr mr en donde Pk es el k-simo nmero primo. Si A es el conjunto de todos los nmeros reales, en B tenemos que a cada expresin matemtica, definible con una frase en castellano, le corresponde un nico nmero natural como resultado de elevar cada nmero de la productoria de los primeros nmeros primos al nmero asignado a cada letra de la expresin analizada, segn la codificacin que se ve en la tabla. Adems, como la descomposicin de un nmero natural como producto de primos es nica (por el Teorema Fundamental de la Aritmtica), entonces, si un nmero natural es la imagen de una palabra, por esta asignacin no puede existir otra palabra que tenga como imagen dicho nmero. Sea por ejemplo = 2 . Las palabras en castellano que le corresponde es: Raz cuadrada de dos. De acuerdo al cdigo anterior, tenemos que los nmeros de los caracteres que corresponden a esta sentencia son en su orden:19-1-9-27-29-3-22-1-4-19-11-4-1-29-4-5-29-4-16-20

Luego el nmero natural que le hacemos corresponder a la descripcin lingstica de 2 (que pertenece a B) es el siguiente Nmero Gdel (): 219.31.59.727.1129.133.1722.191.234.2919.3111.374.411.4329.474.535.5929.614.6716.7120 Ahora, estudiemos, por ejemplo, = 0, b1b2b3 en donde los son nmeros aleatorios. Esta frmula debera ser definible mediante una expresin en castellano ya que se refiere a un nmero real. En este caso el conjunto A ser A = {1,2,,m,}. Luego, cada m puede expresarse en forma decimal como m = 0, bm1bm2bm3bmm donde k N, bmk {0, 1, 2, , 9}. Por ejemplo: NMEROS

a1 = 0, b11 a2 = 0, b21b22 a3 = 0, b31b32b33 a4 = 0, b41b42b43b44

.

am = 0, bm1bm2bm3bmm Con estos nmeros se ha pretendido explicitar que cada uno de los nmeros reales entre cero y uno, desde el 0, 000000, hasta el 0, 999999, son expresables mediante una frase en castellano. Ahora, construyamos el siguiente nmero: = 0, c1c2c3 ; donde: ck = 1, si bkk = 0 y ck = 0, si bkk 0. Por un lado, de acuerdo con la construccin de , podemos decir que este nmero se puede definir con la siguiente expresin en castellano: El nmero real entre cero y uno, cuyo trmino en cada lugar dado es uno o cero, dependiendo de si el nmero que ocupa ese mismo lugar en la numeracin de los nmeros reales que tienen expresin en castellano, tiene uno o cero en el lugar en cuestin del desarrollo decimal. Por lo tanto, A, es decir, es un elemento de {1,2,,m,}.

PARADOJA DE RUSSELL Sea Z el conjunto de todos los conjuntos que no son elementos de s mismos. Se pregunta Z es o no elemento de s mismo? Si Z no pertenece a Z, entonces, por la definicin de Z, Z pertenece a s mismo. Pero si Z pertenece a Z, entonces por la definicin de Z, Z no pertenece a s mismo. En cualquiera de los dos casos hay contradiccin. Esta paradoja es anloga a la paradoja del barbero: En una aldea hay un barbero que afeita solamente a los hombres que no se afeitan ellos mismos. Se pregunta Al barbero quin lo afeita?

Supongamos un conjunto que consta de elementos que no son miembros de s mismos. Un ejemplo descrito es el que supone un conjunto que consta de "ideas abstractas". Dicho conjunto es miembro de s mismo porque el propio conjunto es una idea abstracta, mientras que un conjunto que consta de "libros" no es miembro de s mismo porque el conjunto en s no es un libro. Russell preguntaba (en carta escrita aFrege en 1902), si el conjunto de los conjuntos que no forman parte de s mismos (es decir, aquel conjunto que engloba a todos aquellos conjuntos que no estn incluidos en s mismos, como el de "libros" en el ejemplo anterior) forma parte de s mismo. La paradoja consiste en que si no forma parte de s mismo, pertenece al tipo de conjuntos que no forman parte de s mismos y por lo tanto forma parte de s mismo. Es decir, formar parte de s mismo slo si no forma parte de s mismo. Enunciado formal de la paradoja Llamemos al "conjunto de todos los conjuntos que no se contienen a s mismos como miembros". Es decir (1) Segn la teora de conjuntos de Cantor, la ecuacin (1) se puede representar por (2) es decir "Cada conjunto es elemento de Ahora, en vista de que donde se obtiene (3) Es decir que absurdo. . CONJUNTO DE TODOS LOS NMEROS CARDINALES Sea A el conjunto de todos los nmeros cardinales. Entonces, para cada cardinal a que pertenece a A, hay un conjunto Aa tal que a es igual a la cardinalidad de Aa. Considrese el conjunto potencia de A. Ntese que el conjunto potencia de A es menor o igual a A, y en particular, la cardinalidad del conjunto potencia de A es menor o igual a la cardinalidad de A. Pero por el teorema de Cantor, el concepto de conjunto de todos los nmeros cardinales es contradictorio. FAMILIA DE TODOS LOS CONJUNTOS EQUIPOTENTES A UN CONJUNTO Sea A={a, b, } un conjunto (no necesariamente) enumerable y sea B={A={i, j, }} otro conjunto cualquiera. Considrense los conjuntos es un elemento de si y slo si no es un elemento de , lo cual es si y slo si no es elemento de s mismo". por en la ecuacin (2), de

es un conjunto, se puede substituir

Ai={(a,i), (b,i), } Aj={(a,j), (b,j), } . Es decir la familia de conjuntos {Ai} tal que i pertenece a B. Ntese que su cardinalidad es igual a la cardinalidad de B. Sea ahora a la familia de todos los conjuntos equipotentes al A. Considerando el conjuto potencia de a y definiendo la familia de conjuntos {Ai} tal que i pertenece al conjunto potencia de a, entonces la cardinalidad de a es igual a la cardinalidad de {Ai} tal que I pertenece al conjunto potencia y es menor a la cardinalidad de a. Pero por el teorema de Cantor, el concepto de familia de todos los conjuntos equivalentes a un conjunto es contradictorio. FAMILIA DE TODOS LOS CONJUNTOS ISOMORFOS A UN CONJUNTO BIEN ORDENADO Sea A un conjunto bien ordenado. Entonces el conjunto Ai ordenado por (a,i) menor o igual a (b,i) si a es menor o igual a b, es bien ordenado y es isomorfo al A. Esto es Ai es parecido a A. Sea L la familia de todos los conjuntos isomorfos al conjunto bien ordenado A. Considrese el conjunto potencia de L y defnase la familia de conjuntos {Ai} tal que I pertenece al conjunto potencia de L. Como cada conjunto Ai es isomorfo al conjunto A, entonces {Ai} tal que I pertenece al conjunto potencia es subconjunto de L. Por el teorema de Cantor el concepto de familia de todos los conjuntos isomorfos a un conjunto bien ordenado es contradictorio. Teora de Conjuntos La teora de conjuntos fue creada por George Cantor, aunque George Boole dio los primeros pasos en su libro Investigations of the Laws of Thought. El concepto de infinito fue tratado por Zenn de Elea y sus clebres paradojas. Bolzano defendi el concepto de conjunto infinito. Bolzano dio ejemplos de como los elementos de un conjunto infinito podan ponerse en correspondencia 1-1 con elementos de sus propios subconjuntos. Cantor public varios artculos entre 1867 y 1871 sobre teora de nmeros de gran calidad pero nada indicaba que su autor cambiara el curso de la matemtica. En 1872 Cantor viaj a Suiza y all conoci a Dedekind. Se hicieron amigos y se cree que Dedekind influy en las ideas de Cantor. Cantor empez a trabajar en series trigonomtricas y aqu aparecen las primeras ideas sobre teora de conjuntos. En 1874 public un artculo en la revista

de Crelle que marca el nacimiento de la teora de conjuntos. En este artculo Cantor consideraba dos clases diferentes de infinitos (hasta entonces se consideraba que todos los infinitos tenan el mismo tamao) los que se podan poner en correspondencia uno a uno con los nmeros naturales (los que se podan numerar) y los que no se poda. Cantor demostr que los nmeros reales algebraicos se podan poner en correspondencia uno a uno con los nmeros naturales pero que esto no se poda hacer con los nmeros reales (que incluyen, adems de los reales algebraicos los transcendentes). En 1878 Cantor envi otro artculo a la revista pero la Teora de Conjuntos era una materia muy discutida, especialmente por Kronecker, que perteneca al equipo editor de la revista. Intentaron que Cantor retirase el artculo pero Dedekind convenci a Cantor para que no lo hiciese y Weierstrass respald la publicacin. El artculo fue publicado pero Cantor no volvi a enviar ms artculos a la revista de Crelle. En este artculo Cantor introduce la idea de equivalencia de conjuntos (dos conjuntos son equivalentes, o tienen la misma potencia, si se pueden poner en correspondencia 1 a 1). En 1897 se publica la primera paradoja de la teora de conjuntos (el ordinal del conjunto de todos los ordinales debe ser un ordinal y esto es una contradiccin). En 1899Cantor descubre otra paradoja (Cual es el cardinal del conjunto de todos los conjuntos?). La ltima paradoja fue encontrada por Russell y Zermelo en 1902 (Si A = {X|X no es miembro de X}, A es elemento de A?) La paradoja de Russell minaba el edificio de las matemticas. Russell junto con Whitehead intent fundamentar las matemticas en la lgica en Principia Mathematica. Este trabajo tuvo una gran influencia en las matemticas.