Clan x86

General Forums => Academic / School => Math and Other Problems => Topic started by: Sidoh on April 13, 2007, 01:45:38 PM

Title: Interesting Paradox
Post by: Sidoh on April 13, 2007, 01:45:38 PM
Gottlob Frege said (in essence) that any set either:
  a) Contains itself
  b) Doesn't contain itself

Makes sense, right?

Later on, Bertrand Russell pointed out this interesting paradox:

Let A be a set containing all sets that don't contain themself.  Now, as yourself, should A be a member of itself?  It doesn't contain itself, so it should, right?  Now, it does contain itself, so it can't be in there.  That's the paradox!

Incidentally, I guess after Russell pointed this out to Frege, he came close to committing suicide.  It goes to show: inventing axioms is serious business. :|
Title: Re: Interesting Paradox
Post by: iago on April 13, 2007, 07:53:51 PM
Heh, I remember learning about an internal contradiction in set theory one time. That may have been it :)
Title: Re: Interesting Paradox
Post by: Joe on April 15, 2007, 02:07:33 AM
Cool.. :)
Title: Re: Interesting Paradox
Post by: Ender on April 15, 2007, 05:01:29 PM
Haha, that's so awesome.