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.
--