Date: Feb 7, 2013 1:45 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Matheology § 222 Back to the roots
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.

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's the origin of matheology.

Regards, WM