Date: Feb 7, 2013 2:39 AM
Author: Virgil
Subject: Re: WMYtheology � 222   Back to the roots

In article 
<bbdf841d-effe-48c8-b938-0825f9e82fea@fv9g2000vbb.googlegroups.com>,
WM <mueckenh@rz.fh-augsburg.de> wrote:

> Matheology § 222 Back to the roots
>
> 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.

Even if there is last a_n and a last a_nn, n, the d_m's can still go
on without end..
>
> 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.


While (d_1, d_2, ..., d_n) may be terminating,
d_1, d_2, ..., d_n, ... need *not* ever terminate.

That's the origin of WMYtheology.
--