Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory,sci.logic
Subject: Re: How Partial Simulations correctly determine non-halting ---Ben's
 10/2022 analysis
Date: Fri, 7 Jun 2024 19:00:37 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v403el$39ri6$14@i2pn2.org>
References: <v3j20v$3gm10$2@dont-email.me>
 <J_CdnTaA96jxpcD7nZ2dnZfqnPudnZ2d@brightview.co.uk>
 <87h6eamkgf.fsf@bsb.me.uk> <v3kcdj$3stk9$1@dont-email.me>
 <v3l7uo$13cp$8@dont-email.me> <v3lcat$228t$3@dont-email.me>
 <v3mq9j$chc3$1@dont-email.me> <v3mrli$chc4$1@dont-email.me>
 <_gWdnbwuZPJP2sL7nZ2dnZfqn_GdnZ2d@brightview.co.uk>
 <v3nkqr$h7f9$3@dont-email.me> <v3p4ka$sk6h$1@dont-email.me>
 <v3pp7p$v133$8@dont-email.me> <v3s27e$1f9kd$1@dont-email.me>
 <v3sf1n$1gra7$11@dont-email.me> <v3sjo9$1ialb$1@dont-email.me>
 <v3skoo$1iedv$1@dont-email.me> <v3u9ej$1v7rn$1@dont-email.me>
 <v3v6i7$23l33$1@dont-email.me> <v3vse5$3ao52$5@i2pn2.org>
 <v401dt$287qb$8@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 7 Jun 2024 23:00:37 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3468870"; 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: <v401dt$287qb$8@dont-email.me>
Content-Language: en-US
Bytes: 3298
Lines: 42

On 6/7/24 6:26 PM, olcott wrote:
> On 6/7/2024 4:00 PM, joes wrote:
>> Am Fri, 07 Jun 2024 09:47:35 -0500 schrieb olcott:
>>> On 6/7/2024 1:30 AM, Mikko wrote:
>>>> On 2024-06-06 15:31:36 +0000, olcott said:
>>>>> On 6/6/2024 10:14 AM, Mikko wrote:
>>>>>> On 2024-06-06 13:53:58 +0000, olcott said:
>>>>>>> On 6/6/2024 5:15 AM, Mikko wrote:
>>>>>>>> On 2024-06-05 13:29:28 +0000, olcott said:
>>>>>>>>> On 6/5/2024 2:37 AM, Mikko wrote:
>>>>>>>>>> On 2024-06-04 18:02:03 +0000, olcott said:
>>
>>> A simulating halt decider cannot report on what the behavior of a
>>> non-terminating input actually is because this would take forever.
>> Exactly. Didn't you say it is allowed to abort?
>>
>>> H is not allowed to report on any computation containing its actual self
>>> because Turing machines can only take finite string inputs thus cannot
>>> take Turing machines as inputs.
>> Bullshit. It can take other machines just fine. It doesn't know about
>> itself.
>>
> 
> No actual Turing machine can be the input to any other actual
> Turing machine. Turing machines only take finite string inputs.

So, just like ALL problems whose input is not actually a finite string 
(of the character set used by the Turing machie) it is provided via a 
representation.

And that representation represents the amchine being decided on, and the 
"behavior" of that string is the behavior of the machine it represents.

Even if you want to try to say it can't, it must, so your can't just 
indicates your machine is doing the wrong question.

> 
>>> This means that H is not allowed to report on the behavior of the
>>> directly executed P(P).
>> So on which program does it report then?
>>
>