> The computable numbers are countable. > > And similarly Cantor's proof does not show that there are an uncountable > number of Reals.
What do you understand by "uncountable"?
> It proves exactly what Cantor claimed it did, which is that > you cannot list all Reals.
Cantor said that there are 2^aleph_0 reals and aleph_0 rationals. And he "proved" that 2^aleph_0 > aleph_0. And he said that there are an uncountable number of reals because countable means listable.
