Sujet : Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 25. May 2025, 16:55:42
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <100vehv$1en90$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30
User-Agent : Mozilla Thunderbird
On 5/25/2025 5:19 AM, Richard Heathfield wrote:
On 24/05/2025 17:13, olcott wrote:
No HHH can report on the behavior of its caller
From Halt7.c:
void DDD()
{
HHH(DDD);
return;
}
Since (as you say) no HHH can report on the behaviour of its caller, and since (as your code shows) DDD is HHH's caller, we deduce that HHH cannot report on DDD.
So HHH is not (according to you) a halt analyser for DDD.
I'm not sure you've left anything to discuss, have you?
HHH(DDD) does correctly reject
*ITS INPUT THUS NOT ITS CALLER*
as non-halting.
For 90 years people have gotten confused
on this issue misconstruing the computation
that HHH is contained within as exactly one
and the same thing as its own input.
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer