Thomas comments on But Somebody Would Have Noticed - Less Wrong

36 Post author: Alicorn 04 May 2010 06:56PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (250)

You are viewing a single comment's thread. Show more comments above.

Comment author: Thomas 05 May 2010 07:04:16PM *  0 points [-]

The original form of Russell's (Zermelo's in fact) paradox is not this. The original form is {x|x not member of x}.

That leads to both

  • x is a member of x

and

  • x is not a member of x

And that is the original form of the paradox.

Comment author: JoshuaZ 05 May 2010 07:17:31PM 0 points [-]

No. See for example This discussion. The form you give where it is described as a simple predicate recursion was not the original form of the paradox.