# Umm recursiveness?

Gold Member

## Main Question or Discussion Point

"Let the barber of Seville shave every man of Seville who does not shave himself.
Who shall shave the barber?"

So my book says that this is self-contradictory. but how?

From my reading of it, it's just that the barber of Seville shaves every man in Seville who doesn't shave themselves. Well the barber doesn't have to shave himself (or he could shave himself). So then someone else can shave the barber along with every man of Seville (and those who do not shave themselves can be shaved twice...)

Related Set Theory, Logic, Probability, Statistics News on Phys.org
"Let the barber of Seville shave every man of Seville who does not shave himself.
Who shall shave the barber?"

So my book says that this is self-contradictory. but how?

From my reading of it, it's just that the barber of Seville shaves every man in Seville who doesn't shave themselves. Well the barber doesn't have to shave himself (or he could shave himself). So then someone else can shave the barber along with every man of Seville (and those who do not shave themselves can be shaved twice...)
If the barber is shaving others then others is not "himself". He cannot shave himself because he shaves those who don't shave themselves. Since he must shave those that don't shave themselves he must shave himself.

Note that it says "the barber" not "a barber" as was often the case in days past. If someone else shaves the barber he didn't shave himself therefore it violated the rule that the barber shave those that don't shave themselves. The act of shaving himself is a violation of the rule that he shaves those that don't shave themselves.

The self-contradiction is only a problem when formulated under strict rule sets, which is what mathematics is.

HallsofIvy