Path: ...!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: DDD correctly emulated by HHH is correctly rejected as
 non-halting.
Date: Thu, 11 Jul 2024 22:08:24 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <070f087452c95a7737d287d6d7b7253cfb7dfeff@i2pn2.org>
References: <v6m7si$1uq86$2@dont-email.me> <v6mhc7$20hbo$2@dont-email.me>
 <v6mhr3$20kkr$2@dont-email.me> <v6nts5$2be3m$1@dont-email.me>
 <v6op4h$2fuva$4@dont-email.me>
 <ea8aa365d662f11cf1ae48d59cf9b7dd95d8edc8@i2pn2.org>
 <v6oscm$2fuva$12@dont-email.me>
 <f971e4043ec8a046697fad1f226221516ba7c13e@i2pn2.org>
 <v6pgt9$2kc07$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 12 Jul 2024 02:08:24 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2973854"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <v6pgt9$2kc07$1@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 4330
Lines: 72

On 7/11/24 4:56 PM, olcott wrote:
> On 7/11/2024 3:19 PM, joes wrote:
>> Am Thu, 11 Jul 2024 10:05:58 -0500 schrieb olcott:
>>> On 7/11/2024 9:25 AM, joes wrote:
>>>> Am Thu, 11 Jul 2024 09:10:24 -0500 schrieb olcott:
>>>>> On 7/11/2024 1:25 AM, Mikko wrote:
>>>>>> On 2024-07-10 17:53:38 +0000, olcott said:
>>>>>>> On 7/10/2024 12:45 PM, Fred. Zwarts wrote:
>>>>>>>> Op 10.jul.2024 om 17:03 schreef olcott:
>>>>
>>>>>>>> Unneeded complexity. It is equivalent to:
>>>>>>>>          int main()
>>>>>>>>          {
>>>>>>>>            return HHH(main);
>>>>>>>>          }
>>>>>>> Every time any HHH correctly emulates DDD it calls the x86utm
>>>>>>> operating system to create a separate process context with its own
>>>>>>> memory virtual registers and stack, thus each recursively emulated
>>>>>>> DDD is a different instance.
>>>>>> However, each of those instances has the same sequence of
>>>>>> instructions that the x86 language specifies the same operational
>>>>>> meaning.
>>>>> *That is counter-factual*
>>>> Contradicting yourself? "Counterfactual" usually means "if it were
>>>> different".
>>>>
>>>>> When DDD is correctly emulated by HHH according to the semantics of
>>>>> the x86 programming language HHH must abort its emulation of DDD or
>>>>> both HHH and DDD never halt.
>>>> If the recursive call to HHH from DDD halts, the outer HHH doesn't need
>>>> to abort.
>>> Sure and when squares are round you can measure the radius of a square.
>> Do you mean that HHH doesn't halt?
>>
>>>> DDD depends totally on HHH; it halts exactly when HHH does.
>>>> Which it does, because it aborts.
>>> Halting means reaching its own last instruction and terminating
>>> normally.
>> What does HHH do after it aborts?
>>
>>>>> When DDD is correctly emulated by HHH1 according to the semantics of
>>>>> the x86 programming language HHH1 need not abort its emulation of DDD
>>>>> because HHH has already done this.
>>>> Where does HHH figure into this? It is not the simulator here.
>>>>> The behavior of DDD emulated by HHH1 is identical to the behavior of
>>>>> the directly executed DDD().
>>>> At last!
>>> HHH must abort its simulation. HHH1 does not need to do that because HHH
>>> has already done this.
>> No, HHH1 doesn't need to because DDD is just a regular program to it,
>> not constructed to be unsimulatable.
>>
>>> DDD correctly simulated by HHH has provably different behavior than DDD
>>> correctly simulated by HHH1.
> 
>> Which means that HHH is not doing the simulation correctly.
>>
> When HHH simulates DDD according to the semantics of
> the x86 language then HHH is simulating correctly.
> When people disagree with the semantics of the x86
> language THEY ARE WRONG !!!
> 
> 

And, as you have been told, that semantics INCLUDES the requirement that 
the next instruction after each instruction (by the execution sequence) 
will also be run.

SO, HHH doesn't do that, so can't be a correct simulaiion.

PERIOD.
And you claim is just shown to be a LIE.