Sniffnoy comments on Contrived infinite-torture scenarios: July 2010 - Less Wrong

24 Post author: PlaidX 23 July 2010 11:54PM

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

Tags: torture

Comments (188)

Sort By: Best

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

Comment author: Sniffnoy 03 August 2010 05:00:37AM 0 points [-]

As it turns out, proper classes are actually all the same size, larger than any set.

Comment author: Larks 04 August 2010 12:12:35PM 0 points [-]

Thanks for the correction :)

Comment author: Douglas_Knight 03 August 2010 05:17:31AM 0 points [-]

No. For example, the power set of a proper class is another proper class that is bigger.

Comment author: Sniffnoy 03 August 2010 05:19:49AM 0 points [-]

No, the power set (power class?) of a proper class doesn't exist. Well, assuming we're talking about NBG set theory - what did you have in mind?

Comment author: Douglas_Knight 03 August 2010 05:43:55AM 0 points [-]

oops...I was confusing NBG with MK.

Comment author: Sniffnoy 03 August 2010 06:57:05AM 0 points [-]

M, I don't know anything about MK.