Re: Obviously Olcott doesn't understand what his own words mean!

On 15/03/24 21:37, olcott wrote:

On 3/15/2024 3:24 PM, Richard Damon wrote:

Why can we not refenerence the behavior of what D(D) does after H(D,D) aborts it?
>

 It is a fact that the behavior of D(D) after it aborts
its simulation cannot be used as abort status criteria or
no H(D,D) would ever abort its simulation.
>

*MIT Professor Michael Sipser agreed this verbatim paragraph is correct*
(He has neither reviewed nor agreed to anything else in this paper)
(a) 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
(b) H can abort its simulation of D and correctly report that D specifies a non-halting sequence of configurations.