Path: ...!weretis.net!feeder8.news.weretis.net!newsfeed.bofh.team!paganini.bofh.team!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser
Date: Tue, 27 Aug 2024 11:09:07 +0300
Organization: To protect and to server
Message-ID: <vak1j3$2lf1p$1@paganini.bofh.team>
References: <va104l$376ed$4@dont-email.me> <cd375f68f97a737988bab8c1332b7802509ff6ea@i2pn2.org> <va13po$376ed$7@dont-email.me> <d42e5d30ea5f1c067283cb04d8a7293e2117188e@i2pn2.org> <va24hl$3cvgv$1@dont-email.me> <431deaa157cdae1cae73a1b24268a61cf8ec2c1c@i2pn2.org> <va38qh$3ia79$1@dont-email.me> <7a1c569a699e79bfa146affbbae3eac7b91cd263@i2pn2.org> <va3f7o$3ipp3$1@dont-email.me> <729cc551062c13875686d266a5453a488058e81c@i2pn2.org> <va3kac$3nd5c$1@dont-email.me> <148bf4dd91f32379a6d81a621fb7ec3fc1e00db0@i2pn2.org> <va3lai$3nd5c$2@dont-email.me> <va46sd$3pr24$1@dont-email.me> <va4mle$3s0hu$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: paganini.bofh.team; logging-data="2800697"; posting-host="ArmERdYYIOOJVi41tgCxGQ.user.paganini.bofh.team"; mail-complaints-to="usenet@bofh.team"; posting-account="9dIQLXBM7WM9KzA+yjdR4A";
User-Agent: Unison/2.2
X-Notice: Filtered by postfilter v. 0.9.3
Bytes: 3468
Lines: 48

On 2024-08-21 12:30:36 +0000, olcott said:

> On 8/21/2024 3:01 AM, Mikko wrote:
>> On 2024-08-21 03:01:38 +0000, olcott said:
>>> 
>>> *We are only talking about one single point*
>>> Professor Sipser must have understood that an HHH(DDD)
>>> that does abort is supposed predict what would happen
>>> if it never aborted.
>> 
>> Professor Sipser understood that what is not a part of the text
>> is not a part of the agreement. What H is required to predict
>> is fully determined by the words "halt decider H". The previous
>> word "simulating" refers to an implementation detail and does
>> not affect the requirements.
>> 
> 
> <MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
>      If simulating halt decider H correctly simulates its input D
>      until H correctly determines that its simulated D would never
>      stop running unless aborted then
> 
>      H can abort its simulation of D and correctly report that D
>      specifies a non-halting sequence of configurations.
> </MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
> 
> It is crucial to the requirements in that it specifies that
> H is required to predict
> (a) The behavior specified by the finite string D

From the meaning of "halt decider H" follows that the behaviour is
fully specified by the finite string D. The specified behaviour does
not change when the same finite string is given to another program
that interpretes it as a different behavour.

> (b) As measured by the correct partial simulation of D by H
> (c) When H would never abort its simulation of F
> (d) This includes H simulating itself simulating D

The counterfactual assumption that H would never aboort does not
affect the behaviour specified by the input D. How H interpretes
that input is an implementation detail but in every calse the
answer H is required to give (in order to be a halt decider as
stated in the first cirterion) must be about the behavour dpecified
by the its input D.

-- 
Mikko