Re: HHH(DDD) is correct to reject its input as non-halting --- EVIDENCE THAT I AM CORRECT

On 2025-06-22 14:51:02 +0000, olcott said:

On 6/22/2025 4:25 AM, Mikko wrote:
 void Infinite_Recursion()
{
   Infinite_Recursion();
   return;
}
 void Infinite_Loop()
{
   HERE: goto HERE;
   return;
}
 void DDD()
{
   HHH(DDD);
   return;
}
 int Sipser_D()
{
   if (HHH(Sipser_D) == 1)
     return 0;
   return 1;
}
 int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}
 My claim is that each of the above functions correctly
simulated by any termination analyzer HHH that can possibly
exist will never stop running unless aborted by HHH.
Can you affirm or correctly refute this?

No, as your claim is not clear. You have used HHH in at least
two different meanings and it is not clar what meaning is
applicable here. If you could reformulate your claim so that
its meaning is clear enough I might try.

Anyway, it was you who changed the topic and then falsely
accused someone else.

 In other words you find my latest words irrefutable
so you dodge addressing them.

Your "in other words" is an obvious lie. Do you really think anyone
stupid enough to believe that would care what we say?
--
Mikko