Hacker News Reader

There's one for each of 'em, to use an idiom. A bijection exists between the Z and Q. Both sets are exactly the same size. Cantor's argument is certainly quite clever, but "there are infinitely many more rational numbers than counting numbers, and yet there are exactly as many rational numbers as counting numbers" is nonsensical to me. Am I missing something?

View on HN

|Q-Z| is countably infinite, but |Q| = |Z|. There are countably infinite rational numbers that are not counting numbers, yet there are exactly as many rational numbers as counting numbers.

Posting in agreement with you, I think it is more intuitively satisfying to say something like "|X| is the smallest well-defined mathematical object that is >= the size of X. |Q| = |Z|".

It isn't intuitively satisfying to say that there are "as many" rationals as integers because that is obviously not true; there are multiple rationals between any two integers. An argument to ignore that pattern as we scale up to infinity is rather flimsy.

But if we talk about infinite sets we are forced to admit the existence of well defined things that are plainly larger than |Z|, and no such well defined objects that exist between |Z| and |Q|.

Reply on news.ycombinator.com