Re: DDD simulated by HHH cannot possibly halt (Halting Problem)

On 2025-04-04 02:06:52 +0000, olcott said:

On 4/3/2025 8:59 PM, Richard Damon wrote:

On 4/3/25 9:27 PM, olcott wrote:

void DDD()
{
    HHH(DDD);
    return;
}
 Do you really think that anyone knowing the C
programming language is too stupid to see that
DDD simulated by HHH cannot possibly return?

 But if HHH doesn't do a complete emulation, it doesn't show that its input is non-halting,

 In other words you're convinced that a C
program cannot see what every C programmer sees?

That indeed is how it usually is. A C program can only see what it is
programmed to see. Most programmers can see more.
--
Mikko