That's a great point! Under that definition of a^b, 0^0=1 follows from the definition and is not itself defined. It's exactly the same as 1+1=2.
However, what I said is absolutely true for the definition of a^b that the author of the article is using. In that system, 0^0 does not follow from the definition, and must be defined itself (or not at all a la Cauchy). I should have made that more clear.
However, what I said is absolutely true for the definition of a^b that the author of the article is using. In that system, 0^0 does not follow from the definition, and must be defined itself (or not at all a la Cauchy). I should have made that more clear.