Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: immibis <news@immibis.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: D simulated by H never halts no matter what H does V3 ---
Date: Tue, 7 May 2024 03:37:46 +0200
Organization: A noiseless patient Spider
Lines: 12
Message-ID: <v1c0la$2skfl$1@dont-email.me>
References: <uvq0sg$21m7a$1@dont-email.me> <v128nt$erc9$1@dont-email.me>
 <v12ic3$h1tj$1@dont-email.me> <v13mk5$30j8v$1@i2pn2.org>
 <v149ir$10h7m$1@dont-email.me> <v1549m$2783$1@news.muc.de>
 <v15fc9$17unh$6@dont-email.me> <v15hat$94v$1@news.muc.de>
 <v15hsc$17unh$8@dont-email.me> <v15lk0$1qp4$2@i2pn2.org>
 <v15nta$19ip0$1@dont-email.me> <v15qg3$1qp4$6@i2pn2.org>
 <v15vqo$1bfmh$1@dont-email.me> <v166fj$2oq7$1@i2pn2.org>
 <v168mo$1df60$1@dont-email.me> <v16a6g$2oq7$2@i2pn2.org>
 <v16blg$1e52t$1@dont-email.me> <v16d93$2oq8$1@i2pn2.org>
 <v16eon$1eq05$1@dont-email.me> <v16gir$2oq8$2@i2pn2.org>
 <v16hln$1f7fm$1@dont-email.me> <v16ikg$2oq7$3@i2pn2.org>
 <v16jd1$1fk82$1@dont-email.me> <v16kou$2oq8$3@i2pn2.org>
 <v16l3c$1ftgf$1@dont-email.me> <v16m1a$2oq8$4@i2pn2.org>
 <v16nfc$1gasi$1@dont-email.me> <v16s30$2oq7$4@i2pn2.org>
 <v16tp4$1l8ug$1@dont-email.me> <v17ng9$1qb0a$2@dont-email.me>
 <v1855s$1t4hn$3@dont-email.me>
 <pan$4a240$fbabce06$53cf0225$a0be898f@example.com>
 <v18c5i$1ulkl$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 07 May 2024 03:37:46 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="646fa71d26d45e9a0e5082cc18b78cf6";
	logging-data="3035637"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18dcHKu+awYTp/kvG4180Ig"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:6b2PBlV1Q7VZiOC+EkZjkG4nmEc=
Content-Language: en-US
In-Reply-To: <v18c5i$1ulkl$2@dont-email.me>
Bytes: 2351

On 5/05/24 18:29, olcott wrote:
> void Infinite_Recursion(u32 N)
> {
>    Infinite_Recursion(N);
> }
> 
> It is counter-factual that the above must be infinitely
> simulated to correctly determine that it never halts.
> 

Any program that correctly determines non-termination is not a 
simulating termination analyzer.