Date: Mar 9, 2013 4:30 PM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 222 Back to the roots

On 9 Mrz., 21:42, Virgil <vir...@ligriv.com> wrote:

> > Consider a Cantor-list with entries a_n and anti-diagonal d:
>
> > For every n: (a_n1, a_n2, ..., a_nn) =/= (d_1, d_2, ..., d_n).
> > For every n: (a_n1, a_n2, ..., a_nn) is terminating.
> > For every n: (d_1, d_2, ..., d_n) is terminating.

>
> > For all n: (a_n1, a_n2, ..., a_nn) =/= (d_1, d_2, ..., d_n).
> > For all n: (a_n1, a_n2, ..., a_nn) is terminating.
> > For all n: (d_1, d_2, ..., d_n) is *not* terminating.

>
> That last line could  only be true in weird places like
> Wolkenmuekenheim, since outside Wolkenmuekenheim it can only read
> For all n: the finite sequence (d_1, d_2, ..., d_n) terminates with d_n.


Correct. But matheologians build d from the infinite set of all FISs
and forget that every natural number closes a finite initial sequence
of natural numbers.

Regards, WM