Date: Mar 10, 2013 1:05 PM
Subject: Re: Matheology § 222 Back to the roots

On 10 Mrz., 17:40, William Hughes <> 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
by (d).

Regards, WM