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: Mikko <mikko.levanto@iki.fi>
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: Sat, 23 Nov 2024 09:59:49 +0200
Organization: -
Lines: 95
Message-ID: <vhs21l$1kglp$1@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> <vhjkn0$28t3s$2@dont-email.me> <vhkbia$1md6$1@dont-email.me> <vhlmbv$9l59$2@dont-email.me> <vhmthl$j0ao$1@dont-email.me> <vhnjqm$mjea$2@dont-email.me> <vhpffl$13p8e$1@dont-email.me> <vhqcg0$18k1i$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 23 Nov 2024 08:59:50 +0100 (CET)
Injection-Info: dont-email.me; posting-host="52a39c4a3bd76e082266fce8696dbbef";
	logging-data="1721017"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+5IB7oxaVBa5SiFncx141T"
User-Agent: Unison/2.2
Cancel-Lock: sha1:uI/ejWnJj30bdwioJZJ77EpQ2lw=
Bytes: 5067

On 2024-11-22 16:45:52 +0000, olcott said:

> On 11/22/2024 2:30 AM, Mikko wrote:
>> On 2024-11-21 15:32:38 +0000, olcott said:
>> 
>>> On 11/21/2024 3:12 AM, Mikko wrote:
>>>> On 2024-11-20 22:03:43 +0000, olcott said:
>>>> 
>>>>> On 11/20/2024 3:53 AM, Mikko wrote:
>>>>>> On 2024-11-20 03:23:12 +0000, olcott said:
>>>>>> 
>>>>>>> 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 
>>>>>>> 
>>>>>> 
>>>>>> You have also specifed that HHH is the program in your GitHub repository.
>>>>>> 
>>>>> 
>>>>> Should I assume that you must be lying about
>>>>> this because you did not quote where I did this?
>>>> 
>>>> No, you may assume that I was confused by your lack of clarity and
>>>> in particular by your bad choice of names.
>>>> 
>>>> If you clearly state that HHH is not the function HHH that you have
>>>> in your GitHub repository then I needn't to consider the possiblity
>>>> that you just triying to deceive by equivcation.
>>>> 
>>> 
>>> HHH is one concrete example of an infinite set of instances
>>> such that DDD is emulated by HHH N times.
>> 
>> That sentence says that there is only one HHH, contradicting your
>> earlier statement that HHH is a generic term for every member of some
>> set.
>> 
> 
> You seem to be a damned liar: "infinite set of instances"

You mean you lied when you said "one concrete example"?

-- 
Mikko