Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: HHH(DDD) computes the mapping from its input to HHH emulating
 itself emulating DDD --- anyone that says otherwise is a liar
Date: Tue, 19 Nov 2024 21:23:12 -0600
Organization: A noiseless patient Spider
Lines: 57
Message-ID: <vhjkn0$28t3s$2@dont-email.me>
References: <vhdd32$oq0l$1@dont-email.me> <vhf257$16a9p$1@dont-email.me>
 <vhg8qq$1duv3$1@dont-email.me> <vhho9r$1pkdu$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 20 Nov 2024 04:23:12 +0100 (CET)
Injection-Info: dont-email.me; posting-host="c2d32c6d3d5248295febefc74b2e427a";
	logging-data="2389116"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+kZglL9fVMeA36mp1o/fuk"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:p9K8EQmmQQr36xrrEiqGbeGsCf8=
X-Antivirus: Norton (VPS 241119-4, 11/19/2024), Outbound message
X-Antivirus-Status: Clean
In-Reply-To: <vhho9r$1pkdu$1@dont-email.me>
Content-Language: en-US
Bytes: 3476

On 11/19/2024 4:12 AM, Mikko wrote:
> On 2024-11-18 20:42:02 +0000, olcott said:
> 
>> On 11/18/2024 3:41 AM, Mikko wrote:
>>> The "the mapping" on the subject line is not correct. The subject line
>>> does not specify which mapping and there is no larger context that could
>>> specify that. Therefore it should be "a mapping".
>>>
>>> On 2024-11-17 18:36:17 +0000, olcott said:
>>>
>>>> void DDD()
>>>> {
>>>>    HHH(DDD);
>>>>    return;
>>>> }
>>>>
>>>> _DDD()
>>>> [00002172] 55         push ebp      ; housekeeping
>>>> [00002173] 8bec       mov ebp,esp   ; housekeeping
>>>> [00002175] 6872210000 push 00002172 ; push DDD
>>>> [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
>>>> [0000217f] 83c404     add esp,+04
>>>> [00002182] 5d         pop ebp
>>>> [00002183] c3         ret
>>>> Size in bytes:(0018) [00002183]
>>>>
>>>> DDD emulated by any encoding of HHH that emulates N
>>>> to infinity number of steps of DDD cannot possibly
>>>> reach its "return" instruction final halt state.
>>>
>>> Because it cannot reach the instructions before tha return.
>>> Because it cannot reach the instruction after the HHH call.
>>> Because it cannot reach return instruction of HHH.
>>>
>>>> This applies to every DDD emulated by any HHH no
>>>> matter the recursive depth of emulation. Thus it is
>>>> a verified fact that the input to HHH never halts.
>>>
>>> That is too vague to be regareded true or false. It is perfectly possibe
>>> to define two programs and call them DDD and HHH
>>
>> What a jackass. DDD and HHH have been fully specified
>> for many months.
> 
> They are specified in a way that makes your "every DDD" and "any DDD"
> bad (perhaps even incorrect) use of Common language.
> 

I specify the infinite sets with each element numbered
on the top of page 2 of my paper. Back in April of 2023

https://www.researchgate.net/publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D 


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