Jason (jcreed) wrote,


I think I actually proved a few substantial lemmas in LF+i
now. Good, good.
It looks as if I might actually get in on a paper about this.
Should read over the revised Canonical Forms et alia paper.
Also Frank gave me something by Gougen that does things
semantically --- I don't really understand it very well yet.
Honestly, I think I would feel better about a syntactic
proof of `structural' things like functionality, and I'm
fairly optimistic about them going through without adding
too much to the system that might fuck up adequacy of algorithmic
equality. Then again, maybe my intuition for these things
isn't very well-fueled by experience...

  • (no subject)

    Didn't sleep well. Long day of work. Dinner with akiva at hanamichi.

  • (no subject)

    K was going to do a thing for her dad's birthday, but scheduling kept slipping and slipping so I guess we're going to try doing it tomorrow instead.

  • (no subject)

    Had a pleasant lunch with paul and gabe back from working-at-facebook times. Discussed the important issues of the day, by which I mean video games…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded