Jason (jcreed) wrote,

Woke up, worked on attacking the problem that Crary posed Thursday in the ConCert group meeting, came up with (I think) a solution, went to advisor meeting, went to Christian Urban's talk, went to my appointment for to talk with him one-on-one, talked a little about the nominal logic stuff and a bit about classical logic, scooted off to get dinner, came back to play Nomic with chrisamaphone, platypuslord, and some people whose lj names I don't know. The Nomic was quite fun; I think it may be the first time I've played a game in person.
Tags: nomic, twelf, work

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded