Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!news.quux.org!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: HHH(DD) does correctly reject its input as non-halting ---
 VERIFIED FACT +++
Date: Wed, 18 Jun 2025 21:39:50 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <8bebf0f88bc0004fe8cf0f4ad2785d0aac46112e@i2pn2.org>
References: <102erpt$2ohps$5@dont-email.me> <102gvs0$3d4cf$1@dont-email.me>
 <102hhhn$3gqbm$5@dont-email.me> <102jeak$3avu$1@dont-email.me>
 <102ju18$793t$1@dont-email.me> <102lvvr$pur7$1@dont-email.me>
 <102mj1v$uef9$1@dont-email.me> <102os41$1irbu$1@dont-email.me>
 <102prmp$1r1h4$2@dont-email.me>
 <08ab24ddbb4dd0f733da4431edf4baa1e078e1ce@i2pn2.org>
 <102s0jv$2fbfl$1@dont-email.me>
 <502d82b8112e9ad975fc7b537d6694af24139b55@i2pn2.org>
 <102ukor$369b2$7@dont-email.me>
 <417116f09bed783b8b99ab1cdac713d208e27026@i2pn2.org>
 <102uo83$37e9c$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 19 Jun 2025 01:45:25 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1097894"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <102uo83$37e9c$4@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US

On 6/18/25 12:07 PM, olcott wrote:
> On 6/18/2025 11:02 AM, joes wrote:
>> Am Wed, 18 Jun 2025 10:08:11 -0500 schrieb olcott:
>>> On 6/17/2025 8:33 PM, Richard Damon wrote:
>>>> On 6/17/25 11:11 AM, olcott wrote:
>>
>>>>> When it is understood that HHH does simulate itself simulating DDD
>>>>> then any first year CS student knows that when each of the above are
>>>>> correctly simulated by HHH that none of them ever stop running unless
>>>>> aborted.
>>>> But since HHH *DOES* abort
>>> That is not given.
>> What? The code says so.
>>
> 
> The HHH that I am talking about here is the infinite
> set of every simulating termination analyzer named HHH.
> Some of them abort, some of them do not abort.
> 

But that is just a category error.

Programs are not infinte sets.

And the input to a program can not be an infinite set of programs.

Thus, you "logic" is based on LIES based on the equivocation error of a 
category error.


Sorry, you are just proving your stupidity.