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

On 4/5/2025 1:27 PM, Richard Heathfield wrote:

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.

*would otherwise prevent its own termination*
has not been accurately paraphrased.
would otherwise [actually] prevent its own
termination [as a matter of verified fact].
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer