Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
Date: Fri, 4 Apr 2025 11:22:40 +0300
Organization: -
Lines: 26
Message-ID: <vso4sg$30n4f$1@dont-email.me>
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, 04 Apr 2025 10:22:40 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="670086d25131323072cd2a1bcb3678f0";
	logging-data="3169423"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+bC1MkKEIsSerxNiJeNHak"
User-Agent: Unison/2.2
Cancel-Lock: sha1:Ak+wbEV2oMYVzsfBrsAvMHTt4bI=

On 2025-04-04 02:06:52 +0000, olcott said:

> 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?

That indeed is how it usually is. A C program can only see what it is
programmed to see. Most programmers can see more.

-- 
Mikko