Re: Every sufficiently competent C programmer knows --- Very Stupid Mistake and Liars

On 12/03/2025 03:56, olcott wrote:

On 3/11/2025 10:49 PM, Richard Heathfield wrote:

On 12/03/2025 02:33, dbush wrote:

On 3/11/2025 10:33 PM, olcott wrote:

>
<snip>
>

Replacing the code of HHH with an unconditional simulator and subsequently running HHH(DD) cannot
possibly f-cking halt no f-cking matter what.
>

>
Obviously, so what's the next step?

>
To show that it provides the correct answer for other functions. This he has not yet done. Of course, it's not impossible to get a few right...
>
int halts(void(*p)())
{
   return 1;
}
>
will produce the right answer most of the time, but it's hardly a plausible way to overturn Turing's paper. OP's decision program has to get it right /every/ time. One failure proves that Olcott is wrong.
>

 DD simulated by HHH cannot possibly halt

It doesn't compile.

Is the counter-example input to the HP.

No, it isn't.
For a start, it doesn't compile. For another, it has yet to be shown that it has the potential (apres debug) to handle arbitrary code:
HHH(strcspn);
HHH(select);
HHH(wait);
HHH(atexit);
Your function must provide the correct answer to all of these questions, to the four example routines I've already shown, and every other program anyone cares to present to it.
Your score so far is 0/0, because it doesn't even compile.
--
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