Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: John Smith <news2@immibis.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: How Partial Simulations correctly determine non-halting ---Mike
 Terry Error
Date: Wed, 5 Jun 2024 03:20:37 +0200
Organization: A noiseless patient Spider
Lines: 10
Message-ID: <v3oeh5$jthg$2@dont-email.me>
References: <v3j20v$3gm10$2@dont-email.me>
 <J_CdnTaA96jxpcD7nZ2dnZfqnPudnZ2d@brightview.co.uk>
 <87h6eamkgf.fsf@bsb.me.uk> <v3kcdj$3stk9$1@dont-email.me>
 <v3l7uo$13cp$8@dont-email.me> <v3lcat$228t$3@dont-email.me>
 <v3mq9j$chc3$1@dont-email.me> <v3mrli$chc4$1@dont-email.me>
 <_gWdnbwuZPJP2sL7nZ2dnZfqn_GdnZ2d@brightview.co.uk>
 <v3nkqr$h7f9$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 05 Jun 2024 03:20:38 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="83860e4324238056892f5ef29ec401be";
	logging-data="652848"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/Tz084dYSaSzTtBNMia+8f"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:47fBSy2yv/dqJapwn+r1me2kV5Y=
Content-Language: en-US
In-Reply-To: <v3nkqr$h7f9$3@dont-email.me>
Bytes: 1638

On 4/06/24 20:02, olcott wrote:
> Those words are dead obviously correct about how a partial simulation
> does correctly determine the halt status of this function:
> 
> void Infinite_Recursion2(u32 N)
> {
>      H(Infinite_Recursion2, (ptr)N);
> }

Does Infinite_Recursion2 halt?