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