Jason (jcreed) wrote,
Jason
jcreed

Today whizzed by. Machine learning was actually interesting this time. Vaguely familiar stuff, (PAC learning) but I have a better handle on it now. The homework appeared on the website at some point during class, so I started working on it and finished around 5:30. Hooray for having a laptop.

Went to D's, talked with tom7 about modal logic. I still, completely unrelated to my main research project, have this dream that there should exist a workable logic with a countable collection of box-like modalities of increasing "strength" in some sense that is the "grand unification" of classical and intuitionistic propositional logic. This being in a slightly (and perhaps not more than slightly) deeper sense than "oh, just add callcc to intuitionistic and you've got classical". Obviously I would have to figure out a way of expressing that with fewer scare-quotes, but still. The intuition is strong.
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments