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: Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05
 --partial agreement--
Date: Thu, 7 Mar 2024 11:44:38 -0600
Organization: A noiseless patient Spider
Lines: 24
Message-ID: <uscue7$15f5l$5@dont-email.me>
References: <us8shn$7g2d$1@dont-email.me> <us92f0$uvql$4@i2pn2.org>
 <us931e$8gmr$1@dont-email.me> <usa4rk$10ek4$3@i2pn2.org>
 <usa5to$gp0j$1@dont-email.me> <usa8lp$10ek5$5@i2pn2.org>
 <usa9o9$ho7b$1@dont-email.me> <usag21$118jg$1@i2pn2.org>
 <usanbu$klu7$1@dont-email.me> <usas0v$11q96$2@i2pn2.org>
 <usavq1$m7mn$1@dont-email.me> <usb01q$m897$1@dont-email.me>
 <c-GcnbJk3KPt0nT4nZ2dnZfqn_GdnZ2d@brightview.co.uk>
 <87cys6i7da.fsf@bsb.me.uk> <uscnu1$14gm6$1@dont-email.me>
 <uscqvc$1564n$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 7 Mar 2024 17:44:39 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="991a76fa9aa76d17f8f6286f1a0a882d";
	logging-data="1227957"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18ehRxSMVjS/9VypVr/OT5v"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Hxtqa7bLNZq5CkyVONOoqk4qRlQ=
Content-Language: en-US
In-Reply-To: <uscqvc$1564n$1@dont-email.me>
Bytes: 2406

On 3/7/2024 10:45 AM, immibis wrote:
> On 7/03/24 16:53, olcott wrote:
>> H(D,D) could never provide a return value consistent with the direct
>> execution of D(D)
> 
> In other words: H doesn't solve the halting problem.

According the assumption where H is required to report on
something besides the behavior that it actually sees, Olcott
H(D,D) is not a correct halt decider and Linz H is a correct
halt decider.

I have never admitted that I am wrong about H(D,D). Instead
of that I switched my frame-of-reference to the conventional
view where H(D,D) is required to report on different behavior
than it actually sees.

 From this frame of reference the fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ is wrong
makes H ⟨Ĥ⟩ ⟨Ĥ⟩ correct.

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