Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.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: Mon, 3 Jun 2024 16:17:27 -0500
Organization: A noiseless patient Spider
Lines: 42
Message-ID: <v3lbt7$228t$1@dont-email.me>
References: <v2nsvh$1rd65$2@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>
 <v3l7e5$2uji4$1@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 03 Jun 2024 23:17:28 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f629d257ac302b24ac32e99a4ff4b1b3";
	logging-data="67869"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+fKkpL7xP+CFkUsEVvdcWO"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:ov+1Q+0/9TGLsZIXJIt6ck9FC9I=
In-Reply-To: <v3l7e5$2uji4$1@i2pn2.org>
Content-Language: en-US
Bytes: 3784

On 6/3/2024 3:01 PM, joes wrote:
> 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:
> 

The way that the halting problem is conventionally understood is
that H must correctly answer yes or no to an input that contradicts
both answers.

That is the exact same incorrect question as this:
Is this sentence: "this sentence is not true" true or false?

>> 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.
> 

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer