Date: Feb 5, 2013 4:56 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: WMytheology § 203

On 4 Feb., 22:30, Virgil <vir...@ligriv.com> wrote:

> > Of course, every FIS is in a line. And every FIS contains all
> > preceding FIS.
> > This list
> > 0.1
> > 0.11
> > 0.111
> > ...
> > contains every FIS of 0.111... as well in the (unchanged) diagonal as
> > in a line. Obviously the diagonal cannot have more 1' than every line.

>
> Any 'diagonal' for such a list necessarily contains more 1's that any
> line, since for every line of length n it must contain as many positions
> as the necessarily following line of length n + 1.


Up to every line the diagonal contains as many 1's as the line (with
mathematical precision). And beyond every line there is nothing - but
matheology and clairvoyance.

Regards, WM