Re: Halting Problem: What Constitutes Pathological Input --- TOTALLY CLUELESS

Op 07.mei.2025 om 16:56 schreef olcott:

On 5/7/2025 9:22 AM, Richard Heathfield wrote:

On 07/05/2025 14:22, olcott wrote:

On 5/7/2025 1:18 AM, Richard Heathfield wrote:

>
<snip>
>

There's also an important difference between claiming that Mike's claim is counter-factual and /proving/ that his claim is counter- factual.

>
int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}

>
Yeah, you keep posting that, as if it had some kind of persuasive power.
>
It doesn't.
>

 Every sufficiently competent C program has agreed.
The DD correctly simulated by HHH cannot possibly
reach its own "return" instruction.

Yes, because they all understand that due to a bug HHH aborts prematurely, before it sees the code of Halt7.c, which specifies a conditional abort.
That a bug makes that it fails to reach the 'ret' instruction, does not show that this 'ret' instruction is unreachable.
In fact it is reachable as a verified fact, proven by direct execution and world-class simulators.
So, I would say:

 If you are totally clueless about programming you
won't get this.