Seems to me a case of people vaguely remembering long gone concepts from their university years.
The halting problem stipulates that it's impossible to have an algorithm that takes any program and decides if it halts. It doesn't say that there could be certain subclasses of programs for which such a procedure could exist.
Comments
Seems to me a case of people vaguely remembering long gone concepts from their university years.
The halting problem stipulates that it's impossible to have an algorithm that takes any program and decides if it halts. It doesn't say that there could be certain subclasses of programs for which such a procedure could exist.