3 ms·
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.
by dmurray 1y ago
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.
- bubblyworld 1y agoRight, yeah that makes sense. But I think the author understands that very well.
- dmurray 1y agoOf 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.