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 11:50:53 +0000
Date: Mon, 5 Aug 2024 06:50:53 -0500
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Subject: I call it a halting decidability decider
Newsgroups: comp.theory
References: <v8o47a$3ml4$1@dont-email.me> <v8q19o$iqvb$1@dont-email.me>
Content-Language: en-US
From: olcott <NoOne@NoWhere.com>
In-Reply-To: <v8q19o$iqvb$1@dont-email.me>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <g7idnfxFzNYAIS37nZ2dnZfqlJydnZ2d@giganews.com>
Lines: 44
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-7hglYxWOWW29j+2G8agS3GvJGOohaYnIhB2lx3rXHoLujMf3Oux2nBDJMltFmTRIdpqiyxJweHk+iDv!55uL51pKxDwQMcW4ev3awj58SStw+tKxnhNZOAhvVtfI7Ho5UEJzjh/gSBzqCozkqLcFDcD5BBY=
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: 2484

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

-- 
Copyright 2024 Olcott

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