In article <email@example.com>, WM <firstname.lastname@example.org> 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 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.