Sujet : Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C
De : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.theoryDate : 17. May 2025, 06:20:19
Autres entêtes
Organisation : Fix this later
Message-ID : <10096aj$1bg1$6@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
User-Agent : Mozilla Thunderbird
On 17/05/2025 06:04, olcott wrote:
<wild goose chase snipped>
void DDD()
{
HHH(DDD);
return;
}
We can easily imagine what the behavior
of DDD correctly simulated by HHH is
You have yet to demonstrate that HHH 'correctly' simulates anything, let alone DDD.
-- Richard HeathfieldEmail: rjh at cpax dot org dot uk"Usenet is a strange place" - dmr 29 July 1999Sig line 4 vacant - apply within