Path: ...!eternal-september.org!feeder3.eternal-september.org!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:09:44 +0300
Organization: -
Lines: 19
Message-ID: <vso448$2vtbd$1@dont-email.me>
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, 04 Apr 2025 10:09:44 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="92281398402b6c1bb2a3f61b0db94096";
	logging-data="3143021"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+QS/jZXakDdTk9W4g0anUB"
User-Agent: Unison/2.2
Cancel-Lock: sha1:4tcElPsFvpmjm9zBN7O9hKotQzU=
Bytes: 1375

On 2025-04-04 01:27:15 +0000, olcott said:

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

Anyone knowing the C language can see that if DDD() does not halt
it means that HHH(DDD) does not halt. The knowledge that that
means that HHH is not a decider is possible but not required.

-- 
Mikko