Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

If I understand your comment correctly, "deciding whether a particular algorithm ..." means an arbitrary algorithm. For a specific algorithm, of course sometimes it is possible to prove that it halts for every input. It's only undecidable if the algorithm is regarded as an input.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: