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: Matheology § 288
Replies: 15   Last Post: Jun 22, 2013 12:23 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Tanu R.

Posts: 538
Registered: 12/13/04
Re: Matheology § 288
Posted: Jun 21, 2013 9:30 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Julio Di Egidio write:

> "Sam Sung" <no@mail.invalid> wrote in message
> news:kq1ica$juk$1@dont-email.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.


You refer to:

>> What does pi count?
>> Isn't it a number?

>
> pi counts pi, of course...


? Sorry then.

>> Take any (uniquely operated) iteration and count the
>> steps by whichever method you like - the result is isomorphic
>> to N in whichever 'theory'.

>
> No,


Why not?

> confront strict finitism.

"Classical finitism vs. strict finitism
In her book Philosophy of Set Theory, Mary Tiles characterized those who
allow countably infinite objects as classical finitists, and those who do
not allow countably infinite objects as strict finitists. Historically, the
written history of mathematics was thus classically finitist until Cantor
invented the hierarchy of transfinite cardinals in the end of the 19th
century."

They may 'not allow' whatever they want, but cannot 'forbid' appliyng
endlessly an operation like a successor function to 0.



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.