Sujet : Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 15. May 2025, 00:57:16
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <1003aks$2ojhd$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
User-Agent : Mozilla Thunderbird
On 5/14/2025 6:43 PM, Keith Thompson wrote:
olcott <polcott333@gmail.com> writes:
[...]
HHH does correctly simulate DDD until
HHH correctly determines that its simulated DDD
would never stop running unless aborted.
[...]
And my understanding is that it is mathematically impossible for HHH
to do what you claim it does,
That is ridiculous as you already acknowledged.
void DDD()
{
HHH(DDD);
return;
}
It is dead obvious to any expert in C to correctly
determine that DDD cannot possibly stop running
when HHH is a pure simulator.
HHH merely needs to see this exact same DEAD OBVIOUS thing.
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer