October 20th, 2002

beartato phd

(no subject)

More random thinking all day about linear logic, the decidability of MELL, petri nets, syntactic elimination of invertible connectives, etc. Earlier went to see about a couch. It was pretty ghetto, so we decided against getting it. Lunch at squill sam's, dinner from larry & carol's. Need to do laundry urgently. Feelings of confusion and dissatisfaction not really subsiding much.

Someone once told me that sex is the math drive sublimated. I enjoy cryptitudinous non-sequiturs and suffixial grammative abusion.