Date: Oct 17, 2013 1:58 AM
Author: Robin Chapman
Subject: Re: Formal proof of the ambiguity of 0^0

On 17/10/2013 04:21, Dan Christensen wrote:
> To follow-up on my previous postings at sci.math on this topic, here
> are links to 7 formal proofs (in the DC Proof 2.0 format) supporting
> the notion that 0^0 be left undefined.


<snip>

> THEOREM 3: 3^2 = 9

um...