Re: Defining a correct halting decidability decider

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.