Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: immibis <news@immibis.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: Proof that H(D,D) meets its abort criteria
Date: Sat, 16 Mar 2024 04:12:57 +0100
Organization: A noiseless patient Spider
Lines: 17
Message-ID: <ut32nq$2n598$1@dont-email.me>
References: <ut1sgk$2buev$2@dont-email.me> <ut20uf$1vtvi$1@i2pn2.org>
 <ut21t3$2d19j$1@dont-email.me> <ut23pj$1vtvj$4@i2pn2.org>
 <ut24d0$2djbv$2@dont-email.me> <ut25q9$1vtvi$8@i2pn2.org>
 <ut26fa$2e2nj$1@dont-email.me> <ut27ed$1vtvj$15@i2pn2.org>
 <ut28ap$2e06s$11@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 16 Mar 2024 03:12:58 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="5e0b6c3f860d26df69fe64d1961cd1df";
	logging-data="2856232"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18wb+dtflg/CyuYVBWRJ63h"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:V5lWRv0H/sLDJk65x/yQrEouWlo=
In-Reply-To: <ut28ap$2e06s$11@dont-email.me>
Content-Language: en-US
Bytes: 2101

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**