Jason (jcreed) wrote,

Got woken up this morning around 7 by the phone ringing. Someone from Panera trying to get Tom (Russo) to come in early. Having regained consciousness, I found myself thinking frantically about various mathy things. Beat my head against the MELL-decidability wall some more. I thought I saw a glimmer of hope of connecting the undecidability of reachability sets of petri nets to this binary VAS gadget I came up with, but I tried that long ago, and it's not working now, either. Thought a little about the "all the connectives" project - no concrete insights yet, but I'm feeling interested in the approach, still, despite the total lack of clue as to how I would get a negative result. Finally started sketching out Tom7's idea of a "classically true" modality on the whiteboard. I think it might actually work. If everything does work, it will be extremely clean: the rules and cut principles divide themselves neatly into classical and intuitionistic, and the modality is the sole bridge between them. Frank's claim that it's really implication that matters is corroborated by the fact assumptions of conjunctions and disjunctions can be always written with a parametrized truth-mode.

  • (no subject)

    I am 36! Didn't do much birthday-related today really. Had some breakfast with my dad in the morning before he left, and a very busy day following…

  • (no subject)

    Oh also it is my birthday, which I am sort of casually trying to ignore. I am old! Whatever.

  • (no subject)

    Had some nice Peruvian food in midtown as a kind of off-date birthday-celebrating thing with K and Sean and Arielle. Learned that they're planning to…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded