Jason (jcreed) wrote,

Finished the Gottverdanged logic programming homework. Turns out on one count I was being silly, and another being dumb.

Poked at some lit review for thesis. Display logic is crazy! It was invented by a guy whose office I just saw in the Cathedral the other day, Nuel Belnap. CHR is kind of sensible, but I don't know if it's applicable.

I have been rockin' an abstract spaced-out sort of loneliness lately. Dunno what to do about it. It's not so bad, really. But it's every now and again I remember that all the math and music and splines and poems and stories in the world still don't quite fill me up all the way. At their best they do come awful close, I have to admit.
Tags: homework, life, logic, 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