Hacker News new | ask | show | jobs
by Rhapso 723 days ago
There is 1 general way to show any given program halts. Run it on each equivalency class of input and wait!

This just might take forever.
1 comments
anon291 723 days ago
That is not a determinable way though, since when a program enters a 'loop'ing state, it's unclear if it's going to halt or not.
link
Rhapso 723 days ago
it was unclear the entire runtime. Just need to keep evaluating.
link