Re: DD simulated by HHH cannot possibly halt (Halting Problem)

On 4/5/2025 8:23 PM, Keith Thompson wrote:

Richard Heathfield <rjh@cpax.org.uk> writes:
[...]

No, it hasn't. Only if it can determine the correct halt status for
/any and every/ program will it do that... and it can't, for reasons
already explained many times in some depth.

 olcott has largely taken over comp.theory, and his posts have dominated
that newsgroup for years.
 Please stop helping him do the same to comp.lang.c.
 

int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}
I had only intended to talk about the C aspects of that
function:
That DD correctly simulated by any HHH would prevent
this HHH from terminating unless HHH stops simulating DD.
It is others that dishonestly try to change the subject
away from this pure C aspect, not me.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer