Sujet : Re: How the requirements that Professor Sipser agreed to are exactly met
De : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.theoryDate : 14. May 2025, 22:32:38
Autres entêtes
Organisation : Fix this later
Message-ID : <100325m$2n1is$2@dont-email.me>
References : 1 2 3 4 5 6
User-Agent : Mozilla Thunderbird
On 14/05/2025 21:50, dbush wrote:
On 5/14/2025 11:44 AM, olcott wrote:
<snip>
THE SPEC REQUIRES A PARTIAL SIMULATION OF SOME INPUTS.
Simulation is not a requirement, merely an implementation detail. Mapping the halting function is the requirement:
I think Mr Olcott sees simulation as a requirement, if not /the/ requirement.
-- Richard HeathfieldEmail: rjh at cpax dot org dot uk"Usenet is a strange place" - dmr 29 July 1999Sig line 4 vacant - apply within