Ver el código de «Paradoja de Russell»

[[Archivo:Bertrand Russell transparent bg.png|miniaturadeimagen|[[Bertrand Russell]], matemático británico que enunció la paradoja que lleva su nombre]]
La '''paradoja de Russell''' o '''paradoja del barbero''', acreditada a [[Bertrand Russell]], demuestra que la teoría original de [[teoría de conjuntos|conjuntos]] formulada por [[Georg Cantor|Cantor]] y [[Gottlob Frege|Frege]] es contradictoria.

== La paradoja en términos de conjuntos ==
Supongamos los casos de conjuntos que son miembros de sí mismos. Un ejemplo descrito es el que supone un conjunto que consta de «ideas abstractas». Dicho conjunto es miembro de sí mismo porque el propio conjunto es una idea abstracta. Otro ejemplo sería una bolsa con bolsas dentro. Por otro lado un conjunto que consta de «libros» no es miembro de sí mismo porque el conjunto en sí no es un libro. Russell preguntaba (en carta escrita a [[Gottlob Frege|Frege]] en 1902), si el conjunto de los conjuntos que no forman parte de sí mismos (es decir, aquel conjunto que engloba a todos aquellos conjuntos que no están incluidos en sí mismos, como el de «libros» en el ejemplo anterior) 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''.<ref>J. Heijenoort: ''From Frege to Gödel'', ed. Harvard University Press, Cambridge, Massachusetts, 1967; pp. 124-125</ref>

=== Enunciado formal de la paradoja ===

Llamemos <math>M_{}^{}</math> al «conjunto de todos los conjuntos que no se contienen a sí mismos como miembros». Es decir:
{{Ecuación|<math>M=\{x:x \notin x\}</math>|1}}
Según la teoría de conjuntos de Cantor, la ecuación (1) se puede representar por
{{Ecuación|<math>\forall x\qquad x\in M \iff x\notin x</math>|2}}
es decir «cada conjunto es elemento de <math>M</math> [[Coimplicación|si y solo si]] no es elemento de sí mismo».

Ahora, en vista de que <math>M</math> es un conjunto, se puede substituir <math>x</math> por <math>M</math> en la ecuación (2), de donde se obtiene
{{Ecuación|<math>M\in M \iff M\notin M</math>|3}}
Es decir que <math>M</math> es un elemento de <math>M</math> si y solo si <math>M</math> no es un elemento de <math>M</math>, lo cual es absurdo.

== La paradoja en términos del barbero ==
La paradoja de Russell ha sido expresada en varios términos más cotidianos, el más conocido es la ''paradoja del barbero'' que se puede enunciar de la siguiente manera:

:{| border=0 width=61.8% style="background:WhiteSmoke; color:Black"
|
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 solo afeitaran a aquellas personas que no pudieran afeitarse a sí mismos. ¡Ah! e impuso la norma de que todo el mundo estuviera afeitado, (no se sabe si por higiene, por estética, o por demostrar que podía imponer su santa voluntad y mostrar así su poder). 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! pues desobedecería vuestra orden. Pero, si por el contrario no me afeito, entonces algún barbero debería afeitarme, ¡pero como yo soy el único barbero de allí!, no puedo hacerlo y también así desobedecería a vos mi señor, oh emir de los creyentes, ¡que Allah os tenga en su gloria!

El emir pensó que sus pensamientos eran tan profundos, que lo premió con la mano de la más hermosa de sus concubinas. Así, el barbero As-Samet vivió para siempre feliz y barbón.<ref>López Mateos, Manuel (1978). Los Conjuntos. México D.F.: Publicaciones del Departamento de Matemáticas, Facultad de Ciencias, UNAM. [https://www.academia.edu/109085731/Historia_del_Alfajeme_As_Samet_El_Silencioso «Historia del Alfajeme As-Samet, El Silencioso»]</ref>
|}

En [[lógica de primer orden]], la paradoja del barbero se puede expresar como:
{{Ecuación|<math>\forall x\qquad\mathrm{afeita}(x,barbero)\iff \neg\mathrm{afeita}(x,x)</math>|4}}
Donde <math>\mathrm{afeita}(x,y)</math> significa «<math>x</math> es afeitado por <math>y</math>». Lo anterior se leería como «cada persona es afeitada por el barbero si y solo si no se afeita a sí misma». Es importante notar la semejanza entre las ecuaciones (2) y (4). Al substituir <math>x</math> por <math>barbero</math> se obtiene
{{Ecuación|<math>\mathrm{afeita}(barbero,barbero)\iff \neg\mathrm{afeita}(barbero,barbero)</math>|5}}
Es decir que el barbero se afeita a sí mismo si y solo si no se afeita a sí mismo, lo cual es una contradicción.

Pero Russell duda sobre esta formulación, él mismo comenta: «en una ocasión me fue sugerida una formulación que no era válida; a saber, la cuestión de si el barbero se afeita o no a sí mismo. Ustedes pueden definir al barbero como "alguien que afeita a todos aquellos, y sólo aquellos, que no se afeitan a sí mismos". La pregunta ahora es: ¿se afeita el barbero a sí mismo? Así formulada, la contradicción no es muy difícil de resolver».

== Explicación de la paradoja ==

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 <math>2^M</math>, que es el conjunto de subconjuntos de M.

Un conjunto de conjuntos es normal salvo si podemos hacer 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 o bien es singular, no hay término medio, o se contiene a sí mismo o no se contiene. Ahora tomemos el conjunto <math>C</math> como el conjunto de todos los conjuntos normales. ¿Qué clase de conjunto es <math>C</math>? ¿Normal o Singular?

Si es normal, estará dentro del conjunto de conjuntos normales, que es <math>C</math>, luego ya no puede ser normal, puesto que se contiene a sí mismo. Si es singular, no puede estar dentro del conjunto de conjuntos normales, luego no puede estar en <math>C</math>, pero si no puede estar en <math>C</math> entonces no es singular, puesto que no se contiene a sí mismo.

==Historia ==
Russell descubrió la paradoja en mayo<ref>''The Autobiography of Bertrand Russell'', George Allen and Unwin Ltd., 1971, page 147: «Al final del período de Cuaresma [1901], regresé a Fernhurst, donde me puse a trabajar para escribir la deducción lógica de las matemáticas que luego se convirtió en "Principia Mathematica". Pensé que la obra estaba casi terminada pero ''en el mes de mayo'' [énfasis agregado] tuve un retroceso intelectual […]. Cantor tenía una prueba de que no existe el mayor número, y me pareció que el número de todas las cosas del mundo debería ser el mayor posible. En consecuencia, examiné su prueba con cierta minuciosidad y procuré aplicarla a la clase de todas las cosas que existen. Esto me llevó a considerar aquellas clases que no son miembros de sí mismas, ya preguntarme si la clase de tales clases es o no miembro de sí misma. Encontré que cualquiera de las respuestas implica su contradicción».</ref> o junio de 1901.<ref name="auto">{{citation |url=https://books.google.com/books?id=Xg6QpedPpcsC&pg=PA350 |title=One hundred years of Russell's paradox |author=Godehard Link |page=350 |year=2004 |isbn=978-3-11-017438-0 |access-date=2016-02-22}}</ref> Según su propio relato en su ''Introduction to Mathematical Philosophy'', de 1919, «intenté descubrir alguna falla en la prueba de Cantor de que no existe un (número) cardinal mayor que todos los demás».<ref>Russell 1920:136</ref> En una carta de 1902,<ref>{{citation |url=https://books.google.com/books?id=4ktC0UrG4V8C&pg=PA253 |page=253 |year=1997 |title=The Frege reader |isbn=978-0-631-19445-3 |author=Gottlob Frege, Michael Beaney |access-date=2016-02-22}}. Also van Heijenoort 1967:124–125</ref> anunció el descubrimiento a [[Gottlob Frege]] de la paradoja en el ''[[Begriffsschrift]]'' de Frege de 1879 y enmarcó el problema en términos tanto de lógica como de teoría de conjuntos, y en particular en términos de la definición de Frege de [[función (matemáticas)|función]]:{{efn|A continuación, la pág. 17 se refiere a una página en el ''Begriffsschrift'' original, y la página 23 se refiere a la misma página en van Heijenoort 1967}}{{efn|Sorprendentemente, esta carta no se publicó hasta van Heijenoort 1967; aparece con el comentario de van Heijenoort en van Heijenoort 1967:124–125.}}

{{quote|Solo hay un punto en el que me he encontrado con una dificultad. Usted afirma (pág. 17 [pág. 23 arriba]) que una función también puede actuar como el elemento indeterminado. Esto lo creía anteriormente, pero ahora este punto de vista me parece dudoso debido a la siguiente contradicción. Dejar '''w''' ser el predicado: ser un predicado que no puede ser predicado de sí mismo. Poder '''w''' ser predicado de sí mismo? De cada respuesta se sigue su opuesto. Por lo tanto debemos concluir que '''w''' no es un predicado. Asimismo, no hay clase (como totalidad) de aquellas clases que, tomadas cada una como una totalidad, no se pertenecen a sí mismas. De esto concluyo que bajo ciertas circunstancias una colección definible [Menge] no forma una totalidad.}}

Russell pasaría a cubrirlo extensamente en su 1903 ''[[The Principles of Mathematics]]'', donde repitió su primer encuentro con la paradoja:<ref>Russell 1903:101</ref>

{{quote|Antes de despedirnos de cuestiones fundamentales, es necesario examinar más en detalle la singular contradicción, ya mencionada, respecto de los predicados no predicables por sí mismos. ... Puedo mencionar que fui conducido a él en el esfuerzo por reconciliar la prueba de Cantor....}}

Russell le escribió a Frege sobre la paradoja justo cuando Frege estaba preparando el segundo volumen de su ''Grundgesetze der Arithmetik''.<ref>cf comentario de van Heijenoort antes del ''Letter to Russell'' de Frege en van Heijenoort 1967:126.</ref> Frege respondió a Russell muy rápidamente; apareció su carta del 22 de junio de 1902, con el comentario de van Heijenoort en Heijenoort 1967:126–127. Frege luego escribió un apéndice admitiendo la paradoja,<ref>comentario de van Heijenoort, cf van Heijenoort 1967:126; Frege comienza su análisis con este comentario excepcionalmente honesto: «Difícilmente algo más desafortunado puede sucederle a un escritor científico que uno de los cimientos de su edificio se tambalea después de que el trabajo esté terminado. Esta fue la posición en la que me colocó una carta del Sr. Bertrand Russell, justo cuando la impresión de este volumen estaba a punto de terminar» (Apéndice de ''Grundgesetze der Arithmetik, vol. II'', en ''The Frege Reader'', pág.279, traducción en inglés por Michael Beaney</ref> y propuso una solución que Russell apoyaría en su ''Principles of Mathematics'',<ref>cf. el comentario de van Heijenoort, cf. van Heijenoort 1967:126. El texto agregado dice lo siguiente: «''Nota''. El segundo volumen de Gg., que apareció demasiado tarde para ser notado en el Apéndice, contiene una discusión interesante de la contradicción (págs. 253-265), lo que sugiere que la solución se encuentra negando que dos [[Función proposicional|funciones proposicionales]] son las que determinan clases iguales deben ser equivalentes. Como parece muy probable que esta sea la verdadera solución, se recomienda encarecidamente al lector que examine el argumento de Frege sobre este punto» (Russell 1903: 522); la abreviatura Gg. significa «Grundgezetze der Arithmetik» de Frege. Begriffsschriftlich abgeleitet. Vol. I. Jena, 1893. Vol. II. 1903.</ref> pero más tarde algunos lo consideraron insatisfactorio.<ref>Livio afirma que «si bien Frege hizo algunos intentos desesperados por remediar su sistema de axiomas, no tuvo éxito. La conclusión pareció ser desastrosa....» Livio 2009:188. Pero van Heijenoort en su comentario anterior al de Frege (1902) ''Letter to Russell'' describe la «salida» propuesta por Frege con cierto detalle: el asunto tiene que ver con la 'transformación de la generalización de una igualdad en una igualdad de cursos de valores. Para Frege una función es algo incompleta, 'insaturada'»; esto parece contradecir la noción contemporánea de una «función en extensión»; véase la redacción de Frege en la página 128: «Dicho sea de paso, me parece que la expresión "un predicado se predica de sí mismo" no es exacta. ...Por lo tanto, preferiría decir que "un concepto se predica de su propia extensión" [etc]». van Heijenoort cita a Quine: «Para un estudio tardío y exhaustivo de la "salida" de Frege, véase ''Quine 1955»'': «A la salida de Frege», ''Mind 64'', 145–159; reimpreso en ''Quine 1955b'': ''Appendix. Completeness of quantification theory. Loewenheim's theorem'', enclosed as a pamphlet with part of the third printing (1955) of ''Quine 1950'' and incorporated in the revised edition (1959), 253—260 (cf REFERENCES in van Heijenoort 1967:649).</ref>  Por su parte, Russell tenía su obra en la imprenta y añadió un apéndice sobre la [[teoría de tipos|doctrina de tipos]].<ref>Russell le menciona este hecho a Frege, cf. el comentario de van Heijenoort antes del comentario de Frege. (1902) ''Letter to Russell'' en van Heijenoort 1967:126</ref>

[[Ernst Zermelo]] en su (1908) ''Una nueva prueba de la posibilidad de un buen ordenamiento'' (publicado al mismo tiempo que publicó «la primera teoría axiomática de conjuntos»)<ref>comentario de van Heijenoort antes de Zermelo (1908a) ''Investigaciones en los fundamentos de la teoría de conjuntos'' I en van Heijenoort 1967:199</ref> reclamó el descubrimiento previo de la [[antinomia]] en la ingenua teoría de conjuntos de Cantor. Afirma: «Y, sin embargo, incluso la forma elemental que Russell<sup>9</sup> dio a la teoría de conjuntos antinomias podría haberlos persuadido [J. König, Jourdain, F. Bernstein] que la solución de estas dificultades no debe buscarse en la renuncia al buen orden sino solo en una restricción adecuada de la noción de conjunto».<ref>van Heijenoort 1967: 190–191. En la sección anterior, se opone enérgicamente a la noción de [[impredicatividad]] tal como la define Poincaré (y pronto también será adoptada por Russell, en su 1908 ''Lógica matemática basada en la teoría de los tipos'' cf van Heijenoort 1967:150–182).</ref> La nota al pie 9 es donde hace su afirmación:

{{quote|<sup>9</sup>''1903'', pp. 366–368. Sin embargo, yo mismo había descubierto esta antinomia, independientemente de Russell, y la había comunicado antes de 1903 al profesor Hilbert, entre otros''.<ref>Ernst Zermelo (1908) ''Una nueva prueba de la posibilidad de un buen ordenamiento'' en van Heijenoort 1967:183–198. Livio 2009:191 informa que Zermelo "descubrió la paradoja de Russell de forma independiente ya en 1900"; Livio a su vez cita a Ewald 1996 y van Heijenoort 1967 (cf Livio 2009:268).</ref>}}

Frege envió una copia de su ''Grundgesetze der Arithmetik'' a Hilbert; como se señaló anteriormente, el último volumen de Frege menciona la paradoja que Russell le había comunicado a Frege. Después de recibir el último volumen de Frege, el 7 de noviembre de 1903, Hilbert le escribió una carta a Frege en la que decía, refiriéndose a la paradoja de Russell: «Creo que el Dr. Zermelo la descubrió hace tres o cuatro años».  Un relato escrito del argumento real de Zermelo fue descubierto en el ''Nachlass'' de [[Edmund Husserl]].<ref>B. Rang and W. Thomas, «El descubrimiento de Zermelo de la "Paradoja de Russell"», ''Historia Mathematica'', v. 8 n. 1, 1981, pp. 15–22. {{doi|10.1016/0315-0860(81)90002-1}}</ref>

En 1923, [[Ludwig Wittgenstein]] propuso «deshacerse» de la paradoja de Russell de la siguiente manera:

<blockquote>
La razón por la que una función no puede ser su propio argumento es que el signo de una función ya contiene el prototipo de su argumento, y
no puede contenerse a sí mismo. Pues supongamos que la función F(fx) pudiera ser su propio argumento: en ese caso habría una proposición '''F(F(fx))''', en el que la función exterior '''F''' y la función interna '''F''' debe tener diferentes significados, ya que el interior tiene la forma '''O(fx)''' y el exterior tiene la forma '''Y(O(fx))'''. Sólo la letra 'F' es común a las dos funciones, pero la letra por sí sola no significa nada. Esto queda inmediatamente claro si en lugar de '''F(Fu)''' nosotros escribimos '''(do) : F(Ou) . Ou = Fu'''. Eso elimina la paradoja de Russell. (''[[Tractatus Logico-Philosophicus]]'', 3.333)
</blockquote>

Russell y [[Alfred North Whitehead]] escribieron sus «[[Principia Mathematica]]» en tres volúmenes con la esperanza de lograr lo que Frege no había podido hacer. Intentaron desterrar las paradojas de la [[teoría de conjuntos ingenua]] empleando una [[teoría de tipos]] que idearon para este propósito. Si bien lograron fundamentar la aritmética de alguna manera, no es del todo evidente que lo hicieran por medios puramente lógicos. Si bien «Principia Mathematica» evitó las paradojas conocidas y permitió la derivación de una gran cantidad de matemáticas, su sistema dio lugar a nuevos problemas.

En cualquier caso, [[Kurt Gödel]] en 1930–31 demostró que mientras que la lógica de gran parte de «Principia Mathematica», ahora conocida como [[lógica de primer orden]], es [[teorema de completitud de Gödel|completa]], [[Axiomas de Peano|la aritmética de Peano]] es necesariamente incompleta si es [[consistente]]. Esto se considera muy ampliamente, aunque no universalmente, como que ha demostrado que el programa logicista de Frege es imposible de completar.

En 2001, se celebró en Múnich una Conferencia Internacional del Centenario que celebraba los primeros cien años de la paradoja de Russell y se publicaron sus actas.<ref name="auto"/>

== Referencias ==
{{listaref}}
==Fuentes==
{{refbegin}}
*{{citation|last=Potter|first=Michael|date=2004-01-15|title=Set Theory and its Philosophy|publisher=[[Clarendon Press]] ([[Oxford University Press]])|isbn=978-0-19-926973-0}}
*{{citation|last=van Heijenoort|first=Jean|author-link=Jean van Heijenoort|date=1967|title=From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931, (third printing 1976)|publisher=[[Harvard University Press]]|publication-place=Cambridge, Massachusetts|isbn=0-674-32449-8}}
*{{citation|last=Livio|first=Mario|author-link=Mario Livio|date=2009-01-06|title=Is God a Mathematician?|publisher=[[Simon & Schuster]]|publication-place=New York|isbn=978-0-7432-9405-8
}}
{{refend}}

== Véase también ==
* [[Teoría de conjuntos]]
* [[Clase (teoría de conjuntos)|Clase]]
* [[Principia Mathematica]]

== Enlaces externos ==
* [http://www.epsilones.com/paginas/historias/historias-006-frege-russell.html Epsilones - Frege y la paradoja de Russell]
* [https://www.academia.edu/1771940/Los_conjuntos López Mateos, Manuel. Los conjuntos.] En Academia.edu.

{{Control de autoridades}}
[[Categoría:Teoría de conjuntos]]
[[Categoría:Paradojas matemáticas|Russell]]
[[Categoría:Bertrand Russell]]
[[Categoría:Paradojas epónimas|Russell]]
[[Categoría:Paradojas en la teoría de conjuntos]]
[[Categoría:Autorreferencia]]