In article <firstname.lastname@example.org>, WM <email@example.com> wrote:
> On 16 Mrz., 00:39, Virgil <vir...@ligriv.com> wrote: > > > > Let's first prove that already two cannot be necessary by the fact > > > that two always can be replaced by one of them without changing the > > > contents. Then it is clear that two or more cannot be necessary and > > > from this immediately follows that they also cannot be sufficient. > > > > Enough more than two line can be necessary and can be sufficient, > > Do you agree that every non-empty set of line-numbers contains a least > element?
At least outside Wolkenmuekenheim that is the case. > > > > > Wrong. Why do you resist to apply logic? > > > > A positive finite number of lines in necessary > > A positive finite number of lines contains a least element.
True, but irrelevant to the issue of a set of lines covering d. > > > We have the choice between 1 line (in potential > > > > > infinity) and 0 lines (in actual infinity). > > > > Is that a Royal "We"? > > No it includes evlerybody, many don't know though.
So that WM claims that in WMytheology, 1 line covers d but everywhere else 0 lines cover d?
Does that line that WM claims covers d in WMytheology have a successor line in WMytheology, WM?
WM has frequently claimed that a 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 must first show that the set of all binary sequences is a vector space and that the set of paths of a CIBT is also a vector space, which he has not done and apparently cannot do, and then show that his mapping satisfies the linearity requirement that f(ax + by) = af(x) + bf(y), where a and b are arbitrary members of a field of scalars and x and y are f(x) and f(y) are vectors in suitable linear spaces.
By the way, WM, what are a, b, ax, by and ax+by when x and y are binary sequences?
If a = 1/3 and x is binary sequence, what is ax ? and if f(x) is a path in a CIBT, what is af(x)?
Until these and a few other issues are settled, WM will still have failed to justify his claim of a LINEAR mapping from the set (but not yet proved to be vector space) of binary sequences to the set (but not yet proved to be vector space) of paths ln a CIBT.
Just another of WM's many wild claims of what goes on in his WMytheology that he cannot back up. --