Deutsch English Français Italiano |
<usgk6q$24sk4$2@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!weretis.net!feeder6.news.weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <polcott2@gmail.com> 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 21:14:34 -0600 Organization: A noiseless patient Spider Lines: 36 Message-ID: <usgk6q$24sk4$2@dont-email.me> References: <usd5ot$a7f$1@reader1.panix.com> <usesk9$1lk0a$1@dont-email.me> <usfclk$1p8cg$2@dont-email.me> <MmIGN.375143$vFZa.293337@fx13.iad> <usfkcd$1rdpp$2@dont-email.me> <9YIGN.461274$c3Ea.142857@fx10.iad> <usfo8t$1s1nb$4@dont-email.me> <usfsfn$18eqv$4@i2pn2.org> <usg097$1trf3$1@dont-email.me> <usg1kc$18jtf$1@i2pn2.org> <usg3v4$1uh5a$1@dont-email.me> <usg70f$18p2b$1@i2pn2.org> <usgac0$1vlpm$1@dont-email.me> <usgddc$18p2c$1@i2pn2.org> <usgfqi$20e93$2@dont-email.me> <usgh9j$18p2b$2@i2pn2.org> <usghrh$20e93$4@dont-email.me> <usgji5$18p2c$3@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 9 Mar 2024 03:14:34 -0000 (UTC) Injection-Info: dont-email.me; posting-host="7bba1e21ad186023a2af4b4bf0f27e98"; logging-data="2257540"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19BP/TpfadXi/ufX53RjyK1" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:L6FfBsUqM0X/RyI1Bqn6Qm/fZPs= Content-Language: en-US In-Reply-To: <usgji5$18p2c$3@i2pn2.org> Bytes: 3036 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 ⟨Ĥ⟩ ⟨Ĥ⟩ <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. 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* When we hypothesize a basis such that H gets the correct answer and Ĥ.H can provide some answer then this question mark is resolved. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer