Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)

On 5/9/25 11:55 AM, olcott wrote:

On 5/9/2025 6:25 AM, Richard Damon wrote:

On 5/8/25 6:20 PM, olcott wrote:

On 5/8/2025 5:13 PM, Richard Heathfield wrote:

On 08/05/2025 22:41, olcott wrote:

What my code actually does is totally irrelevant.

>
On that, at least, we can agree.
>

>
That an HHH can be created that does correctly
determine the halt status of this input is the
whole point.
>
int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}
>

>
Except that it doesn't, as your "input", being just that function, doesn't HAVE a halting status. It only gets that once it is paired with a specific version of HHH.
>
If that HHH aborts its simulation and returns 0, then it halts, and that HHH wasn't a correct halt decider.
>
Since you claim that is what you HHH does, and that would be the DD that it is given, it is thus clear that when we fix your input to be what you intend, your claim is false.
>
That you keep making your "clearly false due to the category error in it" claim just shows your stupidity.
>
You just don't understand the basic meaning of the terms you use, because you decided it would be better to be ignorant, then to know you are wrong.

 You try to get away with changing the subject from this:
 void DDD()
{
   HHH(DDD);
   return;
}
 When 1 or more statements of DDD are correctly
simulated by HHH then this correctly simulated
DDD cannot possibly reach its own “return statement”.
 

No, I am giving you the opertunity to correct the errors in your statements.
I guess you are just so stuck in your lies that you have given up any hope of actually being able to prove anything, and are content with just leetting the whole world see you are an utter luntic and an ingornat pathological lying idiot that just doens't care what is actually true.
Your world is just a world of make-believe where you just trust that the magical Truth Fairy can make you fantasies real.
Maybe we should contact the athorities and see if you can be committed to a faciltiy as mentally unsound.