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.
It is incorrect to assume against the facts when DDD correctly
simulated by H0 calls a simulated H0(DDD) that this call will
return to the correctly simulated DDD.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer