Re: DD specifies non-terminating behavior to HHH --- COMPLETE PROOF

Op 25.feb.2025 om 19:01 schreef olcott:

On 2/25/2025 10:13 AM, Mikko wrote:

Althogh the subject line has the words "COMPLETE PROOF" there is no
proof or pointer to proof below.
>

  typedef void (*ptr)();
int HHH(ptr P);
 int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}
 int main()
{
   HHH(DD);
}
 The above does specify that DD simulated by HHH
cannot possibly terminate normally by reaching its
own "return" instruction.
 

The failure of HHH to reach the final return of the halting program is in no way a proof for non-termination behaviour of DD. It is a evidence that a simulation is not a claver way to try to show halting/non-termination behaviour, because a simulator cannot possibly simulate itself correctly.