Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?

On 6/8/24 6:04 PM, olcott wrote:

On 6/8/2024 4:50 PM, Richard Damon wrote:

On 6/8/24 5:42 PM, olcott wrote:

On 6/8/2024 4:37 PM, joes wrote:

Am Sat, 08 Jun 2024 15:15:45 -0500 schrieb olcott:

On 6/8/2024 2:59 PM, joes wrote:

Am Sat, 08 Jun 2024 13:36:04 -0500 schrieb olcott:

On 6/8/2024 1:12 PM, joes wrote:

Am Sat, 08 Jun 2024 12:10:33 -0500 schrieb olcott:

On 6/8/2024 11:03 AM, Richard Damon wrote:

On 6/8/24 11:32 AM, olcott wrote:

On 6/8/2024 10:15 AM, Richard Damon wrote:

On 6/8/24 11:07 AM, olcott wrote:

On 6/8/2024 9:54 AM, Richard Damon wrote:

On 6/8/24 10:20 AM, olcott wrote:

On 6/8/2024 9:10 AM, Richard Damon wrote:

>
What are all the other HH?

Still waiting on this.

>

A simulator that simulates something different than the real thing is
not a simulator.

DD *correctly* simulated by HH has provably different behavior than the
directly behavior of the executed DD(DD).

 >

I mean, if one of them must be wrong, it can only be the simulator.
>

>
I proved otherwise and you ignored it.
>
I am always going to stop reading at the first big mistake
so this mistake can be focused on an corrected.
>

>
So, you should have stopped reading your own writing decades ago.
>
When are you going to fix your x86utm to match your current definition of correct simulation?

 The simulated of DD is proven to be correct by the fact
that both execution traces match the x86 source-code of DD.
 

Except that the actual x86 trace never gets back there, so this is NOT a "Correct simulation" trace of the input.

Two different stacks one for HH and the other for the simulated
HH are proven by the stack address of the push operations.

But the simulation of the simulated HH is NOT part of the "correct x86 simulation" of the input.
So, INCORRECT TRACE!!!!
So nothing proved.

 New slave_stack at:10306d
Begin Local Halt Decider Simulation   Execution Trace Stored at:113075
  machine   stack     stack     machine    assembly
  address   address   data      code       language
  ========  ========  ========  =========  =============
[00001c22][00113061][00113065] 55         push ebp         ; begin DD
[00001c23][00113061][00113065] 8bec       mov ebp,esp
[00001c25][0011305d][00103031] 51         push ecx
[00001c26][0011305d][00103031] 8b4508     mov eax,[ebp+08]
[00001c29][00113059][00001c22] 50         push eax         ; push DD
[00001c2a][00113059][00001c22] 8b4d08     mov ecx,[ebp+08]
[00001c2d][00113055][00001c22] 51         push ecx         ; push DD
[00001c2e][00113051][00001c33] e80ff7ffff call 00001342    ; call HH
New slave_stack at:14da95
[00001c22][0015da89][0015da8d] 55         push ebp         ; begin DD
[00001c23][0015da89][0015da8d] 8bec       mov ebp,esp
[00001c25][0015da85][0014da59] 51         push ecx
[00001c26][0015da85][0014da59] 8b4508     mov eax,[ebp+08]
[00001c29][0015da81][00001c22] 50         push eax         ; push DD
[00001c2a][0015da81][00001c22] 8b4d08     mov ecx,[ebp+08]
[00001c2d][0015da7d][00001c22] 51         push ecx         ; push DD
[00001c2e][0015da79][00001c33] e80ff7ffff call 00001342    ; call HH
Local Halt Decider: Recursive Simulation Detected Simulation Stopped