Liste des Groupes | Revenir à theory |
On 12/03/2025 02:33, dbush wrote:DD simulated by HHH cannot possibly haltOn 3/11/2025 10:33 PM, olcott wrote:<snip>
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...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?
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.
Les messages affichés proviennent d'usenet.