Path: ...!3.eu.feeder.erje.net!feeder.erje.net!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 23:10:27 -0600
Organization: A noiseless patient Spider
Lines: 100
Message-ID: <usgr03$25pjf$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>
 <usgfhh$20e93$1@dont-email.me> <usggq7$18p2c$2@i2pn2.org>
 <usgham$20e93$3@dont-email.me> <usgikc$18p2b$3@i2pn2.org>
 <usgjo6$24sk4$1@dont-email.me> <usglon$18p2c$4@i2pn2.org>
 <usgo3a$25ivo$1@dont-email.me> <usgoq8$18p2c$6@i2pn2.org>
 <usgpgn$25ivo$3@dont-email.me> <usgq8r$18p2c$8@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:10:27 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="7bba1e21ad186023a2af4b4bf0f27e98";
	logging-data="2287215"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/RgYpSWRgW1r3KnD5ggClr"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Q5ly0E5ESCBer/MKj0ey7SUt1Yg=
Content-Language: en-US
In-Reply-To: <usgq8r$18p2c$8@i2pn2.org>
Bytes: 5213

On 3/8/2024 10:58 PM, Richard Damon wrote:
> On 3/8/24 8:45 PM, olcott wrote:
>> On 3/8/2024 10:33 PM, Richard Damon wrote:
>>> On 3/8/24 8:20 PM, olcott wrote:
>>>> On 3/8/2024 9:41 PM, Richard Damon wrote:
>>>>> On 3/8/24 7:06 PM, olcott wrote:
>>>>>> Ĥ.H computes the mapping from ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> to Ĥ.Hqn
>>>>>> therefore
>>>>>> H computes the mapping from ⟨Ĥ⟩ ⟨Ĥ⟩ <H> to H.qy
>>>>>>
>>>>>> I still don't know the detailed steps of how
>>>>>> H computes the mapping from ⟨H⟩ ⟨H⟩ <H> to H.qy
>>>>>> YET WE CAN SEE THAT IT IS CORRECT
>>>>>
>>>>> No, you see that you have a set of results that makes
>>>>
>>>> Every H needs a criteria to use whether it is contradicted
>>>> or not. When it is not contradicted this same criteria
>>>> correctly decides halting for its input.
>>>>
>>>> When H is contradicted it provides a consistent way
>>>> that H can provide the wrong answer.
>>>
>>> But if you admit that it will get a wrong answer, how can you claim 
>>> it is a correct Halt Decider, which means it always gets the Right 
>>> answer.
>>>
>>
>> When the input data gets the wrong answer this allows the
>> actual decider to get the right answer.
> 
> But the algorith at H^.H IS an instanc eof the decide,r, and must get 
> the answer right.
> 
> You are just admitting to being a STUPID LIAR.


You are the one that does not understand that making changes to
a machine to so it will not work properly does make this machine
not work properly.

>>
>>> You are just admitting that you are lying about refuting the proof 
>>> that we can not make an always correct Halt Decider.
>>>
>>> You don't get to claim to be right, when the machine gives the wrong 
>>> answer.
>>>
>>>>
>>>> You already know that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ must be aborted by Ĥ.H
>>>> or it will never halt.
>>>>
>>>> When every H has the same way to say that, then when it is
>>>> contradicted it has something to say and when it is not
>>>> contradicted this is the correct halt status of its input.
>>>>
>>>
>>> No, if ANY copy of H gives the wrong answer to some input, then H is 
>>> not a Halt Decider.
>>
>> When the input data gets the wrong answer this allows the
>> actual decider to get the right answer.
> 
> And thus you admit that H is WRONG, as all copies of it are the ACTUAL 
> DECIDER.
> 

I never said anything like that. I say that Ĥ.H and you twist
this to man that I said H was wrong.

> That is the nature of a Computation.
> 
> ANY instance of the algorithm applied to its input must get the same 
> answer for the same data and to be correct must match the mapping that 
> it is supposed to derive.
> 

*Every H reports whether its input halts from its POV*

This causes contradicted instances to get the wrong answer
Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ↦ Ĥ.Hqn

This causes uncontradicted instances to get the right answer
H ⟨Ĥ⟩ ⟨Ĥ⟩ <H> ↦ H.qy

> You are just proving you don't understand the definition of the field, 
> but claim to be following them by saying you are working on the Halting 
> Problem.
> 
>>
>>>
>>> Just saying "something" when stuck, doesn't make it correct.
>>>
>>
> 

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