Path: ...!news.misty.com!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: How Partial Simulations correctly determine non-halting ---Should
 I quit Richard at this point?
Date: Sat, 8 Jun 2024 18:27:22 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v42lsa$3cg3t$35@i2pn2.org>
References: <v3j20v$3gm10$2@dont-email.me> <v3nkqr$h7f9$3@dont-email.me>
 <v3p4ka$sk6h$1@dont-email.me> <v3pp7p$v133$8@dont-email.me>
 <v3s27e$1f9kd$1@dont-email.me> <v3sf1n$1gra7$11@dont-email.me>
 <v3sjo9$1ialb$1@dont-email.me> <v3skoo$1iedv$1@dont-email.me>
 <v3u9ej$1v7rn$1@dont-email.me> <v3v6i7$23l33$1@dont-email.me>
 <v3ve38$259cg$1@dont-email.me> <v3vf0b$24orn$4@dont-email.me>
 <v40u4u$2gi7t$1@dont-email.me> <v41k6l$2jqdk$8@dont-email.me>
 <v41l89$3cg3t$12@i2pn2.org> <v41nei$2kanc$8@dont-email.me>
 <v41oo8$3cg3t$22@i2pn2.org> <v41pbc$2kanc$15@dont-email.me>
 <v41raj$3cg3t$25@i2pn2.org> <v41s4e$2l7o9$2@dont-email.me>
 <v41sjf$3cg3s$8@i2pn2.org> <v41tj5$2ll6e$1@dont-email.me>
 <v41vc6$3cg3t$26@i2pn2.org> <v423a9$2m6lc$1@dont-email.me>
 <v426up$3de90$1@i2pn2.org> <v428ak$2no74$1@dont-email.me>
 <v42d6k$3de90$2@i2pn2.org> <v42e5i$2pofv$1@dont-email.me>
 <v42itv$3du6l$1@i2pn2.org> <v42j8p$2r808$2@dont-email.me>
 <v42jmv$3cg3t$33@i2pn2.org> <v42khp$2rs28$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 8 Jun 2024 22:27:22 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3555453"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <v42khp$2rs28$2@dont-email.me>
Bytes: 5618
Lines: 83

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
> 
>