Sujet : Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory comp.lang.c comp.lang.c++Suivi-à : comp.theoryDate : 04. Apr 2025, 03:06:52
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vsnert$26c94$1@dont-email.me>
References : 1 2
User-Agent : Mozilla Thunderbird
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?
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
DDD simulated by HHH cannot possibly halt (Halting Problem)
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)