Jason (jcreed) wrote,

I haven't had a good five-line wrong-headed proof to a major unsolved problem in a while.
I just completed the cycle and realized my (second) stupid mistake. Realizing one stupid mistake and patching it makes it really hard to find more, I find: the little burst of satisfaction at patching the one seems to all but blind me to further faults. But I succeeded anyway. Gotta watch out for that sneaky eta-expansion. So the decidability of higher-order matching is still open; you can all sleep soundly now.

Hmm... what was the problem the last this happened? MELL provability decidability, I think.

  • (no subject)

    Hey, tiny red cube of jello, do you wanna go for a WALK?

  • (no subject)

    This snarky programming language design checklist (inspired directly by that classic snarky spam solution checklist) came out of some irc…

  • (no subject)

    groen? Is that you? If not, shouldn't it be, really?

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded