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)

    http://badconlangingideas.tumblr.com/ is the best use of tumblr

  • (no subject)

    Oh my god, I knew that old metalleus joke about deriving moses from middletown was old, since I'd first heard of it through usenet, ferchrissakes,…

  • (no subject)

    Had another brief spurt of NLP-amateur-hour times. The topic this time was "Zipf's law" which is an empirically observed regularity that the nth…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded