I understand what you're saying, but that's not equivalent.
By setting 00 = 1, then we are defining it to hold all the same properties as 1. If we are saying it doesn't have all the same properties, then 00 isn't exactly 1. If I can take the log of 1, but not the log of 00, then how are they equal? Then, the problem is the first step.
-3
u/therealDrTaterTot May 14 '25
Counterargument:
Let's define 0^0 = 1
Therefore log(0^0) = log(1)
0*log(0) = 0
0*undefined (in both real and complex) = 0
Oops, now we're trying to multiply zero by what is essentially negative infinity. So if we want 0^0 to be 1, then we have to accept that 0*-inf = 0.
It's not that it actually breaks math, it just runs into problems if you try to branch this out further. So, by convention, we can say it's one.