Liste des Groupes | Revenir à theory |
On 6/23/2025 10:34 AM, joes wrote:Which is irrelevent, as any machine HHH that does that isn't a Halt Decider, because it isn't a decider at all.Am Mon, 23 Jun 2025 09:30:07 -0500 schrieb olcott:void DDD()On 6/23/2025 6:02 AM, Richard Damon wrote:>Such as HHH, making it not a decider (when simulated).In particular, the pattern you are trying to claim to use, is part ofIf you read the 38 pages you will see how this is incorrect. ChatGPT
the Halting Program D, DD, and DDD, so it is BY DEFINITION incorrect.
"understands" that any program that must be aborted at some point to
prevent its infinite execution is not a halting program.
>
{
HHH(DDD);
return;
}
*dead obvious to any first year computer science student*
My claim is that DDD correctly simulated by any simulating
termination analyzer HHH that can possibly exist cannot possibly
reach its own simulated "return" statement final halt state.
Les messages affichés proviennent d'usenet.