explicitClick to confirm you are 18+

#MathsInMinutes Day 23: The barber paradox

Blizzard AngelMay 21, 2018, 9:16:29 PM
thumb_up8thumb_downmore_vert

Before we start with today´s entry I would like to heartfeltly thank @AnimeKitten , who has very generously donated 0.9 Tokens to support this ongoing series. These 0.9 Tokens will be used to boost the post in hopes of reaching a wider audience. 

------------------------------------------------------------------------------------------------------------------------

A paradox is a seemingly true statement that contradicts itself, or leads to a situation that seems to defy logic. In 1901, British mathematician Bertrand Russel used the barber paradox to expose the flaws in elementary set theory:

All the men in a village either shave themselves or are shaved by a barber (himself a man from the village). The barber claims to shave only the male villagers who do not shave themselves. So who shaves the barber?

If the barber shaves himself, then his claim that he shaves only those who do not shave themselves is false. If the barber does not shave himself then his claim is that he does shave himself! Whichever way you phrase it there is a contradiction.


Restated in terms of sets, the paradox asks us to consider a set containing all those subsets which do not have themselves as an element. Is this set an element of itself? The immediate solution to such paradoxes was to restrict set theory with a series of rules or axioms, creating a hierarchy of sets that are allowed to be elements only of sets above them in the hierarchy. Although no the most elegant of solutions, axiomatic set theories have become widely accepted

------------------------------------------------------------------------------------------------------------------------

I hope you enjoyed!

If you liked this content consider buying the original book:

http://a.co/72sJoVV

If you want to be notified about a new blog entry in this series, please leave a short message below along the lines of "i am interested" so I can write your handle down and @ you in the next entry.