Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

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


Math Forum » Discussions » sci.math.* » sci.math

Topic: Infinity: The Story So Far
Replies: 7   Last Post: Mar 9, 2014 8:52 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Virgil

Posts: 8,833
Registered: 1/6/11
Re: Infinity: The Story So Far
Posted: Mar 8, 2014 5:30 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

In article <63f406a0-c9a4-4c37-8b45-5e2bbc1cd12e@googlegroups.com>,
mueckenh@rz.fh-augsburg.de wrote:

> On Saturday, 8 March 2014 00:07:52 UTC+1, Virgil wrote:
>
>

> > > say that every number has a successor, but do not state that there are
> > > more
> > > numbers than 0

> >
> >
> >
> > Actually the Peano axioms do state that. Expicitely!
> > One of them says explicitely that 0 is not a successor.

>
> And what do you conclude?


That 0 is not a successor but that there are successors which are not 0.
> >
> > Before WM pontificates on what the Peano axioms say he really should
> > figure out what they do say.

>
> They say that there is the number 0 and many successors which need not be
> numbers.


I am not aware of Peano ever explicitly saying that successors need not
be numbers. The most one can properly claim is that Peano does not
explicitly say they must be numbers.

But such carefulness with the truth is well beyond WM's capabilities.
--





Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.