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: Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05
 --partial agreement--
Date: Thu, 7 Mar 2024 20:05:47 -0600
Organization: A noiseless patient Spider
Lines: 18
Message-ID: <usdrpr$1bkg1$3@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>
 <uscl31$13k1e$3@dont-email.me> <uscsku$15f5l$1@dont-email.me>
 <usdq3b$1be15$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 8 Mar 2024 02:05:48 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="cbe692f823dc8310f00dd0aaf1f84978";
	logging-data="1430017"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+vEPqW4Os0HBlV/ZgHBcoA"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Q6mViKFeMzRO2vbNHdexWOWXQ7c=
Content-Language: en-US
In-Reply-To: <usdq3b$1be15$4@dont-email.me>
Bytes: 2014

On 3/7/2024 7:36 PM, immibis wrote:
> On 7/03/24 18:14, olcott wrote:
>> It is an easily fact that a correct and complete simulation of
>> the input to H(D,D) and the input to Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ cannot possibly halt.
> 
> It can if H(D,D) returns 0.

D simulated by H cannot possibly halt even if we simplify it to this:

void D(void (*x)())
{
   H(x, x);
}

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