Liste des Groupes | Revenir à theory |
On 7/17/2024 9:32 AM, Fred. Zwarts wrote:Yes, that is exactly why DDD halts.Op 17.jul.2024 om 16:20 schreef olcott:That is all the dishonest dodge of the strawman deception.On 7/17/2024 8:54 AM, Fred. Zwarts wrote:It is self evident that a program that aborts will halt.Op 17.jul.2024 om 15:27 schreef olcott:>But only on the effect of a correct simulation.
HHH is not allowed to report on the behavior of it actual self in
its own directly executed process. HHH is allowed to report on the
effect of the behavior of the simulation of itself simulating DDD.
The semantics of the x86 code of a halting program is also
self-evident: it halts.
So, the aborting HHH, when simulated correctly, stops.
Dreaming of a HHH that does not abort is irrelevant.
HHH is required to halt by its design spec.
Les messages affichés proviennent d'usenet.