Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: DDD correctly emulated by HHH is Correctly rejected as
 non-halting V2
Date: Wed, 17 Jul 2024 15:40:31 -0500
Organization: A noiseless patient Spider
Lines: 73
Message-ID: <v79a7v$208km$2@dont-email.me>
References: <v6rg65$32o1o$3@dont-email.me> <v6tu01$3imib$11@dont-email.me>
 <a177dd76613794d6bb877c65ffe6c587a8f31bc1@i2pn2.org>
 <v6tvpv$3imib$14@dont-email.me>
 <091e8b7baeea467ee894b1c79c8943cb9773adb7@i2pn2.org>
 <v6u346$3khl8$1@dont-email.me>
 <16ac79611a441e7e01119631051f69119eee958a@i2pn2.org>
 <v6v06i$3pivt$1@dont-email.me>
 <23cb2d2401b87bf4f6a604aa1a78b93ffc9a29bc@i2pn2.org>
 <v6v2t1$3pmjn$3@dont-email.me>
 <3fc6548531f91ed14a27420caf9679a634573ed0@i2pn2.org>
 <v70lmo$61d8$1@dont-email.me>
 <8a6e6d9ff49aabe2525ce5729a439c807de4768a@i2pn2.org>
 <v71qj3$bvm2$2@dont-email.me>
 <3d124d535f6d59565df213fa58242ee156ee96bb@i2pn2.org>
 <v7349r$mjis$1@dont-email.me> <v756vv$15rrp$1@dont-email.me>
 <v7658i$1b4io$1@dont-email.me> <v77pf4$1nn5l$1@dont-email.me>
 <v78fd7$1rc43$3@dont-email.me> <v78hbf$1rnr3$2@dont-email.me>
 <v78hp8$1rc43$11@dont-email.me>
 <e9c73a7efa3e1ac218379bf0ef742ea8c4af2313@i2pn2.org>
 <v791jo$1uusi$1@dont-email.me>
 <14faeac00a3110cad00c8a47c2653e82b4653e96@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 17 Jul 2024 22:40:32 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f64513aa3f157d417bd9d336ffe725cf";
	logging-data="2106006"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18tGO5qF47CGORiF8VjZbU7"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:fps9b07bCCsrUplpQTmFFc7xQvw=
Content-Language: en-US
In-Reply-To: <14faeac00a3110cad00c8a47c2653e82b4653e96@i2pn2.org>
Bytes: 4974

On 7/17/2024 3:29 PM, joes wrote:
> Am Wed, 17 Jul 2024 13:13:11 -0500 schrieb olcott:
>> On 7/17/2024 12:18 PM, joes wrote:
>>> Am Wed, 17 Jul 2024 08:43:04 -0500 schrieb olcott:
>>>> On 7/17/2024 8:35 AM, Fred. Zwarts wrote:
>>>>> Op 17.jul.2024 om 15:02 schreef olcott:
>>>>>> On 7/17/2024 1:48 AM, Mikko wrote:
>>>>>>> On 2024-07-16 15:57:04 +0000, olcott said:
>>>
>>>>>>>>> The trace does not show that HHH returns so there is no basis to
>>>>>>>>> think that HHH is a decider.
>>>>>>>> The trace shows the data of the executed program of HHH that does
>>>>>>>> halt.
>>>>>>> It shows some of the data, not all, and in particular, not the
>>>>>>> halting.
>>>>>> DDD emulated by HHH according to the semantic meaning of its x86
>>>>>> instructions never stop running unless aborted.
>>> Bla bla.
>>>>> You have shown that you do not understand the semantics of the x86
>>>>> language.
>>>>> HHH does abort and halt after N cycles,
>>>> That is counter-factual
>>> Then HHH is not a decider.
>>>
>>>> When we examine the infinite set of every HHH/DDD pair such that:
>>>> HHH1  One step of DDD is correctly emulated by HHH HHH2  Two steps of
>>>> DDD are correctly emulated by HHH HHH3  Three steps of DDD are
>>>> correctly emulated by HHH ...
>>>> HHH∞  The emulation of DDD by HHH never stops
>>>>
>>>> DDD emulated by any pure function HHH according to the semantic
>>>> meaning of its x86 instructions never stops running unless aborted.
>>> DDD only calls HHH, which, being a decider, halts.
>> I referred to every pure function HHH that can possibly exist.
>> In each case DDD never makes it past it fourth instruction. This means
>> that every HHH that halts is correct to reject its DDD as non-halting.
>> Not every HHH halts.

> Only the one that doesn't abort after a finite number of steps doesn't
> halt, and that one is not a decider.
> 

Sure and we are not talking about the quality of Jill's baked
cookies or HHH.

_DDD()
[00002163] 55         push ebp      ; housekeeping
[00002164] 8bec       mov ebp,esp   ; housekeeping
[00002166] 6863210000 push 00002163 ; push DDD
[0000216b] e853f4ffff call 000015c3 ; call HHH(DDD)
[00002170] 83c404     add esp,+04
[00002173] 5d         pop ebp
[00002174] c3         ret
Size in bytes:(0018) [00002174]

When we examine the infinite set of every HHH/DDD pair such that:
HHH1  One step of DDD is correctly emulated by HHH
HHH2  Two steps of DDD are correctly emulated by HHH
HHH3  Three steps of DDD are correctly emulated by HHH
....
HHH∞  The emulation of DDD by HHH never stops

No DDD reaches past its own machine address 0000216b
thus never halts.

When I say that N is some integer > 5 and you disagree
that N is an integer or say that N maybe < 5 you are
either ignorant or a liar.

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer