Does this all go back to a derivative of the halting problem? You have an abstraction, a computer must make a decision on what you might ever want to do but whi

Does this all go back to a derivative of the halting problem? You have an abstraction, a computer must make a decision on what you might ever want to do but while you may never intent for a set of conditions to occur, the computer cannot 'know' that. And the abstraction doesn't offer a way for you to specify your conditions to a more optimal manner.