How Bertrand Russell discovered the Russell Paradox''

Bertrand Russell was working in what is now called naive set theory''. That is, he believed that any property could define a set. The various restrictions on set formation did not exist. They were the result of the Russell Paradox!

Bertrand Russell was reading Cantor's theorem stating that That is, for any set the cardinality of the set of all subsets of , is greater than the cardinality of . When the definition of cardinality is stripped away, Cantor was saying that there could be no one to one mapping which maps the set of all subsets of , , into a subset of .

How did Cantor prove his result? He used the traditional mathematical technique of assuming the opposite, and proving a contradiction. That is he assumed the existence of a one to one function which mapped the power set of into a subset of .

Cantor showed his contradiction using the following diagonalization argument: He defined the following set:
 (1)

Now clearly is a subset of so . So we can consider . The question is, is ? Looking at the definition of C, and the fact that is one to one, we see immediately that:

And this chortled Cantor is the contradiction that proves my Theorem.

Well, when Russell read this, he thought nonsense! Consider the set , everything. Clearly for all , and for every set , . is everything. is the biggest set, its cardinality is the largest. In particular, . And the identity map, , is a one to one map that maps into a subset of . This, thought Russell, contradicts Cantor's Theorem.

Well, thought Russell, let us look at Cantor's proof in this context. In (), putting , and , Russell got:

Noting , this is:

This is the famous set of all sets not members of themselves''. Just as clearly:

And the contradiction that proved Cantor's Theorem, now became a contradiction in set theory. Russell's brain now began to hurt!

Russell considered other related paradoxes such as This sentence is false'', as he worked to rescue his monumental work Principia Mathematica. He invented a type theory, which he believed solved the problem. However, he said that from that point on his mind had difficulties with extremely complex abstract problems, and his work began to center on Philosophy rather than Mathematics.

pelliott@BlackPatchPanel.com