Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: immibis <news@immibis.com>
Newsgroups: comp.theory
Subject: Re: Categorically exhaustive reasoning applied to the decision to
 abort
Date: Sun, 24 Mar 2024 03:34:33 +0100
Organization: A noiseless patient Spider
Lines: 21
Message-ID: <uto3fp$8h3$1@dont-email.me>
References: <utlf69$39fl1$1@dont-email.me> <utlff5$3997r$3@dont-email.me>
 <utlgg1$2o1am$20@i2pn2.org> <utlirq$3dsl2$2@dont-email.me>
 <utmo5e$2plc2$8@i2pn2.org> <utmqu6$3msk5$1@dont-email.me>
 <utnmqm$3tjdn$1@dont-email.me> <utnoks$3ttm3$2@dont-email.me>
 <uto0b9$3vihs$2@dont-email.me> <uto2b5$3vtt8$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 24 Mar 2024 02:34:34 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="dc19b0d8e1a5b687d7f38e52c379aafd";
	logging-data="8739"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/+gCHT19H+l1h12ZLh5wPJ"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:lXkqs82lWalLykFjjZhNAU4FIKI=
In-Reply-To: <uto2b5$3vtt8$4@dont-email.me>
Content-Language: en-US
Bytes: 2035

On 24/03/24 03:15, olcott wrote:
> On 3/23/2024 8:40 PM, immibis wrote:
>> On 24/03/24 00:29, olcott wrote:
>>> On 3/23/2024 5:58 PM, immibis wrote:
>>>> On 23/03/24 16:02, olcott wrote:
>>>>> (b) H(D,D) that DOES abort its simulation is correct
>>>>>      (ABOUT THIS ABORT DECISION)
>>>>>      because it would halt and all deciders must always halt.
>>>>
>>>> To be a decider it has to give an answer.
>>>>
>>>> To be a halt decider it has to give an answer that is the same as 
>>>> whether the direct execution of its input would halt.
>>>
>>> That would entail that
>>
>> Tough shit. That is the requirement.
> 
> I proved otherwise in the parts you erased.

You proved that the requirement is not actually the requirement?