Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC

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; Genius
hits a target no one else can see." Arthur Schopenhauer