Re: Cantor Confusion

In article <1161159675.931671.301310@xxxxxxxxxxxxxxxxxxxxxxxxxxxx> mueckenh@xxxxxxxxxxxxxxxxx writes:
*** T. Winter schrieb:

In article <1161008572.469763.93200@xxxxxxxxxxxxxxxxxxxxxxxxxxxx> mueckenh@xxxxxxxxxxxxxxxxx writes:
> jpalecek@xxxxxx schrieb:
...
> > The fact that you cannot compute a list of all computable reals does
> > not mean that there is no list of all computable numbers. There is one,
> > and it is not computable.
> >
> The fact that you cannot compute a list of all reals does not mean that
> there is no list of all reals. There is one, but it is not possible to
> publish this list.

You are seriously wrong.

You should have noted that this was an ironic reply. But in order to
avoid machines and undecidabilities:
The set of constructible numbers is countable. Any diagonal number is a
constructed and hence constructible number.

You still do not understand. Any constructable list of constructable
numbers gives a constructable diagonal number, so any *constructable*
list of constructable is necessarily incomplete.
--
*** t. winter, cwi, kruislaan 413, 1098 sj amsterdam, nederland, +31205924131
home: bovenover 215, 1025 jn amsterdam, nederland; http://www.cwi.nl/~***/
.

Quantcast