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: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory Subject: Re: A state transition diagram proves ... GOOD PROGRESS Date: Sat, 19 Oct 2024 06:28:49 -0500 Organization: A noiseless patient Spider Lines: 54 Message-ID: References: <647fe917c6bc0cfc78083ccf927fe280acdf2f9d@i2pn2.org> <0280e32ff3acd1fff59f9637f14bf309150878b4@i2pn2.org> <00bf3eb3a01c08467b34e8d7e99ca3fa193aa531@i2pn2.org> <31fed9bd45277332bcabc040d4b21de642356f63@i2pn2.org> <2207e01c12262979e430c649025ef03f86b3b9bf@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 19 Oct 2024 13:28:50 +0200 (CEST) Injection-Info: dont-email.me; posting-host="a2f4596ff028e636d7320aa11ac5f85c"; logging-data="4058407"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+u1D7gn1n8dVvC1KRx9cwa" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:7nk1tSP9dv3C0XvjJA1iFlWE1y0= X-Antivirus: Norton (VPS 241019-2, 10/19/2024), Outbound message Content-Language: en-US In-Reply-To: <2207e01c12262979e430c649025ef03f86b3b9bf@i2pn2.org> X-Antivirus-Status: Clean Bytes: 4419 On 10/19/2024 6:21 AM, Richard Damon wrote: > On 10/19/24 6:53 AM, olcott wrote: >> On 10/19/2024 2:22 AM, joes wrote: >>> Am Fri, 18 Oct 2024 16:46:03 -0500 schrieb olcott: >>>> On 10/18/2024 4:24 PM, joes wrote: >>>>> Am Fri, 18 Oct 2024 15:18:46 -0500 schrieb olcott: >>>>>> On 10/18/2024 2:51 PM, Alan Mackenzie wrote: >>>>>>> olcott wrote: >>>>>>>> On 10/18/2024 2:10 PM, joes wrote: >>>>>>> >>>>>>>>> The existence of the check has an effect right from the start; >>>>>>>>> besides, it is true the first time it is executed. >>>>>>>> So maybe you have ADD too. You can't seem to pay attention when >>>>>>>> things are explained to you many different times several different >>>>>>>> ways. >>>>>>> What you call "explaining" is in actual fact the assertion of >>>>>>> falsehoods.  This is usually called lying. >>>>>>> The variable Root does indeed affect your program. >>>>>> *I never say that it didn't* >>>>> You said nothing at all. Productive communication would have included >>>>> an agreement and clarification. >>>>> >>>>>> The "root" variable has NO EFFECT WHAT-SO-EVER on the correctness or >>>>>> completeness of HHH emulating itself emulating DDD until this DDD >>>>>> calls HHH(DDD). >>>>> DDD does nothing else but call HHH, and Root is part of HHH, so is >>>>> simulated the first time around. >>>> It is possible that I am not communicating this clearly enough >>>> The root variable cannot possibly have have any effect what-so-ever on >>>> the correctness of HHH emulating DDD or HHH emulating itself emulating >>>> DDD until the root variable tests true. >> >>> It has the effect of not aborting the simulation. >> >> It has this effect only after every competent software >> engineer can independently verify that it is correct: >> >> Emulating termination analyzer HHH emulates its input DDD >> according to the semantics of the x86 language (including HHH >> emulating itself emulating DDD) until HHH correctly determines >> that its emulated DDD would never stop running unless aborted. > > Except that the correct determination doesn't happen in the case that > Root doesn't affect the behavior of the emulated DDD, so that impurity > does have affect. The root variable has no effect what-so-ever on the correctness of the emulation up to the point where everyone can see that HHH is correct to reject DDD. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer