Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Everyone on this forum besides Keith has been a damned liar about this point
Date: Mon, 9 Jun 2025 10:56:02 +0300
Organization: -
Lines: 26
Message-ID: <102642i$e55l$1@dont-email.me>
References: <1025i6j$afk6$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 09 Jun 2025 09:56:03 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="2e5b35b2da160284390b9171e3ad625b";
	logging-data="464053"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/wv0MzIevF8wK/gMKdRntV"
User-Agent: Unison/2.2
Cancel-Lock: sha1:oejAauTI9OC4DgADNMCmZh3GvDo=

On 2025-06-09 02:50:59 +0000, olcott said:

> void DDD()
> {
>    HHH(DDD);
>    return;
> }
> 
> The *input* to simulating termination analyzer HHH(DDD)
> specifies recursive simulation that can never reach its
> *simulated "return" instruction final halt state*
> 
> *Every rebuttal to this changes the words*

Being called a "liar" by a liar does not damn.

As is clear from the above C code, DDD() specifies what HHH specifies
for the case it is called with DDD as the only argument. In particular,
if HHH specifies a recursive for that case then so does DDD. And if
HHH specifies a recursive simulation that can never reach its final
halt state then so does DDD. And if HHH specifies a non-halting
behaviour so does DDD. Etc.

-- 
Mikko