La paradoja del barbero.

Este es un razonamiento que a pesar de ser basico es muy importante en teora de

conjuntos ya que nos muestra la dificultad a la que nos enfrentamos para decidir si una
propiedad es adecuada o no en el lenguaje matematico. La historia va as:
Se cuenta que en un lejano poblado de un antiguo emirato haba un barbero llamado
As-Samet, ducho en afeitar cabezas y barbas, maestro en escamondar sanguijuelas. Un
da el Emir, d
andose cuenta de la escasez de barberos en el emirato, dio ordenes de que
todos los barberos del emirato s
olo afeitaran a aquellas personas que no pudieran hacerlo
por s mismas (todas las personas en este pueblo tienen que ser afeitadas, ya sea por el
barbero o por ellas mismas). Un cierto da el barbero fue llamado a afeitar al Emir y le
conto a este sus congojas.
-En mi pueblo soy el u
nico barbero. Si me afeito, entonces puedo afeitarme por
m mismo y por lo tanto, no debera afeitarme el barbero de mi pueblo que soy yo! Pero
si no me afeito, lo debe hacer un barbero por m pero no hay all mas barbero que yo!
El Emir pens
o que tales razonamientos eran muy profundos, a tal grado que premio al
barbero con la mano de la m
as virtuosa de sus hijas, y el barbero vivio eternamente feliz.
Estudiemos el argumento anterior. Primero, como lo u
nico que nos interesa es quien
desarrolla la acci
on de afeitar definamos:
(x) :=el habitante x del pueblo no se afeita a s mismo
Recordemos que lo que dijo el Emir es que todos los habitantes deben afeitarse entonces si sucede (x), el habitante x debe ser afeitado por el barbero.
Ahora consideremos el caso del barbero, denotemos a este personaje con la letra b.
As nuestra pregunta es: el barbero cumple la propiedad?
Recordemos que trabajamos en una logica bivalente entonces debe suceder que (b)
(el barbero cumple la propiedad) o (b), y ademas debe cumplirse solo una de las dos
afirmaciones.
Comencemos con ver que sucede si suponemos (b), esto quiere decir que b no se afeita
a s mismo y entonces debe afeitarlo el barbero, pero b es el barbero as que se afeita a
s mismo y por tanto concluimos que (b) pero esto no puede ser.
Dada la conclusi
on anterior debera suceder que (b) pero esto nos dira que b se afeita a s mismo por lo que el barbero no debe afeitarlo y dado que b es el barbero entonces
no debe afeitarse a s mismo es decir (b), nuevamente tenemos una contradiccion.
El razonamiento anterior nos muestra que no es posible decidir si b cumple o no con
(x) pues al querer dar una respuesta a esto obtenemos que (b) debe ser cierta y falsa
al mismo tiempo, esto es la paradoja del barbero.
1