Path: ...!news.mixmin.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 22:41:24 -0600
Organization: A noiseless patient Spider
Lines: 61
Message-ID: <usgp9k$25ivo$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>
 <usgk6q$24sk4$2@dont-email.me> <usgm77$18p2b$4@i2pn2.org>
 <usgn6n$25at3$1@dont-email.me> <usgoh1$18p2c$5@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 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: <usgoh1$18p2c$5@i2pn2.org>
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 ⟨Ĥ⟩ ⟨Ĥ⟩ <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