Encyclopedia > Barber paradox

  Article Content

Barber paradox

The Barber paradox is a paradox with importance to mathematical logic and set theory. The paradox considers a town with a male barber who daily shaves every man who does not shave himself, and no one else. Such a town cannot exist:
  • If the barber does not shave himself, he must bide by the rule and shave himself.
  • If he does shave himself, according to the rule he will not shave himself.
Thus the rule results in an impossible situation.

This paradox is attributed to the British logician Bertrand Russell, who in 1901 constructed Russell's paradox to demonstrate the self-contradictory nature of Cantor's elementary set theory by formalizing the Barber paradox. The paradox also underlies the proof of Gödel's incompleteness theorem as well as Alan Turing's proof of the undecidability of the halting problem.



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
Rameses

... name means "Child of the Sun". This is a disambiguation page; that is, one that just points to other pages that might otherwise have the same name. If you ...

 
 
 
This page was created in 24.2 ms