Date: Mar 10, 2013 1:05 PM
Subject: Re: Matheology § 222 Back to the roots
On 10 Mrz., 17:40, William Hughes <wpihug...@gmail.com> wrote:
> There is no findable line that is
> coFIS to (d)
(d) is *not* an actual infinite sequence but only a description in
> g is a findable line.
> Do you agree with the statement
> g is not coFIS to (d)
Of course. The number m = max is not findable or fixable.
g is not identical or coFIS with l_max.
Anything you can fix or find of d is not identical or coFIS with the
maximum FIS of d = d_1, ..., d_max. This includes everything described