|
There are some versions of this paradox which are closer to real-life situations and maybe easier to understand for non-logicians: For example, the story of the barber who shaves everyone who does not shave himself. When you start to think about whether he should shave himself or not you will get puzzled... |
|
There are some versions of this paradox which are closer to real-life situations and may be easier to understand for non-logicians: For example, the story of the barber who shaves everyone who does not shave himself. When you start to think about whether he should shave himself or not you will get puzzled... |
|
The Barber paradox, in addition to leading to a cleaner set theory, has been used twice with smashing success: Gödel proved his incompleteness theorem by formalizing the paradox, and Turing solved the Halting problem (and with that the Entscheidungsproblem) by using the same trick. |
![[Home]](wikipedia.png)