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

On 6/7/24 9:52 AM, olcott wrote:

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
    H can abort its simulation of P and correctly report that P
   specifies a non-halting sequence of configurations.

And the definition of "Correctly Simulated" here means simulated to the end so that the behavior matches the behavior of the actual machine.
Thus, when you changed the definition of "correctly simulated" to include partial simulation, you lost your agreement with mhim, and claiming it just shows that you are just a liar. (Honest mistake not a possiblility since you repeat the claim after repeatedly being pointed out your error, that shows a reckless disregard for the truth).

 My first paper in simulating halt deciders has all of the details
including showing the execution trace of P correctly simulated
by H proves a repeating state thus meets the above criteria:
  Begin Local Halt Decider Simulation at Machine Address:c36
  machine   stack     stack     machine    assembly
  address   address   data      code       language
  ========  ========  ========  =========  =============
[00000c36][002117ca][002117ce] 55          push ebp
[00000c37][002117ca][002117ce] 8bec        mov ebp,esp
[00000c39][002117ca][002117ce] 8b4508      mov eax,[ebp+08]
[00000c3c][002117c6][00000c36] 50          push eax       // push P
[00000c3d][002117c6][00000c36] 8b4d08      mov ecx,[ebp+08]
[00000c40][002117c2][00000c36] 51          push ecx       // push P
[00000c41][002117be][00000c46] e820fdffff  call 00000966  // call H(P,P)
 [00000c36][0025c1f2][0025c1f6] 55          push ebp
[00000c37][0025c1f2][0025c1f6] 8bec        mov ebp,esp
[00000c39][0025c1f2][0025c1f6] 8b4508      mov eax,[ebp+08]
[00000c3c][0025c1ee][00000c36] 50          push eax       // push P
[00000c3d][0025c1ee][00000c36] 8b4d08      mov ecx,[ebp+08]
[00000c40][0025c1ea][00000c36] 51          push ecx       // push P
[00000c41][0025c1e6][00000c46] e820fdffff  call 00000966  // call H(P,P)
Local Halt Decider: Infinite Recursion Detected Simulation Stopped
 *Halting problem undecidability and infinitely nested simulation*
https://www.researchgate.net/publication/351947980_Halting_problem_undecidability_and_infinitely_nested_simulation