190 likes | 485 Views
Russel‘s paradox. ( also known as Russel‘s antimony ). Bertrand Russel (1872-1970). British philosopher, logician, mathematician, historian and social critic Was awarded Nobel prize in literature Is known for challenging foundations of mathematics by discovering Russel’s paradox.
E N D
Russel‘s paradox (alsoknownasRussel‘santimony)
Bertrand Russel (1872-1970) • British philosopher, logician, mathematician, historian and social critic • Was awarded Nobel prize in literature • Is known for challenging foundations of mathematics by discovering Russel’s paradox
Showsthatnaive set theoryleads to a contradiction • According to thistheoryanydefinablecollectionis a set • Let R bethe set ofallsetsthat are notmembersofthemselves • Symbolically: let R = {x | x ∉ x }
If R isnot a memberofitself, thenitsdefinitiondictatesthatitmustcontainitself • Ifitcontainsitself, thenitcontradictsitsowndefinitionasthe set ofallsetsthat are notmembersofthemselves • Symbolicallyalltogether: let R = { x | x ∉ x }, then R ∈ R R ∉ R
Appliedversions • Fromthe list ofversionsthat are closer to real-lifesituations, thebarber paradox isthe most famous
Barber paradox • Supposethereis a townwith just onebarber, whois a male
In this town every man keeps himself clean-shaven, doing exactly one of these things: • 1.shaving himself • 2.going to the barber
Asking the question, “who shaves the barber ?” results in paradox • Both of the possibilities result in barber shaving himself, but this is not possible since he only shaves the men, who do not shave themselves
Thereis no way to solve this paradox, it can only be avoided • Most famous way to avoid this paradox is Zermelo-Fraenkel’s set theory • In this set theory sets are constructed just usingaxioms