Date: Nov 12, 2013 10:34 AM
Author: Dan Christensen
Subject: Re: Formal proof of the ambiguity of 0^0
On Wednesday, October 16, 2013 11:21:02 PM UTC-4, Dan Christensen wrote:

>

>

> ALL(a):ALL(b):[a e n & b e n => a^b e n]

>

> & ALL(a):[a e n => [~a=0 => a^0=1]]

(Equivalently, ALL(a):[a e n => a^2=a*a]. Formal proof to follow.)

>

> & ALL(a):ALL(b):[a e n & b e n => a^(b+1)=a^b*a]

>

>

Dan

Download my DC Proof 2.0 software at http://www.dcproof.com

Visit my new math blog at http://www.dcproof.wordpress.com