Sujet : Re: Every sufficiently competent C programmer knows --- Very Stupid Mistake and Liars
De : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.theoryDate : 12. Mar 2025, 04:49:51
Autres entêtes
Organisation : Fix this later
Message-ID : <vqr08v$2e4bo$3@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12
User-Agent : Mozilla Thunderbird
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.
-- Richard HeathfieldEmail: rjh at cpax dot org dot uk"Usenet is a strange place" - dmr 29 July 1999Sig line 4 vacant - apply within