Hacker News new | ask | show | jobs
by j2kun 4212 days ago
Of course it does: checking for halting reduces to checking for bug-freeness. See the other comment in this thread.