May 10th, 2008

beartato phd

(no subject)

I think I have have found the final piece in an idea for a super-slick proof of focussing's correctness I thought of last November. Chances it will fail are reasonably high, but I am optimistic.

---

Have gone through the proofs at a fairly low level of detail, and the things that really ought to fail if I'm wrong aren't failing. The only problems are with how I'm using the exponential - this is extremely encouraging.