Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--

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