Search All of the Math Forum:

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

Topic: Matheology § 255
Replies: 69   Last Post: Apr 24, 2013 9:49 PM

 Messages: [ Previous | Next ]
 mueckenh@rz.fh-augsburg.de Posts: 18,076 Registered: 1/29/05
Re: Matheology § 255
Posted: Apr 24, 2013 4:16 PM

On 24 Apr., 19:47, Virgil <vir...@ligriv.com> wrote:
> In article

> > Nevertheless every line is the
> > union of itself and all its predecessors. Unioning again and again
> > will not increase the number of elements.

>
> I am surprized that WM is actually aware of this/
>

> > {a, b, c} = U {a, b, c} = UU {a, b, c}.
>
> FALSE!!!
>
> Unless a, b and c are sets, "U {a, b, c}" is nonsense,
> and "UU {a,b,c}" is nonsense anyway.

Everything is a set in ZF.
>
> > > Which line would than be that contains the largest member of the next
> > > line ?

>
> > The next line.
>
> How does your "last line" contains the last number of the line which
> follows it?
>
>
>

> > > Which line, s_i, would it be that can contain i+1 ?
>
> > Is i+1 in the column? Can it be there without being in a line?
>
> Avoiding the question is not a legitiamete answer to it.
>

Then refrain from doing so.

> > exist j, k, m, n : m e s_j & ~(m e s_k) & ~(n e s_j) & n e s_k.

>
> WM may need it in Wolkenmuekenheim, but no one else needs it at all, and
> it does not hold anywhere other then in Wolkenmuekenheim.
>

Try to give a better formalism producing:
1) Every natural is in at least one of the lines.
2) No line contains all naturals.
3) There are all lines.

Regards, WM

Date Subject Author
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 David C. Ullrich
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 fom
4/20/13 Bergholt Stuttley Johnson
4/20/13 Virgil
4/20/13 fom
4/20/13 fom
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 fom
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 fom
4/20/13 fom
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 Virgil
4/20/13 Virgil
4/20/13 fom
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 fom
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 fom
4/20/13 Virgil
4/20/13 Virgil
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 Virgil
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 Virgil
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 fom
4/20/13 Virgil
4/21/13 mueckenh@rz.fh-augsburg.de
4/21/13 Virgil
4/20/13 fom
4/20/13 Virgil
4/20/13 fom
4/20/13 fom
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 fom
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 fom
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 Virgil
4/20/13 fom
4/20/13 fom
4/21/13 mueckenh@rz.fh-augsburg.de
4/21/13 Virgil
4/20/13 Virgil
4/20/13 Virgil
4/20/13 fom
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 Virgil
4/21/13 mueckenh@rz.fh-augsburg.de
4/21/13 fom
4/21/13 Virgil
4/22/13 mueckenh@rz.fh-augsburg.de
4/22/13 Virgil
4/23/13 mueckenh@rz.fh-augsburg.de
4/23/13 Virgil
4/24/13 mueckenh@rz.fh-augsburg.de
4/24/13 Virgil
4/24/13 mueckenh@rz.fh-augsburg.de
4/24/13 Virgil
4/24/13 fom
4/23/13 gus gassmann
4/20/13 fom
4/20/13 fom
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 fom
4/20/13 Virgil
4/20/13 Virgil