Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: dbush <dbush.mobile@gmail.com>
Newsgroups: comp.theory
Subject: Re: Every sufficiently competent C programmer knows --- Semantic
 Property of Finite String
Date: Wed, 12 Mar 2025 22:49:31 -0400
Organization: A noiseless patient Spider
Lines: 28
Message-ID: <vqth3r$2t2hb$3@dont-email.me>
References: <vqntaq$1jut5$1@dont-email.me> <vqp388$1tvqa$1@dont-email.me>
 <vqpdv9$202b2$2@dont-email.me> <vqperb$20c9k$2@dont-email.me>
 <E6mcnWv3nMa66036nZ2dnZfqnPWdnZ2d@brightview.co.uk>
 <vqs2n8$2knng$1@dont-email.me>
 <5429f6c8b8a8a79e06b4aeefe677cc54a2a636bf@i2pn2.org>
 <vqt9jp$2spcd$6@dont-email.me> <vqtag4$2t2hb$2@dont-email.me>
 <vqtgl0$2u7fo$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 13 Mar 2025 03:49:31 +0100 (CET)
Injection-Info: dont-email.me; posting-host="bfda177ea2e5d824256b51a2c43e6950";
	logging-data="3050027"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/SqZKd9wv2NcauAO85chQ9"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:/uzwVJuoKVtND2rUUOpmZULBDKc=
Content-Language: en-US
In-Reply-To: <vqtgl0$2u7fo$1@dont-email.me>
Bytes: 2184

On 3/12/2025 10:41 PM, olcott wrote:
> On 3/12/2025 7:56 PM, dbush wrote:
>> On 3/12/2025 8:41 PM, olcott wrote:>>
>>>
>>> NOT WHEN IT IS STIPULATED THAT THE BEHAVIOR BEING
>>> MEASURED IS 
>>
>>
>> The direct execution of DDD 
> 
> is proven to be different than the behavior of DDD
> emulated by HHH according to the semantics of the
> x86 language.
> 

Which is not what a solution to the halting problem is stipulated to 
compute:


Given any algorithm (i.e. a fixed immutable sequence of instructions) X 
described as <X> with input Y:

A solution to the halting problem is an algorithm H that computes the 
following mapping:

(<X>,Y) maps to 1 if and only if X(Y) halts when executed directly
(<X>,Y) maps to 0 if and only if X(Y) does not halt when executed directly