XPost: sci.logic
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.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)