Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory,sci.logic
Subject: Re: Halting Problem is wrong two different ways
Date: Wed, 5 Jun 2024 19:51:09 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v3qtld$354ia$2@i2pn2.org>
References: <v3j20v$3gm10$2@dont-email.me>
 <J_CdnTaA96jxpcD7nZ2dnZfqnPudnZ2d@brightview.co.uk>
 <87h6eamkgf.fsf@bsb.me.uk> <v3kcdj$3stk9$1@dont-email.me>
 <v3kjs9$3u7ng$1@dont-email.me> <v3l16f$5d3$4@dont-email.me>
 <v3mj84$bq2d$1@dont-email.me> <v3njiv$gatu$9@dont-email.me>
 <v3p37n$sb6j$1@dont-email.me> <v3poj0$v133$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 5 Jun 2024 23:51:09 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3314250"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <v3poj0$v133$6@dont-email.me>
Content-Language: en-US
Bytes: 2467
Lines: 31

On 6/5/24 9:18 AM, olcott wrote:

> H(D,D) cannot possibly return the halt status of D(D) because
> D calls H in recursive simulation thus forcing the behavior of
> D correctly simulated by H to be different than the behavior of
> the directly executed D(D).

So, you admit that HH can not actualy be a Halt Decider if it can not 
correctly return that halt status of the machine described by its input, 
which is the task of a halt Decide

> 
> Requiring H(D,D) to return the halt status of D(D) is exactly
> the same as requiring sum(3,4) to return the sum of 5 + 6.

Nope, because H WAS given D, and D as input, so needs to answer about D(D).

Sum(3, 4) was not given 5 and 6 as input, so shouldn't answer about 
those, but that is EXACTLY what you say H should be doing, when H is 
asked aobut H(D,D) where D calls that H, you say H shoudl actualanswer 
about D'(D') as if it was called as H(D',D') where D' is built from a 
DIFFERENT decider H', that doesn't abort.

> 
> *This unequivocally proves the behavior of DD correctly simulated by HH*
> https://liarparadox.org/DD_correctly_simulated_by_HH_is_Proven.pdf
> 
> 


Nope, you are just proving that you are nothing but a pathological liar 
with a reckless disregard for the truth.