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: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory,sci.logic Subject: =?UTF-8?Q?Re=3A_Working_out_the_details_of_the_steps_of_=C4=A4=2EH_?= =?UTF-8?B?4p+oxKTin6kg4p+oxKTin6kgPMSkPiDiiqIqIMSkLkhxbg==?= Date: Fri, 8 Mar 2024 22:41:24 -0600 Organization: A noiseless patient Spider Lines: 61 Message-ID: References: <9YIGN.461274$c3Ea.142857@fx10.iad> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 9 Mar 2024 04:41:24 -0000 (UTC) Injection-Info: dont-email.me; posting-host="7bba1e21ad186023a2af4b4bf0f27e98"; logging-data="2280440"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+rQFyUQh2CoIvqynRkU6+M" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:9+0F09cVBxnFFlP7/pAriDnko/s= In-Reply-To: Content-Language: en-US Bytes: 4114 On 3/8/2024 10:28 PM, Richard Damon wrote: > On 3/8/24 8:05 PM, olcott wrote: >> On 3/8/2024 9:48 PM, Richard Damon wrote: >>> On 3/8/24 7:14 PM, olcott wrote: >>>> On 3/8/2024 9:03 PM, Richard Damon wrote: >>>>> On 3/8/24 6:34 PM, olcott wrote: >>>>>> On 3/8/2024 8:24 PM, Richard Damon wrote: >>>>>>> The Mapping describes the answer that we want for ALL possible >>>>>>> inputs. It becomes the specification of the problem. >>>>>>> >>>>>> >>>>>> You still can't understand how computing the mapping >>>>>> from all inputs to final state Ĥ.Hqn or non final state >>>>>> Ĥ.Hqy on the basis of the indirect criteria also causes >>>>>> H ⟨Ĥ⟩ ⟨Ĥ⟩ to correctly compute halting. >>>>>> >>>>> >>>>> Because your "indirect Criteria" map differs from the DEFINED >>>>> DIRECT Criteria map. >>>>> >>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts >>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn   // Ĥ applied to ⟨Ĥ⟩ does not halt >>>> >>>> The indirect criteria provides Ĥ.H the basis for >>>> which wrong answer it must return and provides >>>> H with the basis to return the correct halt status. >>> >>> And if it gives a WRONG answer, then H is just WRONG. >>> >>>> >>>> So far everyone in world the has no idea what >>>> basis Ĥ.H could use to determine its wrong answer. >>>> *They leave it wide open with a question mark* >>> >>> But it needs to get the RIGHT answer to be correct. >> >> *Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> must have some basis for its wrong answer* >> *Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> must have some basis for its wrong answer* >> *Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> must have some basis for its wrong answer* >> >> > > But if it is the wrong answer, it is wrong. > > Why don't you understand that? > It is only wrong for the input and not the external decider. The criteria is very very special in the the same criteria that lets the input derive some answer lets the external decider derive the correct answer. When each H determines the halt status of its input from its own point of view then the external one corresponds to the actual behavior of the input when it is directly executed. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer