Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: DDD specifies recursive emulation to HHH and halting to HHH1
Date: Thu, 27 Mar 2025 20:47:24 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <8a8d4ac681ff887744c6a24e9c8f2777222da16f@i2pn2.org>
References: <vrfuob$256og$1@dont-email.me> <vrq330$3dq3n$1@dont-email.me>
 <e7268e8ef47579cacb49b0533d51549a77eb0b96@i2pn2.org>
 <vrqb6f$3k9kh$2@dont-email.me>
 <3f250e699762cfe6fccc844f10eb04f32d470b6a@i2pn2.org>
 <vrrpcl$11a56$4@dont-email.me>
 <8423998561d8feee807509b0ed6335123d35a7c9@i2pn2.org>
 <vrt3gv$264jb$4@dont-email.me>
 <448c82acff6b5fc1d2aa266be92df6f778ec2c6a@i2pn2.org>
 <vru5tp$38ob9$1@dont-email.me>
 <ac61f679d7ddb39b0ceaedd7f562899d36346535@i2pn2.org>
 <vrvccp$aq8m$3@dont-email.me>
 <e166831a8e02332d64ec151f61481e2629e6e53a@i2pn2.org>
 <vrvsh4$p4vd$2@dont-email.me>
 <c93030bbd81fb313c76c256c6e54beb48b07dfdd@i2pn2.org>
 <vs1vuv$2ot1m$1@dont-email.me>
 <d2f86fad6c5823e3c098f30d331576c52263b398@i2pn2.org>
 <vs2fgn$354gv$5@dont-email.me>
 <61f821b5a18046ab36ddb6c52a003b574cf34de6@i2pn2.org>
 <vs2hnm$38lvq$1@dont-email.me>
 <9be1ff2af6bbf405565b27bc8211adf9f353e9f2@i2pn2.org>
 <vs44b6$qjc3$1@dont-email.me>
 <3ff8345ef2ddb51594c67cf7f5cbb81f696afbc5@i2pn2.org>
 <vs4per$1c1ja$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 28 Mar 2025 00:47:45 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2046502"; 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: <vs4per$1c1ja$5@dont-email.me>
Content-Language: en-US
Bytes: 4793
Lines: 63

On 3/27/25 8:11 PM, olcott wrote:
> On 3/27/2025 4:56 PM, joes wrote:
>> Am Thu, 27 Mar 2025 13:10:46 -0500 schrieb olcott:
>>> On 3/27/2025 6:02 AM, Richard Damon wrote:
>>>> On 3/26/25 11:47 PM, olcott wrote:
>>>>> On 3/26/2025 10:28 PM, Richard Damon wrote:
>>>>>> On 3/26/25 11:09 PM, olcott wrote:
>>>>>>> On 3/26/2025 8:22 PM, Richard Damon wrote:
>>
>>>>>>>> Non-Halting is that the machine won't reach its final staste even
>>>>>>>> if an unbounded number of steps are emulated. Since HHH doesn't do
>>>>>>>> that, it isn't showing non-halting.
>>>>>>> DDD emulated by any HHH will never reach its final state in an
>>>>>>> unbounded number of steps.
>>>>>> But DDD emulated by an actually correct emulator will,
>>>>> If you were not intentionally persisting in a lie you would
>>>>> acknowledge the dead obvious that DDD emulated by HHH according to the
>>>>> semantics of the x86 language cannot possibly correctly reach its
>>>>> final halt state.
> 
> _DDD()
> [00002172] 55         push ebp      ; housekeeping
> [00002173] 8bec       mov  ebp,esp  ; housekeeping
> [00002175] 6872210000 push 00002172 ; push DDD
> [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
> [0000217f] 83c404     add  esp,+04
> [00002182] 5d         pop  ebp
> [00002183] c3         ret
> Size in bytes:(0018) [00002183]
> 
>> Yes, HHH is not a correct simulator.
>>
> 
> You say that it is not a correct simulator on the basis
> of your ignorance of the x86 language that conclusively
> proves that HHH does correctly simulate the first four
> instructions of DDD and correctly simulates itself
> simulating the first four instructions of DDD.
> 

It isn't a correct simulator, because it doesn't reproduce the execution 
of the program it is simulating, but stops part way.

When we run the program, it won't stop there, but run to completion, so 
its simulation is just BY DEFINITION incorrect.

Somethng it seems is beyond your understanding.

Note, to simulate the program at all, it needs the definition of HHH. To 
be an x86 simulator, it needs all the actual code of it. Even at a 
meta-logic level, it needs an accurate description of what HHH actually 
does. That can't be that HHH accurately simulates its full program if 
HHH doesn't in fact do that, which is where you run into your problem. 
You can't ASSUME it does a correct simulation to then prove that the 
simulaiton is correct, then your logic violates your own rule that it 
needs to trace back to an actual truth-maker (and not just an assumption)

You can't stipulate it to do a correct simulation, unless then you 
follow through, which means you can't then assume that it aborts, as it 
can't.

Sorry, you are just proving your stupidity, and that you logic is based 
on FRAUD.