Liste des Groupes | Revenir à theory |
Op 03.aug.2024 om 18:35 schreef olcott:>>>> ∞ instructions of DDD correctly emulated by HHH[∞] never
void DDD()reach their own "return" instruction final state.Dreaming again of HHH that does not abort? Dreams are no substitute for facts.
>
So you are saying that the infinite one does?
>
The HHH that aborts and halts, halts. A tautology.
The correct simulation of a halting program halts. A truism.So by correctly you must mean that HHH incorrectly
HHH cannot possibly simulate itself correctly.
I am happy that you were not a member of our team when we developed simulators to check the design of big detector systems.Crash dummy simulators?
We knew that a simulation is only correct if it matches the reality. But you seem to think that it is correct that a simulator does not match the reality.The reality is that DDD does call HHH(DDD) in recursive
Les messages affichés proviennent d'usenet.