Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.com>
Newsgroups: comp.theory
Subject: Re: A simulating halt decider applied to the The Peter Linz Turing
 Machine description =?UTF-8?B?4p+oxKTin6k=?= -- key details
Date: Mon, 3 Jun 2024 20:01:09 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <v3l7e5$2uji4$1@i2pn2.org>
References: <v2nsvh$1rd65$2@dont-email.me> <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> <v3jt7u$3qf1g$1@dont-email.me>
	<v3kdbg$3stk9$4@dont-email.me> <v3kmo4$3umuf$1@dont-email.me>
	<v3l3rm$tom$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 3 Jun 2024 20:01:09 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3100228"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 3125
Lines: 29

Am Mon, 03 Jun 2024 14:00:04 -0500 schrieb olcott:
> On 6/3/2024 10:16 AM, Mikko wrote:
>> On 2024-06-03 12:36:00 +0000, olcott said:
>>> On 6/3/2024 3:01 AM, Mikko wrote:
>>>> On 2024-06-02 13:21:56 +0000, olcott said:
>>>>> On 6/2/2024 2:42 AM, Mikko wrote:
>>>>>> On 2024-06-01 19:26:55 +0000, olcott said:
>>>>>>> On 6/1/2024 1:52 PM, joes wrote:
>>>>>>>> Am Sat, 01 Jun 2024 09:37:01 -0500 schrieb olcott:
>>>>>>>>> On 6/1/2024 2:52 AM, Mikko wrote:
>>>>>>>>>> On 2024-05-31 15:35:18 +0000, olcott said:

> I am so sure that I must be right that I do not notice any actual 
mistakes.
FTFY.

> The only "mistake" that anyone ever pointed out is essentially "that's
> not the way that I memorized it".
No, your mistake is the contradictory requirements for H:

> When the behavior of DD correctly simulated by HH is not the same as the
> behavior of the directly executed DD(DD)
> they assume the simulation must be wrong even though it it an easily
> verified fact that it is correct.
That's not an assumption. That's the definition of simulation: doing
exactly the same thing as the direct execution, which may be infinite
recursion. But then H is not a decider.

-- 
joes