Universitas Scientiarum

ISSN: 0122-7483
revistascientificasjaveriana@gmail.com
Pontificia Universidad Javeriana
Colombia

Castro Chadid, Ivn; Hernando Prez, Jess

LAS PARADOJAS EN MATEMTICAS
Universitas Scientiarum, vol. 8, julio-diciembre, 2003, pp. 25-37
Pontificia Universidad Javeriana
Bogot, Colombia

Disponible en: http://www.redalyc.org/articulo.oa?id=49900805

Cmo citar el artculo

Nmero completo
Sistema de Informacin Cientfica
Ms informacin del artculo Red de Revistas Cientficas de Amrica Latina, el Caribe, Espaa y Portugal
Pgina de la revista en redalyc.org Proyecto acadmico sin fines de lucro, desarrollado bajo la iniciativa de acceso abierto
 UNIVERSITAS SCIENTIARUM
Revista de la Facultad de Ciencias Julio-diciembre de 2003
PONTIFICIA UNIVERSIDAD JAVERIANA Vol. 8, 25-37

LAS PARADOJAS EN MATEMTICAS

Ivn Castro Chadid1, Jess Hernando Prez2

1
Profesor Titular. Pontificia Universidad Javeriana
Profesor Asociado. Universidad Nacional de Colombia
ivan.castro@jol.net.co
2
Profesor Emrito. Universidad Nacional de Colombia.
Profesor Universidad Sergio Arboleda
jhpalcazar@multiphone.net.co

RESUMEN

Se hace una presentacin y anlisis de varias de las paradojas que ms han influido en el desarrollo de las
matemticas y se relacionan algunas de ellas con el tema del infinito. Se clasifican en dos grandes grupos:
semnticas y lgicas.

Palabras clave: Paradojas, paradojas semnticas, paradojas lgicas, tiempo, espacio, continuo, discreto,
verdad matemtica, conjunto paradjico, definiciones impredicativas.

ABSTRACT

This work presents and analyses some of the most influential paradoxes in the development of the
mathematical thought; some of them are related with the concept of infinite and are divided in two main
groups: semantical and logical.

Key words: Paradoxes, semantical paradoxes, time, space, continuum, discreet, mathematical truth,
paradoxical set, non-predicative definitions.

INTRODUCCIN cepto de rigor cientfico que se maneja

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 sencillamente
que encierra en s mismo contradicciones.
Los conceptos de certeza o falsedad en ma-
temticas y an el de contradiccin, depen-
den del grado de desarrollo de la matemti-
ca en un momento dado; parodiando a
Hamlet puede decirse que lo que una vez
fue paradoja, ya no lo es, pero puede vol-
ver a serlo. Este hecho tambin se da en
las ciencias experimentales y conduce ini-
cialmente a un cuestionamiento del con-
en cada poca.
Uno de los aspectos ms interesantes de la
matemtica estriba en que sus ms difciles
paradojas encuentran un camino para ori-
ginar las ms bellas y profundas teoras;
Kasner y Newman sostienen:
El testamento de la ciencia es un flujo con-
tinuo, de tal manera que la hereja del pasa-
do es el evangelio del presente y el funda-
mento del maana (Kasner, et al., 1979).
A menudo se llega a paradojas cuando se
contradice el denominado principio del

25

5-PARADOJAS.p65 25 06/10/03, 09:17 a.m.

 Universitas Scientiarum Vol. 8, Ed. Especial, Matemticas, 25-37
tercero excluido (Kleiner et al., 1994), que
afirma lo siguiente:
cualquier enunciado proposicional es
verdadero o es falso, pero no se pueden
dar ambas cosas simultneamente.
Al tratar de aplicar a conjuntos infinitos el
hecho de que: Si es posible emparejar to-
dos los elementos de un conjunto con to-
dos los pertenecientes a otro, entonces,
ambos conjuntos tienen el mismo nmero
de elementos puso a los matemticos ante
algunos hechos que eran inexplicables en
su poca y que fueron considerados como
paradojas; algunas de ellas, son:
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
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 to-
dos los puntos de AB con los del segmento
CD.
A M B do se trata de cantidades finitas (Pla i Ca-
o (Katz, 1998).
C N D
2. En el siglo XVI, Galileo Galilei, obser-
vaba que todo entero positivo tiene un cua-
drado y que todo cuadrado proviene de un
26
5-PARADOJAS.p65 26
entero positivo, es decir, que es posible
emparejar todos los elementos del conjun-
to de los enteros positivos con todos los
elementos del conjunto de los cuadrados
de nmeros enteros positivos, y as lleg a
la conclusin de que las relaciones de igual-
dad y de desigualdad no son vlidas en el
infinito (Kleiner et al., 1994).
En su obra Discursos y demostraciones
matemticas presenta el siguiente dilogo
entre Salviati y Simplicius:
Salviati: Si pregunto cuntos son los cua-
drados de los nmeros, puedes responder-
me correctamente que son tantos como sus
propias races; dado que cada cuadrado tie-
ne su raz, y cada raz su cuadrado, ni cada
cuadrado tiene ms de una sola raz, ni cada
raz tiene ms de un solo cuadrado.
Simplicius: Qu es lo que hay que resolver
esta vez?
Salviati: No veo que se pueda admitir otra
conclusin, si no es la de decir que la canti-
dad de nmeros en general es una cantidad
infinita: los cuadrados son infinitos y ade-
ms ni la cantidad de cuadrados es menor
que la de los nmeros en general, ni sta es
mayor que aqulla: en conclusin los atri-
butos igual, mayor y menor no tienen senti-
do cuando se habla de infinitos, sino cuan-
rrera, 2001).
3. Es posible emparejar la totalidad de los
enteros positivos con los nmeros pares,
aunque estos ltimos estn estrictamente
contenidos en el conjunto de los enteros
06/10/03, 09:17 a.m.
 Julio-diciembre de 2003

4. En el siglo XIII, el filsofo escocs John mente, si W es un punto cualquiera de S ,

Duns Scoto observaba que dadas dos cir- devolvindose puede verse que, existe una
cunferencias concntricas, todos los pun- y slo una imagen de W en OR.
tos de la una pueden emparejarse uno a uno, P S
con todos los de la otra. Una observacin
H
similar es vlida para el caso de dos esferas
concntricas (Northrop, 1991).
O M R W

5. Es posible emparejar todos los puntos de

una semicircunferencia con los de una rec- 7. En la obra: Dilogo relativo a dos nue-
ta. vas ciencias, Galileo Galilei propone la
hoy denominada Paradoja de Galileo, de la
siguiente manera:

i)Trace el cuadrado ABCD

D C

A B
En efecto, construya la recta y la semicir-
cunferencia como se indica en la figura, la ii.) Haciendo centro en B trace el arco de
correspondencia es la siguiente: Dado un circunferencia AC.
punto P de la recta, trace el segmento OP
que une el centro O de la semicircunferen- iii.)Trace sobre AB una recta perpendicular
cia con P, el punto de corte es el que le HE y la diagonal BD.
corresponde a P por esta asignacin.

6. Es posible emparejar todos los puntos

de una semirrecta con los de un segmento
abierto en un extremo (Northrop, 1991).

En efecto, sean S la semirrecta que empie-

za en O y pasa por W y OR el segmento sin
el punto R; por el punto O trcese un seg- iv) Haciendo centro en H, trace las circun-
mento OP OR, constryase el rectngulo ferencias de radios HG, HF y HE.
OPSR y la diagonal OS.

Tmese un punto M OR, y trcese el seg-

mento perpendicular MH a S en donde H
OS. A continuacin prolnguese el seg-
mento de recta PH hasta el punto W de la
semirrecta S , de esta forma se asigna a cada
punto de OR uno y slo uno de S ; similar-

27

5-PARADOJAS.p65 27 06/10/03, 09:17 a.m.

 Universitas Scientiarum Vol. 8, Ed. Especial, Matemticas, 25-37

Por el teorema de Pitgoras, se tiene: entre una totalidad y sus partes, y el uso de
procedimientos finitos pero potencialmen-
BF 2 = HB 2 + HF 2 (1) te infinitos, no eran suficientes para dar una
interpretacin racional a ciertos hechos
geomtricos.
pero BF = BC y BC = HE ;
y luego LAS PARADOJAS DE ZENN
BF = HE (2)
Uno de los temas de mayor controversia
entre los griegos fue el relativo a la rela-
Por otra parte, por el teorema de Tales:
cin que existe entre lo discreto y lo conti-
nuo. Los nmeros enteros representan ob-
HG AD jetos discretos y una razn conmensurable
=
HB AB representa una relacin entre dos longitu-
des que admiten una unidad de medida
comn, de manera que cada una de ellas es
pero AD = AB ya que ABCD es un cua- una coleccin discreta de unidades; sin
drado. De donde, embargo, las longitudes en general no son
colecciones discretas de unidades y este es
HG = HB (3) el motivo por el que aparecen las razones
de longitudes inconmensurables. En otras
Remplazando (2) y (3) en (1), tenemos que: palabras, longitudes, reas, volmenes,
tiempo y otras cantidades son continuas.
HE 2 = HG 2 + HF 2
luego Este problema de la relacin entre lo dis-
HG 2
= HE - HF
2 2 creto y lo continuo fue puesto en eviden-
cia por el ms destacado discpulo de
Parmnides, Zenn de Elea, quien alrede-
de donde
dor del ao 445 a.C., propuso un cierto
HG = HE - HF
2 2 2
nmero de paradojas; cuatro de ellas tratan
del movimiento, y pretendan indicar que
el movimiento o el cambio en general es
Area de la circunferencia Area de la corona circular imposible, y en general, que la realidad
= con centro en H y radios HF y HE
con centro en H y radio HG es una entidad singular sin cambios, ade-
ms, se deseaba refutar a los pitagricos
Cuando H tiende a B, la circunferencia tien- quienes crean en unidades extensas pero
de a un punto y la corona se reduce a la indivisibles (McLaughlin, 1995).
circunferencia de radio BC . Luego,
En la poca en que vivi Zenn, haban
Un punto es igual en rea a una dos concepciones opuestas del espacio y
circunferencia! del tiempo. Una, que el espacio y el tiempo
son indefinidamente divisibles, en cuyo
(Esto ltimo es cierto porque ambas tienen caso el movimiento resultara continuo, y
rea igual a cero). la otra, que el espacio y el tiempo estn
formados por pequeos intervalos indivi-
Los ejemplos anteriores muestran clara- sibles, en cuyo caso el movimiento consis-
mente que los conceptos clsicos sobre el tira en una sucesin de minsculos saltos
infinito, la longitud, el rea, la relacin espasmdicos. Los argumentos de Zenn

28

5-PARADOJAS.p65 28 06/10/03, 09:17 a.m.


estn dirigidos contra ambas teoras y par-
ten de la siguiente hiptesis fundamental:
El tiempo y el espacio pueden ser cada uno
e independientemente el uno del otro,
finitamente divisibles o infinitamente
divisibles; de donde resultan entonces cua-
tro posibilidades:
1. Paradoja de Aquiles y la tortuga (tiem-
po y espacio infinitamente divisibles. Si
el movimiento existe, lo ms lento (la tor-
tuga) nunca ser alcanzado por lo ms rpi-
do (Aquiles), pero como esto es imposible,
el movimiento no existe (McLaughlin,
1995).
En efecto, cualquier distancia que deba ser
recorrida por un mvil, por ejemplo la que
hay entre Aquiles y la tortuga, puede ir di-
vidindose en dos partes y hay tiempo su-
ficiente para recorrer la primera parte; como
las dos magnitudes son infinitamente
divisibles Aquiles nunca alcanzar a la tor-
tuga.
AQUILES VS. TORTUGA
En otras palabras, Zenn establece que
sobre la hiptesis de que el espacio y el
tiempo son indefinidamente divisibles el
movimiento sera imposible.
2. Paradoja de la flecha (espacio finita-
mente divisible y tiempo infinitamente di-
visible). Como el espacio es finitamente
divisible la flecha en su movimiento ocu-
par el lugar que sigue en la direccin en
que se mueve en un tiempo T. Como el tiem-
5-PARADOJAS.p65 29
Julio-diciembre de 2003
po es infinitamente divisible entonces exis-
tir un tiempo T < T, durante el cual la
fecha desapareci porque no exista un lu-
gar que pudiera ocupar en ese tiempo. Por
lo tanto, como el movimiento existe no
podemos asumir que el espacio es finita-
mente divisible y el tiempo infinitamente
indivisible.
3. Paradoja de la dicotoma (espacio infi-
nitamente divisible y tiempo finitamente
divisible). En este caso se tiene la situa-
cin dual de la anterior: Si un mvil parte
de un lugar hipottico A en el instante T,
como el tiempo es finitamente divisible
habr un instante siguiente T en el cual el
mvil ocupar un lugar B. Como el espa-
cio es infinitamente divisible existir un
lugar C entre A y B por el cual tuvo que
pasar el mvil; pero esto no se dio porque
no hubo tiempo para que sucediera. Nue-
vamente como el movimiento existe no po-
demos asumir que el espacio es infinita-
mente divisible y el tiempo finitamente
divisible.
4. Paradoja del estadio (tiempo y espacio
finitamente divisibles). Un atleta A se mue-
ve en una carrera en una cierta direccin y
otro atleta C se mueve en la misma direc-
cin pero en sentido opuesto y con igual
velocidad. Un tercer atleta B que permane-
ce inmvil describe el movimiento de A y
C en la siguiente forma:
En el tiempo mnimo T, A y C se desplaza-
ron una distancia mnima D. Ahora bien, A
y C describen el movimiento de B de la
siguiente forma: B se desplaz en el tiem-
po mnimo T la distancia mnima 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 mnima D en el tiem-
po mnimo T, lo cual es absurdo, porque no
hubo tiempo para recorrer la distancia D.
29
06/10/03, 09:17 a.m.
 Universitas Scientiarum Vol. 8, Ed. Especial, Matemticas, 25-37

cipales factores que condujeron al estanca-

A A miento de la matemtica en la Edad Media.
B B
C C LAS PARADOJAS Y LA CRISIS DE LA
MATEMTICA DEDUCTIVA
En consecuencia no es posible que el
tiempo y el espacio sean finitamente
divisibles, pues de lo contrario el mov-
imiento relativo no existira, y como todo
movimiento es relativo, no existira
entonces el movimiento.

Por los problemas planteados a travs de

sus paradojas, Zenn es considerado como
uno de los precursores de las matemticas
del infinito, con ellas afloran varios pro-
blemas cruciales para la matemtica: el de
lo infinitesimal, el del infinito, el de la con-
tinuidad, el del movimiento y otros ms,
los cuales han sido tratados posteriormen-
te por muy destacados matemticos, sien-
do uno de los primeros Karl Weierstrass en
el siglo XIX, modernamente por Abraham
Robinsn en la dcada del sesenta del si-
glo XX, y por otros como Bolzano, Cauchy,
Dedekind y Cantor en el siglo XIX. Aun-
que los argumentos de Zenn pueden ser
interpretados como argumentos contra el
movimiento, tambin es posible interpre-
tarlos como argumentos en contra de la
concepcin analtica del espacio y del tiem-
po; es decir, los argumentos de Zenn esta-
ran sealando que no es posible represen-
tar el espacio como constituido por puntos
yuxtapuestos y el tiempo como constitui-
do de instantes sucesivos.
Los planteamientos de Zenn tuvieron
grandes consecuencias en el desarrollo del
pensamiento matemtico, entre ellos el evi-
tar utilizar representaciones matemticas
para interpretar el mundo fsico, especial-
mente el movimiento. Esta separacin se
mantuvo hasta la obra fundamental de
Galileo que fue precedida dieciocho siglos
por Arqumedes. Tal alejamiento entre ma-
temticas y mundo real fue uno de los prin-
Henri Poincare (1854-1912)
A finales del siglo XIX y principios del XX
el problema de la fundamentacin de la
matemtica estaba al orden del da, posi-
blemente en alguna de las ideas en las que
exista unanimidad era la de concebir los
objetos matemticos como dados a los
cuales no se les pueden atribuir propieda-
des arbitrarias, situacin similar a la que
sucede con algunos fenmenos de la natu-
raleza que tienen que ser aceptados y no
pueden ser modificados por los cientficos,
un problema que generaba y an genera
grandes debates entre los matemticos es
el concerniente al concepto de verdad
en matemticas. Henri Poincar, conside-
rado como el ltimo universalista, reco-
noca en 1902 que los axiomas de la geo-
metra son convenciones para las que la
nocin habitual de verdad carece de sen-
tido (Can,1993). De hecho se pona en
evidencia que el concepto de verdad ma-
temtica y la nocin usual de verdad
son dos entes distintos ya que mientras el

30

5-PARADOJAS.p65 30 06/10/03, 09:17 a.m.

 Julio-diciembre de 2003

primero (de acuerdo a la forma de pensar de Cocodrilo: Voy a comerme a tu nio?

muchos matemticos con Hilbert a la cabe- Responde correctamente y te lo devolve-
za) reside nicamente en la deduccin l- r ileso.
gica a partir de premisas fijadas arbitraria-
mente por los axiomas, el segundo es una La madre: Ay ay ay! Te vas a comer a mi
convencin sustentada en la experiencia hijito.
secular de la humanidad que se apoya prin-
cipalmente en observaciones y perseccio- Cocodrilo: Humm.... si te devuelvo el beb,
nes, y que como se sabe stas son falibles. lo que has dicho ser verdadero; lo cual no
es cierto.
El surgimiento de paradojas, fue uno de los
principales factores que propici una heri- La madre: si te comes el beb, no habra
da a esta nocin de verdad matemtica contestado correctamente, lo cual no es cier-
aceptada por Hilbert y en general los parti- to, as que tienes que devolvrmelo ileso
darios de la corriente filosfico-matemti- (Bunch, 1987).
ca denominada el formalismo.
Paradoja del Quijote
En 1926 F.P. Ramsey puso en evidencia que
existen dos tipos de paradojas: las lgicas
o matemticas, y las lingsticas o semn-
ticas (Suppes, 1998). Las primeras surgen
de construcciones puramente matemticas
y las segundas de la consideracin del len-
guaje que empleamos para hablar de mate-
mticas y lgica.

LAS PARADOJAS LINGSTICAS O

SEMNTICAS

Algunas paradojas semnticas son las si-

guientes:
Paradoja de Platn y Scrates
Platn: La prxima declaracin de Scrates
ser falsa.
Scrates: Platn ha dicho la verdad!
Paradoja de Epimnides
Epimnides: Todos los cretenses son men-
tirosos!
Sabemos que Epimnides es cretense. De-
ca Epimnides la verdad?
Paradoja del Cocodrilo y la mujer
Un cocodrilo le arrebat un beb a una
mujer y le dijo:
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 perso-
na dice la verdad, es puesta en libertad; si
la persona miente, deber ser colgada. Una
persona llega a Barataria y afirma: Estoy
aqu para que me cuelguen (Bunch, 1987).
Ser o no colgada esta persona?
No se puede tomar una decisin, ya 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 de-
ber ser colgado, pero esto slo sucede si la
frase es falsa, lo cual es una contradiccin.

31

5-PARADOJAS.p65 31 06/10/03, 09:17 a.m.

 Universitas Scientiarum Vol. 8, Ed. Especial, Matemticas, 25-37

Paradoja del Abogado Paradoja del Barbero

Un abogado concert con sus alumnos que

deberan pagarle por sus enseanzas, si y
slo si, ganaban su primer caso ante los tri-
bunales; y no deban abonar nada si lo per-
dan. Uno de sus discpulos que haba ter-
minado sus estudios, resolvi evitar acep-
tar ningn caso para de esta forma eludir el
pago. El abogado lo demand para que le
pagara.

Pagar o no el alumno? (Rodrguez,

1988).
Si el alumno paga es porque perdi el caso
y por lo tanto no ha ganado su primer caso
lo cual lo exonera del pago. Si el alumno
no paga es porque el resultado lo favoreci
y por lo tanto gan su primer caso, lo cual
lo obliga a pagar.
Paradoja de los Alcaldes
Supongamos que en un pas se crea una
ciudad que es habitada slo por alcaldes
de municipios del pas, mediante ley apro-
bada por el Congreso se establece que todo
alcalde slo puede vivir en su propia ciu-
dad o en la ciudad de los alcaldes. Como
todo municipio debe tener un alcalde, la
pregunta es: en dnde vive el alcalde de
la ciudad de los alcaldes?
Fue popularizada por Bertran Russell
(Burton, 2000) 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
s mismos, pero si afeita a todos aquellos
que no se afeiten a s mismos. Un buen da
alguien le pregunta si l debera afeitarse a
s mismo.
Si se afeita a s mismo entonces por la pri-
mera parte de su afirmacin, no debera afei-
tarse a s mismo; pero si no se afeita a s
mismo, entonces por la segunda parte de-
bera afeitarse a s mismo.

Hay dos posibilidades: Paradoja de Richard

1. Que el alcalde viva en su propia ciu-
dad, en este caso vivir en la ciudad de
los alcaldes, pero esto implica que el
alcalde no vive en su propia ciudad.
2. Que el alcalde no viva en su propia ciu-
dad, en este caso vivir en la ciudad de
los alcaldes que es precisamente su pro-
pia ciudad.
Como podemos darnos cuenta ambas solu-
ciones nos conducen a contradicciones.
La primera paradoja semntica moderna es
la denominada paradoja de Richard
(Snchez, 1985); fue formulada por Jules
Richard en 1905; pero Berry y Russell die-
ron una versin simplificada de la misma;
fundamentalmente esta paradoja es la si-
guiente:
Existen muchos nmeros reales que se pue-
den describir con expresiones en castella-
no; por ejemplo:

32

5-PARADOJAS.p65 32 06/10/03, 09:17 a.m.

 Julio-diciembre de 2003

Vamos a hacer corresponder a cada nmero

N Algunas frases empleadas para mencionarlo A un nico nmero natural de la siguiente
3 Tres. forma:
2 Raz cuadrada de dos.

3
Sea por ejemplo = 2 la expresin que
Tres quintos. le corresponde es:
5

3
74 5 Raz cbica de, siete menos raz cuarta de cinco. raz cuadrada de dos
La longitud de una circunferencia sobre su dimetro.

e el lmite cuando n tiende a infinito de uno ms uno sobre

n, elevado a la n.
Llamemos:
A = { R | se puede describir con una
expresin en castellano}
Existen nmeros reales que no estn en A.
Por ejemplo:
bn
= n
n =1 10
en donde los bn son nmeros aleatorios.
Veamos que A es numerable:
Tomemos las 27 letras del alfabeto ms el
caracter que indica un espacio 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 nme-
ro natural impar, de la siguiente manera:
De acuerdo al cdigo anterior, tenemos que
los nmeros de los caracteres que corres-
ponden 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 nmero natural que le hacemos
corresponder a 2 es:
235 31 517 751 1155 135 1741 191 237 2935 311 377 411 4355
477 539 5955 617 6729 7137
En general, si un nmero A est repre-
sentado por una expresin cuyos caracte-
res corresponden en su orden a los nme-
ros:
m1 m2 mk mr
a le hacemos corresponder el nico n-
mero natural:
n = 2m1 3m2 Pkmk Prmr
en donde Pk es el k-simo nmero primo.

Cdigo Nmero Cdigo Nmero Si U es el conjunto de todas las expresiones,

A 1
B 3
C 5
D 7
E 9
F 11
G 13
H 15
I 17
J 19
K 21
L 23
M 25
N 27
o 29
p 31
q 33
r 35
s 37
t 39
u 41
v 43
w 45
x 47
y 49
z 51
53
55
tenemos que a cada expresin U le
corresponde un nico nmero natural:
2m1 3m2 Pkmk P r mr
Adems, como la descomposicin de un
nmero natural como producto de primos
es nica (teorema fundamental de la arit-
mtica), entonces, si un nmero natural es
la imagen de una expresin, por esta asig-
nacin, no puede existir otra expresin que
tenga como imagen dicho nmero. Luego

33

5-PARADOJAS.p65 33 06/10/03, 09:17 a.m.

 Universitas Scientiarum Vol. 8, Ed. Especial, Matemticas, 25-37

en particular se tiene que la aplicacin: Paradoja de Grelling

: A Esta paradoja semntica fue enunciada por

> N
primera vez en 1908 por Kurt Grelling
> () = n (1886-1941) y Leonard Nelson (1882-
1927), consiste en lo siguiente:
es inyectiva y por lo tanto A es numerable.
De donde, Un adjetivo es autolgico si se describe a
s mismo, en caso contrario se dir que es
A = {1, 2, , m, } heterolgico. Por ejemplo: Corto es una
palabra corta, por lo tanto es autolgico;
Sabemos que cada m puede expresarse en polisilbico es una palabra polisilbica, por
forma decimal como: lo tanto es autolgica; castellano es una
palabra en castellano por lo tanto es
m = bm1bm2 bmm en donde bmk {0, 1, autolgica; autolgico es una palabra
2, , 9} k N. autolgica.

Construyamos el siguiente nmero: Es heterolgico un adjetivo heterolgico?

c
= kk Si heterolgico es heterolgico, es porque
k =1 10 no se describe a s mismo, pero la palabra
heterolgico significa que no se describe a
en donde, s mismo, luego heterolgico se describe a
s mismo, lo cual es una contradiccin.

1 si bkk = 0
ck = Si heterolgico es autolgico es porque se
0 si bkk 0 describe a s mismo, pero ser heterolgico
significa que no se describe a s mismo, sien-
do esto tambin una contradiccin.
como m m N, entonces A.
Paradoja de Berry
Por otra parte, de acuerdo con la construc-
cin de , podemos decir que este nmero
Esta paradoja fue presentada en 1908, y
se puede describir con la siguiente expre-
consiste en lo siguiente:
sin en castellano:

El nmero real entre cero y uno, cuyo tr-
mino en cada lugar dado es uno o cero se-
gn si el nmero que ocupa ese mismo lu-
gar en la numeracin de los nmeros reales
que tienen expresin en castellano, tienen
Dado un nmero natural, existen varias for-
mas de mencionarlo en castellano; por ejem-
plo:
N Algunas expresiones empleadas para mencionarlo

uno o cero en el lugar en cuestin del desa-

3 Tres.
rrollo decimal. El primer primo impar.
El segundo nmero impar.
Por lo tanto A, lo cual es una contradic- Es el nico primo que divide a nueve.
cin.
2 Dos.
El primer primo.
El nico primo que divide a todo nmero par.

34

5-PARADOJAS.p65 34 06/10/03, 09:17 a.m.


1729 Mil setecientos veintinueve.
El menor nmero que se puede expresar como suma
de dos cubos en dos formas distintas.
(1729 = 13 + 123 = 93 + 103).
Tomemos las 27 letras del alfabeto ms el
caracter que indica un espacio entre dos
palabras. Con estos 28 caracteres podemos
escribir cualquier expresin y en particular
las expresiones que caracterizan cada n-
mero natural.
Hagamos la siguiente asignacin para cada
nmero natural n. Sea N el conjunto de los
nmeros naturales
N >N
n nmero ordinal; en particular, como el
> fn
En donde fn es el menor nmero de caracte-
res que producen una expresin que carac-
teriza al nmero n. Si
A = {n N | fn 100}
entonces A N y A . Luego existe m
N tal que m = min A, esto es:
m es el menor nmero natural que requiere
mnimo cien caracteres para describirlo.
Pero esta expresin 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 fm > 100.
Como puede verse, muchas de estas para-
dojas, estn enmarcadas dentro de las de-
nominadas paradojas del mentiroso que
han sido objeto de muchas reflexiones en
la lgica formal y que consiste en tratar de
saber si un hombre que dice yo miento
est o no diciendo la verdad al pronunciar
estas palabras.
LAS PARADOJAS LGICAS O
MATEMTICAS
Entre las paradojas lgicas o matemticas,
estn las debidas a los denominados con-
juntos paradjicos. Un conjunto parad-
5-PARADOJAS.p65 35
Julio-diciembre de 2003
jico, es aquel que el admitir 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 present en un en-
cuentro del Crculo Matemtico di Palermo
(Snchez, 1985) en pocas palabras la para-
doja es la siguiente:
Se sabe en teora intuitiva de conjuntos,
que todo conjunto bien ordenado tiene un
conjunto de todos los ordinales es bien
ordenado, entonces debe tener un ordinal,
digamos , pero el conjunto formado por
todos los ordinales agregndole , tiene or-
dinal + 1, que es mayor que , por lo tanto
no puede ser el nmero ordinal del conjunto
de todos los ordinales ya que y +1, no
cumplen la ley de tricotoma.
Paradoja de Cantor
Otro ejemplo de un conjunto paradjico es
el de la denominada paradoja de Cantor.
En 1899, en una carta que envi Cantor a
Dedekind, observa que no puede hablarse
del conjunto de todos los conjuntos, ya
que si fuese este conjunto entonces el
conjunto P() de todos los subconjuntos
de sera un elemento de , es decir:
P() y tambin P() es un
subconjunto de
Entonces existe m tal que 2m m, lo cual es
una contradiccin (Snchez, 1985).
Despus del surgimiento del Axioma de
Regularidad en la Teora de Conjuntos
(1917) puede emplearse el siguiente argu-
mento:
Como P() y P() entonces
, lo cual contradice el Axioma de Regula-
ridad.
35
06/10/03, 09:17 a.m.
 Universitas Scientiarum Vol. 8, Ed. Especial, Matemticas, 25-37

Paradoja de Russell recibi una carta del joven matemtico in-

gls Bertrand Russell (1872-1870) en la que
le planteaba la siguiente inquietud:

Si x es, por ejemplo, el conjunto de los con-

juntos que no son cucharas, x x, pero si x
es el conjunto de todas las cucharas, evi-
dentemente x no es una cuchara y por lo
tanto x x.

Sea el siguiente conjunto:

P = { x | x x}.

Si P P P P lo cual es una contradic-

Bertrand Russell (1872-1970) cin. Si P P P P lo cual tambin es
una contradiccin [Russell,1976].
El lgico alemn Gottlob Frege (1848-
1925) consideraba: Esta paradoja que present Russell, con-
verta en contradictoria las bases mismas
los matemticos deben de hacer de la obra cientfica de Frege.
frente a la posibilidad de encon-
trar una contradiccin que convier-
ta el edificio completo en ruinas.
Por esta razn me he sentido obli-
gado a volver a los fundamentos
lgicos generales de la ciencia....
(De Lorenzo, 1995).

Es as como se dedic durante un cuarto de

siglo a construir la fundamentacin lgica
del anlisis; con tal fin elabor un sistema
formal que intentaba servir como funda-
mento de las matemticas. Este sistema se
sostena en varios principios dos de los
cuales son los siguientes:
Gottlob Frege (1848-1925)
1. Principio de Extensionalidad: dos pro-
piedades son equivalentes si son aplica-
En un gesto de gallarda y de humildad cien-
bles a los mismos individuos.
tfica, Frege escribi una nota a pie de p-
gina al final del segundo volumen que co-
2. Principio de Abstraccin: Toda propie-
menzaba diciendo:
dad define un conjunto.
Difcilmente puede encontrarse un cientfi-
Sus ideas fueron plasmadas en dos exten- co con algo ms indeseable que notar que
sos volmenes. En 1902 ya haba publica- ceden los fundamentos de una obra que aca-
do el primero y el segundo estaba en la ba de terminar. En esa situacin me encuen-
imprenta listo para ser publicado, cuando tro al recibir una carta del seor Bertrand

36

5-PARADOJAS.p65 36 06/10/03, 09:17 a.m.


Russell cuando el trabajo estaba casi en
imprenta (De Lorenzo, 1995).
Realmente lo que demuestra la paradoja de
Russell es que el principio de abstraccin
es falso, y es este aspecto el que hace
contradictorio el sistema de Frege, aunque
la forma como construy el anlisis no lo
fue.
La causa de muchas de estas paradojas,
como sealaban Russell y Whitehead
(McLaughlin, 1995), radica en la
definicin de un objeto en trminos de una
clase que contiene como elemento al
objeto que se est definiendo. Tales
definiciones se llaman impredicativas y
aparecen de manera especial en teora de
conjuntos.
Como afirman Kasner y Newmann: Qui-
zs la mayor de todas las paradojas es que
haya paradojas en la matemtica (Kasner,
1979). Afortunadamente para esta 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 ha permitido adquirir no
slo un alto grado de desarrollo, sino tam-
bin la ha obligado a cambiar sus concep-
tos de rigor y precisin, bienvenidas sean
las paradojas!
LITERATURA CITADA
K LEINER I., M OVSHOVITZ N. T HE R OLE OF
P ARADOXES IN THE E VOLUTION OF
MATHEMATICS. AMER MATH MONTHY 688,
DECEMBER, 1994.
KASNER E, NEWMANN J. PARADOJA PERDIDA Y PA-
RADOJA RECUPERADA, SIGMA EL MUNDO DE
LAS MATEMTICAS, VOLUMEN QUINTO, BARCE-
LONA, 1979.
RUSSELL B. LA EVOLUCIN DE MI PENSAMIENTO FI-
LOSFICO, ALIANZA EDITORIAL, MADRID,
1976.
5-PARADOJAS.p65 37
Julio-diciembre de 2003
DE LORENZO J. GOTTLOB FREGE, GRANDES MATE-
MTICOS, INVESTIGACIN Y CIENCIA, TEMAS
1, BARCELONA, 1995.
SUPPES P. TEORA AXIOMTICA DE CONJUNTOS, EDI-
TORIAL NORMA, CALI, 1968.
MCLAUGHLIN W.I. UNA RESOLUCIN DE LAS PARA-
DOJAS DE ZENN, INVESTIGACIN Y CIENCIA,
ENERO, 1995, 62-68,
BUNCH B.H. MATEMTICA INSLITA, PARADOJAS Y
PARADOJISMOS, EDITORIAL REVERT, S.A.,
BARCELONA, 1987.
NORTHROP E.P. PARADOJAS MATEMTICAS, E. UNIN
TIPOGRFICA EDITORIAL HISPANO AMERICA-
NA, S.A.,C.V., MXICO, 1991.
RODRGUEZ R. ENJAMBRE MATEMTICO, EDITORIAL
REVERT, S.A., BARCELONA, 1988.
BURTON D.M. THE HISTORY OF MATHEMATICS,
( SECOND EDITION ), W M .C. B ROWN
PUBLISHERS, 2000.
KATZ V.J. A HISTORY OF MATHEMATICS, (SECOND
EDITION), ADDISON-WESLEY, NEW YORK,
1998.
CAN C. LA MATEMTICA CREACIN Y DESCUBRI-
MIENTO, UNIVERSIDAD PONTIFICIA DE COMI-
LLAS, MADRID,1993.
SNCHEZ C.H. SURGIMIENTO DE LA TEORA DE CON-
JUNTOS, SEGUNDO COLOQUIO DISTRITAL DE
MATEMTICAS Y ESTADSTICA, BOGOT, DI-
CIEMBRE DE 1985.
PLA I CARRERA, J. EL INFINITO Y LA LGICA DE
PRIMER ORDEN, IDEAS DEL INFINITO, TEMAS 23,
INVESTIGACIN Y CIENCIA, BARCELONA,
2001.
Recibido: 30-04-2003
Aceptado: 15-07-2003
37
06/10/03, 09:17 a.m.