Date: Mar 17, 2013 7:59 PM
Author: Virgil
Subject: Re: Matheology � 224
In article

<ba28932b-ac48-4567-8e5c-a7e9262f8e32@z4g2000vbz.googlegroups.com>,

WM <mueckenh@rz.fh-augsburg.de> wrote:

> On 17 Mrz., 21:48, Virgil <vir...@ligriv.com> wrote:

>

> > Mathematical truth is independent of time.

>

> In fact??? Amazing! After Cantor's list has been diagonalized, it is

> possible to include all diagonals into the list. But someone has

> forbidden to change the list after time t_0 when the diagonalizers

> start to do their work.

Why does WM claim that after what WM calls "Cantor's list" has been

diagonalized, he can include all anti-diagonals, when it is always

possible to find others that have been so far overlooked?

After each anti-dagonal of any list is found, prefix it to that list and

then the anti-diagonal to the new list is not in the new list or the old

sub-list.

This procedure always finds new lines which are non-members of any of

the prior lists of lines including all lines of any original list and

all previously found anti-diagonals of those prior lists.

WM is just not paying attention!

######################################################################

WM has frequently claimed that HIS mapping from the set of all infinite

binary sequences to the set of paths of a CIBT is a linear mapping.

In order to show that such a mapping is a linear mapping, WM would first

have to show that the set of all binary sequences is a linear space

(which he has not done and apparently cannot do) and that the set of

paths of a CIBT is also a vector space (which he also has not done and

apparently cannot do) and then show that his mapping, say f, satisfies

the linearity requirement that f(ax + by) = af(x) + bf(y),

where a and b are arbitrary members of the field of scalars and x and y

and f(x) and f(y) are arbitrary members of suitable linear spaces.

While this is possible, and fairly trivial for a competent mathematician

to do, WM has not yet been able to do it.

But frequently claims already to have done it.

--