February 10th, 2004

beartato phd

(no subject)

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.