Date: Feb 19, 2013 5:35 PM
Subject: Re: Matheology � 222 Back to the roots
WM <firstname.lastname@example.org> wrote:
> On 19 Feb., 03:19, Virgil <vir...@ligriv.com> wrote:
> > so that there is no n for which FIS_n(L) = FIS_n(d).
> I do not argue with FISs of the list, but with FISs of lines.
> > And with an antidiagonal, things are even worse for WM.
> Not in the special list
In any list, L, in which FIS_n(L) is not a subset of FIS_(n+1)(L),
there need not be a :diagonal: but there is still an anti-diagonal.
For your special list above, A = 1.00000... works quite nicely as an
antidiagonal, since no FIS of A is a line of your special list.
> And it is well known that one counter example kills even the best
Then my counterexamples kill all your proofs.