ChatGPT agrees that D correctly simulated by H meets the halt status cr
From
olcott@21:1/5 to
All on Mon Jan 30 15:20:34 2023
XPost: comp.theory, sci.logic, sci.math
This result can be replicated, it is the entire dialogue.
olcott:
void D(void (*x)())
{
int Halt_Status = H(x, x);
if (Halt_Status)
HERE: goto HERE;
return;
}
int main()
{
H(D,D);
}
H continues to simulate D until D reaches its return instruction.
Does D correctly simulated by H continue to call H in recursive
simulation if H never aborts its simulation of H?
ChatGPT:
Yes, if H never aborts its simulation of H, then the recursive
simulation of D by H would continue indefinitely.
--
Copyright 2023 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)