> On 18 Jun., 13:09, "Peter Webb"> > > 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.> > Regards, WM