Search All of the Math Forum:

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

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

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

 Messages: [ Previous | Next ]
 Virgil Posts: 8,833 Registered: 1/6/11
Re: Matheology � 255
Posted: Apr 24, 2013 5:17 PM

In article
WM <mueckenh@rz.fh-augsburg.de> wrote:

> 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 ?

>

Why should I bother to "answer" what I deny can happen but WM insists
must happen?
> >
> > > 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.

WM is the one who continually does 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.

The only way that WM's self-contradictory assumdption above provides
anything is because any such contradictory assumptions imply everything.

Peano did it better.

WM's formalism, being self-contradictory, allows one to produces
anything and everything, including his obvious falsehoods, but the
formalism of the Peano postulates, and similar forms of induction,
merely produce mathematical infinities without any of the the many
--

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