3 ms·
If I understand your comment correctly, "deciding whether a particular algorithm ..." means an arbitrary algorithm. For a specific algorithm, of course sometime
by inimino 7y ago
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.