On 18 Jun., 05:22, "Peter Webb" <webbfam...@DIESPAMDIEoptusnet.com.au> wrote: > > Since by definition, "listability" = "countability", Cantor's proof of > > unlistability proves uncountability. > > Really? Where did you get that from?
From Cantor. > > The computable Reals cannot be listed. > > Therefore according to you they are uncountable.
Also according to Cantor. He said (in a letter to Hilbert) that uncompuatble numbers are nonsense (he actually said infinite definitions are nonsense, but that is the same) and of course he is right.
1906, 8. Aug. Cantor to Hilbert Lieber Freund. ... ?Unendliche Definitionen" (die nicht in endlicher Zeit verlaufen) sind Undinge.
> > But they aren't. > > Maybe your definition needs a little work?
No. There is no uncountability. That needs to be understood. Uncomputable numbers are not numbers, because nobody knows what they are.