Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connectionsPath: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail From: joes Newsgroups: comp.theory Subject: Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Date: Sat, 13 Jul 2024 22:40:03 -0000 (UTC) Organization: i2pn2 (i2pn.org) Message-ID: <16ac79611a441e7e01119631051f69119eee958a@i2pn2.org> References: <97e0632d0d889d141bdc6005ce6e513c53867798@i2pn2.org> <091e8b7baeea467ee894b1c79c8943cb9773adb7@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Injection-Date: Sat, 13 Jul 2024 22:40:03 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="3138994"; 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: 2653 Lines: 27 Am Sat, 13 Jul 2024 09:31:33 -0500 schrieb olcott: > On 7/13/2024 9:21 AM, joes wrote: >> Am Sat, 13 Jul 2024 08:34:55 -0500 schrieb olcott: >>> On 7/13/2024 8:24 AM, joes wrote: >>>> Am Sat, 13 Jul 2024 08:04:01 -0500 schrieb olcott: >>>>> On 7/13/2024 7:20 AM, Fred. Zwarts wrote: >>>>>> Op 13.jul.2024 om 13:39 schreef olcott: >>>>>>> On 7/13/2024 3:15 AM, Fred. Zwarts wrote: >>>>>>>> Op 13.jul.2024 om 01:19 schreef olcott: >>>>>>>>> On 7/12/2024 5:56 PM, Richard Damon wrote: >>>>>>>>>> On 7/12/24 10:56 AM, olcott wrote: >>>>> As soon as the decider correctly determines that itself would never >>>>> halt unless is aborts the simulation of its input the decider is >>>>> required to abort this simulation. >>>> Which decider is aborting here, the simulated or the outer one? >>>> A decider always halts, so it cannot find itself non-halting. >>> The executed decider is always correct to abort the simulation of any >>> damn thing that would cause itself to never halt. >> Which is definitely not itself. Simulating a decider is guaranteed to >> halt. Same as a simulator that aborts. > It cannot abort the simulation of itself because itself is not > simulated. It certainly is, because the DDD that it simulates calls HHH. -- Am Fri, 28 Jun 2024 16:52:17 -0500 schrieb olcott: Objectively I am a genius.