I edited the last part; I meant that the Turing machine from my second paragraph can't do those things, though the Halting machine can.
I edited the last part; I meant that the Turing machine from my second paragraph can't do those things, though the Halting machine can.
Right, yeah that makes sense. But I think the author understands that very well.
Of course he must. But the fact that we're arguing about it (and there's another thread with the same conversation) says that at least, the intent of this part wasn't clear.