This is a good time to illustrate that you can prove SOME programs can terminate. The halting problem doesn't limit you in proving that the following loop will

This is a good time to illustrate that you can prove SOME programs can terminate. The halting problem doesn't limit you in proving that the following loop will halt or not: for x in range(0,10): x = x + 1 Microsoft research even had(has?) a program that attempts to prove functions that halt and they called in the Terminator. See https://cstheory.stackexchange.com/questions/39932/practical-approaches-to-solving-whether-programs-will-halt/39933#39933 https://cstheory.stackexchange.com/questions/39932/practical...