Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser

On 8/21/24 2:52 PM, olcott wrote:

On 8/21/2024 1:30 PM, Fred. Zwarts wrote:

Op 21.aug.2024 om 14:30 schreef olcott:

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

>
Which is only complete if it includes all functions called by D.
Including the H that has the same behaviour as the simulating H.
>

(b) As measured by the correct partial simulation of D by H

>
Which does not really give a clue, because either a full simulation is needed, or an algorithm that detects non-halting.
>

(c) When H would never abort its simulation of F

>
No, it must predict the behaviour of the input, including the H that makes a partial simulation, not the behaviour of a hypothetical non- input that does not abort. This means to predict the behaviour of the D with the H that is called by D with the same behaviour as the simulating H. No cheating with a Root variable to give the simulated H a behaviour different from the simulating H.
>

(d) This includes H simulating itself simulating D

>
Itself, means the H with the same behaviour as the simulating H, i.e. doing a partial simulation.
>
Anything else is cheating and making a prediction for a non-input.

 You keep missing the idea that HHH does a partial
simulation of DDD to predict what would happen if
this HHH never aborted its simulation of DDD.
 >

But this hypothetical HHH is still given the DDD that calls the HHH that aborts, since that IS part of the input to HHH.
You just are showing that you don't understand the actual meaning of the words, and the rules of the system that you are talking about.