Jason (jcreed) wrote,
Jason
jcreed

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.
Tags: math
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 2 comments