Russell's Paradox

(redirected from Russell set)
Also found in: Dictionary.

Russell's paradox

[′rəs·əlz ′par·ə‚däks]
The paradox concerning the concept of all sets which are not members of themselves which forces distinctions in set theory between sets and classes.

Russell's Paradox

A logical contradiction in set theory discovered by Bertrand Russell. If R is the set of all sets which don't contain themselves, does R contain itself? If it does then it doesn't and vice versa.

The paradox stems from the acceptance of the following axiom: If P(x) is a property then

x : P

is a set. This is the Axiom of Comprehension (actually an axiom schema). By applying it in the case where P is the property "x is not an element of x", we generate the paradox, i.e. something clearly false. Thus any theory built on this axiom must be inconsistent.

In lambda-calculus Russell's Paradox can be formulated by representing each set by its characteristic function - the property which is true for members and false for non-members. The set R becomes a function r which is the negation of its argument applied to itself:

r = \ x . not (x x)

If we now apply r to itself,

r r = (\ x . not (x x)) (\ x . not (x x)) = not ((\ x . not (x x))(\ x . not (x x))) = not (r r)

So if (r r) is true then it is false and vice versa.

An alternative formulation is: "if the barber of Seville is a man who shaves all men in Seville who don't shave themselves, and only those men, who shaves the barber?" This can be taken simply as a proof that no such barber can exist whereas seemingly obvious axioms of set theory suggest the existence of the paradoxical set R.

Zermelo Fr?nkel set theory is one "solution" to this paradox. Another, type theory, restricts sets to contain only elements of a single type, (e.g. integers or sets of integers) and no type is allowed to refer to itself so no set can contain itself.

A message from Russell induced Frege to put a note in his life's work, just before it went to press, to the effect that he now knew it was inconsistent but he hoped it would be useful anyway.
References in periodicals archive ?
The company Russell set up sold window blinds and flooring, with offices in Mold, Rhyl, Chester and Ellesmere Port.
Russell set pressure-treated 4-by-4s in holes with 2 feet of concrete.
With Davy Russell set to ride Cerium, provided he makes the cut, trainer Tom Mullins said yesterday that Niall Madden will partner Made In Taipan in this year's contest.
Highly-rated midfielder Simon Russell set up both Harriers' goals in what proved a well-deserved win.
Russell slid home the 51st-minute equaliser after Gavin Hurren hit the woodwork and midfielder Russell set up Reid to thunder in a cracking angled shot on 71 minutes.
Craig Nelson equalised for Roofing and after they went 3-1 down former Sunderland striker Craig Russell set up an exciting finale converting an 84th minute penalty.
The visitors had gone in front when the impressive Alex Russell set up Tony Bedeau whose first-time shot was saved by Carl Muggleton only for Gosling to fire home the rebound.
A member of the Church of Ireland Moral Welfare Organisation advised Russell that she would be unable to adopt a child from a Protestant institution without the requisite home studies and background investigations, so Russell set her sights on a young Irish boy who resided with his parents in England.
In Russell's Paradox, the property [phi](x) is "x[not an element of]x", so that w is the Russell set R={y; y[not an element of]y}; and the function [delta] is simply the identity function, id.
12&13 REAL LIFE Louise Russell set up unique charity to match abandoned dogs with lonely older people.
The pressure paid off two minutes before half-time when a break from Russell set up the position for Penny to add a third try, leaping high into the air to collect Gidley's towering kick.
Russell set out to make a much more expansive film then ran out of time, or funds, or whatever.