Re: DD simulated by HHH cannot possibly halt (Halting Problem)

On 05/04/2025 16:59, olcott wrote:
<snip>

 *Simulating termination analyzer Principle*
It is always correct for any simulating termination
analyzer to stop simulating and reject any input that
would otherwise prevent its own termination.

Translating that into English, then:
It is always correct for the termination analyser to bail out early and thus fail to determine whether the input would halt of its own accord. That is, the termination analyser is allowed to guess, and its guess is blessed by Mr Olcott. Well, that's all right then.
You twist and turn like a twisty-turny thing, but every wriggle takes you further away from The Halting Problem and closer and closer to the far less interesting Olcott Halting Problem.
--
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within