> or continous.  Don't the computable numbers form a continuum; hence even
> restricting the universe to one we can describe would still allow it to be
> continuous?
> Brent Meeker

No, the computable numbers do not form a continuum - there are not more
than countably many of them. Any real number computable in the limit
(such as Pi) has a finite nonhalting program; the set of all such programs
cannot have higher cardinality than the integers.

Juergen Schmidhuber


Reply via email to