Path: ...!news.mixmin.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: DDD correctly emulated by HHH is correctly rejected as
 non-halting.
Date: Fri, 12 Jul 2024 08:28:15 -0500
Organization: A noiseless patient Spider
Lines: 47
Message-ID: <v6rb1f$30qtt$9@dont-email.me>
References: <v6m7si$1uq86$2@dont-email.me> <v6ntmh$2bd9a$1@dont-email.me>
 <v6oomc$2fuva$3@dont-email.me> <v6qpcu$2uo3m$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 15:28:15 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a53340e46817c86b736359d5ee28d54a";
	logging-data="3173309"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19MXVaqTv9ttL1hvM0FtgCq"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:ZQsfjJyhwjCvEa+pCP8XMhdUzlc=
In-Reply-To: <v6qpcu$2uo3m$1@dont-email.me>
Content-Language: en-US
Bytes: 2624

On 7/12/2024 3:27 AM, Mikko wrote:
> On 2024-07-11 14:02:52 +0000, olcott said:
> 
>> On 7/11/2024 1:22 AM, Mikko wrote:
>>> On 2024-07-10 15:03:46 +0000, olcott said:
>>>
>>>> typedef void (*ptr)();
>>>> int HHH(ptr P);
>>>>
>>>> void DDD()
>>>> {
>>>>    HHH(DDD);
>>>> }
>>>>
>>>> int main()
>>>> {
>>>>    HHH(DDD);
>>>> }
>>>>
>>>> We stipulate that the only measure of a correct emulation
>>>> is the semantics of the x86 programming language. By this
>>>> measure when 1 to ∞ steps of DDD are correctly emulated by
>>>> each pure function x86 emulator HHH (of the infinite set
>>>> of every HHH that can possibly exist) then DDD cannot
>>>> possibly reach past its own machine address of 0000216b
>>>> and halt.
>>>
>>> For every instruction that the C compiler generates the x86 language
>>> specifies an unambiguous meaning, leaving no room for "can".
>>>
>>
>> then DDD cannot possibly reach past its own machine
>> address of 0000216b and halt.
> 
> As I already said, there is not room for "can". That means there is
> no room for "cannot", either. The x86 semantics of the unshown code
> determines unambigously what happens.
> 

Of an infinite set behavior X exists for at least one element
or behavior X does not exist for at least one element.
Of the infinite set of HHH/DDD pairs zero DDD elements halt.

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