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.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory Subject: Re: DD specifies non-terminating behavior to HHH --- ONE POINT AT A TIME !!! Date: Sat, 22 Feb 2025 13:36:53 -0600 Organization: A noiseless patient Spider Lines: 37 Message-ID: References: <3b8a5f4be53047b2a6c03f9678d0253e137d3c40@i2pn2.org> <5cd9bc55c484f10efd7818ecadf169a11fcc58e1@i2pn2.org> <442891e4193f52206ec1b8481f5c2688de58b305@i2pn2.org> <4cbf8f8ea07805fc9994375bb1bb0b48ddf745ec@i2pn2.org> <09245fbfa2231b1f942d0885c5cd3d372bc2adbe@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sat, 22 Feb 2025 20:36:55 +0100 (CET) Injection-Info: dont-email.me; posting-host="ca8be6fe870f1363ed4107693d2e892d"; logging-data="116026"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/odtl/Rep0cLucZLGb8+Ve" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:apjdJ8O3tMvLB1xrWHEJUrmAE1s= In-Reply-To: <09245fbfa2231b1f942d0885c5cd3d372bc2adbe@i2pn2.org> X-Antivirus-Status: Clean X-Antivirus: Norton (VPS 250222-4, 2/22/2025), Outbound message Content-Language: en-US Bytes: 3710 On 2/22/2025 1:15 PM, joes wrote: > Am Sat, 22 Feb 2025 12:57:57 -0600 schrieb olcott: >> On 2/22/2025 12:17 PM, joes wrote: >>> Am Sat, 22 Feb 2025 12:07:17 -0600 schrieb olcott: >>>> On 2/22/2025 10:45 AM, joes wrote: >>>>> Am Sat, 22 Feb 2025 10:28:34 -0600 schrieb olcott: >>>>>> On 2/22/2025 3:34 AM, Fred. Zwarts wrote: >>>>>>> Op 22.feb.2025 om 00:15 schreef olcott: >>>> >>>>>> Because the code proves that HHH does simulate itself correctly it >>>>>> is not stupid for HHH to simulate itself. This was the most >>>>>> difficult aspect of creating the x86utm operating system. >>>>> No, the code proves that HHH simulates a different version that >>>>> doesn't abort. See line 1059. >>>> The code proves that it is correct. >>>> HHH does correctly recognize and terminate the infinite recursion >>>> behavior pattern. >>> No. Simulating a decider never needs to be aborted. >> You can equally assume that squares are round. > Lol. Deciders *always* terminate. > In other words a termination analyzer that is called in an actual infinite loop will terminate on its own with no action required by the termination analyzer because the infinite loop knows better than to challenge the authority of this termination analyzer? >> you never did tell me whether or not you fully understand what infinite >> recursion is. > You wouldn't believe it. > -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer