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

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.
Two different stacks one for HH and the other for the simulated
HH are proven by the stack address of the push operations.
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
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer