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: The ambiguity of 0^0 on N
Replies: 106   Last Post: Sep 29, 2013 10:06 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,623
Registered: 7/9/08
Re: The ambiguity of 0^0 on N
Posted: Sep 19, 2013 12:57 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Wednesday, September 18, 2013 7:20:33 PM UTC-4, federat...@netzero.com wrote:
> On Wednesday, September 18, 2013 9:53:13 AM UTC-5, Dan Christensen wrote:
>

> > Thus, if the Product of Powers Rule is to hold on N, 0^0 will be ambiguous -- being either 0 or 1.
>
>
>
> To address the problem of how to define 0^0, one should first set the playing field. For example, one might frame the question this way: what [continuous/differentiable/analytic/C^infinity/or/etc.] function, if any, satisfies f(x, y) = x^y when x and y are not zero, and has (x, y) = (0, 0) in its domain.
>


Using only natural number arithmetic and assuming PPR, you can prove that 0^0=/=2. Until you can prove by any means that either 0^0=/=0 or 0^0=/=1, 0^0 remains ambiguous. Sorry, simply defining a value for 0^0 is not sufficient in this context.

>
>
> If the criterion is "continuity", then the list of candidates for f(0, 0) consists of all the limits of f(x, y) as (x, y) -> (0, 0) over (say) all paths.
>
>
>
> Then, every number is in the candidate list. That is: every COMPLEX number.
>
>
>
> If the problem is framed like this: what choice for 0^0 yields, say, a realization of the Curry-Howard correspondence, then the answer is unambiguously 1. The correspondence is best seen by laying out the tautologies of the logic of the "if-then" operator alongside the rules for exponentials.
>
>
>
> Then, one has the following correspondences -- valid for both classical propositional logic and intuitionistic logic:
>
>
>
> (Let X -> Y denote the "if X then Y" conditional statement.)
>
> A^{B+C} = A^B A^C <==> (B or C) -> A iff (B -> A) and (C -> A)
>


You've lost me here.

> A^0 = 1 <==> (false -> A) iff true
>
> A^{CB} = (A^B)^C <==> (C and B -> A) iff C -> (B -> A)
>
> A^1 = A <==> (true -> A) iff A.
>
> (AB)^C = A^C B^C <==> (C -> A and B) iff (C -> A) and (C -> B)
>
> 1^C = C <==> (C -> true) iff C
>
>
>
> The equation 0^0 = 1 then corresponds to the tautology (false -> false) iff true.


Sorry, I don't follow your argument.

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



Date Subject Author
9/18/13
Read The ambiguity of 0^0 on N
Dan Christensen
9/18/13
Read Re: The ambiguity of 0^0 on N
Peter Percival
9/18/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/18/13
Read Re: The ambiguity of 0^0 on N
Peter Percival
9/18/13
Read Re: The ambiguity of 0^0 on N
Virgil
9/18/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/18/13
Read Re: The ambiguity of 0^0 on N
Rotwang
9/18/13
Read Re: The ambiguity of 0^0 on N
Rock Brentwood
9/18/13
Read Re: The ambiguity of 0^0 on N
Rotwang
9/19/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/19/13
Read Re: The ambiguity of 0^0 on N
Peter Percival
9/19/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/19/13
Read Re: The ambiguity of 0^0 on N
Peter Percival
9/19/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/19/13
Read Re: The ambiguity of 0^0 on N
fom
9/19/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/19/13
Read Re: The ambiguity of 0^0 on N
fom
9/19/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/20/13
Read Re: The ambiguity of 0^0 on N
fom
9/19/13
Read Re: The ambiguity of 0^0 on N
Virgil
9/19/13
Read Re: The ambiguity of 0^0 on N
Virgil
9/19/13
Read Re: The ambiguity of 0^0 on N
Rotwang
9/18/13
Read Re: The ambiguity of 0^0 on N
Virgil
9/18/13
Read Re: The ambiguity of 0^0 on N
fom
9/18/13
Read Re: The ambiguity of 0^0 on N
Rotwang
9/28/13
Read Re: The ambiguity of 0^0 on N
Shmuel (Seymour J.) Metz
9/29/13
Read Re: The ambiguity of 0^0 on N
Marshall
9/19/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/19/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/19/13
Read Re: The ambiguity of 0^0 on N
Peter Percival
9/19/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/19/13
Read Re: The ambiguity of 0^0 on N
Michael F. Stemper
9/19/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/19/13
Read Re: The ambiguity of 0^0 on N
Peter Percival
9/19/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/19/13
Read Re: The ambiguity of 0^0 on N
fom
9/19/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/19/13
Read Re: The ambiguity of 0^0 on N
fom
9/19/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/19/13
Read Re: The ambiguity of 0^0 on N
fom
9/19/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/20/13
Read Re: The ambiguity of 0^0 on N
fom
9/20/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/20/13
Read Re: The ambiguity of 0^0 on N
fom
9/19/13
Read Re: The ambiguity of 0^0 on N
fom
9/19/13
Read Re: The ambiguity of 0^0 on N
fom
9/19/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/19/13
Read Re: The ambiguity of 0^0 on N
fom
9/19/13
Read Re: The ambiguity of 0^0 on N
Peter Percival
9/19/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/19/13
Read Re: The ambiguity of 0^0 on N
fom
9/19/13
Read Re: The ambiguity of 0^0 on N
Rotwang
9/19/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/19/13
Read Re: The ambiguity of 0^0 on N
Helmut Richter
9/19/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/19/13
Read Re: The ambiguity of 0^0 on N
Peter Percival
9/19/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/19/13
Read Re: The ambiguity of 0^0 on N
Peter Percival
9/19/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/19/13
Read Re: The ambiguity of 0^0 on N
fom
9/19/13
Read Re: The ambiguity of 0^0 on N
fom
9/19/13
Read Re: The ambiguity of 0^0 on N
JT
9/19/13
Read Re: The ambiguity of 0^0 on N
JT
9/19/13
Read Re: The ambiguity of 0^0 on N
Michael F. Stemper
9/19/13
Read Re: The ambiguity of 0^0 on N
JT
9/19/13
Read Re: The ambiguity of 0^0 on N
JT
9/19/13
Read Re: The ambiguity of 0^0 on N
JT
9/19/13
Read Re: The ambiguity of 0^0 on N
Helmut Richter
9/28/13
Read Re: The ambiguity of 0^0 on N
Shmuel (Seymour J.) Metz
9/19/13
Read Re: The ambiguity of 0^0 on N
fom
9/19/13
Read Re: The ambiguity of 0^0 on N
Peter Percival
9/19/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/19/13
Read Re: The ambiguity of 0^0 on N
Peter Percival
9/19/13
Read Re: The ambiguity of 0^0 on N
Karl-Olav Nyberg
9/19/13
Read Re: The ambiguity of 0^0 on N
fom
9/19/13
Read Re: The ambiguity of 0^0 on N
fom
9/19/13
Read Re: The ambiguity of 0^0 on N
Rotwang
9/19/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/19/13
Read Re: The ambiguity of 0^0 on N
fom
9/25/13
Read Re: The ambiguity of 0^0 on N
Rotwang
9/26/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/27/13
Read Re: The ambiguity of 0^0 on N
Brian Q. Hutchings
9/19/13
Read Re: The ambiguity of 0^0 on N
fom
9/18/13
Read Re: The ambiguity of 0^0 on N
Rock Brentwood
9/19/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/19/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/19/13
Read Re: The ambiguity of 0^0 on N
Rotwang
9/19/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/19/13
Read Re: The ambiguity of 0^0 on N
fom
9/20/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/20/13
Read Re: The ambiguity of 0^0 on N
fom
9/20/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/20/13
Read Re: The ambiguity of 0^0 on N
Peter Percival
9/20/13
Read Re: The ambiguity of 0^0 on N
Peter Percival
9/20/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/20/13
Read Re: The ambiguity of 0^0 on N
Virgil
9/20/13
Read Re: The ambiguity of 0^0 on N
Peter Percival
9/20/13
Read Re: The ambiguity of 0^0 on N
fom
9/20/13
Read Re: The ambiguity of 0^0 on N
Michael F. Stemper
9/20/13
Read Re: The ambiguity of 0^0 on N
LudovicoVan
9/21/13
Read Re: The ambiguity of 0^0 on N
Michael F. Stemper
9/21/13
Read Re: The ambiguity of 0^0 on N
LudovicoVan
9/21/13
Read Re: The ambiguity of 0^0 on N
Richard Tobin
9/20/13
Read Re: The ambiguity of 0^0 on N
Peter Percival
9/20/13
Read Re: The ambiguity of 0^0 on N
Peter Percival
9/21/13
Read Re: The ambiguity of 0^0 on N
Dan Christensen
9/19/13
Read Re: The ambiguity of 0^0 on N
Karl-Olav Nyberg

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.