Path: ...!news.misty.com!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
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 20:56:07 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v3lon7$2uv04$3@i2pn2.org>
References: <v2nsvh$1rd65$2@dont-email.me> <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>
 <v3lbt7$228t$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 4 Jun 2024 00:56:07 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3111940"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <v3lbt7$228t$1@dont-email.me>
Content-Language: en-US
Bytes: 3899
Lines: 47

On 6/3/24 5:17 PM, olcott wrote:
> 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?

Nope. The difference is that the decider is created first, and then the 
question is constructed with a correct answer, that just isn't the one 
that that decider gives.

That you don't understand this diffference just shows how little you 
understand about programs.

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