Originally Posted by

**SLD**
The set of real numbers cannot be put into one-to-one correspondence with the integers, yet there is a one-to-one correspondence between the points of a line and the points of R^n. Cantor proved it but stated, “I see it but I do not believe it.”

In a nutshell, what’s the proof?

Of which part? That there's a one-to-one correspondence between the points of a line and the points of R^n is pretty easy to see. A = 0.1234567891011... <=> X,Y,Z = (0.14711..., 0.2580..., 0.3691...). That's more or less how the proof goes for n=3; it works the same way for other n except you take every nth digit instead of every 3rd digit. There are some gotchas you have to work around. You have to turn all the terminating reals like 0.25 into the equivalent nonterminating 0.249999...; and the way I showed it only works for positive numbers, so you have to finesse it a little to get from one sign-bit to n sign-bits, but that's not hard.

That the set of real numbers cannot be put into one-to-one correspondence with the integers is trickier; that's where Cantor proved he was a genius. I'll leave that half as an exercise for the reader.