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: Formal proof of the ambiguity of 0^0
Replies: 163   Last Post: Nov 13, 2013 10:45 AM

Advanced Search

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

Posts: 2,872
Registered: 7/9/08
Re: Formal proof of the ambiguity of 0^0
Posted: Nov 1, 2013 9:38 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Friday, November 1, 2013 6:05:18 AM UTC-4, Bart Goddard wrote:
> Dan Christensen <Dan_Christensen@sympatico.ca> wrote in
>
> news:727a4503-3f63-4528-855c-fb30c7d24d8d@googlegroups.com:
>
>
>

> > Here, I prove 0^x = 0 for x=/=0
>
>
>
> The proof is fatally flawed. If y = 1, then z = 0,
>
> in which case the "proof" is threaded with the
>
> "uspecified" phrase "0^0."


On the contrary, this is not a problem at all. Again, 0^0 is a natural number, but no value is assigned to it in my definition of ^ on N. This formalizes the longstanding practice (since Cauchy in the early 19th century) of leaving 0^0 undefined. Again, I define ^ as follows:

1. ALL(a):ALL(b):[a e n & b e n => a^b e n] (i.e. ^ is a binary function on N)

2. ALL(a):[a e n => [~a=0 => a^0=1]]

3. ALL(a):ALL(b):[a e n & b e n => a^(b+1)=a^b*a]

These 3 statements characterize ALL exponent-like functions on N (Theorem 1). And ALL exponent-like functions on N are identical except for the value assigned to (0,0). (Theorem 2).

No value is assigned to 0^0, but as readers can see for themselves from the theorems posting here, it is really quite easy to work around this minor inconvenience.

Dan
Download my DC Proof 2.0 software at http://www.dcproof.com
Visit my new math blog at http://www.dcproof.wordpress.com


Date Subject Author
10/16/13
Read Formal proof of the ambiguity of 0^0
Dan Christensen
10/16/13
Read Re: Formal proof of the ambiguity of 0^0
Brian Q. Hutchings
11/1/13
Read Re: Formal proof of the ambiguity of 0^0
ross.finlayson@gmail.com
10/17/13
Read Re: Formal proof of the ambiguity of 0^0
Robin Chapman
10/17/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
10/17/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/17/13
Read Re: Formal proof of the ambiguity of 0^0
fom
10/17/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
10/17/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/17/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
10/17/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/17/13
Read Re: Formal proof of the ambiguity of 0^0
Peter Percival
10/17/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/17/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
11/2/13
Read Re: Formal proof of the ambiguity of 0^0
Brian Q. Hutchings
10/17/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
10/17/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/18/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
10/17/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/17/13
Read Re: Formal proof of the ambiguity of 0^0
Ben Bacarisse
10/17/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/17/13
Read Re: Formal proof of the ambiguity of 0^0
Robin Chapman
10/17/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/17/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
10/17/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/17/13
Read Re: Formal proof of the ambiguity of 0^0
Brian Q. Hutchings
10/17/13
Read Re: Formal proof of the ambiguity of 0^0
Brian Q. Hutchings
10/18/13
Read Re: Formal proof of the ambiguity of 0^0
Robin Chapman
10/18/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/23/13
Read Re: Formal proof of the ambiguity of 0^0
Shmuel (Seymour J.) Metz
10/25/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
10/29/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/30/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
10/30/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/30/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
10/30/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/30/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
10/30/13
Read Re: Formal proof of the ambiguity of 0^0
Robin Chapman
10/30/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
10/30/13
Read Re: Formal proof of the ambiguity of 0^0
Peter Percival
10/30/13
Read Re: Formal proof of the ambiguity of 0^0
Richard Tobin
10/30/13
Read Re: Formal proof of the ambiguity of 0^0
fom
10/31/13
Read Re: Formal proof of the ambiguity of 0^0
David Bernier
10/31/13
Read Re: Formal proof of the ambiguity of 0^0
David Bernier
10/30/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/30/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
10/30/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/31/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
10/31/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/31/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
10/31/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/31/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
10/30/13
Read Re: Formal proof of the ambiguity of 0^0
Peter Percival
10/30/13
Read Re: Formal proof of the ambiguity of 0^0
JT
10/30/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/30/13
Read Re: Formal proof of the ambiguity of 0^0
Peter Percival
10/30/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/30/13
Read Re: Formal proof of the ambiguity of 0^0
Brian Q. Hutchings
10/30/13
Read Re: Formal proof of the ambiguity of 0^0
Brian Q. Hutchings
10/30/13
Read Re: Formal proof of the ambiguity of 0^0
JT
10/30/13
Read Re: Formal proof of the ambiguity of 0^0
Peter Percival
10/30/13
Read Re: Formal proof of the ambiguity of 0^0
JT
10/30/13
Read Re: Formal proof of the ambiguity of 0^0
JT
10/30/13
Read what is 0^0 in complex. quaternion & octonion units, again
Brian Q. Hutchings
10/18/13
Read Re: Formal proof of the ambiguity of 0^0
Robin Chapman
10/18/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/18/13
Read Re: Formal proof of the ambiguity of 0^0
fom
10/18/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/18/13
Read Re: Formal proof of the ambiguity of 0^0
fom
10/18/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/18/13
Read Re: Formal proof of the ambiguity of 0^0
Peter Percival
10/18/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/20/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/20/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
10/20/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/20/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
10/20/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/20/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
10/20/13
Read Re: Formal proof of the ambiguity of 0^0
Michael F. Stemper
10/20/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
10/20/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/23/13
Read Re: Formal proof of the ambiguity of 0^0
Brian Q. Hutchings
10/20/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/20/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
10/20/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/20/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
10/20/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/21/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
10/21/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/21/13
Read Re: Formal proof of the ambiguity of 0^0
Peter Percival
10/21/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
10/21/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/21/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
10/21/13
Read Re: Formal proof of the ambiguity of 0^0
Peter Percival
10/21/13
Read Re: Formal proof of the ambiguity of 0^0
fom
10/21/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
10/21/13
Read Re: Formal proof of the ambiguity of 0^0
JT
10/21/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/21/13
Read Re: Formal proof of the ambiguity of 0^0
JT
10/21/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/20/13
Read Re: Formal proof of the ambiguity of 0^0
Peter Percival
10/20/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/23/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
10/23/13
Read Re: Formal proof of the ambiguity of 0^0
fom
11/1/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
11/1/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
11/1/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
11/1/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
11/1/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
11/1/13
Read Re: Formal proof of the ambiguity of 0^0
fom
11/1/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
11/1/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
11/1/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
11/1/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
11/1/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
11/1/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
11/1/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
11/1/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
11/1/13
Read base-one accounting (just day, Duh, thank you
Brian Q. Hutchings
11/1/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
11/1/13
Read Re: Formal proof of the ambiguity of 0^0
Brian Q. Hutchings
11/2/13
Read Re: Formal proof of the ambiguity of 0^0
Robin Chapman
11/1/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
11/1/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
11/1/13
Read Re: Formal proof of the ambiguity of 0^0
ross.finlayson@gmail.com
11/3/13
Read Re: Formal proof of the ambiguity of 0^0
ross.finlayson@gmail.com
11/3/13
Read 0^0
Brian Q. Hutchings
11/1/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
11/2/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
11/2/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
11/2/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
11/12/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
11/12/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
11/12/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
11/12/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
11/13/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
11/13/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
11/2/13
Read Re: Formal proof of the ambiguity of 0^0
Virgil
11/2/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
11/2/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
11/2/13
Read Re: Formal proof of the ambiguity of 0^0
Paul
11/3/13
Read Re: Formal proof of the ambiguity of 0^0
Bart Goddard
11/2/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
11/2/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
11/2/13
Read Re: Formal proof of the ambiguity of 0^0
Ki Song
11/2/13
Read Re: Formal proof of the ambiguity of 0^0
Virgil
11/2/13
Read Re: Formal proof of the ambiguity of 0^0
Michael F. Stemper
11/2/13
Read Re: Formal proof of the ambiguity of 0^0
Virgil
11/3/13
Read Re: Formal proof of the ambiguity of 0^0
Michael F. Stemper
11/3/13
Read Re: Formal proof of the ambiguity of 0^0
Robin Chapman
11/3/13
Read Re: Formal proof of the ambiguity of 0^0
fom
11/3/13
Read Re: Formal proof of the ambiguity of 0^0
Jussi Piitulainen
11/3/13
Read Re: Formal proof of the ambiguity of 0^0
fom
11/4/13
Read Re: Formal proof of the ambiguity of 0^0
Jussi Piitulainen
11/3/13
Read Re: Formal proof of the ambiguity of 0^0
JT
11/3/13
Read Re: Formal proof of the ambiguity of 0^0
JT
11/12/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen
11/13/13
Read Re: Formal proof of the ambiguity of 0^0
Dan Christensen

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.