Liste des Groupes | Revenir à theory |
On 8/21/2024 3:01 AM, Mikko wrote:Which must include *ALL* of the code of the PROGRAM D, which includes ALL the code of everything it calls, which includes H, so with your system, changing H gives a DIFFERENT input, which is not comparable in behavior to this input.On 2024-08-21 03:01:38 +0000, olcott said:<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>>>
*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.
>
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
(b) As measured by the correct partial simulation of D by HNope, by H correctly predicting, with a partial simulation of D by H if possible, if the COMPLETE simulaiton by a "hypothetical H" replacing H but not changing the input, would never halt.
(c) When H would never abort its simulation of FWhich, since that isn't the case, put you into the realm of fantasy.
(d) This includes H simulating itself simulating DRight, H must CORRECTLY predict the behavior of an UNABORTED emulation of its input, and if, and only if, it can determine that such an emulation would never halt, then it can abort its emulation.
Your words are so obviously crooked that only fool can be fooled.
>
>
Les messages affichés proviennent d'usenet.