viernes, 3 de abril de 2009

La Paradoja de Russell

Bertrand Russell describio en 1901 una paradoja con la que puso de manifiesto que la teoría original de conjuntos de Cantor y Frege es contradictoria.




En primer lugar…¿Qué es un conjunto? Los conjuntos son reuniones de cosas: sillas, mesas, sofás, etc. Los conjuntos normales son aquellos q no se contienen a sí mismos, como los citados en el ejemplo. Sin embargo, también existen conjuntos de conjuntos. Por ejemplo, muebles es un conjunto de los conjuntos silla, mesa, etc. A su vez estos conjuntos de conjuntos pueden ser normales o singulares (si se contienen a sí mismos).
Un ejemplo de conjuntos singulares es el siguiente: el conjunto de las cosas que no son sillas, y como un conjunto no es una silla, forma parte del conjunto de cosas que no son sillas, es decir, forma parte de sí mismo.


La paradoja consiste en que si no forma parte de sí mismo, pertenece al tipo de conjuntos que no forman parte de sí mismos y por lo tanto forma parte de sí mismo. Es decir, formará parte de sí mismo sólo si no forma parte de sí mismo.
Aquí va un ejemplo con el que quizás se vea mejor:




El capitán de un barco manda al único barbero de este que afeite a todo aquel que no se afeite. Por lo tanto el barbero puede afeitarse y que así no le tenga que afeitar el barbero del barco, que es el, o puede no afeitarse pero entonces como único barbero del barco deberá afeitarse a sí mismo.

Curiosa paradoja :P

No hay comentarios:

Publicar un comentario