Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: How could HHH report on the behavior of its caller?
Date: Fri, 16 May 2025 10:13:21 -0500
Organization: A noiseless patient Spider
Lines: 46
Message-ID: <1007kmh$3qb7l$10@dont-email.me>
References: <1003g30$2pfv4$1@dont-email.me> <10045kb$314dt$1@dont-email.me>
 <10069bk$3dmiv$7@dont-email.me>
 <f17373315d9e70fef25059088837ac369e548f90@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 16 May 2025 17:13:22 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a793c50ac46b1404361ae4f1062ef558";
	logging-data="4009205"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX184Gx4gmvW/iGYkpPqdoJ/x"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:WUYg1xkwQEf0Y3z/NZMJ4ZNYjAU=
X-Antivirus: Norton (VPS 250516-4, 5/16/2025), Outbound message
Content-Language: en-US
X-Antivirus-Status: Clean
In-Reply-To: <f17373315d9e70fef25059088837ac369e548f90@i2pn2.org>

On 5/16/2025 8:54 AM, Richard Damon wrote:
> On 5/15/25 10:53 PM, olcott wrote:
>> On 5/15/2025 2:37 AM, Mikko wrote:
>>> On 2025-05-15 01:30:08 +0000, olcott said:
>>>
>>>> void DDD()
>>>> {
>>>>    HHH(DDD);
>>>>    return;
>>>> }
>>>>
>>>> int main()
>>>> {
>>>>    DDD();
>>>> }
>>>>
>>>> If HHH cannot report on the behavior of its caller
>>>> because this is a ridiculous requirement then how
>>>> can HHH report on the direct execution of DDD()
>>>> (AKA its caller).
>>>
>>> Your HHH can use all information that Flibble's decider can. Flibble's
>>> decider can determine and report that DDD halts.
>>>
>>
>> I asked you (not Flibble) to show exactly how the requirement
>> that HHH report on the direct execution of DDD()
>> [that requires HHH to report on the behavior of its caller]
>> is not nonsense.
>>
>> I presume that you dodge because you already know that
>> it is nonsense yet want to remain disagreeable anyway.
>>
> 
> How can it be nonsense? 

int main()
{
   DDD(); // Can HHH report on the behavior of its caller?
}

<divergence from the question snipped>

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