AVISO: Si no tenés ganas de quemarte la cabeza, mejor no leas el post.
La paradoja de Russell o paradoja del barbero, descrita por Bertrand Russell en 1901, demuestra que la teoría original de conjuntos formulada por Cantor y Frege es contradictoria.
En un lejano poblado de un antiguo emirato había un barbero llamado As-Samet diestro en afeitar cabezas y barbas, maestro en escamondar pies y en poner sanguijuelas. Un día el emir se dio cuenta de la falta de barberos en el emirato, y ordenó que los barberos sólo afeitaran a aquellas personas que no pudieran hacerlo por sí mismas. Cierto día 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 debería afeitarme! Pero, si por el contrario no me afeito, entonces algún barbero debería 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 más virtuosa de sus hijas. Así, el barbero As-Samet vivió para siempre feliz.
¿No terminaste de entender la paradoja? Explicación:
Los conjuntos son reuniones de cosas, por ejemplo de coches, libros, personas, etc. y en este sentido los llamaremos conjuntos normales.
La característica principal de un conjunto normal es que no se contiene a sí mismo. Pero también existen conjuntos de conjuntos, como
, que es el conjunto de subconjuntos de M.
Un conjunto de conjuntos es normal salvo si podemos hacerlo que se contenga a sí mismo. Esto último no es difícil si tenemos el conjunto de todas las cosas que NO son libros y como un conjunto no es un libro, el conjunto de todas las cosas que NO son libros formará parte del conjunto de todas las cosas que NO son libros. Estos conjuntos que se contienen a sí mismos se llaman conjuntos singulares.
Está claro que un conjunto dado o bien es normal (no se contiene a si mismo) o bien es singular (se contiene a si mismo), no hay término medio, o se contiene a sí mismo o no se contiene.
Ahora tomemos el conjunto
como el conjunto de todos los conjuntos normales. ¿Qué clase de conjunto es ? ¿Normal o Singular?
Si es normal, estará dentro del conjunto de conjuntos normales, que es C, luego ya no puede ser normal. Si es singular, no puede estar dentro del conjunto de conjuntos normales, luego no puede estar en C, pero si no puede estar en C entonces no es singular.
¿Te quedó un poco mas claro? Una imágen como para terminar el post.
Paradoja de Russell
La paradoja de Russell o paradoja del barbero, descrita por Bertrand Russell en 1901, demuestra que la teoría original de conjuntos formulada por Cantor y Frege es contradictoria.
En un lejano poblado de un antiguo emirato había un barbero llamado As-Samet diestro en afeitar cabezas y barbas, maestro en escamondar pies y en poner sanguijuelas. Un día el emir se dio cuenta de la falta de barberos en el emirato, y ordenó que los barberos sólo afeitaran a aquellas personas que no pudieran hacerlo por sí mismas. Cierto día 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 debería afeitarme! Pero, si por el contrario no me afeito, entonces algún barbero debería 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 más virtuosa de sus hijas. Así, el barbero As-Samet vivió para siempre feliz.
¿No terminaste de entender la paradoja? Explicación:
Los conjuntos son reuniones de cosas, por ejemplo de coches, libros, personas, etc. y en este sentido los llamaremos conjuntos normales.
La característica principal de un conjunto normal es que no se contiene a sí mismo. Pero también existen conjuntos de conjuntos, como
, que es el conjunto de subconjuntos de M.
Un conjunto de conjuntos es normal salvo si podemos hacerlo que se contenga a sí mismo. Esto último no es difícil si tenemos el conjunto de todas las cosas que NO son libros y como un conjunto no es un libro, el conjunto de todas las cosas que NO son libros formará parte del conjunto de todas las cosas que NO son libros. Estos conjuntos que se contienen a sí mismos se llaman conjuntos singulares.
Está claro que un conjunto dado o bien es normal (no se contiene a si mismo) o bien es singular (se contiene a si mismo), no hay término medio, o se contiene a sí mismo o no se contiene.
Ahora tomemos el conjunto
como el conjunto de todos los conjuntos normales. ¿Qué clase de conjunto es ? ¿Normal o Singular?
Si es normal, estará dentro del conjunto de conjuntos normales, que es C, luego ya no puede ser normal. Si es singular, no puede estar dentro del conjunto de conjuntos normales, luego no puede estar en C, pero si no puede estar en C entonces no es singular.
¿Te quedó un poco mas claro? Una imágen como para terminar el post.
ESPERO NO HABERLOS ABURRIDO.
¡ GRACIAS POR PASAR !