Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Keith Thompson <Keith.S.Thompson+u@gmail.com>
Newsgroups: comp.theory,sci.logic,comp.ai.philosophy
Subject: Re: Everyone on this forum besides Keith has been a damned liar about this point
Followup-To: comp.theory
Date: Sun, 08 Jun 2025 20:31:24 -0700
Organization: None to speak of
Lines: 18
Message-ID: <87h60pioab.fsf@nosuchdomain.example.com>
References: <1025i6j$afk6$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Date: Mon, 09 Jun 2025 05:31:25 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="fb5df185bbcf6902b5de31d09f11fc59";
	logging-data="359333"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18Dr4dcTUiDhLEPoGoPCVOM"
User-Agent: Gnus/5.13 (Gnus v5.13)
Cancel-Lock: sha1:BaTnNsZE5A/JJ/YcVkHdCYn04uU=
	sha1:DMBTVVW3vWkjDO12tRbKvB2uQaw=

olcott <polcott333@gmail.com> writes:
> 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*

Do not imply that I support your claims.

-- 
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
void Void(void) { Void(); } /* The recursive call of the void */