[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Conference rusure::math

Title:Mathematics at DEC
Moderator:RUSURE::EDP
Created:Mon Feb 03 1986
Last Modified:Fri Jun 06 1997
Last Successful Update:Fri Jun 06 1997
Number of topics:2083
Total number of notes:14613

1280.0. "Meta-mathematics? ... Whats zero to the zero-th power?" by NOEDGE::HERMAN () Mon Aug 06 1990 23:14

    Ok folks, this is not as trivial as it sounds so:

    What's  

         0
	0

    ?

    i.e, whats zero to the zero-th power?

    -Franklin
T.RTitleUserPersonal
Name
DateLines
1280.1HPSTEK::XIAIn my beginning is my end.Tue Aug 07 1990 00:3911
    re .0,
    
    Franklin,
                             0
    If I remember correctly 0  is treated as undefined (in high school that
    is), but I guess you can extend the definition of exponential to
    include that.  As to what is the most natural extention, I would define
    it as 1.
    
    Eugene
    
1280.21HERON::BUCHANANcombinatorial bomb squadTue Aug 07 1990 06:357
	The number of different functions from a set of cardinality X to
a set of cardinality Y is Y^X.   If X = 0, then there will be precisely 1
function from X to Y, irrespective of the size of Y, ie: even if Y = 0.   So to
define 0^0 = 1 is consistent with this common usage.

Regards,
Andrew.
1280.3Anything divided by itself equals 1...EEMELI::TFORSELLEarlyWormGetsCaughtByEarlyBird!Tue Aug 07 1990 11:2516
    Mathematically, might be something like this:
    
                                            m=n <=> m-n=0
    
                   m                                     m
     0     m-m    x                          0    m-n   x
    x  =  x    =  --   =   1     OR         x  = x    = --  = 1
                   m         (whichever                  n
                  x          one prefers)               x


    Though there is actually a division by zero if x=0, but we have to
    live with that ;-)

    Rgrds,
    Toffe
1280.4discussed previouslyEAGLE1::BESTR D Best, sys arch, I/OTue Aug 07 1990 12:296
This question has been discussed at length elsewhere in this notesfile.
I think the previous conclusion was that it can be defined several ways,
none of which are more meaningful than other ways.

Previous consensus was that a program should evaluate this to 'undefined'.
It's a little difficult to imagine where this might arise in practice.
1280.5GUESS::DERAMODan D&#039;EramoTue Aug 07 1990 12:5811
This question has been discussed at length elsewhere in this notesfile.
I think the previous conclusion was that it can be defined several ways,
none of which are more meaningful than other ways.

	Oh no.  An answer of 1 is definitely more meaningful than
	any other way.  The answer is one when you treat it as
	cardinal exponentiation, and the answer is one when you
	treat it as iterating a binary operation that has an
	identity element.

	Dan
1280.6TRACE::GILBERTOwnership ObligatesTue Aug 07 1990 13:1010
>	Oh no.  An answer of 1 is definitely more meaningful than
>	any other way.  The answer is one when you treat it as

	Well, we can make a fair case for 0, too.

	lim  x^0 = 1		lim  0^x = 0
	x->0			x->0

	lim  x^x = 1
	x->0
1280.7GUESS::DERAMODan D&#039;EramoTue Aug 07 1990 14:155
	A fair case, perhaps, but even your own reply gives twice
	as much evidence for 0^0 = 1, which is only natural as
	a much stronger case can be made for that answer.

	Dan
1280.8HERON::BUCHANANcombinatorial bomb squadTue Aug 07 1990 15:014
	As Peter suggests note 610 treats this little problem.

Cheers,
Andrew.
1280.9TRACE::GILBERTOwnership ObligatesFri Aug 10 1990 10:571
Sorry, Andrew.  It was Dan (in .5) with the good memory.
1280.10though I do have a good memory! :-)GUESS::DERAMODan D&#039;EramoFri Aug 10 1990 11:1913
>>	Sorry, Andrew.  It was Dan (in .5) with the good memory.

	No ... the top, unindented part of .5 was quoting from .4,
	and the bottom, indented part was my reply.  The person
	who said 

"This question has been discussed at length elsewhere in this notesfile."
	
	was

		EAGLE1::BEST "R D Best, sys arch, I/O"

	Dan
1280.11something out of nothing ??SMAUG::ABBASIFri Aug 10 1990 15:236
    
       0
      0  = 1  is against the principle of conversation of energy, which
              indicates that you cant get something out of nothing !
    
    /naser
1280.12HPSTEK::XIAIn my beginning is my end.Fri Aug 10 1990 15:575
    re .11,
    
    What are you talking about?
    
    Eugene
1280.130**0 = 1 <=> bing bang theorySMAUG::ABBASIThu Aug 16 1990 17:205
    I guess I was trying to relate that formula to something in physical
    world where you dont get something from nothing. 
    I  imaging '0' as nothing and '1' as "something" 
    
    but this is mathematics and so I'll shutup..
1280.14(0^0) = (o^o) + \00/ ;-)UKEDU::HARMERGeoff Harmer U.K. Edu (830) 6229Tue Aug 21 1990 17:461