Re: DD correctly simulated by HH --- never stops running without aborting its simulation

On 6/7/2024 12:55 AM, Mikko wrote:

On 2024-06-06 18:35:15 +0000, olcott said:
 

<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
   If simulating halt decider H correctly simulates its input D
   until H correctly determines that its simulated D would never
   stop running unless aborted then
    H can abort its simulation of D and correctly report that D
   specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words10/13/2022>

 Note that the agreement mentioned above does not imply any
agreement or diagreement about the claim on the subject line.
 

 When P correctly simulated by H meets this criteria
   If simulating halt decider H correctly simulates its input P
   until H correctly determines that its simulated P would never
   stop running unless aborted then