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

On 4/3/2025 10:09 PM, Richard Damon wrote:

On 4/3/25 10:06 PM, olcott wrote:

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?
>

 The problem is that you are looking at the wrong thing, because you have beleived your own lies. It isn't what people "see", it is what is the answer to the actual question.
 

That you disagree with truisms makes you look quite foolish.
*Simulating termination analyzer Principle*
It is always correct for any simulating termination
analyzer to stop simulating and reject any input that
would otherwise prevent its own termination. The
only rebuttal to this is rejecting the notion that
deciders must always halt.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer