Re: How the requirements that Professor Sipser agreed to are exactly met

Liste des GroupesRevenir à theory 
Sujet : Re: How the requirements that Professor Sipser agreed to are exactly met
De : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.theory
Date : 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 Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within

Date Sujet#  Auteur
12 May 25 * How the requirements that Professor Sipser agreed to are exactly met211olcott
12 May 25 +* Re: How the requirements that Professor Sipser agreed to are exactly met79dbush
12 May 25 i+* Re: How the requirements that Professor Sipser agreed to are exactly met48olcott
12 May 25 ii+* Re: How the requirements that Professor Sipser agreed to are exactly met46dbush
12 May 25 iii`* Re: How the requirements that Professor Sipser agreed to are exactly met45olcott
12 May 25 iii `* Re: How the requirements that Professor Sipser agreed to are exactly met44dbush
12 May 25 iii  `* Re: How the requirements that Professor Sipser agreed to are exactly met43dbush
12 May 25 iii   `* Re: How the requirements that Professor Sipser agreed to are exactly met42olcott
12 May 25 iii    `* Re: How the requirements that Professor Sipser agreed to are exactly met41dbush
12 May 25 iii     `* Re: How the requirements that Professor Sipser agreed to are exactly met40olcott
12 May 25 iii      `* Re: How the requirements that Professor Sipser agreed to are exactly met39dbush
12 May 25 iii       `* Re: How the requirements that Professor Sipser agreed to are exactly met38olcott
13 May 25 iii        +* Re: How the requirements that Professor Sipser agreed to are exactly met36dbush
13 May 25 iii        i`* Re: How the requirements that Professor Sipser agreed to are exactly met35olcott
13 May 25 iii        i `* Re: How the requirements that Professor Sipser agreed to are exactly met34dbush
13 May 25 iii        i  `* Re: How the requirements that Professor Sipser agreed to are exactly met33olcott
13 May 25 iii        i   +* Re: How the requirements that Professor Sipser agreed to are exactly met31dbush
13 May 25 iii        i   i`* Re: How the requirements that Professor Sipser agreed to are exactly met30olcott
13 May 25 iii        i   i `* Re: How the requirements that Professor Sipser agreed to are exactly met29dbush
13 May 25 iii        i   i  `* Re: How the requirements that Professor Sipser agreed to are exactly met28dbush
13 May 25 iii        i   i   `* Re: How the requirements that Professor Sipser agreed to are exactly met27olcott
13 May 25 iii        i   i    `* Re: How the requirements that Professor Sipser agreed to are exactly met26dbush
13 May 25 iii        i   i     +* Re: How the requirements that Professor Sipser agreed to are exactly met13olcott
13 May 25 iii        i   i     i+- Re: How the requirements that Professor Sipser agreed to are exactly met1dbush
13 May 25 iii        i   i     i+* Re: How the requirements that Professor Sipser agreed to are exactly met10dbush
13 May 25 iii        i   i     ii`* Re: How the requirements that Professor Sipser agreed to are exactly met9olcott
13 May 25 iii        i   i     ii +- Re: How the requirements that Professor Sipser agreed to are exactly met1dbush
13 May 25 iii        i   i     ii +- Re: How the requirements that Professor Sipser agreed to are exactly met1Richard Damon
13 May 25 iii        i   i     ii `* Re: How the requirements that Professor Sipser agreed to are exactly met6Richard Heathfield
13 May 25 iii        i   i     ii  `* Re: How the requirements that Professor Sipser agreed to are exactly met5olcott
13 May 25 iii        i   i     ii   +* Re: How the requirements that Professor Sipser agreed to are exactly met2joes
13 May 25 iii        i   i     ii   i`- Re: How the requirements that Professor Sipser agreed to are exactly met1Richard Heathfield
13 May 25 iii        i   i     ii   +- Re: How the requirements that Professor Sipser agreed to are exactly met1Richard Damon
13 May 25 iii        i   i     ii   `- Re: How the requirements that Professor Sipser agreed to are exactly met1dbush
13 May 25 iii        i   i     i`- Re: How the requirements that Professor Sipser agreed to are exactly met1joes
13 May 25 iii        i   i     `* Re: How the requirements that Professor Sipser agreed to are exactly met12olcott
13 May 25 iii        i   i      +* Re: How the requirements that Professor Sipser agreed to are exactly met10dbush
13 May 25 iii        i   i      i`* Re: How the requirements that Professor Sipser agreed to are exactly met9olcott
13 May 25 iii        i   i      i +* Re: How the requirements that Professor Sipser agreed to are exactly met4dbush
13 May 25 iii        i   i      i i`* Re: How the requirements that Professor Sipser agreed to are exactly met3olcott
13 May 25 iii        i   i      i i +- Re: How the requirements that Professor Sipser agreed to are exactly met1Fred. Zwarts
13 May 25 iii        i   i      i i `- Re: How the requirements that Professor Sipser agreed to are exactly met1Richard Damon
13 May 25 iii        i   i      i `* Re: How the requirements that Professor Sipser agreed to are exactly met4Richard Damon
13 May 25 iii        i   i      i  `* Re: How the requirements that Professor Sipser agreed to are exactly met --- Complete Closure3olcott
13 May 25 iii        i   i      i   +- Re: How the requirements that Professor Sipser agreed to are exactly met --- Complete Closure1Fred. Zwarts
13 May 25 iii        i   i      i   `- Re: How the requirements that Professor Sipser agreed to are exactly met --- Complete Closure1Richard Damon
13 May 25 iii        i   i      `- Re: How the requirements that Professor Sipser agreed to are exactly met1Richard Damon
13 May 25 iii        i   `- Re: How the requirements that Professor Sipser agreed to are exactly met1joes
13 May 25 iii        `- Re: How the requirements that Professor Sipser agreed to are exactly met1Mikko
13 May 25 ii`- Re: How the requirements that Professor Sipser agreed to are exactly met1Richard Damon
14 May 25 i+* Re: How the requirements that Professor Sipser agreed to are exactly met +++25olcott
14 May 25 ii`* Re: How the requirements that Professor Sipser agreed to are exactly met +++24dbush
14 May 25 ii `* Re: How the requirements that Professor Sipser agreed to are exactly met +++23olcott
14 May 25 ii  +* Re: How the requirements that Professor Sipser agreed to are exactly met +++3Fred. Zwarts
14 May 25 ii  i`* Re: How the requirements that Professor Sipser agreed to are exactly met +++2olcott
15 May 25 ii  i `- Re: How the requirements that Professor Sipser agreed to are exactly met +++1Fred. Zwarts
14 May 25 ii  +* Re: How the requirements that Professor Sipser agreed to are exactly met +++8Richard Damon
14 May 25 ii  i`* Re: How the requirements that Professor Sipser agreed to are exactly met +++7olcott
14 May 25 ii  i +- Re: How the requirements that Professor Sipser agreed to are exactly met +++1dbush
15 May 25 ii  i +- Re: How the requirements that Professor Sipser agreed to are exactly met +++1Richard Damon
15 May 25 ii  i `* Re: How the requirements that Professor Sipser agreed to are exactly met +++4Mikko
16 May 25 ii  i  `* Re: How the requirements that Professor Sipser agreed to are exactly met +++3olcott
16 May 25 ii  i   +- Re: How the requirements that Professor Sipser agreed to are exactly met +++1Mikko
16 May 25 ii  i   `- Re: How the requirements that Professor Sipser agreed to are exactly met +++1Richard Damon
14 May 25 ii  `* Re: How the requirements that Professor Sipser agreed to are exactly met +++11dbush
14 May 25 ii   `* Re: How the requirements that Professor Sipser agreed to are exactly met +++10olcott
14 May 25 ii    `* Re: How the requirements that Professor Sipser agreed to are exactly met +++9dbush
14 May 25 ii     `* Re: How the requirements that Professor Sipser agreed to are exactly met +++8olcott
14 May 25 ii      +* Re: How the requirements that Professor Sipser agreed to are exactly met +++5dbush
14 May 25 ii      i`* Re: How the requirements that Professor Sipser agreed to are exactly met +++4olcott
14 May 25 ii      i `* Re: How the requirements that Professor Sipser agreed to are exactly met +++3dbush
14 May 25 ii      i  `* Re: How the requirements that Professor Sipser agreed to are exactly met +++2olcott
15 May 25 ii      i   `- Re: How the requirements that Professor Sipser agreed to are exactly met +++1dbush
15 May 25 ii      `* Re: How the requirements that Professor Sipser agreed to are exactly met +++2Mikko
16 May 25 ii       `- Re: How the requirements that Professor Sipser agreed to are exactly met +++1olcott
14 May 25 i`* Re: How the requirements that Professor Sipser agreed to are exactly met5olcott
14 May 25 i +* Re: How the requirements that Professor Sipser agreed to are exactly met3Richard Damon
14 May 25 i i`* Re: How the requirements that Professor Sipser agreed to are exactly met2olcott
14 May 25 i i `- Re: How the requirements that Professor Sipser agreed to are exactly met1dbush
14 May 25 i `- Re: How the requirements that Professor Sipser agreed to are exactly met1dbush
13 May 25 +* Re: How the requirements that Professor Sipser agreed to are exactly met109Richard Damon
13 May 25 i`* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH108olcott
13 May 25 i `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH107Richard Damon
13 May 25 i  `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH106olcott
13 May 25 i   +* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH3Fred. Zwarts
14 May 25 i   i`* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH2olcott
14 May 25 i   i `- Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH1Richard Damon
13 May 25 i   `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH102Richard Damon
13 May 25 i    `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH101olcott
13 May 25 i     +* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH6joes
13 May 25 i     i`* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH5olcott
13 May 25 i     i +- Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH1Richard Damon
14 May 25 i     i `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH3joes
14 May 25 i     i  `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH2olcott
15 May 25 i     i   `- Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH1Fred. Zwarts
13 May 25 i     +- Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH1Richard Damon
14 May 25 i     `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH93dbush
14 May 25 i      `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH92olcott
14 May 25 i       +* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH87dbush
14 May 25 i       i`* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH86olcott
14 May 25 i       i +* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH7dbush
14 May 25 i       i `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH78Richard Damon
14 May 25 i       +- Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH1Richard Damon
14 May 25 i       `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH3joes
13 May 25 +* Re: How the requirements that Professor Sipser agreed to are exactly met15olcott
14 May 25 `* Re: How the requirements that Professor Sipser agreed to are exactly met7olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal