Jason (jcreed) wrote,
Jason
jcreed

Woo, 8 pages of almost nothing but inference rules! I love math. Confidence in this particular proof is at an all-time high, but I still owe it to myself to really check that the typing invariants hold up deep in its guts.

This is not the idea from last night; that turned out not to work. This one is a new idea that occurred to me this morning, but the seeds of it have been around in my notes for a few days now, now that I look at them. Somehow I knew that I preferred to get these "answer" data structures in a certain form (with all the case statements on earlier worlds on the outside) but I had been reluctant to just up and define a normalization procedure that put them in that form. Maybe I didn't think it would be feasible --- but I think I've done it now. It constitutes pages three and particuarly four of the write-up.
Tags: math, work
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 

  • 10 comments