Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.


Math Forum
»
Discussions
»
sci.math.*
»
sci.math
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
Topic:
Matheology § 288
Replies:
15
Last Post:
Jun 22, 2013 12:23 AM



LudovicoVan
Posts:
4,165
From:
London
Registered:
2/8/08


Re: Matheology § 288
Posted:
Jun 21, 2013 9:23 AM


"Sam Sung" <no@mail.invalid> wrote in message news:kq1ica$juk$1@dontemail.me... > Julio Di Egidio wrote: > >> << Edward Nelson criticizes the classical conception of natural numbers >> because of the circularity of its definition. In classical mathematics >> the >> natural numbers are defined as 0 and numbers obtained by the iterative >> applications of the successor function to 0. But the concept of natural >> number is already assumed for the iteration. >> >> >> <http://en.wikipedia.org/wiki/Ultrafinitism#Main_ideas> > > So what?
You have snipped the context.
> Take any (uniquely operated) iteration and count the > steps by whichever method you like  the result is isomorphic > to N in whichever 'theory'.
No, confront strict finitism.
Julio



