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:
“The mind can weave itself warmly in the cocoon of its own thoughts, and dwell a hermit anywhere.”
—James Russell Lowell (1819–1891)
“A good aphorism is too hard for the teeth of time and is not eaten up by all the centuries, even though it serves as food for every age: hence it is the greatest paradox in literature, the imperishable in the midst of change, the nourishment which—like salt—is always prized, but which never loses its savor as salt does.”
—Friedrich Nietzsche (1844–1900)