Re: Attempts to Refute Cantor's Uncountability Proof?

Virgil wrote:

In article <lLOdnXo-sooidSjZnZ2dnUVZ_u2dnZ2d@xxxxxxxxxxxxx>,
Hatto von Aquitanien <abbot@xxxxxxxxxxxxxx> wrote:


Whether or not the notion of recursively subdividing a remainder is
essential to understanding Cantor's reasoning, it seem clear that there
is some notion of extrapolating, ad infinitum in two directions (I
intentionally avoided the term dimensions). The individual sequences
extend to the right, and the collection of sequences extends vertically.
It might even be said that he is attempting to form a bijection between
NxN and N.

That has already ben done in other contexts, like ennumerating the
rationals,

Indeed it has. I have been trying to figure out was the essential
difference is between the enumeration of the rational numbers and the
diagonal contradiction proof.

and was not needed in the context of Cantor's 2nd
uncountability proof.

I looked at that, but I have yet to fully grasp the concept.
--
Nil conscire sibi
.

Quantcast