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 2:44 PM

On 20 Apr., 19:45, fom <fomJ...@nyms.net> wrote:
> On 4/20/2013 12:20 PM, WM wrote:
>
>
>
>
>

> > On 20 Apr., 19:06, fom <fomJ...@nyms.net> wrote:
> >> On 4/20/2013 11:22 AM, WM wrote:
>
> >>> On 20 Apr., 17:30, fom <fomJ...@nyms.net> wrote:
> >>>> On 4/20/2013 3:16 AM, WM 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.
> >>>>> U s_n = |N
> >>>>> forall n exists i : n e s_i.

>
> >>>>> S is constructed by adding s_(i+1) after s_(i).
>
> >>>> Notice that WM is claiming that the sequence has
> >>>> a recursive definition.

>
> >>> You can call it also inductive.
>
> >> No.
>
> > I withdraw my assertion. Maybe you cannot.
>
> > Mathematicians can. Dedekind was a mathematician. Dedekind could.
>
> Yes.  It does depend on definitions.
>
> I will not get my copy out concerning this matter
> since I made the distinctions correctly.

Not with respect to the inventor of that matter.
>
> However, Dedekind did not call his domains inductive
> sets.

Neither did I.

> He called them simply infinite sets.
>
> It depends on the definitions.

Not in the mathematics of Dedekind and myself.
>
> That distinguishes you from Dedekind.

I did never claim to be Dedekind.

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