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

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.
Some of my reviewers have said that they have ADD thus
have great difficulty paying attention to ALL MY WORDS.
Anyone that pays COMPLETE ATTENTON TO ALL OF THE ABOVE WORDS
and has sufficient technical skill understands that I
am correct. Most of the recent rebuttals have ignored
some of my words.

Ignoring the code in main() seemed dishonest.

--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer