Deutsch English Français Italiano |
<a267bfdf93c6fc179d09a3f62f25003f033aaff1@i2pn2.org> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: joes <noreply@example.org> Newsgroups: comp.theory Subject: Re: DDD correctly emulated by HHH cannot possibly halt Date: Wed, 10 Jul 2024 13:27:12 -0000 (UTC) Organization: i2pn2 (i2pn.org) Message-ID: <a267bfdf93c6fc179d09a3f62f25003f033aaff1@i2pn2.org> References: <v6e7va$c4sv$1@dont-email.me> <v6g444$pdc2$1@dont-email.me> <v6go4d$sg7f$1@dont-email.me> <v6ikv5$19h6q$1@dont-email.me> <v6jguf$1ctoi$5@dont-email.me> <v6ji1d$1dpoc$1@dont-email.me> <v6jig0$1ctoi$11@dont-email.me> <v6jkib$1e3jq$1@dont-email.me> <v6jpe5$1eul0$1@dont-email.me> <v6jpqo$1e3jq$2@dont-email.me> <v6jqfg$1eul0$2@dont-email.me> <v6k6md$1h3a7$1@dont-email.me> <v6k9ef$1hicb$1@dont-email.me> <04b97cd4a405abead92368522fcf77070bb4fa55@i2pn2.org> <v6l24d$1oqjv$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Injection-Date: Wed, 10 Jul 2024 13:27:12 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="2797956"; mail-complaints-to="usenet@i2pn2.org"; posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM"; User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2) X-Spam-Checker-Version: SpamAssassin 4.0.0 Bytes: 1884 Lines: 14 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.