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,sci.logic
Subject: Re: DD correctly simulated by HH --- never stops running without
 aborting its simulation
Date: Fri, 7 Jun 2024 11:14:17 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v3v849$39ri5$8@i2pn2.org>
References: <v3svh3$1k5vr$1@dont-email.me> <v3u7bv$1uu4k$1@dont-email.me>
 <v3v3b6$22vrk$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 7 Jun 2024 15:14:17 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3468869"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <v3v3b6$22vrk$5@dont-email.me>
Content-Language: en-US
Bytes: 4393
Lines: 64

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
>