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: Two dozen people were simply wrong --- Try to prove otherwise ---
 pinned down
Date: Sat, 1 Jun 2024 20:54:52 +0200
Organization: A noiseless patient Spider
Lines: 8
Message-ID: <v3fqps$2tc3s$6@dont-email.me>
References: <v3501h$lpnh$1@dont-email.me> <v38eq4$2foi0$1@i2pn2.org>
 <v38fe0$1bndb$1@dont-email.me> <v38g31$2foi0$11@i2pn2.org>
 <v38gi5$1bndb$3@dont-email.me> <v38ici$2fohv$2@i2pn2.org>
 <v38j17$1c8ir$2@dont-email.me> <v38jgo$2foi0$14@i2pn2.org>
 <v38jv9$1c8ir$4@dont-email.me> <v39agi$1jiql$1@dont-email.me>
 <v39v3h$1mtd9$5@dont-email.me> <v3b9kj$2im02$1@i2pn2.org>
 <v3bale$222n5$1@dont-email.me> <v3bbs2$2im01$1@i2pn2.org>
 <v3bcre$22a8n$1@dont-email.me> <v3bduk$2im01$2@i2pn2.org>
 <v3bedb$22f8h$1@dont-email.me> <v3bfbm$2im01$3@i2pn2.org>
 <v3bg39$22o6m$1@dont-email.me> <v3cbhu$2k3ld$1@i2pn2.org>
 <v3clo2$28p7n$1@dont-email.me> <v3dft1$2lfup$1@i2pn2.org>
 <v3dhob$2dio8$1@dont-email.me> <v3dk0d$2lfup$2@i2pn2.org>
 <v3dkf2$2e2po$1@dont-email.me> <v3dmnc$2lfup$3@i2pn2.org>
 <v3do66$2ejq2$1@dont-email.me> <v3enpm$2mn41$2@dont-email.me>
 <v3fe2a$2r6h9$2@dont-email.me> <v3feus$2re6f$1@dont-email.me>
 <v3fg1m$2riae$1@dont-email.me> <v3fgtb$2ro2o$1@dont-email.me>
 <v3fhrd$2rsbs$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 01 Jun 2024 20:54:52 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a1837118cd62700985cbfcccff128def";
	logging-data="3059836"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/LroPB/YizvXJqjYMjIyFW"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Iidi5nupYYqD67sFMo1FWIRlqZM=
Content-Language: en-US
In-Reply-To: <v3fhrd$2rsbs$3@dont-email.me>
Bytes: 2254

On 1/06/24 18:22, olcott wrote:
> HH correctly reports that because DD calls HH(DD,DD) in
> recursive simulation that DD never halts.
> 
> HHH(HH,DD,DD) would report that HH halts.

What happens after HH halts?