Path: ...!news.misty.com!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
Date: Thu, 3 Apr 2025 21:59:43 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <1645f6b2cfe0442e89650571ed26dd65d8253691@i2pn2.org>
References: <vsnchj$23nrb$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 4 Apr 2025 02:00:07 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3030301"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
In-Reply-To: <vsnchj$23nrb$2@dont-email.me>
Bytes: 2410
Lines: 49

On 4/3/25 9:27 PM, olcott wrote:
> void DDD()
> {
>     HHH(DDD);
>     return;
> }
> 
> Do you really think that anyone knowing the C
> programming language is too stupid to see that
> DDD simulated by HHH cannot possibly return?

But if HHH doesn't do a complete emulation, it doesn't show that its 
input is non-halting, and if it does, it isn't the decider you claim, 
and thus it can't.

> 
> 01   int DD(int (*x)())
> 02   {
> 03     int Halt_Status = HH(x, x);
> 04     if (Halt_Status)
> 05         HERE: goto HERE;
> 06     return Halt_Status;
> 07   }
> 08
> 09   int main()
> 10   {
> 11     Output("Input_Halts = ", HH(DD,DD));
> 12   }
> 
> DD simulated by HHH has the same behavior
> as DDD simulated by HHH.

But HHH doesn't define the behavior of DDD, since it doesn't do a 
complete (and thus correct) emulation of its input.

You are just continuing to prove that you don't know what you are 
talking about, but are just a pathological liar that doesn't care if he 
is talking truth, or just lies.

> 
> CAR T infusion tomorrow.
> (drastic cancer treatment)
> 

Which might be your cause of being utterly stupid and a liar, but it 
seems your stupidity goes back quite a while.

Sorry, but all you are doing is showing how broken your logic is, being 
based on the lies you make up about the meaning of terms that are well 
definied in the field.