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.
