Path: ...!3.eu.feeder.erje.net!feeder.erje.net!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: Proof that DDD specifies non-halting behavior --- point by point
Date: Wed, 14 Aug 2024 08:38:51 -0500
Organization: A noiseless patient Spider
Lines: 24
Message-ID: <v9ic1b$f16v$5@dont-email.me>
References: <v9gv4k$4sc4$1@dont-email.me> <v9hp66$ck4s$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 14 Aug 2024 15:38:52 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0b9b77ee625b8578b747fee4cc5a1452";
	logging-data="492767"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/nZj2T5Q3pYRcjMvYDynBL"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:DAhI6ex6aGLi2GPTLYajJR2Ydkk=
In-Reply-To: <v9hp66$ck4s$1@dont-email.me>
Content-Language: en-US
Bytes: 1723

On 8/14/2024 3:17 AM, Mikko wrote:
> On 2024-08-14 00:52:36 +0000, olcott said:
> 
>> void DDD()
>> {
>>    HHH(DDD);
>>    return;
>> }
> 
> In order to prove that the above specifies a non-halting behavour
> you must prove that HHH(DDD) does not terminate.
> 

That is the strawman error of reasoning.

The focus of the post was to show that DDD emulated by HHH
according to the semantics of the x86 language cannot possibly
reach its own "return" instruction.

By changing the subject you cheat.

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