Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: immibis <news@immibis.com>
Newsgroups: comp.theory
Subject: =?UTF-8?Q?Re=3A_A_simulating_halt_decider_applied_to_the_The_Peter_?=
 =?UTF-8?Q?Linz_Turing_Machine_description_=E2=9F=A8=C4=A4=E2=9F=A9_--_key_d?=
 =?UTF-8?Q?etails?=
Date: Sun, 2 Jun 2024 15:29:07 +0200
Organization: A noiseless patient Spider
Lines: 7
Message-ID: <v3hs33$3bklt$1@dont-email.me>
References: <v2nsvh$1rd65$2@dont-email.me> <v329t8$3mh0$2@dont-email.me>
 <v32ait$28n58$4@i2pn2.org> <v32bvc$48pj$1@dont-email.me>
 <v32cko$2937i$1@i2pn2.org> <v32nsa$6fo3$1@dont-email.me>
 <v32tfs$29dee$1@i2pn2.org> <v331mf$84p2$1@dont-email.me>
 <v332ci$29def$2@i2pn2.org> <v33790$8u5p$1@dont-email.me>
 <v337r0$29dee$2@i2pn2.org> <v338c5$94g8$1@dont-email.me>
 <v339kr$29dee$3@i2pn2.org> <v33aj7$9f3u$1@dont-email.me>
 <v33bo5$29def$4@i2pn2.org> <v33dt7$dlnv$1@dont-email.me>
 <v33f6d$29dee$4@i2pn2.org> <v33g9j$e3ug$1@dont-email.me>
 <v33gss$29def$6@i2pn2.org> <v33hbf$e6qn$1@dont-email.me>
 <v34fg0$2bb65$2@i2pn2.org> <v36pgt$12lh7$1@dont-email.me>
 <v379la$159q4$2@dont-email.me> <v398hu$1j7to$1@dont-email.me>
 <v39ue9$1mtd9$3@dont-email.me> <v3chls$280e0$1@dont-email.me>
 <v3cqnm$29gdk$1@dont-email.me> <v3ek0l$2maau$1@dont-email.me>
 <v3fbme$2qsgd$1@dont-email.me> <v3fqkp$2o13h$7@i2pn2.org>
 <v3fsm0$2uah1$1@dont-email.me> <v3h7pv$38up4$1@dont-email.me>
 <v3hrlk$3bkv5$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 02 Jun 2024 15:29:07 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="d559bc984257af17c9f48cf87c7274f1";
	logging-data="3527357"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+99qSn6Kglz9pBdFwJiKhV"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:o0qjEh40G7wyX9Kgd7olUMyhS2U=
In-Reply-To: <v3hrlk$3bkv5$3@dont-email.me>
Content-Language: en-US
Bytes: 2366

On 2/06/24 15:21, olcott wrote:
> Linz H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ derives a different result than
> embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩.
> 
> This is because the in the latter case embedded_H must determine that

It must, or it actually does? Further writing ignored.