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: "Fred. Zwarts" Newsgroups: comp.theory Subject: Re: V5 --- Professor Sipser --- Execution trace of simulating termination analyzer HHH on DDD input Date: Sun, 25 Aug 2024 11:44:57 +0200 Organization: A noiseless patient Spider Lines: 52 Message-ID: References: <7a1c569a699e79bfa146affbbae3eac7b91cd263@i2pn2.org> <729cc551062c13875686d266a5453a488058e81c@i2pn2.org> <148bf4dd91f32379a6d81a621fb7ec3fc1e00db0@i2pn2.org> <5591ff08ed8f7b4bdf33813681e156b775efe0ec@i2pn2.org> <26fadbf7b8cb5f93dbe18bffeff6e959251f9892@i2pn2.org> <2c6dfb2e8cdafc17fd833599dfba3843f56a281a@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sun, 25 Aug 2024 11:44:57 +0200 (CEST) Injection-Info: dont-email.me; posting-host="75882738edf0235511636ea93e796b96"; logging-data="1942348"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/8zCxtELlrcwsvMNeKkhq1" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:Cgl+YrJUCpld+CqmI9Rbq5weN8A= Content-Language: en-GB In-Reply-To: Bytes: 4574 Op 24.aug.2024 om 22:08 schreef olcott: > On 8/24/2024 2:44 PM, Fred. Zwarts wrote: >> Op 24.aug.2024 om 15:21 schreef olcott: >>> On 8/24/2024 3:47 AM, Fred. Zwarts wrote: >>>> Op 23.aug.2024 om 23:40 schreef olcott: >>>>> On 8/23/2024 2:24 AM, joes wrote: >>>>>> Am Thu, 22 Aug 2024 12:42:59 -0500 schrieb olcott: >>>>> >>>>>> Only IF it will in fact keep repeating, which is not the case. >>>>> >>>>> Only IF it *WOULD* in fact keep repeating, *which is the case* >>>>> Only IF it *WOULD* in fact keep repeating, *which is the case* >>>>> Only IF it *WOULD* in fact keep repeating, *which is the case* >>>>> Only IF it *WOULD* in fact keep repeating, *which is the case* >>> >>>> It is the case only if you still cheat with the Root variable, which >>>> makes that HHH processes a non-input, when it is requested to >>>> predict the behaviour of the input. >>> >>> >>>      If simulating halt decider H correctly simulates its input D >>>      until H correctly determines that its simulated D would never >>>      stop running unless aborted then >>> >>>      H can abort its simulation of D and correctly report that D >>>      specifies a non-halting sequence of configurations. >>> >>> >>> The fact is that it *WOULD* in fact keep repeating, >>> thus *IT DOES* get the correct answer. >> >> The fact is that it only happens because you make it so with cheating >> with the Root variable. > > That THE DECISION IS CORRECT makes moot how the decision was made. > If HHH simply took a wild guess HHH would still be correct. > Your dream is that it the decision is correct. The fact is that the decision is incorrect. Dreams are no substitute for facts. As usual an cheating and incorrect method leads to an incorrect result. No matter how much olcott wants it to be correct, or how many times olcott repeats that it is correct, it does not change the fact that such a simulation is incorrect, because it is unable to reach the end of a halting program. Olcott's own claim that the simulated HHH does not reach its end confirms it. The trace he has shown also proves that HHH cannot reach the end of its own simulation. So, his own claims prove that it is true that HHH cannot possibly simulate itself up to the end, which makes the simulation incomplete and, therefore, incorrect. Dreams are no substitute for logic proofs.