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 § 068
Replies: 2   Last Post: Jul 10, 2012 9:45 AM

Advanced Search

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

Posts: 397
Registered: 8/11/06
Re: Matheology § 068
Posted: Jul 10, 2012 9:45 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Am 10.07.2012 15:37, schrieb WM:
> On 10 Jul., 15:02, WM <mueck...@rz.fh-augsburg.de> wrote:
>> Matheology § 068
>>
>> To most mathematicians, the title of this article will, I suppose,
>> appear a bit strange: it is so obvious that 265536 is a natural number
>> that there would seem to be no rational basis for questioning it. Yet
>> there have been objections to the claim that all such exponential
>> expressions name a natural number, two of the best known being due to
>> Paul Bernays and Edward Nelson. Bernays, in "On Platonism in
>> Mathematics", rhetorically questions whether 67257729 can be
>> represented by an "Arabic numeral" (he does not, however, press the
>> discussion). By contrast, Nelson, in "Predicative Arithmetic",
>> develops a large body of theory which he then advances to support his
>> belief that 265536 is not a natural number or that, more generally,
>> exponentiation is not a total function. [...]
>> For while it does not limit the use of induction it does imply that
>> the effect of induction is context-dependent. It also implies that
>> when the objects of discussion are linguistic entities (and in this
>> paper the position advocated is that "natural numbers" or better
>> "natural number notations" are linguistic entities) then that
>> collection of entities may vary as a result of discussion about them.
>> A consequence of this is that the "natural numbers" of today are not
>> the same as the "natural numbers" of yesterday. Although the
>> possibility of such denotational shifts remains inconceivable to most
>> mathematicians, it seems to be more compatible with the history both
>> of the cultural growth (and of growth in individuals) of the number
>> concept than is the traditional, Platonic picture of an unchanging,
>> timeless, and notation-independent sequence of numbers.
>> [David Isles: "What evidence is there that 265536 is a natural
>> number?", Notre Dame Journal of Formal Logic, 33,4 (1992) 485-480.]http://projecteuclid.org/DPubS?verb=Display&version=1.0&service=UI&ha...
>>

>
> Of course 2^65536 and 67^(257^729) are meant.
>
> Regards, WM
>

Why, if 2^65536 is no natural number, is there any reason that 265536?
You are totally confused. Please read your posts before sending them.
You are making a fool of yourself if you have not noticed it already.




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.