Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)

On 5/8/2025 6:30 PM, Richard Heathfield wrote:

On 08/05/2025 23:50, olcott wrote:

On 5/8/2025 5:26 PM, Keith Thompson wrote:

 <snip>
 

No, the problem Richard was pointing out with olcott's Halt7.c is that
*it's not valid C".
>

 <snip>
 

>
void DDD()
{
   HHH(DDD);
   return;
}
>
If you are a competent C programmer

 Keith Thompson is a highly-respected and very competent C programmer.

*Then he is just who I need*

You, however, are not.
 

then you
know that DDD correctly simulated by HHH cannot
possibly each its own "return" instruction.

 Assumes facts not in evidence. Whether HHH correctly simulates DDD is disputed by a number of people.

When HHH <is> a correct simulator then DDD emulated
by HHH cannot possibly reach its own "return" instruction.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer