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

On 07/05/2025 15:56, olcott wrote:

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.

Name one sufficiently competent C programmer who is prepared to confirm their agreement.

The DD correctly simulated by HHH cannot possibly
reach its own "return" instruction.
 If you are totally clueless about programming you
won't get this.

So you say. And if (as it appears) you are totally clueless about logic, you won't get the Halting Problem proof.
Now let's look at the code.
int DD()
{
    int Halt_Status = HHH(DD);
    if (Halt_Status)
      HERE: goto HERE;
    return Halt_Status;
}
The behaviour of this code depends on the HHH function, which you don't show here.
If you care to show the /whole/ of the C code, we can talk about what the C /actually/ does, rather than what you think it does.
--
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within