Jason (jcreed) wrote,

Sluggishly started classes again. Physics, blah. Went to Karl Crary's class where Evan did the standard logical relations proof of decidability of equality in LF. Karl actually wasn't there because he had gotten married very recently. Went to the logic seminar. Something about wacky second-order arithmetic theories that corresponded to certain complexity classes nicely.

  • (no subject)

    Walked around UW-madison campus yesterday. It was almost entirely deserted, peaceful, cold. The passageways between buildings were as often as…

  • (no subject)

    Today I saw a really aesthetically great scene: there was a guy shuffling along the sidewalk, and the wind picked up and the rainwater falling from…

  • (no subject)

    About ten years ago, in the beginning of the calendar year 2000, 19-year-old me took some classes including "15-312" * and "Category Theory", and…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded