The Math Forum



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

Topic: Leaving 0^0 undefined -- A number-theoretic rationale
Replies: 48   Last Post: Sep 15, 2013 1:06 PM

Advanced Search

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

Posts: 7,983
Registered: 7/9/08
Leaving 0^0 undefined -- A number-theoretic rationale
Posted: Sep 11, 2013 2:25 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Is there a more divisive is issue in all of mathematics? It seems to me to be the single most popular topic in just about every open online math forum. At the "Ask A Mathematician" forum, a single, ongoing thread (since December 2010) on this topic has perhaps hundreds of postings in it!

Following is a number-theoretic rationale for leaving 0^0 undefined. Unlike most if not all arguments for this approach presented elsewhere, it makes no use of the concept of a limit or the set of real numbers.

The Rationale:

There are precisely two binary functions on the set of natural numbers that satisfy the usual Laws of Exponents. One has 0^0 = 1, the other has 0^0 = 0. At all other points, they agree.

More precisely...

If e and e' are binary functions on N (including 0) such that

(1) for all x in N, if x=/=0 then e(x,0)=1 and e'(x,0)=1

(2) for all x,y in N, e(x,y+1)=e(x,y)*x and e'(x,y+1)=e'(x,y)*x

then it can be shown that, irrespective of the values of e(0,0) and e'(0,0), we have

(1) for all x in N, if x=/0 then e'(x,0)=e(x,0) (trivial)

(2) for all x,y in N, if y>0 then e'(x,y)=e(x,y)

Therefore, every exponential function on the set of natural numbers is identical except for the value assigned to 0^0. But there are only two such possibilities for 0^0.

If the Product of Powers Rule is to hold, then we must have

0^0 = 0^(0+0) = 0^0 * 0^0

or

0^0 = 0^0 * 0^0

Therefore, 0^0 = 0 or 1. To my knowledge, there is no purely number-theoretic justification for eliminating either possibility.

Given this ambiguity, the prudent course is to leave 0^0 undefined (like division by zero), especially in general purpose programming languages. Currently, most programming languages seem to have 0^0 = 1.

Dan
Download my DC Proof 2.0 software at http://www.dcproof.com



Date Subject Author
9/11/13
Read Leaving 0^0 undefined -- A number-theoretic rationale
Dan Christensen
9/11/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Peter Percival
9/11/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
FredJeffries@gmail.com
9/11/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Dan Christensen
9/11/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Peter Percival
9/11/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Brian Q. Hutchings
9/11/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Dan Christensen
9/12/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Peter Percival
9/12/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Dan Christensen
9/11/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Dan Christensen
9/12/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Peter Percival
9/12/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Dan Christensen
9/12/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Michael F. Stemper
9/12/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Peter Percival
9/12/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Dan Christensen
9/12/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Peter Percival
9/12/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Shmuel (Seymour J.) Metz
9/12/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Peter Percival
9/12/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Shmuel (Seymour J.) Metz
9/12/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Robin Chapman
9/12/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Peter Percival
9/12/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Peter Percival
9/12/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
David C. Ullrich
9/12/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Dan Christensen
9/12/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Peter Percival
9/12/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Dan Christensen
9/13/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
David C. Ullrich
9/13/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Peter Percival
9/13/13
Read how about an examplar
Brian Q. Hutchings
9/12/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
LudovicoVan
9/12/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Peter Percival
9/13/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Michael F. Stemper
9/13/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
LudovicoVan
9/12/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
FredJeffries@gmail.com
9/12/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
LudovicoVan
9/13/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
David C. Ullrich
9/13/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Michael F. Stemper
9/12/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Shmuel (Seymour J.) Metz
9/13/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Dan Christensen
9/13/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Robin Chapman
9/13/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Peter Percival
9/13/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Dan Christensen
9/13/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Brian Q. Hutchings
9/14/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Robert Lewis
9/14/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Brian Q. Hutchings
9/14/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Peter Percival
9/15/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Brian Q. Hutchings
9/14/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
fom
9/15/13
Read Re: Leaving 0^0 undefined -- A number-theoretic rationale
Michael F. Stemper

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

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2017. All Rights Reserved.