Sujet : Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theoryDate : 04. Apr 2025, 04:09:34
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <aa5bf173458f52774c8c0e36edf96b3274b973cf@i2pn2.org>
References : 1 2 3
User-Agent : Mozilla Thunderbird
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.
It doesn't matter that in every version of this template that HHH won't emulate its input to the return, because if HHH does return a value. it HAD to only do a partial emulation which just doesn't define non-halting behavior, and in ALL of these cases, the direct execution of the input, as well as the actual correct emulation of the input by an emulator that does the right thing and not stop (and thus isn't your HHH) will reach that return.
Thus proving that you "logic" is based on lying with a strawman, showing you have straw for brains, and that you are just ignorant of the meaning of the terms you are using.
"Halting" is a property of the DIRECT EXECUTION of the program described to the decider. DOesn't matter that you think that isn't the input, because the description of that machine is, and thus that is what it needs to answer about to be correct.
All you prove is that you are just a stupid ignorant liar.