Re: H(D,D) cannot even be asked about the behavior of D(D) V2

On 6/17/2024 9:13 AM, Fred. Zwarts wrote:

Op 17.jun.2024 om 15:43 schreef olcott:

>
typedef void (*ptr)();
int H0(ptr P);
>
void Infinite_Loop()
{
   HERE: goto HERE;
}
>
void Infinite_Recursion()
{
   Infinite_Recursion();
}
>
void DDD()
{
   H0(DDD);
}
>
int main()
{
   H0(Infinite_Loop);
   H0(Infinite_Recursion);
   H0(DDD);
}
>
Because people fail to understand that H0 must abort the
correct simulation of every input that would cause itself to
never terminate normally

>
That might be correct
>

and that this can be construed as  > non-halting criteria.
>

>
That is your misunderstanding. It is incorrect as non-halting criteria for the program. It is only an indication of the inability of H0 to simulate itself.
>

 Your view here is merely ignorant of the fact that deciders
must report on the behavior specified by their inputs.