PARADOJA DE

RUSSELL
GRUPO 3
 ¿QUÉ ES UNA PARADOJA?

• Una declaración en apariencia verdadera que conduce a una

situación contra el sentido común.

• La de Russell es una de las más famosas, ya que hizo temblar la

teoría de los conjuntos que pone base a las matemáticas
 ¿QUÉ ES UNA PARADOJA?

• Son como los acertijos: parecen problemas insolubles, pero

siempre tienen solución, sólo es necesario entenderlas y aclararlas.

• Son argumentos que nos llevan a una contradicción con alguna

suposición que inocentemente parecía correcta y clara a la
intuición.
FORMULACIÓN DE LA PARADOJA DE RUSSELL

• Cosa extraña o contradictoria con la opinión común o al sentido de

la gente
• Afirmación inverosímil o absurda para la intuición que se presenta
con apariencia de verdadera
 PARADOJA DE RUSSELL
• Es una de las paradojas más famosas de la historia de las Matemáticas, ya
que durante un tiempo hizo temblar a la teoría de conjuntos desarrollada
por Georg Cantor, y es conocida como La Paradoja de Russell en honor a
su creador: Bertrand Russell.
• Russell estaba enfrascado en sus investigaciones sobre los fundamentos
lógicos de las matemáticas. Esto requirió que examinara las relaciones entre
colecciones de cosas (Russell hablaba de clases, aunque el término moderno
es conjunto). La naturaleza de las "cosas" de las clases era inmaterial; lo que
importa era la lógica abstracta de la teoría de conjuntos.
CONCLUIMOS LA ACLARACIÓN DE LA
PARADOJA

• El concepto ingenuo de conjunto como colección de objetos que

cumplen una propiedad, aunque es intuitivo, claro y útil es erróneo.
• Porque es contradictorio con una verdad lógica, para el caso de
la propiedad
• “Ser un conjunto y no pertenecerse a sí mismo”.
EJEMPLO:
EJEMPLO
LA VERDAD LÓGICA MUY ESPECIAL EN EL CASO
DE LOS CONJUNTOS
• En el universo de los conjuntos con la relación pertenencia entre
conjuntos (ser elemento de).
• No existe un conjunto cuyos elementos sean exactamente todos
aquellos conjuntos que no son elementos de sí mismos, y sólo esos.
• Así pues B = {x / x x}, no existe (en el universo de los conjuntos) o
bien
• Tal B no es un conjunto. ¡Esto es una verdad lógica!
ES CLARO AHORA, EL PORQUÉ DE LA PARADOJA DE
RUSSELL
ES UN CONCEPTO QUE CONTRADICE A UNA VERDAD
LÓGICA

• Concepto ingenuo
• Existe un conjunto cuyos elementos son aquellos conjuntos que no se
perteneces a sí mismos
• Verdad lógica
• No existe un conjunto cuyos elementos son aquellos conjuntos que
no se pertenecen a sí mismos.