Liste des Groupes | Revenir à theory |
On 8/13/2024 4:34 PM, joes wrote:Nope, YOU are the one stuck in the infinite loop trying to prove a false statement.Am Tue, 13 Aug 2024 15:43:28 -0500 schrieb olcott:*We can't move on to the next point until after you agree*On 8/13/2024 3:38 PM, joes wrote:Can you actually reply to what I said?Am Tue, 13 Aug 2024 08:30:08 -0500 schrieb olcott:HHH correctly predicts that a correct and unlimited emulation of DDDIf let run, the HHH called by DDD will abort and return.
by HHH cannot possibly reach its own "return" instruction final halt
state.
>H has never ever been required to do an unlimited emulation of aWhich it doesn't fulfill.
non-halting input. H has only ever been required to correctly predict
what the behavior of a unlimited emulation would be.
>A simulation of N instructions of DDD by HHH according to the semanticsIt's not about the individual steps, but their number. An incomplete or
of the x86 language is necessarily correct.
aborted simulation is necessarily incorrect.
>
A simulation of N instructions of DDD by HHH according to
the semantics of the x86 language is necessarily correct.
(1) Yes you agree
(2) No you want to be stuck in an infinite loop until you agree
Les messages affichés proviennent d'usenet.