Sujet : Re: Who here understands that the last paragraph is Necessarily true?
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theoryDate : 17. Jul 2024, 18:20:04
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <dd2396fe97aa508396ada8f20965ee8b86f0e673@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Wed, 17 Jul 2024 09:56:58 -0500 schrieb olcott:
On 7/17/2024 9:32 AM, Fred. Zwarts wrote:
Op 17.jul.2024 om 16:20 schreef olcott:
On 7/17/2024 8:54 AM, Fred. Zwarts wrote:
Op 17.jul.2024 om 15:27 schreef olcott:
>
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.
But only on the effect of a correct simulation.
It is self evident that a program that aborts will halt.
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.
That is all the dishonest dodge of the strawman deception.
HHH is required to halt by its design spec.
Yes, that is exactly why DDD halts.
-- Am Fri, 28 Jun 2024 16:52:17 -0500 schrieb olcott:Objectively I am a genius.