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,876
Registered: 7/9/08
Re: Formal proof of the ambiguity of 0^0
Posted: Oct 20, 2013 8:14 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Sunday, October 20, 2013 6:40:18 PM UTC-4, Bart Goddard wrote:
> Dan Christensen <Dan_Christensen@sympatico.ca> wrote in
>
> news:4cf57eac-a9c8-457a-80f5-dbbb70ac9aa8@googlegroups.com:
>
>
>

> > Perhaps you can give us your own formal definition of exponentiation
>
> > on N, Bart?
>
>
>
> Yes, I could.


[snip nonsense]

But you didn't. Not as easy at it looks, eh, Barty?

First you have to come up with a set of ordered triples of natural numbers, then prove that set is a function, then prove it meets all your other requirements -- the Laws of Exponents or some equivalent in this case.

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.