🏷️ Origen

La descubrió el filósofo y lógico Bertrand Russell (ver `./FICHAS/russell.md`) en 1901, y fue una bomba: hizo tambalearse los cimientos de la matemática justo cuando se creían a punto de quedar perfectamente fundados. La versión popular («el barbero») es una ilustración pedagógica del propio problema.

🤔 Qué es (el planteamiento)

La versión amable, el barbero: en un pueblo, el barbero afeita a todos los que no se afeitan a sí mismos, y solo a esos. Pregunta: ¿el barbero se afeita a sí mismo? Si se afeita, entonces (por la regla) no debería, porque él solo afeita a los que no se afeitan solos. Pero si no se afeita, entonces (por la regla) debe afeitarse, porque afeita a todos los que no se afeitan solos. Haga lo que haga, contradice la regla. El barbero no puede existir.

La versión seria, en teoría de conjuntos: considera «el conjunto de todos los conjuntos que no se contienen a sí mismos«. ¿Ese conjunto se contiene a sí mismo? Si sí, entonces no debería (no cumple su propia condición). Si no, entonces debería (sí la cumple). Otra vez, contradicción pura. Y esto no era un chiste: ese tipo de conjuntos estaba en la base de la matemática que se estaba construyendo.

🌀 Por qué descoloca (la tensión)

Descoloca porque parte de una idea inocentísima —agrupar cosas según una propiedad («todos los X que cumplen tal cosa»)— y de ella brota una contradicción ineludible. Si algo tan básico como «formar el conjunto de las cosas que cumplen una condición» lleva a un absurdo, entonces los cimientos de la matemática tienen una grieta. De hecho, Russell se la comunicó por carta al lógico Frege justo cuando este iba a publicar su gran obra sobre los fundamentos de la aritmética, y la hundió.

🔑 Soluciones e intentos de respuesta

conjuntos de objetos en otro superior, y así. Una colección no puede referirse a sí misma porque estaría en su propio nivel, lo cual se prohíbe. Se corta la autorreferencia de raíz. ⚖️ Pega: es complicada y un poco artificial.

formar conjuntos (no vale «el conjunto de todo lo que cumpla X» sin más), de modo que el conjunto problemático no se puede construir. La matemática moderna se cimentó sobre estos axiomas. ⚖️ Funciona, al precio de renunciar a la idea ingenua de conjunto.

barbero es contradictoria, así que tal barbero no puede haber, igual que no puede haber un «círculo cuadrado».

• La teoría de tipos (Russell): el propio Russell propuso una jerarquía de «tipos»: los objetos están en un nivel, los
• La teoría axiomática de conjuntos (Zermelo-Fraenkel): la solución hoy estándar. Se restringen las reglas para
• El barbero, en cambio, simplemente no existe: en la versión popular, la «solución» es directa: la descripción del

🧠 Qué debate de fondo toca

Va a los fundamentos de las matemáticas y a la autorreferencia. La paradoja de Russell, junto con el mentiroso, empujó toda la revolución lógica del siglo XX: la teoría de tipos, la teoría axiomática de conjuntos y, en el fondo, los teoremas de Gödel. Mostró que la intuición sobre «colecciones» y «propiedades» necesita ser domesticada con reglas estrictas para no estallar. Es uno de esos momentos en que un descubrimiento abstracto refunda una disciplina entera.

🔗 Relacionadas / fuentes

• Misma familia: `paradoja-del-mentiroso.md`, `grelling-nelson.md`, `paradoja-de-curry.md`. Autor: `../FICHAS/russell.md`.
• Base: `_INDICE-paradojas.md`. Fuentes: SEP «Russell’s Paradox», «Bertrand Russell».