Date: Feb 8, 2013 12:17 PM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 222 Back to the roots
On 8 Feb., 16:24, William Hughes <wpihug...@gmail.com> wrote:

> More WM logic

>

> From

>

> i. For every natural number n, d

> is not in the nth line of L

You should distinguish between your d and my d and between your list

and my list. But you are clever enough to understand that such a

decision made with mathematical precision immediately would kill set

theory.

>

> ii. i. implies that there is no

> natural number m such that

> d is the mth line of L

Your d(actual) is nowhere. Of course it is then in no list.

Nevertheless it could be claimed to be in list(actual) because there

is no list actual. Its assumption, like every false assumption, allows

every conclusion.

My d(potential) is not in any line of the list because it is never

completed but every line is completed. Nevertheless my d(potential) is

in the list because the list is not completed.

My argument is this - and it is obvious: There is no part of

d(potential) that is surpassing every line ogf the list.

If you want to criticise this argument, you are invited to do so. But

most probably you will prefer to clown around. I will no longer answer

to any clownery but only to arguments with respect to these targets:

A) There is no part of d(potential) that is surpassing every line of

the list.

B) Try to apply logic without any semantic interpretation:

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.

Regards, WM