Jason (jcreed) wrote,

More classical logic in ATP. Tom7 and I discussed it some over lunch. Trying to come up with proof terms for it in a natural way is hard, but I have been trying as an exercise. I expect someone has already.

Trying to find a piano this afternoon was tough. Went to a talk about computer poker playing, so by the time it was over it was after 5, so the zebra lounge was closed, and there was some guy in CFA110. Found a really nice piano in margaret morrison, but then people wanted to use that room. Finally gave up and tried to use the keyboards in the MTC, but they suck and there was some guy in there that kept bouncing his knee and I hate that.

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded