Teora de la

computacion
Ingeniera informtica
Nombres:Noem Sadith Ponce
Iparraguirre
Tema:paradoja de Russell
Profesor:
Ciclo:3er

Seccin:B

Trujillo-per

Qu es una paradoja?
Una paradoja es una proposicin en apariencia verdadera que conduce a
una contradiccin lgica o a una situacin que va contra el sentido comn.En este sentido
la famosa paradoja de Russelldemuestra que la teora original de conjuntos formulada
por Cantor y Frege es contradictoria.
Los conjuntos pueden ser de dos tipos: los que se contienen a s mismos como miembros
y los que no. Un ejemplo de los primeros, llamados conjuntos singulares, sera el conjunto
de los objetos matemticos, pues a su vez es un objeto matemtico. Un ejemplo de los
segundos sera el conjunto de los msicos, pues el conjunto en s no es un msico y, por
tanto, no pertenece como miembro.

La paradoja de Russell

consiste en lo siguiente: si consideramos el conjunto de todos los conjuntos

que no se contienen a s mismos, est ese conjunto contenido en s mismo
como miembro? Si lo est, por definicin no se contiene a s mismo, luego
no lo est. Pero si no lo est, por definicin, debe estar.
Esto que parece un galimatas puede explicarse de una forma algo ms
clara. Imaginemos una biblioteca que contiene un nmero determinado de
libros. Algunos de estos libros son relaciones de otros que se encuentran en
la biblioteca; los llamaremos catlogos. Por ejemplo, habr un catlogo que
contenga una relacin de todos los libros de matemticas, otro que
contenga los poemarios, otro las biografas, etc. Consideramos el conjunto
de todos esos catlogos y lo denominamos de tipo A; sern catlogos de
libros que no se incluyen a s mismos. Un catlogo de libros de poesa no es
un libro de poesa, y por lo tanto es autoexcluyente, y ser del tipo A.
Ahora vamos a considerar como otro conjunto un catlogo general que
contenga todos los catlogos de la biblioteca. Lo denominaremos de tipo B.
La funcin de este catlogo es dar una lista de todos los catlogos de tipo A.
Todo parece correcto, pero si lo vemos detenidamente el conjunto que

recoge todos los catlogos del tipo A es paradjico. No se ve con claridad?

Podemos verlo mejor si formulamos la siguiente pregunta El catlogo
general es del tipo A o del tipo B? Si es del tipo A entonces no se incluye a s
mismo, porque como hemos dicho, los catlogos del tipo A son
autoexcluyentes (libros que referencian otros de distinta ndole). Pero hemos
definido el catlogo general como una lista de los catlogos
autoexcluyentes (tipo A), por lo tanto ha de estar en la lista... Pero eso no
puede ser, porque el catlogo general (tipo B) slo da una relacin de los
catlogos del tipo A, por tanto no se puede incluir a s mismo en la lista si es
del tipo B (catlogos que no son autoexcluyentes), y si no se incluye es del
tipo A y debera estar incluido... Como se ve, llegamos a una contradiccin.
Hay otra forma ms amable y clara de representar esta paradoja:
En un lejano poblado de un antiguo emirato haba un barbero llamado AsSamet diestro 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 (todas las personas deban ser
afeitadas por el barbero o por ellas 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. Si me afeito, entonces puedo
afeitarme por m mismo, por lo tanto no debera de afeitarme el barbero de
mi pueblo que soy yo! Pero si por el contrario, no me afeito, entonces algn
barbero me debe afeitar 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 por siempre feliz.
Como vemos, el barbero del cuento se encuentra en la misma situacin que
el catlogo de la primera explicacin: el intento de cumplir una de las
condiciones lo lleva a incumplir la otra

La paradoja de Russell
Este artculo es sobre matemticas. Ms precisamente sobre teora de conjuntos pero a no
preocuparse que no encontrarn clculos o diagramas de Ben aqu: el tema, ms que
interesante, puede ser comprendido por cualquier persona.
La teora de conjuntos tal y como fue presentada por Cantor y Frege tiene un serio problema de
consistencia, el cual fue descubierto por Bertrand Russell en 1901.
La paradoja de Russell parte de la observacin simple y aparentemente inocente de que
algunos conjuntos se incluyen a si mismos como uno de sus elementos. Suena esto extrao?,
consideremos entonces el siguiente ejemplo: el conjunto de todas las cucharas no es otra
cuchara, pero el conjunto de todas las cosas que no son una cuchara es ciertamente una de las
cosas que no es una cuchara.
Bueno, dir el lector, otra excentricidad de las matemticas, supongo. El problema est en
que esta excentricidad lleva a un terrible problema de consistencia.

Existen muchos ejemplos que demuestran el problema; uno famoso es el del bibliotecario que
clasifica sus libros en dos estantes, separndolos en aquellos que hacen referencia de si
mismos (por ejemplo, a travs de referencias cruzadas) y aquellos que no. Cuando el
bibliotecario quiere crear un catlogo de los libros que nohacen referencia a s mismos se
encuentra con un problema: en cul estante debe poner el catlogo? Porque si lo pone en el
estante de los libros que no hacen referencia a s mismos debera incluir en el mismo una lnea
que contabilice el propio catlogo con lo cual tendra que pasarlo al otro estante ya que
contendra una referencia a s mismo pero si lo pasa al otro estante la lnea estara
equivocada por lo que tendra que eliminarla pero si elimina la lnea el catlogo deja de
pertenecer al segundo estante por lo que tendr que pasarlo al primero y agregar por lo tanto la
lnea pero
Otro ejemplo clsico es el del barbero del emir:
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!
Russell trabaj mucho tiempo con Whitehead para resolver este problema, el cual destrua
completamente la estabilidad de la teora mostrando una inconsistencia imposible de resolver.
S, algo tan simple como esto hizo tambalear toda la estructura de la teora de conjuntos
Finalmente el problema fue resuelto (o ms bien oculto) excluyendo de la teora aquellos
conjuntos que hacen referencia a s mismos: as reducida, la estructura terica funciona a la
perfeccin y es por esto que se sigue torturando enseando a los alumnos an hoy da y por
siempre a travs de la teora de conjuntos si bien ningn profesor que conozca explica este
simple problema a sus alumnos.

La paradoja de Russell
Segn la Wikipedia una paradoja es:
Una paradoja es una declaracin en apariencia verdadera que conlleva a una
auto-contradiccin lgica o a una situacin que contradice el sentido comn.
En palabras simples, una paradoja es lo opuesto a lo que uno considera
cierto.
Hay muchos tipos de paradojas, clasificadas segn varios aspectos, pero no me
voy a extender en este tema ya que no es el objetivo del post (aqu podis ver
informacin sobre esas clasificaciones).
Lo que nos ocupa es una Antinomia. Es una de las paradojas ms famosas de la
historia de las Matemticas , ya que durante un tiempo hizo temblar a la teora de
conjuntosdesarrollada por Georg Cantor, y es conocida como La Paradoja de
Russell en honor a sucreador: Bertrand Russell.
Vamos a explicar un poco de qu va este tema:
Consideremos el conjunto cuyos elementos son todas las sillas del mundo.
Evidentemente el propio conjunto no es una silla y por tanto se tiene que el
conjunto en s no es un elemento de s mismo. Los conjuntos que cumplan esa

condicin (que no sean elementos del propio conjunto) se denominan

conjuntos normales.
Y diris: no parece que hay conjuntos que se contengan a s mismos como
elemento. Pues s se pueden definir. Por ejemplo, si consideramos el conjunto de
todos los objetos matemticos se tiene que el propio conjunto es un objeto
matemtico, y por tanto es elemento de s mismo. O el conjunto de todas las
cosas que no son sillas. Se ve claramente que el conjunto no es una silla, y por
tanto es un elemento de s mismo. A estos conjuntos (los que se contienen a s
mismos como elementos) los llamaremos conjuntos singulares. Y,
evidentemente, estas definiciones son exhaustivas y excluyentes: todo conjunto
que podamos forma es normal o singular, y adems slo puede ser de uno de los
dos tipos.
Bueno, dicho esto vamos al meollo del asunto: consideremos ahora el conjunto
cuyos elementos son todos los conjuntos normales que se pueden formar.
Llamemos a ese conjunto M (por llamarlo de alguna forma). Ahora, si M es normal
estar en M, por ser M el conjunto de todos los conjuntos normales. Pero a la vez,
por ser M normal, no puede contenerse a s mismo como elemento (segn la
definicin de conjunto normal), y por tanto M no pertenece a M. Uhmmmqu
extrao, no?.
Supongamos ahora la otra opcin posible: si M es singular entonces M no
pertenece a M. Pero en este caso M no es un elemento de s mismo, es decir,
cumple al definicin de conjunto normal, y por tanto M es normal, es decir, M
pertenece a M.
Dios, qu locura!!. Si M pertenece a M podemos demostrar que M no pertenece a
M, y viceversa. He aqu la paradoja.
En esta web podis encontrar otro ejemplo usando obras de artes que puede
ayudar a entender algo mejor el tema.
Bueno, y ahora surge un problema bastante ms importante de lo que uno puede
creer: teniendo en cuenta que todas las Matemticas se basan en la teora de
conjuntos y podemos encontrar en ella una paradoja de estas dimensiones
cmo se sostiene todo?. Pues sencillo. Bueno, sencillo no, pero se sostiene. Los
lgicos llegaron a la conclusin que para la teora de conjuntos en la que estn
basadas las Matemticas los conjuntos singulares simplemente no pueden existir.
Ms tarde llegaron los axiomas de Zermelo-Fraenkel y consiguieron asentar
definitivamente el tema (bueno, igual no tan definitivamente, ya que el axioma de
eleccin ha dado y sigue dando mucho que hablar, pero bueno, ese es otro tema).
Vamos, que por ahora podemos estar tranquilos, las cosas siguen funcionando