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


LudovicoVan
Posts:
3,329
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



