haltsInUserLifetime?(program) killUser() return false
-
-
-
This solution has the drawback that the user never gets to observe the result. In fact, any solution must have cases in which the program should return false but the user does not survive to see this, for essentially the same reason that the halting problem is undecidable.
End of conversation
New conversation -
-
-
while (!program.done()) { user.lifespan++; }
-
This attempt would have some desirable side-effects, but, if it successfully causes those side-effects, would render the halt-before-user-dies problem equivalent to the halting problem.
-
Sounds like an equivalence worth inducing!
End of conversation
New conversation -
-
-
The result might depend on whether you run the program on a computer that executes 10^6 instructions per second or just 1 instruction per second.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
For (int i=1000; ; i--) { if (haltsBeforeUserDeath(sleep, arg=(i*31536000) ) { return i; } }
-
You may increase the resolution for more accurate results, if you want to know that.
End of conversation
New conversation -
-
-
What if the computer breaks before the user?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.