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