Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Defining a correct halting decidability decider
Date: Sun, 4 Aug 2024 15:05:40 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <6ec9812649b0f4a042edd1e9a1c14b93e7b9a16b@i2pn2.org>
References: <v8o47a$3ml4$1@dont-email.me>
 <0ec454016dab6f6d6dd5580f5d0eea49569293d8@i2pn2.org>
 <v8oigl$6kik$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 4 Aug 2024 19:05:40 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1459495"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <v8oigl$6kik$1@dont-email.me>
Content-Language: en-US
Bytes: 2567
Lines: 54

On 8/4/24 2:49 PM, olcott wrote:
> On 8/4/2024 1:38 PM, Richard Damon wrote:
>> On 8/4/24 10:46 AM, olcott wrote:
>>> 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.
>>>
>>
>> But false indicates that the input does not halt, but it does.
>>
> 
> I made a mistake that I corrected on a forum that allows
> editing: *Defining a correct halting decidability decider*
> 1=input does halt
> 0=input cannot be decided to halt

And thus, not a halt decider.

Sorry, you are just showing your ignorance.

And, the problem is that a given DD *CAN* be decided about halting, just 
not by HHH, so "can not be decided" is not a correct answer. In this 
case, an HHH1(DDD) that just returns 1 would be correct since your 
HHH(DDD) returns 0. (Note, HHH1(DDD) is deciding the SAME DDD, that 
calls HHH)

By your logic, a trivially correct Halt Decider would be a decider that 
just always returns 0.


> 
>> You don't get to redefine that meaning of the answers.
>>
>> Sorry, you ar just proving you are a pathological liar that doesn't 
>> understand what truth is.
> 
>