In the foundations of mathematics, Russell's paradox (also known as Russell's antinomy), discovered by Bertrand Russell in 1901, showed that the naive set theory created by Georg Cantor leads to a contradiction. The same paradox had been discovered a year before by Ernst Zermelo but he did not publish the idea, which remained known only to Hilbert, Husserl and other members of the University of Göttingen.
According to naive set theory, any definable collection is a set. Let R be the set of all sets that are not members of themselves. If R qualifies as a member of itself, it would contradict its own definition as a set containing all sets that are not members of themselves. On the other hand, if such a set is not a member of itself, it would qualify as a member of itself by the same definition. This contradiction is Russell's paradox. Symbolically:
In 1908, two ways of avoiding the paradox were proposed, Russell's type theory and the Zermelo set theory, the first constructed axiomatic set theory. Zermelo's axioms went well beyond Frege's axioms of extensionality and unlimited set abstraction, and evolved into the now-canonical Zermelo–Fraenkel set theory (ZF).
Read more about Russell's Paradox: Informal Presentation, Formal Presentation, Set-theoretic Responses, History, Applied Versions, Related Paradoxes
Famous quotes containing the words russell and/or paradox:
“No man is born into the world, whose work
Is not born with him; there is always work,
And tools to work withal, for those who will:
And blessèd are the horny hands of toil!”
—James Russell Lowell (1819–1891)
“The paradox of education is precisely this—that as one begins to become conscious one begins to examine the society in which he is being educated.”
—James Baldwin (1924–1987)