Re: Why does Olcott care about simulation, anyway?

Op 03.jun.2024 om 02:16 schreef immibis:

The halting problem says you can't find a Turing machine that tells whether executing each other Turing machine will halt. Simulation has nothing to do with the question.

Maybe because by using simulation he can shift the attention from the pathological part of the Linz proof, to another halting problem, namely that a simulating decider does not halt because it causes infinite recursion.
His own claim that D does not reach the pathological part (after line 03), displays already that the simulation is unable to process the pathological part. But the simulation introduces a new halting problem (recursive simulation), which he thinks is an answer for the original halting problem.