Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Russell's paradox

  1. Feb 19, 2009 #1
    I understand how the argument goes- let X be the set of all sets which don't contain themselves.
    If X contains itself, then X is not in X
    If X doesnt contain itself, then X is X


    the part i dont understand is, What on earth does it mean for a set to contain itself?

    garbage in, garbage out?
     
  2. jcsd
  3. Feb 19, 2009 #2
    It means that the set is an element of itself. For example, an expense list might be viewed as a set of items (the items listed on it). If the expense list itself is listed as an item on the expense list, then that set contains itself.

    The resolution is to add a type system which prevents sets from containing themselves, even indirectly.
     
  4. Feb 20, 2009 #3
    well the example seems kind of frivolous.
    Also, I'm not sure if its quite right. The word "list" has the dual meaning of a set, and a piece of paper which is an expense


    Are there any examples involving mathematical objects?
     
  5. Feb 20, 2009 #4

    Hurkyl

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    [tex]X \in X[/tex].


    Sets containing themselves don't cause a problem. And even if you want to exclude them, you can just use the axiom of foundation, rather than trying to do something more elaborate.
     
  6. Feb 20, 2009 #5
    Could you give a concrete example where X is an element of X
     
  7. Feb 20, 2009 #6
    X = {X}

    No problem there.
     
  8. Feb 23, 2009 #7
    If you look at the ZF axioms, it's not too hard to see that there is no set that contains itself.

    Suppose X is a set, and consider the set {X}. Now (following Wikipedia, anyway), the axiom of regularity says: "Every non-empty set x contains a member y such that x and y are disjoint sets." Well, {X} is a nonempty set, and its only member is X. Thus, {X} and X are disjoint; since X is in {X}, X is not in X.
     
  9. Feb 23, 2009 #8

    CRGreathouse

    User Avatar
    Science Advisor
    Homework Helper

    The axiom of foundation (regularity) doesn't help avoid Russell's paradox. If the paradox can be constructed in a theory X, then it can be constructed in the theory X + foundation (and leads to contradiction, naturally).

    Russell's paradox doesn't occur in ZF because such paradoxical sets cannot be constructed in the first place -- the axiom of specification isn't powerful enough.
     
  10. Feb 23, 2009 #9
    Here's a more practical example.

    class LinkedNode
    {
    public LinkedNode next;
    public String data;
    ...
    }

    The class in Java defines a "set" which may contain elements, "objects". Saying object A is an instantiation of class B is basically to say that B = {X | X has the given properties} and A is in B.

    Here, LinkedNode contains itself. Even if you take a class definition to be a an ordered n-tuple of its properties rather than a set, you still have

    (next, data) = {next, {next, data}} or {{next, data}, data} (definition of ordered n-tuple, I think?)

    In the first example, next is in LinkedNode because it's the first element in the list... in the second, because it is in the first set, which is in the outside set.

    So, despite it all, you can certainly have things like X = {X} and Z = Z x Y...
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Russell's paradox
  1. The Paradox of Russel (Replies: 21)

  2. Russell's paradox (Replies: 6)

  3. Russel's paradox (Replies: 5)

Loading...