On Friday, September 20, 2013 4:53:25 PM UTC-4, Peter Percival wrote: > Dan Christensen wrote: > > > > > But you need not use my system, although that would be nice. Use > > > whatever system you like. Improvise one on the spot if you must. Just > > > don't assume what you are trying to prove as you have repeatedly > > > tried to do here. > > > > My proof didn't assume 0^0 = 1. As I remarked elsewhere, your reading > > comprehension is poor. >
Quit your bellyaching. Just prove 0^0=1 by any means of your choice, if you can, without first assuming that 0^0=1 or x^0=1 for all x in N. You can easily prove 0^1=0 (assuming PPR), but I don't think you will be able to prove 0^0=1 or 0^0=/=0. Even an informal argument -- one not based on convenience -- would do at this point. How about it, Percy?