Re: Proof that H(D,D) meets its abort criteria

On 15/03/24 20:42, olcott wrote:

We cannot reference the behavior of what D(D) does after H(D,D)
has already aborted the simulation of its input at the point
in time before H(D,D) aborts its input as any criterion measure
for this H(D,D).

*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.
**"would never stop running unless aborted* references the behavior of what D(D) does after H(D,D) has already aborted the simulation of its input**