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.independent

Topic: An Infinity of Exponent-like Functions on N
Replies: 31   Last Post: Oct 23, 2013 10:48 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,482
Registered: 7/9/08
Re: An Infinity of Exponent-like Functions on N
Posted: Oct 5, 2013 1:40 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Just trying to use some of these ideas in the writing of a proof just now and came across the weird notion that you might be able to use 0^0 in a proof even if it is "undefined!" You assume ^ is function on N -- you just don't know what value 0^0 has. So, you could prove 0^0 * 0 = 0 since x * 0 = 0 for ANY x in N. But you can't prove 0^0 = x for any x in N. This is getting really interesting!

As I said in my original posting, it can be shown (in 1038 lines in the DC Proof format) that there exists infinitely many binary functions ^ on N that have

(1) x^0 = 1 for x=/=0
(2) x^(y+1) = x^y * x

We can't determine the value of 0^0 from these equations alone, but it seems we can assume it is a natural number!

Comments? Have I missed a key point?

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



Date Subject Author
10/4/13
Read An Infinity of Exponent-like Functions on N
Dan Christensen
10/4/13
Read Re: An Infinity of Exponent-like Functions on N
Graham Cooper
10/4/13
Read Re: An Infinity of Exponent-like Functions on N
fom
10/4/13
Read Re: An Infinity of Exponent-like Functions on N
Graham Cooper
10/5/13
Read Re: An Infinity of Exponent-like Functions on N
Dan Christensen
10/5/13
Read Re: An Infinity of Exponent-like Functions on N
Peter Percival
10/5/13
Read Re: An Infinity of Exponent-like Functions on N
fom
10/5/13
Read Re: An Infinity of Exponent-like Functions on N
Dan Christensen
10/5/13
Read Re: An Infinity of Exponent-like Functions on N
Graham Cooper
10/5/13
Read Re: An Infinity of Exponent-like Functions on N
fom
10/5/13
Read Re: An Infinity of Exponent-like Functions on N
Dan Christensen
10/5/13
Read Re: An Infinity of Exponent-like Functions on N
fom
10/5/13
Read Re: An Infinity of Exponent-like Functions on N
Dan Christensen
10/5/13
Read Re: An Infinity of Exponent-like Functions on N
Graham Cooper
10/5/13
Read Re: An Infinity of Exponent-like Functions on N
Dan Christensen
10/5/13
Read Re: An Infinity of Exponent-like Functions on N
Peter Percival
10/5/13
Read Re: An Infinity of Exponent-like Functions on N
Graham Cooper
10/6/13
Read Re: An Infinity of Exponent-like Functions on N
Peter Percival
10/5/13
Read Re: An Infinity of Exponent-like Functions on N
Peter Percival
10/5/13
Read Re: An Infinity of Exponent-like Functions on N
Dan Christensen
10/10/13
Read Re: An Infinity of Exponent-like Functions on N
Shmuel (Seymour J.) Metz
10/10/13
Read Re: An Infinity of Exponent-like Functions on N
fom
10/10/13
Read Re: An Infinity of Exponent-like Functions on N
Peter Percival
10/23/13
Read Re: An Infinity of Exponent-like Functions on N
Shmuel (Seymour J.) Metz
10/23/13
Read Re: An Infinity of Exponent-like Functions on N
Michael F. Stemper
10/10/13
Read Re: An Infinity of Exponent-like Functions on N
Michael F. Stemper
10/5/13
Read Re: An Infinity of Exponent-like Functions on N
Dan Christensen
10/6/13
Read Re: An Infinity of Exponent-like Functions on N
Dan Christensen
10/6/13
Read Re: An Infinity of Exponent-like Functions on N
Brian Q. Hutchings
10/6/13
Read Re: An Infinity of Exponent-like Functions on N
Dan Christensen
10/5/13
Read Re: An Infinity of Exponent-like Functions on N
William Elliot
10/5/13
Read Re: An Infinity of Exponent-like Functions on N
Peter Percival

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.