Re: Defining a correct halting decidability decider

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.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer