Path: ...!2.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott2@gmail.com>
Newsgroups: comp.theory
Subject: Re: Categorically exhaustive reasoning applied to the decision to
 abort
Date: Sat, 23 Mar 2024 22:39:12 -0500
Organization: A noiseless patient Spider
Lines: 52
Message-ID: <uto790$4g9n$3@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>
 <uto3fp$8h3$1@dont-email.me> <uto3qm$4tt$4@dont-email.me>
 <uto4km$fq4$3@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 03:39:12 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="87125c90ee4c855e8b99058b098508ef";
	logging-data="147767"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/e/qylseoZxOvozpr6am/7"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:u8r4eHMEtAnFxPyQmR++lNjDInQ=
In-Reply-To: <uto4km$fq4$3@dont-email.me>
Content-Language: en-US
Bytes: 3398

On 3/23/2024 9:54 PM, immibis wrote:
> On 24/03/24 03:40, olcott wrote:
>> On 3/23/2024 9:34 PM, immibis wrote:
>>> 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?
>>
>> I proved that it cannot be a coherent requirement, it can still
>> be an incoherent requirement. Try and think it through for yourself.
> 
> Every program/input pair either halts some time, or never halts.
> Determining this is a coherent requirement.

That part is coherent. The many other details that are
not coherent could have never been discovered without
actually encoding them in fully operational code that
proves that some assumptions are false.

Prior to x86utm the answer to the halt status of the pathological
input was no one has any idea at all.

After the innovation of the x86utm operating system we can clearly
see that the input to H(D,D) is non-halting from the point of view of H.

*This is the part where honest and competent reviewers would agree*

How this pertains to the actual halting problem may have room for
differing opinions without error or deception.


-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer