Path: ...!feeds.phibee-telecom.net!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: HHH maps its input to the behavior specified by it --- never reaches
 its halt state
Date: Thu, 8 Aug 2024 13:45:00 -0500
Organization: A noiseless patient Spider
Lines: 95
Message-ID: <v933nc$5r7u$3@dont-email.me>
References: <v8jh7m$30k55$1@dont-email.me> <v8kp6s$3c5h2$2@dont-email.me>
 <v8ld1f$3f6vr$5@dont-email.me> <v8n9vm$3ume2$1@dont-email.me>
 <v8nsmt$1n09$5@dont-email.me> <v8q05j$ik30$1@dont-email.me>
 <c-WdnSXh_5bNdC37nZ2dnZfqlJwAAAAA@giganews.com>
 <v8v7fs$29ovd$1@dont-email.me> <v8vtle$32fso$13@dont-email.me>
 <v91ttk$3r3ua$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 08 Aug 2024 20:45:01 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="7c97dfd2b0fa781dfb9291aeaceb4463";
	logging-data="191742"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18qgyrTvwemKTlZilrykYSI"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:UfvC8pfiIGz97r1qzxWESv78wl0=
In-Reply-To: <v91ttk$3r3ua$1@dont-email.me>
Content-Language: en-US
Bytes: 4310

On 8/8/2024 2:59 AM, Mikko wrote:
> On 2024-08-07 13:43:09 +0000, olcott said:
> 
>> On 8/7/2024 2:24 AM, Mikko wrote:
>>> On 2024-08-05 15:01:36 +0000, olcott said:
>>>
>>>> On 8/5/2024 2:49 AM, Mikko wrote:
>>>>> On 2024-08-04 12:37:49 +0000, olcott said:
>>>>>
>>>>>> On 8/4/2024 2:18 AM, Mikko wrote:
>>>>>>> On 2024-08-03 13:58:07 +0000, olcott said:
>>>>>>>
>>>>>>>> On 8/3/2024 3:19 AM, Mikko wrote:
>>>>>>>>> On 2024-08-02 20:57:26 +0000, olcott said:
>>>>>>>>>
>>>>>>>>>> Who here is too stupid to know that DDD correctly simulated
>>>>>>>>>> by HHH cannot possibly reach its own return instruction?
>>>>>>>>>>
>>>>>>>>>> void DDD()
>>>>>>>>>> {
>>>>>>>>>>    HHH(DDD);
>>>>>>>>>>    return;
>>>>>>>>>> }
>>>>>>>>>
>>>>>>>>> Everyone here understands that that depends on whther HHH returns.
>>>>>>>>
>>>>>>>> Fred's understanding is worse than that.
>>>>>>>
>>>>>>> You don't know whether that is true.
>>>>>>>
>>>>>>>> Some have deeper understanding than that.
>>>>>>>>
>>>>>>>> *Ben has the best understanding of all*
>>>>>>>
>>>>>>> In particular better than you.
>>>>>>>
>>>>>>
>>>>>> *Ben has a deeper agreement with me than anyone else*
>>>>>
>>>>> Doesn't matter. Points of disagreement, both deep and shallow, are
>>>>> more important than points of agreement.
>>>>
>>>> Not at all.
>>>> Most of the reviewers simply don't have a clue that they
>>>> don't have a clue. The error is entirely on their side.
>>>
>>> Your reviewers don't need a clue. You need. But you don't have.
>>> And you don't know you don't have so you don't seek. As you
>>> don't seek you will never get.
>>>
>>
>> void DDD()
>> {
>>    HHH(DDD);
>>    return;
>> }
>>
>> Any expert in the C language that knows what x86 emulators
>> are knows that DDD correctly emulated by HHH specifies what
>> is essentially equivalent to infinite recursion.
> 
> No, that requires knowing what does or at least whther it
> ever returns. Knowledge of what x86 emulators are does not
> help.
> 

x86 machine code is a 100% exact and concrete specification.
C is a little more vague and hides the details.

typedef void (*ptr)();
int HHH(ptr P); // simulating termination analyzer

void DDD()
{
   HHH(DDD);
   return;
}

Each HHH of every HHH that can possibly exist definitely
emulates zero to infinity instructions of DDD correctly.
Every expert in the C language sees that this emulated DDD
cannot possibly reaches its own "return" instruction halt state.

Every rebuttal that anyone can possibly make is necessarily
erroneous because the above paragraph is a tautology.

HHH computes the mapping from its finite string of x86 machine
code to the actual behavior that this finite string specifies
which includes recursive emulation.



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