El paraso prohibido:

Una nueva crisis de la

razn
Presentado por : Hernn Gonzales Barreda

 En 1900 pareca que los matemticos haban

dado a su disciplina la estructura que Euclides
haba delineado en sus elementos.

Hilbert reconoci que el mtodo axiomtico

necesita de trminos no definidos y de axiomas
acerca de esos trminos.

Hilbert recalcaba , el marco abstracto y

puramente lgico de la geometra eucldea no
requiere que punto , recta y plano estn atados a
la interpretacin prevista. En cuanto a los
axiomas, se supone lo menos posible a fin de
deducir lo mas posible.

 En 1900, los matemticos admitan que no podan

seguir confiando
en la verdad fsica de las
matemticas
para
estar
seguros
de
su
consistencia.
En 1904, un destacado matemtico, Alfred
Pringsheim (1850-1914), poda decir con razn,
que la verdad que las matemticas buscan no es
ni mas ni menos que la consistencia.
La nueva teora que dio lugar a contradicciones y
que abri los ojos de los matemticos a otras
contradicciones en las mas viejas ramas de su
ciencia fue la teora de los conjuntos infinitos.

 George Cantor(1845-1918)

El estudio de estos problemas le condujo a

considerar la teora de conjuntos de nmeros y en
particular a introducir nmeros para conjuntos
infinitos.
tales :
El conjunto de todos los nmeros impares
El conjuntos de todos los nmeros racionales
El conjunto de todos los nmeros reales

 Cantor rompi con una larga tradicin. Desde

Aristteles, los matemticos haban establecido la
distincin entre un infinito actual de objetos y un
infinito potencial .
No obstante, la mayor parte de los matemticos
como Galileo, Leibniz, Cauchy, Gauss y otros.
Fueron muy claros al distinguir entre conjuntos
potencialmente infinitos y conjuntos con un
infinito actual.

Descartes deca : El infinito es reconocible, pero

no comprensible

 Gauss escriba a Schumacher en 1831: En

matemticas nunca se pueden utilizar las
magnitudes infinitas como algo final o definitivo,
el infinito es solamente una manera de hablar,
para referirnos a un lmite al que ciertas razones
pueden aproximarse tanto como se desee cuando
a otras se les permite crecer indefinidamente

Cantor introdujo los infinitos actuales, tuvo que

enfrentar su creacin a las concepciones
mantenidas por los grandes matemticos del
pasado.
En 1873 no solamente se decidi a considerar los
conjuntos infinitos como totalidades existentes,
como entidades, sino que se plante la necesidad
de distinguirlos.

 Cantor defini, si un conjunto A puede ponerse en

correspondencia uno a uno con una parte o
subconjunto de un conjunto B, pero B no puede
ponerse en correspondencia uno a uno con A o
una parte de A, entonces B es mayor que A.

Cantor decidi usar smbolos para designar el

numero de objetos de los conjuntos infinitos. El
conjunto de los nmeros naturales y los conjuntos
que pueden ponerse en correspondencia uno a
uno con el tienen el mismo numero de objetos y
a este numero lo denoto por

 En 1900 su teora de conjuntos era muy utilizada

en otras reas de las matemticas. Adems,
Cantor y Richard Dedekind advirtieron su utilidad
para fundamentar una teora de los nmeros
enteros (finitos y transfinitos)

Cantor decidi que se deba distinguir entre lo que

el llamaba conjuntos consistentes e
inconsistentes, y en relacin con ello escribi a
Richard Dedekind en 1899.

Adems de los nmeros transfinitos, ya descritos,

que reciben el nombre de nmeros cardinales
transfinitos, Cantor introdujo los nmeros

Definicin
constructiva
de
nmeros transfinitos ordinales

los

Cantor plantea como se puede dar origen a la

sucesin de sus nmeros ordinales transfinitos a
partir de dos principios generadores. Estos se
expresan as :
A cada numero ya formada se le aade una
unidad(el primer numero ordinal es 1)
Para cada sucesin determinada de nmeros ya
definidos, de los cuales no existe ninguno
mximo, se crea un numero concebido como el
limite de todos aquellos nmeros, es decir, que
viene definido como el numero inmediatamente
mayor que todos ellos.

 La razn de la controversia creada

por la teora de conjuntos fue
revelada con mucha agudeza por
Flix Hausdorff en su Fundamentos
de teora de conjuntos(1914)
cuando describa este tema como
un campo en el que nada es
evidente por si mismo, cuyos
enunciados
verdaderos
son
a
menudo
paradjicos
y
cuyos
enunciados plausibles son falsos

Paradojas

Qu es una paradoja?

Es una idea extraa opuesta a lo que se considera

verdadera o a la opinin personal.

Tambin se considera paradoja a una proposicin

en apariencia falsa o que infringe el sentido
comn pero no conlleva una contradiccin lgica
en contraposicin a un sofismo que solo aparenta
ser un razonamiento verdadero.

Paradoja del mentiroso

Fue analizada por Aristteles y muchos otros
lgicos posteriores.
Se refiere a la frase Esta frase es falsa
designemos el enunciado entre comillas por S. Si
S es verdadero, entonces lo que dice es
verdadero, y por lo tanto S es verdadero.
Si S es falso, entonces lo que dice es falso y por
consiguiente, S es verdadero.

La paradoja de Russell
La paradoja de Russell se refiere a clases. Una
clase de libros no es un libro no es un libro y
por tanto no pertenece a si misma, pero una
clase de ideas si es una idea y pertenece a si
misma.
La paradoja de Russell ha sido expresada en
varios trminos ms cotidianos, el ms
conocido es laparadoja del barberoque se
puede enunciar de la siguiente manera:

 En un lejano poblado de un antiguoemiratohaba un

barbero llamado As-Sametdiestro en afeitar cabezas y
barbas, maestro en escamondar pies y en poner
sanguijuelas. Un da el emir se dio cuenta de la falta de
barberos en el emirato, y orden que los barberos slo
afeitaran a aquellas personas que no pudieran hacerlo
por s mismas. Cierto da el emir llam a As-Samet
para que lo afeitara y l le cont sus angustias:
En mi pueblo soy el nico barbero. No puedo afeitar
al barbero de mi pueblo, que soy yo!, ya que si lo
hago, entonces puedo afeitarme por m mismo, por lo
tanto no debera afeitarme! Pero, si por el contrario
no me afeito, entonces algn barbero debera
afeitarme, pero yo soy el nico barbero de all!
El emir pens que sus pensamientos eran tan
profundos, que lo
premi con la mano de la ms
virtuosa de sus hijas. As, el barbero As-Samet vivi
para siempre feliz y barbn

 trataron de tener en cuenta el consejo que

William James diera en su pragmatismo All
donde encuentras una contradiccin, debes hacer
una distincin
Russell no obstante, no hizo esta distincin. Crea
que todas las paradojas surgen de una falacia,
que el llamo principio del circulo vicioso y que
describi as :
Cualquier cosa que incluya todas las cosas de una
coleccin, n debe ser una de las cosas de la
coleccin

 Consideremos el ejemplo ofrecido por Russell

mismo en los Principia Mathematica:
El hecho de que todas las matemticas son lgica
simblica es uno de los descubrimientos mas
grandes de nuestra poca[]
La ley del tercio excluido afirma que todas las
proposiciones son verdaderas o son falsas. Pero la
propia ley es una proposicin. En consecuencia,
aunque su pretensin es afirmar una ley
verdadera de la lgica, es una proposicin y por
consiguiente puede ser falsa.
Como dijo Russell, este enunciado de la ley carece
de sentido

Paradoja de GrellingNelson

Laparadoja de Grelling-Nelsones unaparadojaverbal

formulada en 1908 porKurt GrellingyLeonard Nelson. Es
una reformulacin de la paradoja del barbero y laparadoja
de Russell.
La paradoja utiliza las palabras inventadas "autolgico" y
"heterolgico". Una palabra es autolgica si se describe a s
misma. Por ejemplo "corto" y "esdrjula" son autolgicas,
ya que la palabra "corto" es relativamente corta y la palabra
"esdrjula" es esdrjula. Las palabras que no son
autolgicas se denominan heterolgicas. "Largo" es una
palabra heterolgica, al igual que "monosilbico".
La pregunta que da lugar a la paradoja es: Es heterolgica
la palabra "heterolgico"?
No hay una respuesta consistente: si lo fuese, no lo sera, y
si no lo fuese, entonces lo sera.

 En 1905, Jules Richard presento otra paradoja

utilizando el mismo procedimiento que cantor
haba utilizado para probar que el numero de
nmeros reales era mayor que el numero de
nmeros naturales

El razonamiento es algo complicado, pero esa

misma contradiccin fue incluida en una versin
simplificada debido a G. G. Berry .

Paradoja de Berry
Laparadoja de Berryes la aparente
contradiccin que deriva de frases como sta:
El menor entero positivo que no se puede definir
con menos de quince palabras.
El siguiente argumento parece probar que esta
frase define un nicoentero positivoN. El nmero
de frases que se pueden formar con menos de
quince palabras es finito. Algunas de estas frases
pueden describir unentero positivoespecfico, por
ejemplo mil trescientos veintisiete

 En cualquier caso, elconjuntoAde enteros que se

puedendefinircon menos de quince palabras es finito.
Puesto queAes finito, no puede contener todos los
enteros positivos, de modo que tiene que haber un
nmero entero positivoNque sea el menor de todos los
nmeros enteros positivos que no estn contenidos
enA.
Entonces, como hemos dicho, el nmeroNes el menor
entero positivo que no se puede definir con menos de
quince palabras. Pero entonces resulta que la frase El
menor entero positivo que no se puede definir con
menos de quince palabras definir a este nmeroN. Y,
sin embargo, dicha frase tiene slo catorce palabras.
Esto es claramenteparadjico, y parece sugerir que
que no se puede definir con menos de quince
palabras no est bien definido

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.

 La objecin de Russell- Poincare a las definiciones

impredicativas ha sido ampliamente aceptada.
Desgraciadamente, tales definiciones han sido
utilizadas en las matemticas clsicas. El ejemplo
que causo mayor preocupacin fue la nocin de
mnima cota superior.
Poincare propuso que se prohibieran todas las
definiciones impredicativas. Hermann Weyl,
destacado matemtico de la primera mitad del
presente siglo, estaba preocupado por el hecho
de que algunas definiciones impredicativas
pudieran efectivamente ser contradictorias y
dedic un considerable esfuerzo a reformar la
definicin de mnima cota superior pero no tuvo
xito.