Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Every HHH(DDD) is correct to reject its input
Date: Sat, 31 May 2025 14:21:10 -0500
Organization: A noiseless patient Spider
Lines: 29
Message-ID: <101fkr6$1db6f$1@dont-email.me>
References: <bvI_P.425446$o31.351189@fx04.ams4>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 31 May 2025 21:21:10 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c9a131a468f55446a50ed4b18f7c4193";
	logging-data="1486031"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19CvtRvASkrBRya4pa7HmAl"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:38jpP7+k+WUOUATAgCU1p7Fzo/E=
In-Reply-To: <bvI_P.425446$o31.351189@fx04.ams4>
X-Antivirus-Status: Clean
Content-Language: en-US
X-Antivirus: Norton (VPS 250531-4, 5/31/2025), Outbound message

On 5/31/2025 2:11 PM, Mr Flibble wrote:
> Olcott is doing this:
> 
> int main()
> {
>     DDD(); // DDD calls HHH
> }
> 
> This is incorrect as it is a category (type) error in the form of
> conflation of the EXECUTION of DDD with the SIMULATION of DDD: to
> completely and correctly simulate/analyse DDD there must be no execution
> of DDD prior to the simulation of DDD.
> 
> Olcott should be doing this:
> 
> int main()
> {
>     HHH(DDD);
> }
> 
> /Flibble

I would have left it there except that many dozens of
reviewers have pointed out that they believe that HHH
is supposed to report on the behavior of its caller.

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