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:58:50 +0200
Organization: A noiseless patient Spider
Lines: 7
Message-ID: <v3fr1a$2tc3s$8@dont-email.me>
References: <v3501h$lpnh$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> <v3dqka$2lfup$4@i2pn2.org>
 <v3dsev$2f6ul$1@dont-email.me> <v3dtt4$2lfup$5@i2pn2.org>
 <v3dvr3$2jgjd$1@dont-email.me> <v3e0rj$2lfup$6@i2pn2.org>
 <v3e1m6$2jmc2$1@dont-email.me> <v3f09p$2n53o$1@i2pn2.org>
 <v3feqn$2rdp3$1@dont-email.me> <v3fgat$2n53n$5@i2pn2.org>
 <v3fhan$2rsbs$1@dont-email.me> <v3fi55$2n53o$6@i2pn2.org>
 <v3fiq7$2rsbs$5@dont-email.me> <v3flc5$2n53o$7@i2pn2.org>
 <v3flm8$2sm3s$1@dont-email.me> <v3fm1e$2n53n$8@i2pn2.org>
 <v3fmlc$2sogn$1@dont-email.me> <v3fncn$2n53n$9@i2pn2.org>
 <v3fo1p$2t1ac$2@dont-email.me> <v3fori$2n53o$8@i2pn2.org>
 <v3fpdf$2t7mj$2@dont-email.me> <v3fq3s$2n53n$10@i2pn2.org>
 <v3fqaf$2teib$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:58:50 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a1837118cd62700985cbfcccff128def";
	logging-data="3059836"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/TeWcpvhI0YsxWK1ZSwzSP"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:xpPMDf+aYyn+WVbTeJghZjQnLbw=
Content-Language: en-US
In-Reply-To: <v3fqaf$2teib$3@dont-email.me>
Bytes: 2315

On 1/06/24 20:46, olcott wrote:
> *Changing the subject away from this is construed as a head game*
> DD correctly simulated by pure function HH cannot possibly reach
> past its own line 03 in any finite number of steps of correct
> simulation.

after HH halts then DD reaches the next line