Jason (jcreed) wrote,
Jason
jcreed

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.
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