Comment by perl4ever | Hacker News Reader

Comment by perl4ever | Hacker News Reader

Parent Full thread

Until recently I never questioned the idea that, say, the positive integers and the odd positive integers are equivalent because they can be paired, but this cloning thing seems like something that falls out of that. And it seems like that view of infinity isn't actually necessary if Cantor style cardinality is not the last word.

In the paragraph on nonstandard analysis in the Wikipedia page on infinity, it says:

"The infinities in this sense are part of a hyperreal field; there is no equivalence between them as with the Cantorian transfinites. For example, if H is an infinite number in this sense, then H + H = 2H and H + 1 are distinct infinite numbers"

https://en.wikipedia.org/wiki/Infinity

I can't say anything precise or mathematical, but after I read the above, I have an "obvious in hindsight" feeling. If H=inf is different from H + 1, how much different is it? 1/inf or an infinitesimal amount! And an infinitesimal is not nothing.

The quanta article says "You can add or subtract any finite number to infinity and the result is still the same infinity you started with" but this seems like just a dogma for non mathematicians?

> Until recently I never questioned the idea that, say, the positive integers and the odd positive integers are equivalent because they can be paired, but this cloning thing seems like something that falls out of that.

They really aren’t connected. The first statement (the positive integers can be partitioned into two sets, each of which has the same size as the original set) follows from the usual axioms of set theory (ZF), while the Banach–Tarski paradox cannot be proven to work without the Axiom of Choice or a similar axiom.

Isn't that just because Hilbert's Hotel is a property of the natural numbers (well ordered) while Banach-Tarski is a property of the reals? (not well ordered without AoC) We can split the natural numbers into odd and even groups by starting with 1 and iterating on the odds, and starting with 2 and iterating on the evens. But because the reals are not well ordered, the step in Banach-Tarski where we pick an arbitrary point that hasn't already been grouped into a set is impossible.

The natural numbers (and therefore Hilbert's Hotel) provide a natural way to say "whatever, just pick one" but we need to invoke the well-ordering theorem (which is equivalent to the Axiom of Choice) make the same "whatever, just pick one" statement about the reals. (and therefore Banach-Tarski)

Reply on news.ycombinator.com