Re: Defining a correct halting decidability decider

On 8/11/24 7:37 AM, olcott wrote:

On 8/11/2024 1:24 AM, Mikko wrote:

On 2024-08-10 11:03:31 +0000, olcott said:
>

>
1=halts
0=does not halt or pathological relationship to decider

>
Which does not use the stipulation and therefore does not demonstrate
its usefulńess.
>
That a computation has a pathological relationship to some decider
does not prevent another partial haltdecider from determinig whther
it halts.
>

 void DDD()
{
   HHH(DDD);
   return;
}
 A pathological relationship to this decider <is>
a non-trivial semantic property of this input.
 

Nope, because it depends on the decider as well as the input, and thus is NOT a property of JUST the input.