Path: ...!Xl.tags.giganews.com!local-1.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Mon, 05 Aug 2024 13:46:11 +0000
Date: Mon, 5 Aug 2024 08:46:11 -0500
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Subject: Re: I call it a halting decidability decider
Newsgroups: comp.theory
References: <v8o47a$3ml4$1@dont-email.me> <v8q19o$iqvb$1@dont-email.me>
 <g7idnfxFzNYAIS37nZ2dnZfqlJydnZ2d@giganews.com> <v8qkv3$n73l$1@dont-email.me>
Content-Language: en-US
From: olcott <NoOne@NoWhere.com>
In-Reply-To: <v8qkv3$n73l$1@dont-email.me>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <4-qdnbRw1Jw-Si37nZ2dnZfqlJwAAAAA@giganews.com>
Lines: 54
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-cYnxqtpDr7vfYVZSpgTlOvO044VX279NXs0dDJpzl6IfX50ONPoM+iH/HcQt02RWL3sSFJDwE3BdGxG!CHrW/mzfJ+TzoDRp40tdB0WhV5f+hPXey6yxSmGmlZW0qtdIFuUfZpPbaj5kECxhLyYZPwIzEKI=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
Bytes: 2887

On 8/5/2024 8:44 AM, Python wrote:
> 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.
> 
> 
> 

It refutes Rice

-- 
Copyright 2024 Olcott

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