Epsilones
XX aniversario
3 monos
Novedades - ► Mapa - Bestiario - GeoGebra - Bienvenida - Contacto
Paradojas
Previo ◄ Índice ► Siguiente
   
 

Paradoja de Russell

Los conjuntos parecen ser de dos tipos: los que se contienen a sí mismos como miembros y los que no. Un ejemplo de los primeros sería el conjunto de las cosas pensables, pues a su vez es una cosa pensable. Un ejemplo de los segundos sería el conjunto de los matemáticos, pues el conjunto en sí no es un matemático y, por tanto, no pertenece al conjunto como miembro.

Consideremos ahora el conjunto todos los conjuntos que no se contiene a sí mismos como miembro. Llamémosle T. ¿está T contenido en sí mismo como miembro? Si lo está, por definición no se contiene a sí mismo, luego no lo está. Pero si no lo está, por definición, debe estar.

 
 
El teorema de Gödel, p.40; ¿Qué son y para qué sirven los números?, p.66.
 

Paradojas autorreferenciales.

► Retratos: Russell

 
 
Comentarios
Inicio página
Epsilones.
Sitio + o - matemático de
Alberto Rodríguez Santos.
Correo: alberto@epsilones.com.
En la red desde el 4-7-2002 (ya hace).
Última actualización: ver Novedades.
 

 

Con esto se termina la página: