Sujet : Re: 197 page execution trace of DDD correctly simulated by HHH
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theoryDate : 01. Jul 2024, 16:52:19
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v5ujbj$1na1q$2@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Mon, 01 Jul 2024 09:35:54 -0500 schrieb olcott:
On 7/1/2024 9:27 AM, Fred. Zwarts wrote:
Op 01.jul.2024 om 14:57 schreef olcott:
On 7/1/2024 3:27 AM, Fred. Zwarts wrote:
Op 30.jun.2024 om 19:25 schreef olcott:
On 6/30/2024 3:42 AM, joes wrote:
Unless the outer HHH aborts its simulation after some fixed number of
correct emulations or none of the HHH ever aborts and HHH never stops
running.
But that does not make the result of the abort correct.
Not aborting will loop infinitely.
If simulating halt decider H correctly simulates its input D until
H correctly determines that its simulated D would never stop
running unless aborted
If. D does stop running though, because the H that it calls aborts the
recursive emulation in order to be a decider.
-- Am Fri, 28 Jun 2024 16:52:17 -0500 schrieb olcott:Objectively I am a genius.
…