Question

The ________, determining if a computation halts for a given input, is a problem that cannot be solved by a computer. The Loop-Checker algorithm checking for infinite loops is one example.

Answer

This answer is hidden. It contains 14 characters.