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 21, 2013 4:02 PM

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

> On 21 Apr., 00:03, Virgil <vir...@ligriv.com> wrote:
> > In article
> >
> >  WM <mueck...@rz.fh-augsburg.de> wrote:

> > > There is no term s_n of S that contains all natural numbers. This
> > > condition requires
> > > (2) exist j, k, m, n : m e s_j & ~(m e s_k) & ~(n e s_j) & n e s_k.

> >
> > Nothing outside of Wolkenmuekenheim implies
> > "(2) exist j, k, m, n : m e s_j & ~(m e s_k) & ~(n e s_j) & n e s_k"
> > though it is implied often enough enough inside Wolkenmuekenheim.

>
> Otherwise all naturals in s_k are in in s_j for k < j. This implies
> that all numbers in S are in one and the same s.

Not outside of Wolkenmuekenheim, it doesn't!
>
> Consider the representation as a table
>
> 1
> 2, 1
> 3, 2, 1
> ...
> n, ..., 2, 1
> ...
>
> All initial segments of |N (including |N itself) are in the first
> column, but not in the lines of the table?

Only in Wolkenmuekenheim!

outside of Wolkenmuekenheim, each n in |N is named in all columns of
such a table, at least when the table is completed and in all but
finitely many of its rows then.

> >
> > if (2) were true outside of
> > Wolkenmuekenheim, one would have both j < k and k < j simultaneously
> > true as well.

>
> Yes that's just the contradiction.

But that only holds INSIDE Wolkenmuekenheim, where WM can claim at least
partially to control truth, not outside it, where he is powerless.
--

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