Comment on Second-Order Logic: The Controversy

Sun, 19 Apr 2015 19:12:31 GMT

When you say that every nonhalting Turing machine has some kind of loop, do you mean the kind of loop that many halting Turing machines also contain?

No, I mean precisely the fact that it doesn't halt. You can think of it as an infinitely growing recursion if that helps, but what's in question is really precisely the nonhalting behavior.

I'm going to make a Discussion post about the matter, since Luke wants me to share the whole informal shpiel on the subject.

Discuss