Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

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


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

Topic: Matheology � 255
Replies: 3   Last Post: Apr 30, 2013 7:01 AM

Advanced Search

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

Posts: 6,972
Registered: 1/6/11
Re: Matheology � 255
Posted: Apr 30, 2013 5:17 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

In article
<27a601c1-152d-46ad-8867-9e79561ca593@r7g2000vbw.googlegroups.com>,
WM <mueckenh@rz.fh-augsburg.de> wrote:

> > Please in a clear in precise manner show that
> > (A)  No line contains all naturals.
> > Implies
> > (B)  exist j, k, m, n : m e s_j & ~(m e s_k) & ~(n e s_j) & n e s_k.

>
> There is at least one line, that is lacking at least one natural, ok?
> But if this were in another line containing all of the first one, the
> other line would contain all naturals, ok?


Not at all. "At least one" does not mean "no more then one" so one has
infinitely many different lines each of which is missing at least one
natural, and with each actually be missing infinitely many, and all but
finitely many, naturals. The collection of all FISONs (Finite Initial
Sets Of Natuals) form such a family of sets.


> > At least one natural must be missing in every line.  Indeed, there are
> > infinitely many of em missing from every line.

>
> Then there are not all in the lines.


Nope, that doesn't work either, because with infinitely many lines in
the form of FISONs, no natural is missing from more than finitely many
of those infinitely many lines.

So WM is again totally wrong on all counts.
--




Date Subject Author
4/30/13
Read Re: Matheology � 255
Virgil
4/30/13
Read Re: Matheology § 255
gus gassmann

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

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.