crustfan comments on The Lifespan Dilemma - Less Wrong

39 Post author: Eliezer_Yudkowsky 10 September 2009 06:45PM

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

Comments (214)

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

Comment author: [deleted] 10 September 2009 11:02:34PM 0 points [-]

If you think [0,1] has fewer elements than [0,10], then how come each number x in [0,10] can find a unique partner x/10 in [0,1]?

It might seem unusual that the set [0,10] can be partnered with a proper subset of itself. But in fact, this property is sufficient to define the concept of an "infinite set" in standard axiomatic set theory.