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.