A principios del siglo XX, el filósofo y matemático Bertrand Russell lanzó un problema al mundo que parecía un simple juego de palabras, pero que en realidad escondía una falla catastrófica en las bases de la matemática moderna.
Se le conoce como “La Paradoja del Barbero” y plantea la siguiente situación:
En un lejano pueblo hay un único barbero. En este lugar existe una ley absoluta e inquebrantable: el barbero solo afeita a los hombres que NO se afeitan a sí mismos.
El problema surge cuando nos hacemos la pregunta definitiva: ¿El barbero se afeita a sí mismo?
- – Si el barbero se afeita a sí mismo: Rompe la ley, porque la regla dice que él solo puede afeitar a los que no se afeitan a sí mismos. Por ende, no debería afeitarse.
- – Si el barbero NO se afeita a sí mismo: Entra inmediatamente en el grupo de hombres que no se afeitan a sí mismos. Y como la ley dice que el barbero afeita a ese grupo, entonces está obligado a afeitarse.
Es un bucle infinito. Si lo hace, no puede hacerlo; y si no lo hace, tiene que hacerlo. Tu cerebro acaba de colapsar.
¿Cuál es la verdadera respuesta al problema?
Durante años, la gente ha intentado buscarle trucos a la historia: “que el barbero era una mujer”, “que el barbero era calvo y no tenía barba”, o “que venía un barbero de otro pueblo”. Pero en la lógica pura, esas respuestas son trampas.
La verdadera respuesta científica y matemática a la paradoja es tan simple como demoledora: El barbero no existe. Es una imposibilidad lógica.
Russell inventó esta historia para demostrar que la “Teoría de Conjuntos” que usaban los matemáticos de su época tenía un error grave. Demostró que puedes escribir una regla que suena perfectamente lógica en el papel, pero que al intentar aplicarla a la realidad, se destruye a sí misma.
La paradoja se resuelve aceptando que la condición que define al barbero es contradictoria, por lo tanto, la existencia de un personaje que cumpla esa ley es matemáticamente imposible.
Gracias a este dolor de cabeza, los científicos tuvieron que reescribir las reglas de la matemática moderna para evitar que estos “agujeros negros de la lógica” volvieran a ocurrir.