PhilGoetz 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)

Sort By: Best

Show:

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

Comment author: PhilGoetz 08 May 2010 05:10:16AM * 0 points [-]

At any rate, the empty set is not an element of itself according to any convention that I've ever seen.

You're right; I was mis-remembering. It can't be, or 1 := 0 u {0} wouldn't work.