This is not correct. It's possible to write a sound static checker for termination of a Turing complete language. There are some terminating programs on which i

This is not correct. It's possible to write a sound static checker for termination of a Turing complete language. There are some terminating programs on which it will have to say "I don't know", however.