Re: Defining a correct halt decider

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.
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.