Date: Mar 10, 2013 1:05 PM
Author: mueckenh@rz.fh-augsburg.de
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
letters.

> 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