Path: ...!weretis.net!feeder9.news.weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis
Date: Sat, 8 Jun 2024 09:42:02 +0300
Organization: -
Lines: 41
Message-ID: <v40ufq$2gjsq$1@dont-email.me>
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: 8bit
Injection-Date: Sat, 08 Jun 2024 08:42:02 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="701ca2b626bc5ff9a5c97350cec21277";
	logging-data="2641818"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+Hlip/jnveHFOxzh6PVJ0Q"
User-Agent: Unison/2.2
Cancel-Lock: sha1:tuiGHY5bxwl5r1tOnOMFIzXF25w=
Bytes: 3206

On 2024-06-07 22:26:05 +0000, olcott said:

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

Any finite string can be an input to some Turing machine.
Can you prove that a Turing machine is not a finite string?

Your own attempts of a conter-proof are not about Turing machines
but C programs. C programs are finite strings, so a C program
is a valid input to a C program (and a Turing machine, too).

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

-- 
Mikko