Path: ...!feeds.phibee-telecom.net!3.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Python <python@invalid.org>
Newsgroups: comp.theory
Subject: Re: I call it a halting decidability decider
Date: Mon, 5 Aug 2024 15:44:03 +0200
Organization: CCCP
Lines: 44
Message-ID: <v8qkv3$n73l$1@dont-email.me>
References: <v8o47a$3ml4$1@dont-email.me> <v8q19o$iqvb$1@dont-email.me>
 <g7idnfxFzNYAIS37nZ2dnZfqlJydnZ2d@giganews.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 05 Aug 2024 15:44:03 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0a4113a63a60183d521f9d33c087c395";
	logging-data="760949"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/YUSpecMJ43WTKHNC4G3Ga"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:JBiYLqngzuOfEVmDL2MwVAtFXNY=
Content-Language: en-US
In-Reply-To: <g7idnfxFzNYAIS37nZ2dnZfqlJydnZ2d@giganews.com>
Bytes: 2535

Le 05/08/2024 à 13:50, olcott a écrit :
> On 8/5/2024 3:08 AM, Mikko wrote:
>> On 2024-08-04 14:46:02 +0000, olcott said:
>>
>>> When we define an input that does the opposite of whatever
>>> value that its halt decider reports there is a way for the
>>> halt decider to report correctly.
>>>
>>> int DD()
>>> {
>>>    int Halt_Status = HHH(DD);
>>>    if (Halt_Status)
>>>      HERE: goto HERE;
>>>    return Halt_Status;
>>> }
>>>
>>> int main()
>>> {
>>>    HHH(DD);
>>> }
>>>
>>> HHH returns false indicating that it cannot
>>> correctly determine that its input halts.
>>> True would mean that its input halts.
>>
>> That is called a "partial halt decider". The set of requirements is
>> a subset of the requirements for "halt decider" but still require
>> that the answer is not "halts" if the input does not halt and that
>> the answer is not "does not halt" if the input halts. The difference
>> is that a "halt decider" is required to give one of these answers
>> for every input but a "partial halt decider" is not.
>>
>> For every computation there is a partial halt decider that answers it.
>>
> 
> I call it a halting decidability decider.
> 1=input halts
> 0=input does not halt or has pathological relationship with its decider

So it is NOT an halt decider. Case closed. You've lost your time
for years, and made a lot of people lose their time too.