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