Sujet : Re: DDD correctly emulated by HHH cannot possibly halt
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theoryDate : 10. Jul 2024, 14:27:12
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <a267bfdf93c6fc179d09a3f62f25003f033aaff1@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Tue, 09 Jul 2024 23:19:25 -0500 schrieb olcott:
On 7/9/2024 11:01 PM, joes wrote:
> That means that HHH doesn't return, in particular that it doesn't
> abort.
DDD correctly emulated by any pure function HHH that correctly emulates
1 to ∞ steps of DDD can't make it past the above line of code no matter
what.
That line being the call to itself -> it can't simulate itself.
*DDD NEVER HALTS*
DDD ONLY calls HHH...
-- Am Fri, 28 Jun 2024 16:52:17 -0500 schrieb olcott:Objectively I am a genius.
…