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

On 2/25/2025 3:46 PM, olcott wrote:

On 2/25/2025 12:49 PM, dbush wrote:

On 2/25/2025 1:01 PM, olcott wrote:

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.
>
That this may be beyond your technical skill level.
is less than no rebuttal at all.
>
Ignoring the code in main() seemed dishonest.
>

>
int no_numbers_greater_than_10();
>
int F(uintptr_t p);
>
int no_numbers_greater_than_10()
{
   return F((uintptr_t)no_numbers_greater_than_10);
}
>
int main()
{
   F((uintptr_t)no_numbers_greater_than_10);
   return 0;
}
>
>
The above does specify that no_numbers_greater_than_10 simulated by F
cannot possibly terminate normally by reaching its
own "return" instruction.
>
That this may be beyond your technical skill level
is less than no rebuttal at all.

>
Finally you made something that was not wrong in several different ways.
So what is your point?
>

 So you agree that no_numbers_greater_than_10 simulated by F is non-halting?