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

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

On 2/25/2025 12:07 PM, joes wrote:

Am Tue, 25 Feb 2025 12:01:12 -0600 schrieb 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.

 

This depends entirely on HHH not aborting *in every invocation*.
>

 Whether HHH aborts or never aborts DD simulated by
HHH never terminates normally.

Showing the inability of HHH to reach the end of a halting program. This failure of HHH is in no way evidence for non-termination behaviour of DD.