The halting problem is overrated. More relevant to me is the "will this program halt at some point before I die" problem. But this problem is also intractable.
-
-
Replying to @ModelOfTheory
haltsInUserLifetime?(program) killUser() return false
1 reply 1 retweet 5 likes
Replying to @EffectOfCause
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.
3:39 PM - 25 Jan 2018
0 replies
0 retweets
3 likes
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.