DD simulated by HHH cannot possibly halt (Halting Problem)

On 4/4/2025 10:49 PM, Richard Heathfield wrote:

On 05/04/2025 00:41, olcott wrote:

*Simulating termination analyzer Principle*
It is always correct for any simulating termination
analyzer to stop simulating and reject any input that
would otherwise prevent its own termination. The
only rebuttal to this is rejecting the notion that
deciders must always halt.

 

typedef void (*ptr)();
int HHH(ptr P);
int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}
int main()
{
   HHH(DD);
}

In other words, you operate on the principle that deciders don't have to (and indeed can't) always make a correct decision on whether an input program halts.
 

The termination analyzer HHH would be correct
to determine that it must stop simulating DD to
prevent its own non-termination. That the entire
scope of this whole post.
<snip>
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer