Virgil
Posts:
9,012
Registered:
1/6/11


Re: Matheology � 259
Posted:
May 2, 2013 4:46 PM


In article <klu8g2$gpt$1@news.albasani.net>, "AMiews" <invalid@invalid.com> wrote:
> "Virgil" <virgil@ligriv.com> wrote in message > news:virgilCC3CDD.13433101052013@BIGNEWS.USENETMONSTER.COM... > > In article > > <bc374a9b7b134a6687f0baa0d5994730@x14g2000vba.googlegroups.com>, > > WM <mueckenh@rz.fhaugsburg.de> wrote: > > > >> Matheology § 259 > >> > >> A discussion in sci.logic yielded the following remarkable results > >> with respect to a list having infinitely many lines > >> {1} > >> {1} U {2} > >> {1} U {2} U {3} > >> ... > >> Each line contains as many unioned sets as its line number indicates > >> but does not contain a line N, since each line has a finite last > >> number n. > >> > >> On the other hand, there are infinitely many lines and, as each line > >> adds one number, there are infinitely many numbers in the list. Since, > >> by construction, every finite initial segment s_n = {1, 2, 3, ..., n} > >> is in one single line, all finite initial segments are in one single > >> line. > > > > While each FISON fills in one single line, that does not put any two > > FISONs on the same line, and certainly does not, at least outside > > Wolkenmuekenheim, put all lines in any one line. > > > > > > > >> But N is not more than all its finite initial segments. > > > > Yes it is, as it is not merely a list of all its FISONs but the union of > > all of them, which is not the same thing, except possibly in the wilds > > of Wolkenmuekenheim, . > >> > >> Otherwise there must exist at least two finite initial segments such > >> that > >> exist j, k, m, n : m e s_j & ~(m e s_k) & ~(n e s_j) & n e s_k. > > > > Certainly not outside his Wolkenmuekenheim. While WM keeps claiming itt, > > he has yet to proffer any evidence for it, much less any proof of it. > > > > Thus if it is to hold at all, it can only hold where WM's word is law > > and his claims do not need proofs: inside Wolkenmuekenheim, > > so Wolkenmuekenheim is a Set, > inside exists a collection of subsets of ideas > outside the Wolkenmuekenheim Set, the rest of the world > > if no proof exists, then spoof exists 
What WM presents as if they were proofs are certainly much more like spoofs. 

