LAS PARADOJAS EN MATEMATICAS

Ivn Castro Chadid a Profesor Titular

Ponticia Universidad Javeriana

Jess Hernando Prez u e Profesor Emrito e

Universidad Nacional de Colombia

Profesor Asociado
Universidad Nacional de Colombia

Profesor
Universidad Sergio Arboleda

ivan.castro@jol.net.co

jhpalcazar@multiphone.net.co

Para muchos, una paradoja es algo que a primera vista parece ser falso, pero que en realidad es cierto; o que parece ser cierto pero que en rigor es falso; o senc llamente que encierra en s mismo contradicciones; pero los conceptos de certeza o falsedad en matemticas y a n el de contradiccin, dependen a u o del grado de desarrollo de la matemtica en un momento dado; parodiando a a Hamlet puede decirse que lo que una vez fu paradoja, ya no lo es, pero puede e volver a serlo. Este hecho tambin se da en las ciencias experimentales y e conduce inicialmente a un cuestionamiento del concepto de rigor cientco que se maneja en cada poca. e Uno de los aspectos ms interesantes de la matemtica estriba en que sus a a ms dif a ciles paradojas encuentran un camino para originar las ms bellas a y profundas teor Kasner y Newman sostienen: com El testamento de la as; ciencia es un ujo continuo, de tal manera que la herej del pasado es el a evangelio del presente y el fundamento del ma ana [2] . n A menudo se llega a paradojas cuando se contradice el denominado principio del tercero excluido [1], que arma lo siguiente : cualquier enunciado proposicional es verdadero o es falso, pero no se pueden dar ambas cosas simultneamente. a Al tratar de aplicar a conjuntos innitos el hecho de que: Si es posible emparejar todos los elementos de un conjunto con todos los pertenecientes a otro, entonces, ambos conjuntos tienen el mismo nmero de elementos puso u a los matemticos ante algunos hechos que eran inexplicables en su poca y a e que fueron considerados como paradojas; algunas de ellos, son:

Memorias XIII Encuentro de Geometr y I de Aritmtica a e

1. Es posible emparejar todos los puntos de dos segmentos de rectas. En efecto dados dos segmentos AB y CD, que podemos suponer paralelos, conctese e D con A y B con C para obtener el punto O. Sea M AB , la recta que pasa por O y M, corta al segmento CD en el punto N, en forma similar, si N CD , la recta que pasa por O y N, corta al segmento AB en el punto M.

De esta forma quedan emparejados todos los puntos de AB con los del segmento CD. 2. En el siglo XVI observando, Galileo Galilei, que todo entero positivo tiene un cuadrado y que todo cuadrado proviene de un entero positivo, es decir, que es posible emparejar todos los elementos del conjunto de los enteros positivos con todos los elementos del conjunto de los cuadrados de n meros enteros positivos, lleg a la conclusin de que u o o las relaciones de igualdad y de desigualdad no son vlidas en el innito a [1]. En efecto, en su obra Discursos y demostraciones matemticas presenta a el siguiente dilogo entre Salviati y Simplicius: a Salviati: Si pregunto cuntos son los cuadrados de los nmeros, puea u des responderme correctamente que son tantos como sus propias ra ces; dado que cada cuadrado tiene su raz, y cada raz su cuadrado, ni cada cuadrado tiene ms de una sola raz, ni cada raz tiene ms de un solo a a cuadrado. Simplicius: Qu es lo que hay que resolver esta vez? e Salviati: No veo que se pueda admitir otra conclusin, si no es la de o decir que la cantidad de nmeros en general es una cantidad innita: los u cuadrados son innitos y adems ni la cantidad de cuadrados es menor a que la de los nmeros en general, ni esta es mayor que aquella: en u conclusin los atributos igual, mayor y menor no tienen sentido cuando o se habla de innitos, sino cuando se trata de cantidades nitas. 146

Las Paradojas en Matematicas

3. Es posible emparejar la totalidad de los enteros positivos con los nmeros u pares, aunque estos ultimos estn estrictamente contenidos en el con a junto de los enteros [11].

4. En el siglo XIII, el lsofo escocs John Duns Scoto observaba que o e dadas dos circunferencias concntricas, todos los puntos de la una puee den emparejarse uno a uno, con todos los de la otra. Una observacin o similar es vlida para el caso de dos esferas concntricas [8]. a e 5. Es posible emparejar todos los puntos de una semicircunferencia con los de la recta. En efecto, construya la recta y la semicircunferencia como se indica en la gura, la correspondencia es la siguiente: Dado un punto P de la recta, trace el segmento OP que une el centro de la semicircunferencia con P , el punto de corte es el que le corresponde a P por esta asignacin. o

6. Es posible emparejar todos los puntos de una semirecta con los de un segmento de recta [8]. 147

Memorias XIII Encuentro de Geometr y I de Aritmtica a e

En efecto, sean S la semirrecta y OR el segmento; por el punto O u a trcese un segmento OP OR, constr yase el rectngulo OP SR y a la diagonal OS Tmese un punto M OR, y trcese el segmento perpendicular MH o a a en donde H OS . A continuacin prolnguese el segmento de recta o o P H hasta el punto W de la semirrecta , de esta forma se asigna a cada o punto de OR uno y slo uno de S ; similarmente, si W es un punto cualquiera de S , devolvindose puede verse que, existe una y slo una e o imgen de W en OR a

P H

7. En la obra: Dilogo relativo a dos nuevas ciencias, Galileo Galilei a propone la hoy denominada Paradoja de Galileo, de la siguiente manera: i) Trace el cuadrado
D

ABCD
C

ii) Haciendo centro en B trace el arco de circunferencia AC .

D C

148

Las Paradojas en Matematicas

iii) Trace sobre AB una recta perpendicular HE y la diagonal BD.

iv) Haciendo centro en H, trace las circunferencias de radios HG, HF y HE.

Por el teorema de Pitgoras, se tiene: a BF = HB + HF pero BF =BC y BC = HE ; luego BF = HE Por otra parte, por el teorema de Tales: HG AD = HB AB pero AD = AB ya que ABCD es un cuadrado. De donde, HG = HB (3) 149 (2)
2 2 2

(1)

Memorias XIII Encuentro de Geometr y I de Aritmtica a e

2 2 2

Reemplazando (2) y (3) en (1), tenemos que: HE = HG + HF luego HG = HE HF 2 2 2 de donde HG = HE HF Area de la circunferencia con centro en H y radio HG =
2 2 2

Area de la corona circular con centro en H y radios HF y HE

Cuando H tiende a B, la circunferencia tiende a un punto y la corona se reduce a la circunferencia de radio BC. Luego, Un punto es igual en rea a una circunferencia ! a Los ejemplos anteriores muestran claramente que los conceptos clsicos sobre a el innito, la longitud, el rea, la relacin entre una totalidad y sus partes, a o y el uso de procedimientos nitos pero potencialmente innitos, no eran sucientes para dar una interpretacin racional a ciertos hechos geomtricos. o e

Las paradojas de Zenn. o

Uno de los temas de mayor controversia entre los griegos fue el relativo a la relacin que existe entre lo discreto y lo continuo. Los nmeros enteros o u representan objetos discretos y una razn conmensurable representa una reo lacin entre dos colecciones de longitudes que admiten una unidad de medida o com n, de manera que cada una de ellas es una coleccin discreta de uniu o dades; sin embargo, las longitudes en general no son colecciones discretas de unidades y este es el motivo por el que aparecen las razones de longitudes inconmensurables. En otras palabras, longitudes, reas, volmenes, tiempo a u y otras cantidades son continuas. Este problema de la relacin entre los discreto y lo continuo fue puesto en o evidencia por el ms destacado disc a pulo de Parmnides, Zenn de Elea, quien e o alrededor del a o 445 a.C., propuso un cierto n mero de paradojas; cuatro n u de ellas tratan del movimiento, y pretend indicar que el movimiento o an el cambio en general es imposible, y en general, que la realidad es una entidad singular sin cambios, adems, se deseaba refutar a los pitagricos a o quienes cre en unidades extensas pero indivisibles [6]. an En la poca en que vivi Zenn, hab dos concepciones opuestas del espacio e o o a y del tiempo. Una, que el espacio y el tiempo son indenidamente divisibles, 150

Las Paradojas en Matematicas

en cuyo caso el movimiento resultar continuo, y la otra, que el espacio y el a tiempo estn formados por peque os intervalos indivisibles, en cuyo caso el a n movimiento consistir en una sucesin de min sculos saltos espasmdicos. a o u o Los argumentos de Zenn estn dirigidos contra ambas teor y parten de la o a as siguiente hiptesis fundamental : El tiempo y el espacio pueden ser cada uno o e independientemente el uno del otro, nitamente divisibles o innitamente divisibles; de donde resultan entonces cuatro posibilidades: 1. Paradoja de Aquiles y la Tortuga (tiempo y espacio innitamente divisibles) Si el movimiento existe, lo ms lento [la tortuga] a nunca ser alcanzado por lo ms rpido [Aquiles], pero como esto es a a a imposible, el movimiento no existe ([6]). En efecto, cualquier distancia que deba ser recorrida por un mvil, por o ejemplo la que hay entre Aquiles y la tortuga, puede ir dividindose en e dos partes y hay tiempo suciente para recorrer la primera parte; como las dos magnitudes son innitamente divisibles Aquiles nunca alcanzar a a la tortuga.
En otras palabras, Zenn establece que o sobre la hiptesis de que el espacio y o el tiempo son indenidamente divisibles el movimiento ser imposible. a

2. Paradoja de la Flecha (espacio nitamente divisible y tiempo innitamente divisible) como el espacio es nitamente divisible la echa en su movimiento ocupar el lua gar que sigue en la direccin en que o se mueve en un tiempo T . Como el tiempo es innitamente divisible

Aquiles-vs-Tortuga

entonces existir un tiempo T < T , durante el cual la fecha desapareci a o por que no exist un lugar que pudiera ocupar. Por lo tanto como el a movimiento existe no podemos asumir que el espacio es nitamente divisible y el tiempo intamente indivisible. 3. Paradoja de la dicotom (espacio innitamente divisible y a tiempo nitamente divisible) en este caso se tiene la situacin dual o de la anterior: Si un mvil parte de un lugar hipottico A en el instante o e 151

Memorias XIII Encuentro de Geometr y I de Aritmtica a e

T , como el tiempo es nitamente divisible habr un instante siguiente a a T en el cual el movil ocupar un lugar B. Como el espacio es innitamente divisible existir un lugar C entre A y B por el cual tuvo a que pasar el mvil; pero esto no se di porque no hubo tiempo para o o que sucedira. Nuevamente como el movimiento existe no podemos e asumir que el espacio es innitamente divisible y el tiempo nitamente divisible. 4. Paradoja del Estadio (tiempo y espacio nitamente divisibles) Un atleta A se mueve en una carrera en una sierta direccin y o otro atleta C se meve en la misma direccin pero en sentido opuesto y o con igual velocidad. Un tercer atleta B que permanece inmovil describe el movimiento de A y C en la siguiente forma: En el tiempo m nimo T , A y C se desplazaron una distancia m nima D. Ahora bien, A y C describen el movimiento de B de la siguiente forma: B se desplaz en el tiempo m o nimo T la distancia m nima D. A no puede entender el movimiento de C y C tampoco puede entender el movimiento de A, en efecto C respecto de A se mueve dos veces la distancia m nima D en el tiempo m nimo T , lo cual es absurdo, porque no hubo tiempo para recorrer la distancia D. En consecuencia no es posible que el tiempo y el espacio sean nitamente divisibles, pues de lo contrario el movimiento relativo no existir y a, como todo movimiento es relativo, no existir entonces el movimiento. a A B C A B C

Por los problemas planteados a travs de sus paradojas, Zenn es cone o siderado como uno de los precursores de las matemticas del innito, a con ellas aoran varios problemas cruciales para la matemtica: El de a lo innitesimal, el del innito, el de la continuidad, el del movimiento y otros ms, los cuales han sido tratados posteriormente por muy desa tacados matemticos, siendo uno de los primeros Karl Weierstrass en a el siglo XIX, modernamente por Abraham Robinson (de la Universidad de Yale) en la dcada del sesenta del siglo XX, y por otros como e Bolzano, Cauchy, Dedekind y Cantor en el siglo XIX. Aunque los argumentos de Zenn pueden ser interpretados como argumentos contra o 152

Las Paradojas en Matematicas

el movimiento, tambin es posible interpretarlos como argumentos en e contra de la concepcin anal o tica del espacio y del tiempo; es decir los argumentos de Zenn estar se alando que no es posible representar o an n el espacio como constitu por puntos yuxtapuestos y el tiempo como do constituido de instantes sucesivos. Los planteamientos de Zenn tuvieron grandes consecuencias en el deo sarrollo del pensamiento matemtico, entre ellos el evitar utilizar rea presentaciones matemticas para interpretar el mundo f a sico, especialmente el movimiento. Esta separacin se mantuvo hasta la obra funo damental de Galileo que fue precedida 18 siglos por Arqu medes. Tal alejamiento entre matemticas y mundo real fue uno de los principales a factores que condujeron al estancamiento de la matemtica en la Edad a Media.

Las Paradojas y la crisis de la matemtica a deductiva.

A nales del siglo XIX y principios del XX el problema de la fundamentacin de la o matemtica estaba al orden del d posia a, blemente en alguna de las ideas en las que exist unanimidad era la de concebir los a objetos matemticos como dados a los a cuales no se les pueden atribuir propiedades arbitrarias, situacin similar a la que o sucede con algunos fenomenos de la naturaleza que tienen que ser aceptados y no pueden ser modicados por los cient cas, un problema que generaba y a n genera u grandes debates entre los matemticos es a el concerniente al concepto de verdad en matemticas. Henri a

HENRI POINCARE (1854-1912)

Poincar, considerado como el ultimo universalista, reconoc en 1902 que e a 153

Memorias XIII Encuentro de Geometr y I de Aritmtica a e

los axiomas de la geometr son convenciones para las que la nocin habia o tual de verdad carece de sentido [12]. De hecho se pon en evidencia que a el concepto de verdad matemtica y la nocin usual de verdad son dos a o entes distintos ya que mientras el primero (de acuerdo a la forma de pensar de muchos matemticos con Hilbert a la cabeza) reside unicamente en la a deduccin lgica a partir de premisas jadas arbitrariamente por los axioo o mas, el segundo es una convencin sustentada en la experiencia secular de la o humanidad que se apoya principalmente en observaciones y persepciones, y que como se sabe stas son falibles. e El surgimiento de paradjas, fue uno de los principales factores que propici o o una herida a esta nocin de verdad matemtica aceptada por Hilbert y en o a general los partidarios de la corriente losco-matemtica denominada el o a formalismo. En 1926 F.P.Ramsey puso en evidencia que existen dos tipos de paradojas : las lgicas o matemticas, y las lingu o a sticas o semanticas [5]. Las primeras surgen de construcciones puramente matemticas y las segundas de a la consideracin del lenguaje que empleamos para hablar de matemticas y o a lgica. o

Las paradojas lingu sticas o semnticas. a

Algunas paradojas semnticas son las siguientes: a La Paradoja de Platn y Socrates o Platn: La prxima declaracin de Scrates ser falsa. o o o o a Scrates : Platn ha dicho la verdad !. o o La Paradoja de Epimnides e Epimnides : Todos los cretenses son mentirosos! Sabemos que Epimnides e e es cretense. Decia Epimnides la verdad? e La Paradoja del Cocodrilo y la Mujer Un cocodrilo le arrebat un beb a una mujer y le dijo: Cocodrilo: Voy a o e comerme a tu ni o?. Responde correctamente y te lo devolver ileso. n e 154

Las Paradojas en Matematicas

La Madre: Ay Ay Ay! Te vas a comer a mi hijito. Cocodrilo: Humm.... si te devuelvo el beb, lo que has dicho ser verdadero; e a lo cual no es cierto. La Madre: Si te comes el beb, no habra contestado correctamente, lo cual e no es cierto, as que tienes que devolvrmelo ileso [7]. e Paradoja del Quijote
Sancho Panza se convierte en gobernador de la nsula de Barataria, en donde por ley, toda persona que llega a esta nsula, debe explicar el motivo de su viaje. Si la persona dice la verdad, es puesta en libertad; si la persona miente, deber ser colgada. Una a persona llega a Barataria y arma: Estoy aqu para que me cuelguen [7]. Ser o no colgada esta persona? a No se puede tomar una desicin, ya o que si la frase es falsa, entonces debe ser colgado, lo cual implica que la frase es cierta. Por otra parte, si la frase es cierta entonces deber ser colgado, pero esto solo a sucede si la frase es falsa, lo cual es una contradiccin. o

Paradoja del Abogado Un abogado concert con sus alumnos que deber pagarle por sus ense ano an n zas, si y slo si, ganaban su primer caso ante los tribunales; y no deb o an abonar nada si lo perd an. Uno de sus disc pulos que hab terminado sus a estudios, resolvi evitar aceptar ning n caso para de esta forma eludir el pao u go. El abogado lo demand para que le pagara. o Pagar o no el alumno? a Si el alumno paga es porque perdi el caso y por lo tanto no ha ganado su o primer caso lo cual lo exonera del pago. Si el alumno no paga es porque el 155

Memorias XIII Encuentro de Geometr y I de Aritmtica a e

resultado lo favoreci y por lo tanto gan su primer caso, lo cual lo obliga a o o pagar. Paradoja de los Alcaldes. Supongamos que en un pa se crea una ciudad que es habitada solo por s alcaldes de municipios del pa mediante ley aprobada por el congreso se s, establece que todo alcalde slo puede vivir en su propia ciudad o en la ciudad o de los alcaldes. Como todo municipio debe tener un alcalde, la pregunta es: En dnde vive el alcalde de la ciudad de los alcaldes?. o Hay dos posibilidades: 1. Que el alcalde viva en su propia ciudad, en este caso vivir en la ciudad a de los alcaldes, pero esto implica que el alcalde no vive en su propia ciudad. 2. Que el alcalde no viva en su propia ciudad, en este caso vivir en la a ciudad de los alcaldes que es precisamente su propia ciudad. Como podemos darnos cuenta ambas soluciones nos conducen a contradicciones. La Paradoja del Barbero
Fue popularizada por Bertran Russell [10] en 1918, su argumento es el siguiente: El barbero de un pueblo, presumiendo de no tener competencia se anuncia diciendo que el no afeita a aquellos que se afeitan a si mismos, pero s afeita a todos aquellos que no se afeiten a si mismos. Un buen da alguien le pregunta si l debera afeitarse e a s mismo. Si se afeita a s mismo entonces por la primera parte de su armacin, no debera afeitarse a s o mismo; pero si no se afeita a s mismo, entonces por la segunda parte debera afeitarse a s mismo.

156

Las Paradojas en Matematicas

Paradoja de Richard La primera paradoja semntica moderna es la denominada paradoja de Ria chard [13]; fue formulada por Jules Richard en 1905; pero Berry y Russell dieron una versin simplicada de la misma; fundamentalmente lo que dice o esta paradoja es lo siguiente: Existen muchos nmeros reales que se pueden describir con frases en casteu llano; por ejemplo: Na Algunas frases empleadas para mencionarlo 3 2 Tres.
Ra cuadrada de dos. z Tres quintos.

3 5
3

7 e

Ra cbica de siete menos ra cuarta de cinco. z u z La longitud de una circunferencia sobre su dimetro. a El l mite cuando n tiende a innito de uno ms uno sobre n, elevado a la n. a

Llamemos: A = {a R | se puede describir con una frase en castellano} Existen n meros reales que no estn en A. Por ejemplo: u a

=
n=1

bn 10n

en donde los bn son n meros aleatorios. u Veamos que A es numerable: Tomemos las 27 letras del alfabeto ms el caracter que indica un espacio a entre dos palabras. Con estos 28 caracteres podemos escribir cualquier frase y en particular las frases que caracterizan cada elemento de A. Asignemos a estos 28 caracteres un n mero natural impar, de la siguiente u manera: 157

Memorias XIII Encuentro de Geometr y I de Aritmtica a e

Cdigo o

a b c d e f g h i j k l m n

N mero u 1 3 5 7 9 11 13 15 17 19 21 23 25 27

Cdigo o o p q r s t u v w x y z n

N mero u 29 31 33 35 37 39 41 43 45 47 49 51 53 55

Vamos a hacer corresponder a cada n mero A un unico n mero natural de u u la siguiente forma: Sea por ejemplo = 2 la frase que le corresponde es: ra z cuadrada de dos

De acuerdo al cdigo anterior, tenemos que los n meros de los caracteres que o u corresponden a esta sentencia son en su orden:

35 1 17 51 55 5 41 1 7 35 1 7 1 55 7 9 55 7 29 37 Luego el n mero natural que le hacemos corresponder a 2 es: u

235 31 517 751 1155 135 1741 191 237 2935 311 377 411 4355 477 539 5955 617 6729 7137

En general, si un n mero A est representado por una frase cuyos caracteres u a corresponden en su orden a los n meros: u m1 m2 . . . mk . . . mr 158

Las Paradojas en Matematicas

a le hacemos corresponder el unico n mero natural: u

m n = 2m1 3m2 . . . Pk k . . . Prmr

en donde Pk es el k-simo n mero primo. e u Si U es el conjunto de todas las frases, tenemos que a cada frase le corresponde un unico n mero natural : u
m 2m1 3m2 . . . Pk k . . . Prmr

Adems, como la descomposicin de un n mero natural como producto de a o u primos es unica (teorema fundamental de la Aritmtica), entonces, si un e n mero natural es la imagen de una frase, por esta asignacin no puede u o existir otra frase que tenga como imagen dicho nmero. Luego en particular u se tiene que la aplicacin: o : A N : () = n es inyectiva y por lo tanto A es numerable. De donde, A = 1 , 2 , . . . , m , . . . Sabemos que cada m puede expresarce en la forma: m = abm1 bm2 . . . bmm . . . en donde bmk {0, 1, 2, . . . , 9} k N y a Z. Construyamos el siguiente n mero: u

=
k=1

ck 10k

en donde, ck = 1 si bkk = 0 0 si bkk = 0

como = m m N, entonces A. Por otra parte, de acuerdo con la construccin de , podemos decir que este o n mero se puede describir con una frase en castellano, por lo tanto A, lo cual u es una contradiccin. o

159

Memorias XIII Encuentro de Geometr y I de Aritmtica a e

Paradoja de Grelling. Esta paradoja semntica fue enunciada por primera vez en 1908 por Kurt a Grelling (1886-1941) y Leonard Nelson (1882-1927), consiste en lo siguiente: Un adjetivo es autolgico si se describe a s mismo, en caso contrario se dir o a que es heterolgico. Por ejemplo: Corto es una palabra corta, por lo tanto es o autolgico; polisilbico es una palabra polisilbica, por lo tanto es autolgico; o a a o castellano es una palabra en castellano por lo tanto es autolgico; autolgico o o es una palabra autolgica. o

Es heterolgico un adjetivo heterolgico?. o o Si heterolgico es heterolgico, es porque no se describe a si mismo, pero la o o palabra heterolgico signica que no se describe a s mismo, luego heterolgico o o se describe a s mismo, lo cual es una contradiccin. o Si heterolgico es autolgico es porque se describe a s mismo, pero ser heo o terolgico signica que no se describe a s mismo, siendo esto tambin una o e contradiccin. o Paradoja de Berry Esta paradoja fue presentada en 1908, y consiste en lo siguiente: Dado un n mero natural, existen varias formas de mencionarlo; por ejemplo: u
Na 3 Algunas frases empleadas para mencionarlo Tres. El primer primo impar. El segundo nmero impar. u Es el unico primo que divide a nueve. Dos. El primer primo. El unico primo que divide a todo nmero par. u Mil setecientos ventinueve. El menor nmero que se puede expresar como suma de dos u cubos en dos formas distintas. (1729 = 13 + 123 = 93 + 103 ).

1729

160

Las Paradojas en Matematicas

Tomemos las 27 letras del alfabeto ms el caracter que indica un espacio entre a dos palabras. Con estos 28 caracteres podemos escribir cualquier frase y en particular las frases que caracterizan cada nmero natural. u Hagamos la siguiente asignacin para cada nmero natural n. o u N N n fn En donde fn es el menor n mero de caracteres que producen una frase que u caracteriza al n mero n. Si u A = {n | fn 100} entonces A N y A = . Luego existe m tal que m = minA, esto es: m es el menor nmero natural que requiere mnimo cien caracteres para u describirlo. Pero esta frase caracteriza a m y tiene menos de 100 caracteres (76 para ser ms precisos), lo cual es una contradiccin ya que fm 100, pero como m A a o fm 100. Como puede verse, muchas de estas paradojas, estn enmarcadas dentro de a las denominadas paradojas del mentiroso que ha sido objeto de muchas reexiones en la lgica formal y que consiste en tratar de saber si un homo bre que dice yo miento est o no diciendo la verdad al pronunciar estas a palabras.

Las Paradojas lgicas o matemticas. o a

Entre las paradojas lgicas o matemticas, estn los debidas a los denominao a a dos conjuntos paradjicos. Un conjunto paradjico, es aquel que el admitir o o su existencia conduce a paradojas. Paradoja de Burali-Forti El primer ejemplo de un conjunto de este tipo fue dado el 28 de Marzo de 1897 por el matemtico italiano Cesare Burali-Forti (1861-1931) quien la a present en un encuentro del C o rculo Matemtico di Palermo [13], en pocas a palabras la paradoja es la siguiente: 161

Memorias XIII Encuentro de Geometr y I de Aritmtica a e

Se sabe en teor intuitiva de conjuntos, que todo conjunto bien ordenado a tiene un n mero ordinal; en particular, como el conjunto de todos los ordiu nales es bin ordenado, entonces debe tener un ordinal, digamos , pero el e conjunto formado por todos los ordinales agregandole , tiene ordinal + 1, que es mayor que , por lo tanto no puede ser el n mero ordinal del conu junto de todos los ordinales ya que y +1, no cumplen la ley de tricotom a. Paradoja de Cantor Otro ejemplo de un conjunto paradgico es la denominada paradoja de Cano tor. En 1899, en una carta que envi Cantor a Dedekind, observa que no o puede hablarse del conjunto de todos los conjuntos, ya que si fuese este conjunto entonces el conjunto () de todos los subconjuntos de ser un a elemento de , es decir: () entonces existe m tal que 2m , lo cual es una contradiccin [13]. o
Despues del surgimiento del axioma de Regularidad en la Teor de Conjuntos (1917) a puede emplearse el siguiente argumento: Como () y () entonces , lo cual contradice el axioma de regularidad. Paradoja de Russell La paradoja de Russell tiene la siguiente historia [4]: El lgico alemn Gottlob Frege (18481925) o a consideraba: los matemticos deben de haa cer frente a la posibilidad de encontrar una contradiccin que convierta el edicio como pleto en ruinas. Por esta razn me he sentio do obligado a volver a los fundamentos lgicos o generales de la ciencia . . . . Es as como se dedic durante un cuarto de siglo a construir o la fundamentacin conjuntista del anlisis, o a con tal n elabor un sistema formal que ino tentaba servir como fundamento de las

BERTRAND RUSSELL (1872-1970)

matemticas. Este sistema se sosten en dos principios: a a 162

Las Paradojas en Matematicas

1. Principio de Extensionalidad: Dos conjuntos son iguales si poseen los mismos elementos. 2. Principio de Abstraccin: Toda propiedad dene un conjunto. o Sus ideas fueron plasmadas en dos extensos volumenes. En 1902 ya hab a publicado el primero y el segundo estaba en la imprenta listo para ser publicado, cuando recibi una carta del joven matemtico ingls Bertrand Russell o a e (1872-1870) en la que le planteaba la siguiente inquietud: Si x es, por ejemplo, el conjunto de los conjuntos que no son cucharas, x x, pero si x es el conjunto de todas las cucharas, evidentemente x no es una cuchara y por lo tanto x x. Sea el siguiente conjunto: P = {x | x x}. Si x es, por ejemplo, el conjunto de los conjuntos que no son cucharas, x x, pero si x es el conjunto de todas las cucharas, evidentemente x no es una cuchara y por lo tanto x x [3]. Si P P P P lo cual es una contradicci`n. Si P P P P lo cual o tambin es una contradiccin. e o Esta paradoja que present Russell, convert en contradictoria las bases o a mismas de la obra cient ca de Frege.
En un gesto de gallard y de humildad cient a ca, Frege escribi una nota a pie de pgina al nal o a del segundo volumen que comenzaba diciendo:
Dicilmente puede encontrarse un cientco con al go ms indeseable que notar que ceden los fundamena tos de una obra que acaba de terminar. En esa situacin me encuentro al recibir una carta del seor o n Bertrand Russell cuando el trabajo estaba casi en imprenta

GOTTLOB FREGE (1848-1925)

Realmente lo que demuestra la paradoja de Russell es que el principio de abstraccin es falso, y o es este aspecto el que hace contradictrio el siso tema de Frege, aunque la forma como construy o el anlisis no lo fue. a

163

Memorias XIII Encuentro de Geometr y I de Aritmtica a e

La causa de muchas de estas paradojas, como se alaban Russell y Whitehead n [6], radica en la denicin de un objeto en trminos de una clase que contiene o e como elemento al objeto que se est deniendo. Tales deniciones se llaman a impredicativas y aparecen de manera especial en teor de conjuntos. a Como arman Kasner y Newmann: Quizs la mayor de todas las paradojas a es que haya paradojas en la matemtica [2]. Afortunadamente para esta a ciencia, las paradojas siempre han estado presentes en su quehacer, ellas se han convertido en un verdadero reto, fuente de inspiracin y creacin, que le o o ha permitido adquirir no slo un alto grado de desarrollo, sino tambin la ha o e obligado a cambiar sus conceptos de rigor y precisin, !bienvenidas sean las o paradojas!.

Lecturas Recomendadas
[1] I.Kleiner-N.Movshovitz, The Role of Paradoxes in the Evolution of Mathematics, Amer.Math.Monthy 688, December (1994). [2] E. Kasner-J. Newmann, Paradoja Perdida y Paradoja Recuperada, SIGMA El Mundo De Las Matemticas, Volumen Quinto, Barcelona, 1979. a [3] B.Russell, La evolucin de mi pensamiento losco, Alianza Editorial, o o Madrid, 1976. [4] J. de Lorenzo, Gottlob Frege, Grandes matemticos, Investigacin y a o Ciencia, Temas 1, Barcelona, 1995. [5] P.Suppes, Teora Axiomtica de Conjuntos, Editorial Norma, Cali, 1968. a [6] W.I.McLaughlin, Una Resolucin de las Paradojas de Zenn, Investigao o cin y Ciencia, pp.62-68, Enero, 1995. o [7] B.H.Bunch, Matemtica inslita, Paradojas y Paradojismos, Editorial a o Revert,s.a., Barcelona, 1987. e [8] E.P.Northrop, Paradojas Matemticas, EUnin Tipogrca Editorial a o a Hispano Americana, S.A.,C.V., Mxico, 1991. e [9] R. Rodr guez, Enjambre Matemtico, Editorial Revert, S, A., Barceloa e na, 1988. 164

Las Paradojas en Matematicas

[10] D.M. Burton, The History of Mathematics, Wm.C.Brown Publishers,

(Second Edition),

[11] V.J. Katz, A History of Mathematics, (Second Edition), ADDISONWESLEY, New York, 1998. [12] C.Ca on, La Matemtica creacin y descubrimiento, Universidad Ponn a o ticia de Comillas, Madrid,1993. [13] C.H.Sanchez,Surgimiento de la teora de conjuntos, Segundo Colquio o Distrital de Matemticas y Estad a stica, Bogot, Diciembre de 1985. a

165