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 ]
 mueckenh@rz.fh-augsburg.de Posts: 18,076 Registered: 1/29/05
Re: Matheology § 255
Posted: Apr 20, 2013 12:07 PM

On 20 Apr., 17:15, dullr...@sprynet.com wrote:
> On Sat, 20 Apr 2013 01:16:36 -0700 (PDT), WM
>
> <mueck...@rz.fh-augsburg.de> wrote:

> >Matheology § 255
>
> >Let S = (1), (1, 2), (1, 2, 3), ... be a sequence of all finite
> >initial sets s_n = (1, 2, 3, ..., n) of natural numbers n.

>
> >Every natural number is in some term of S.
>
> Yes...
>

> >U s_n = |N
> >forall n exists i : n e s_i.

>
> >S is constructed by adding s_(i+1) after s_(i). So we have
> >(1) forall n, forall i : (n < i <==> ~(n e s_i)) & (n >= i <==> n e
> >s_i).

>
> No, that's backwards. n <= i if and only if n is in s_i.

You are right. The correct and better readable version (from which
this has been copied with some errors) is in
http://www.hs-augsburg.de/~mueckenh/KB/Matheology.pdf
>
>
>

> >There is no term s_n of S that contains all natural numbers.
>
> Obviously not.
>
> So what?

Small wonder, since nowhere "all" n can be found.
If they could be found, what should them hinder to be in S after
infinitely many attempts to collect them. You think there are never
infinitely many attempts? Why then do you think there would be
infinitely many natural numbers?

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