What can I say: a Full Halt just didn't sound as good.
My professor (actually, he was a Sociology professor, but he taught the Assembly Language class) explained the halting problem like this:
If a program could test itself to see if it was going to run forever, then you could program it to stop. If the program could test itself and it knew that it was going to stop, you could send it into an infinite loop to keep checking.
What can I say: a Full Halt just didn't sound as good.
ReplyDeleteMy professor (actually, he was a Sociology professor, but he taught the Assembly Language class) explained the halting problem like this:
If a program could test itself to see if it was going to run forever, then you could program it to stop.
If the program could test itself and it knew that it was going to stop, you could send it into an infinite loop to keep checking.
Both of those lead to contradictions.