Re:Weakening Cycles So That Turing Can Halt
by cortesoft on Thursday May 14, 2020 @09:45PM
(#23187937)
In fairness, though, the halting problem doesn't care if you can predict if SOME programs halt... you have to predict if ALL programs halt.
[ Parent
| on HN ]
Re:Weakening Cycles So That Turing Can Halt
by groby_b on Thursday May 14, 2020 @09:49PM
(#23187965)
There's that, too. (Well, we don't have to predict anything. We have to show that halting or not is a decidable condition, and we've shown it isn't. Even if we had shown it was decidable, there still might be programs where we practically can't figure out it halts. So is the beauty of math - it gives us the gestalt of the world without caring about the world :)