Path: ...!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 23:09:34 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <aa5bf173458f52774c8c0e36edf96b3274b973cf@i2pn2.org>
References: <vsnchj$23nrb$2@dont-email.me>
 <1645f6b2cfe0442e89650571ed26dd65d8253691@i2pn2.org>
 <vsnert$26c94$1@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 03:12:19 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3036243"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <vsnert$26c94$1@dont-email.me>
Bytes: 2725
Lines: 41

On 4/3/25 10:06 PM, olcott wrote:
> On 4/3/2025 8:59 PM, Richard Damon wrote:
>> 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, 
> 
> In other words you're convinced that a C
> program cannot see what every C programmer sees?
> 

The problem is that you are looking at the wrong thing, because you have 
beleived your own lies. It isn't what people "see", it is what is the 
answer to the actual question.

It doesn't matter that in every version of this template that HHH won't 
emulate its input to the return, because if HHH does return a value. it 
HAD to only do a partial emulation which just doesn't define non-halting 
behavior, and in ALL of these cases, the direct execution of the input, 
as well as the actual correct emulation of the input by an emulator that 
does the right thing and not stop (and thus isn't your HHH) will reach 
that return.

Thus proving that you "logic" is based on lying with a strawman, showing 
you have straw for brains, and that you are just ignorant of the meaning 
of the terms you are using.

"Halting" is a property of the DIRECT EXECUTION of the program described 
to the decider. DOesn't matter that you think that isn't the input, 
because the description of that machine is, and thus that is what it 
needs to answer about to be correct.

All you prove is that you are just a stupid ignorant liar.