Path: ...!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 23:00:49 -0600
Organization: A noiseless patient Spider
Lines: 104
Message-ID: <usgqe1$25pjf$1@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>
 <usgp9k$25ivo$2@dont-email.me> <usgpue$18p2c$7@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 05:00:50 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="7bba1e21ad186023a2af4b4bf0f27e98";
	logging-data="2287215"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+WTDCBhxFXK3mUuc/L8knz"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:69eBL4rYkhqLJF9l9RzlgNnkAvw=
Content-Language: en-US
In-Reply-To: <usgpue$18p2c$7@i2pn2.org>
Bytes: 5559

On 3/8/2024 10:52 PM, Richard Damon wrote:
> On 3/8/24 8:41 PM, olcott wrote:
>> 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.
> 
> It is WRONG.
> 

A wrong answer that doesn't count.

Ĥ only proves that an otherwise correct decider
can be changed so that it functions incorrectly.

It does not show that H ⟨Ĥ⟩ ⟨Ĥ⟩ gets the wrong answer.

> DEFINITIOBN.
> 
>>
>> 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.
> 
> No, the criteria for H to be a Halt Decider is PRECISELY Defined.
> 
> IF H gives the wrong answer, ANYWHERE, if FAILS to be a Halt Decider.

What is you basis for Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ to provide some 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.
>>
> 
> But it isn't to answer "From its own point view". It is to answer 
> according to the REQUIREMENT to compute the MAPPING, which is OBJECTIVE.
> 
> You don't get to convert the OBJECTIVE standard to a SUBJECTIVE 
> standard, that is just a LIE.
> 
> They ALL must be correct, not just the top level.

Ĥ only proves that an otherwise correct decider
can be changed so that it functions incorrectly.
It does not show that H ⟨Ĥ⟩ ⟨Ĥ⟩ gets the wrong answer.

> 
> You are just proving you don't understand the definition of a COMPUTATION.
> 
> That is your downfall, you just don't know the rules of what you are 
> talking about, and think it ok to LIE about what you are doing.

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer