The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » sci.math.* » sci.math

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Matheology § 259
Replies: 9   Last Post: May 2, 2013 4:46 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Scott Berg

Posts: 2,111
Registered: 12/12/04
Re: Matheology � 259
Posted: May 1, 2013 9:06 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

"Virgil" <> wrote in message
> In article
> <>,
> WM <> 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 -

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.