|
RussellsParadox
An explanation of Russell's Paradox.
Russell's ParadoxRussell's pardox, described in 1901 by Bertrand Russell, can be summarized as: "Let M be the set of all sets that do not contain themselves as members." This set is well-defined according to the classical set-theory, but it contains a mathematical contradiction: M can neither be included nor excluded from this set. This observation was the impetus for the development of type theory. |
Sign in to add a comment
