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 §252
Replies: 110   Last Post: Apr 24, 2013 5:58 PM

 Messages: [ Previous | Next ]
 Virgil Posts: 8,833 Registered: 1/6/11
Re: Matheology �252
Posted: Apr 18, 2013 4:09 PM

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

> On 18 Apr., 09:15, fom <fomJ...@nyms.net> wrote:
> > On 4/18/2013 2:07 AM, WM wrote:
> >

> > > On 18 Apr., 08:52, fom <fomJ...@nyms.net> wrote:
> >
> > >> WM does not know what a mathematical
> > >> rule-governed process is.

> >
> > > Divide 1 by 9, then you have an example probably easy enough for you
> > > to understand.

> >
> > Yes. Something -- namely, an algorithm --
> > by which the rule-governed constructive
> > mathematics of Markov and Sanin developed
> > Brouwer's idea of rule-governed mathematics.
> >
> > WM DENIED THIS MATHEMATICS

>
> No. The algorithm exists. But it will never yield a complete infinite
> decimal string equal to 1/9. Every index of a 1 of that string that
> you can name, imagine, or think is finite.

It is not the size of any one index but the number of different indices
that is not finite.

> Obviously it is the
> greatest you can name

Why even try to name what does not exist, a greatest member.

> when attempting to name the greates

Why even try to name what does not exist, a greatest member.

you can
> (why should you have chated yourself?). Mathematics is discussing
> topics of numbers and figures. If you cannot discuss about a greater
> number than that one you just imagine, then there is not a greater
> number for you at just this time. That does not mean that number
> remains always your greates. Simple as that.

Given any alleged "greatest" natural, one can always double it proving
that it was not a greatest natural after all.

Or does WM claim to be able to produce a natural which cannot be
multiplied by 2 to give yet a larger natural?
--

Date Subject Author
4/17/13 mueckenh@rz.fh-augsburg.de
4/17/13 fom
4/17/13 Virgil
4/18/13 mueckenh@rz.fh-augsburg.de
4/18/13 fom
4/18/13 mueckenh@rz.fh-augsburg.de
4/18/13 fom
4/18/13 fom
4/18/13 fom
4/18/13 fom
4/18/13 mueckenh@rz.fh-augsburg.de
4/18/13 fom
4/18/13 mueckenh@rz.fh-augsburg.de
4/18/13 fom
4/18/13 mueckenh@rz.fh-augsburg.de
4/18/13 fom
4/18/13 Virgil
4/18/13 Virgil
4/19/13 mueckenh@rz.fh-augsburg.de
4/19/13 fom
4/19/13 fom
4/19/13 mueckenh@rz.fh-augsburg.de
4/19/13 fom
4/19/13 fom
4/19/13 fom
4/19/13 Virgil
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 netzweltler
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 netzweltler
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 netzweltler
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 fom
4/20/13 Virgil
4/20/13 fom
4/20/13 Virgil
4/21/13 mueckenh@rz.fh-augsburg.de
4/21/13 fom
4/21/13 Bergholt Stuttley Johnson
4/21/13 gus gassmann
4/21/13 Virgil
4/21/13 netzweltler
4/21/13 mueckenh@rz.fh-augsburg.de
4/21/13 netzweltler
4/21/13 mueckenh@rz.fh-augsburg.de
4/21/13 netzweltler
4/21/13 mueckenh@rz.fh-augsburg.de
4/21/13 fom
4/21/13 netzweltler
4/21/13 netzweltler
4/22/13 mueckenh@rz.fh-augsburg.de
4/22/13 netzweltler
4/22/13 Virgil
4/22/13 netzweltler
4/22/13 Virgil
4/23/13 mueckenh@rz.fh-augsburg.de
4/23/13 Virgil
4/23/13 netzweltler
4/24/13 mueckenh@rz.fh-augsburg.de
4/24/13 Virgil
4/24/13 netzweltler
4/24/13 mueckenh@rz.fh-augsburg.de
4/24/13 Virgil
4/24/13 netzweltler
4/24/13 mueckenh@rz.fh-augsburg.de
4/24/13 Virgil
4/24/13 netzweltler
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/21/13 Bergholt Stuttley Johnson
4/21/13 Virgil
4/20/13 fom
4/20/13 Virgil
4/20/13 fom
4/20/13 Virgil
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/19/13 Virgil
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 fom
4/20/13 Virgil
4/20/13 Virgil
4/18/13 fom
4/18/13 fom
4/18/13 Virgil
4/18/13 mueckenh@rz.fh-augsburg.de
4/18/13 Virgil
4/18/13 Bergholt Stuttley Johnson
4/18/13 fom
4/18/13 fom
4/18/13 Virgil
4/18/13 mueckenh@rz.fh-augsburg.de
4/18/13 fom
4/18/13 Virgil
4/18/13 Virgil
4/18/13 mueckenh@rz.fh-augsburg.de
4/18/13 fom
4/18/13 Virgil
4/18/13 Virgil