no, not "trivial". But, "contrived"? Not increasing the risk that I will stumble upon an undecidable problem by chance?
-
I suspect not; so it should at least be reason to think you *may* run into undecidability. You seem to disagree.
I'd say that I often have good reason to believe I won't run into the kind of construction the halting problem's proof uses
-
-
so, I'm trying to gain intuition for if there's a way for undecidability to "creep up on you"
-
I think so, but maybe not in problems you work on.
- 3 more replies
New conversation -
-
-
My intuition was similar when I first learned it. "Oh, that's all? Seems like a toy example." But it proves...
-
issues important for both theory and practice.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.