I just happened to remember a joking argument by Donald Knuth:
If n/0 = inf.
Then n = inf. * 0
IOW, any number is a product of infinity and 0.
Back to the question of 0 as a power or divisor

09182010, 10:41 AM
I just happened to remember a joking argument by Donald Knuth: If n/0 = inf. Then n = inf. * 0 IOW, any number is a product of infinity and 0.
09182010, 02:58 PM
also, HP's latest calculators have 0^0 = 1. [result for the 30b]
09182010, 03:31 PM
Quote:Does 48sx qualify as latest ?
This 0^0=1 seems to be the accepted mathematical convention today.
09182010, 04:27 PM
Accepted only as a limit as you approach 0 from the right. In every other maths it is undefined (in my opinion).
09182010, 04:49 PM
In middle school, we usually just say it's "undefined," like division by zero. The kids accept that. Some calculators may give other answers, but I think the TI83 family gives you an error message when you do 0^0.
09182010, 05:09 PM
Quote: (Emphasis mine) The kids may accept that, but that doesn't necessarily mean it makes sense. When I was in high school, I once had a discussion with a few classmates about the value of 0!. We'd been told that 0! = 1, and that that was "just how it was defined". I argued that there was no need to treat 0! as a special case:
Quote:
It's not an issue to get worked up over; while I felt a deep sense of disconnect at that point of the discussion, this is still obviously not something that's going to seriously trip anyone up later in life. But still, I felt then, and I still feel now, that the notions of an "empty sum" and an "empty product" are useful, and they make some borderline cases like x^0 and 0! fall into place quite nicely, without introducing any new problems; an "empty sum" is a sum with no terms, equalling the additive identity, 0; an "empty product" is a product with no factors, equalling the multiplicative identity, 1. No need to treat 0^0 or 0! as special in any way; they're both empty products, hence equal to 1. The fact that there really is exactly one way to order 0 items, and the fact that 0^0 = 1 makes sense from a continuity point of view (everything else to the zeroth power equals 1; why should 0 be an exception?) is just a bonus. :) Edited: 18 Sept 2010, 5:21 p.m.
09182010, 05:58 PM
Yes, it makes total sense that 0!=1. x! is a continuous function and it even continuously approaches 1 as x approaches 0. There are dozens (or millions, who knows) of ways of defining the factorial function, and they all give 0!=1.
It mostly makes sense that 0^0=1. To be specific, for any functions f and g that are analytic at 0 and for which f>0 and g>0 as x>0, (and if f is not the constant 0), then f(x)^g(x)>1 as x>0 Of course, that theorem gives you hints of how you can find f^g>0^0 that does not tend to 1. Say, f=e^(1/x^2), g=x. Then f^g will tend to 1 as x approaches 0 from positive numbers, but will tend to infinity as x approaches 0 from negative numbers. (Of course, f only >0 as x>0 when x is on the real line, anyway. In the complex plane, the limit doesn't exist, which is why the function isn't analytic.)
09182010, 06:07 PM
Err, it tends to 0 as x >0 from positive numbers. One thing that example is supposed to show, sort of, is that f^g=0^0 can equal 0, like 0^x, if f tends to 0 much faster than any analytic function.
09182010, 06:11 PM
There was a previous discussion of this issue in this thread. It seems HP calculators had 0^0 return an error (undefined) in all preRPL models, and 0^0=1 in RPL models, seemingly in accordance with an IEEE standard for computer languages. I am definitely out of school here, but that's the way I see it.
09182010, 06:34 PM
I agree, it's not an issue to get worked up over, and believe me the kids don't get worked up over it. In middle school, we teach the kids rules. One rule says that 0 to any power is 0. Another rule says that anything to the zero power is 1. Now, unless I bring up the conundrum about 0^0 seemingly falling between the cracks, few kids will even be aware of it. Kids, amazingly enough, aren't intrigued by these things! Sometimes I bring it up, to get them thinking. And I usually leave it that it's like division by zero, not allowed. In middle school, we measure success by kids actually knowing their times tables and the basics of algebra. 0^0 isn't worth worrying about.
09182010, 09:18 PM
Well, the new math library has a flag that can either cause 0^0 to return an error (ER0pow0) or 1. :)
TW Edited: 18 Sept 2010, 9:19 p.m.
09192010, 08:58 AM
For my money, Crawl's explanation really hits the nail on the head, so to speak. Math is full of instances where we define values of functions based on convenience for the mathematical model rather than a provable theory. For example, x^n is well defined for integers. You can further define it for rational numbers, but for irrational numbers, we simply say "uh, k^x when x is irrational is the value that makes f(x) = k^x continuous." I think the same is true with x!. It's a continuous function, but only because we've dictated that it should be and because there is a continuous function that equals x! (gamma(x+1)). As for 0^0, at first glance you could say it equals any number (0^0 = 0^k / 0^k = 0/0; 0/0=x; 0=0*x; x = any number). We decide to pick the one that makes the most sense, which is the one that the limit approaches as Crawl describes.
09192010, 10:03 AM
There is a theorem that states how unique the usual continuous extension to the factorial function is. So, you could define it with an integral, or with Euler's product formula, or whatever, but however you do it, you're gonna get the same thing.
09202010, 12:06 PM
Here are maybe some "controversial" definitions: We should only use the factorial function. Everyone should drop using the Gamma function like a bad habit. That stupid argument offset helps nothing. B(1) (the 1st Bernoulli number) should equal +1/2, not 1/2. Note that the HP50g's IBERNOULLI function gives the "wrong" answer for this argument.
09212010, 01:20 AM
Quote: Of course, this has been debated here a few times over the years, but I did not bookmark any threads... I insist that it's incorrect to declare that "0^0=1 by definition", because:
In most cases, however, letting 0^0 = 1 is more useful and fits the problem. It's essentially implicit as the first term in the Taylor series for cos(x) and e^x, expanded about a = 0 (the last of the three limits is taken for the two derivations).  KS
Edited: 23 Sept 2010, 1:55 a.m. 
« Next Oldest  Next Newest »

Possibly Related Threads...  
Thread  Author  Replies  Views  Last Post  
Getting back to the CL  Geir Isene  6  911 
03202013, 07:02 PM Last Post: Geir Isene 

HP11C Back Screws  John Swisher  0  396 
09122012, 10:52 AM Last Post: John Swisher 

I am back ;) with a problem on HP 41 ;(  wildpig  7  972 
07092012, 11:30 AM Last Post: Mike Morrow 

Back with my DEG<>DMS formulas !  PGILLET  5  762 
05032012, 07:44 PM Last Post: Bart (UK) 

15c LE back at HP  Neil Carlson  4  715 
03272012, 04:56 PM Last Post: Harald 

[WP34s] About SKIP and BACK  fhub  8  971 
01092012, 06:10 PM Last Post: Neil Hamilton (Ottawa) 

15C back in stock at hp.com  sjthomas  8  996 
12222011, 10:32 AM Last Post: Dan Grelinger 

The most abused phrase "Check Back Soon"  Michael de Estrada  8  1,004 
10112011, 10:25 PM Last Post: hpnut 

µWatch2 Back Again  DaveJ  12  1,244 
08232011, 02:56 AM Last Post: DaveJ 

Calculator Business, back then  Frank Boehm (Germany)  5  726 
07082011, 10:39 PM Last Post: Palmer O. Hanson, Jr. 