comp.theory

Liste des Groupes Pages :123456789101112131415161718192021222324252627282930313233
Date Sujet#  Auteur
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 i`* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH6olcott
14 May 25 i       i i `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH5dbush
14 May 25 i       i i  `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH4olcott
14 May 25 i       i i   `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH3dbush
14 May 25 i       i i    `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH2olcott
14 May 25 i       i i     `- Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH1dbush
14 May 25 i       i `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH78Richard Damon
14 May 25 i       i  `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH77olcott
14 May 25 i       i   `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH76dbush
14 May 25 i       i    `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH75olcott
14 May 25 i       i     +* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH7dbush
14 May 25 i       i     i`* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH6olcott
14 May 25 i       i     i `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH5dbush
14 May 25 i       i     i  `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH4olcott
15 May 25 i       i     i   `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH3dbush
15 May 25 i       i     i    `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH2olcott
15 May 25 i       i     i     `- Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH1dbush
14 May 25 i       i     `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH67Keith Thompson
14 May 25 i       i      +* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH4olcott
15 May 25 i       i      i`* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH3Keith Thompson
15 May 25 i       i      i `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH2olcott
15 May 25 i       i      i  `- Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH1Fred. Zwarts
15 May 25 i       i      +* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH17Ben Bacarisse
15 May 25 i       i      i+- Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH1olcott
15 May 25 i       i      i`* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH15Keith Thompson
15 May 25 i       i      i +- Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH1olcott
15 May 25 i       i      i +* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH3Ben Bacarisse
15 May 25 i       i      i i`* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH2olcott
15 May 25 i       i      i i `- Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH1Fred. Zwarts
15 May 25 i       i      i `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH10Mike Terry
15 May 25 i       i      i  `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH9olcott
15 May 25 i       i      i   +* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH4olcott
15 May 25 i       i      i   i`* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH3Richard Damon
15 May 25 i       i      i   i `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH2olcott
15 May 25 i       i      i   i  `- Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH1Richard Damon
15 May 25 i       i      i   `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH4Richard Damon
15 May 25 i       i      i    `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH3olcott
15 May 25 i       i      i     +- Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH1Fred. Zwarts
15 May 25 i       i      i     `- Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH1Richard Damon
15 May 25 i       i      `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH45Mike Terry
15 May 25 i       i       +* Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake20olcott
15 May 25 i       i       i`* Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake19Fred. Zwarts
16 May 25 i       i       i `* Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake18olcott
16 May 25 i       i       i  `* Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake17Fred. Zwarts
16 May 25 i       i       i   `* Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake16olcott
16 May23:03 i       i       i    `* Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake15Richard Damon
16 May23:39 i       i       i     `* Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake14olcott
17 May01:38 i       i       i      `* Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake13Richard Damon
17 May01:49 i       i       i       `* Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake12olcott
17 May03:50 i       i       i        `* Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake11Richard Damon
17 May04:08 i       i       i         `* Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake10olcott
17 May10:03 i       i       i          +* Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake5Fred. Zwarts
17 May19:45 i       i       i          i`* Re: How the requirements that Professor Sipser agreed to are exactly met --- Dishonest reviewers4olcott
17 May21:01 i       i       i          i +- Re: How the requirements that Professor Sipser agreed to are exactly met --- Dishonest reviewers1Richard Damon
18 May10:24 i       i       i          i +- Re: How the requirements that Professor Sipser agreed to are exactly met --- Dishonest reviewers1Mikko
18 May11:15 i       i       i          i `- Re: How the requirements that Professor Sipser agreed to are exactly met --- Dishonest reviewers1Fred. Zwarts
17 May14:08 i       i       i          `* Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake4Richard Damon
17 May16:36 i       i       i           `* Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake3olcott
17 May20:51 i       i       i            +- Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake1Richard Damon
18 May10:35 i       i       i            `- Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake1Mikko
16 May 25 i       i       +* Mike's big mistake about DD simulated by HHH3olcott
16 May 25 i       i       i`* Re: Mike's big mistake about DD simulated by HHH2Fred. Zwarts
16 May 25 i       i       i `- Re: Mike's big mistake about DD simulated by HHH1olcott
16 May 25 i       i       `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH21Mikko
16 May 25 i       i        `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH20olcott
17 May09:55 i       i         `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH19Mikko
17 May15:27 i       i          `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH18Mike Terry
17 May16:09 i       i           +- Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH1Richard Damon
17 May16:31 i       i           `* Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer16olcott
17 May20:54 i       i            `* Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer15Richard Damon
17 May21:05 i       i             `* Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer14olcott
17 May21:16 i       i              +* Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer11olcott
17 May21:31 i       i              i`* Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer10Richard Damon
17 May22:00 i       i              i `* Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer9olcott
18 May00:35 i       i              i  `* Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer8Richard Damon
18 May01:00 i       i              i   +* Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer3olcott
18 May11:22 i       i              i   i+- Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer1Fred. Zwarts
18 May12:20 i       i              i   i`- Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer1Richard Damon
18 May01:05 i       i              i   +* Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer3olcott
18 May11:26 i       i              i   i+- Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer1Fred. Zwarts
18 May12:15 i       i              i   i`- Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer1Richard Damon
18 May12:14 i       i              i   `- Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer1Richard Damon
17 May21:18 i       i              `* Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer2olcott
17 May21:34 i       i               `- Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer1Richard 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
14 May 25 i        `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH2olcott
15 May 25 i         `- Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH1Fred. Zwarts
13 May 25 +* Re: How the requirements that Professor Sipser agreed to are exactly met15olcott
14 May 25 i`* Re: How the requirements that Professor Sipser agreed to are exactly met14Richard Damon
14 May 25 i `* Re: How the requirements that Professor Sipser agreed to are exactly met13olcott
14 May 25 i  `* Re: How the requirements that Professor Sipser agreed to are exactly met12dbush
14 May 25 i   +* Re: How the requirements that Professor Sipser agreed to are exactly met6olcott
14 May 25 i   i`* Re: How the requirements that Professor Sipser agreed to are exactly met5dbush
14 May 25 i   i `* Re: How the requirements that Professor Sipser agreed to are exactly met4olcott
14 May 25 i   i  `* Re: How the requirements that Professor Sipser agreed to are exactly met3dbush
14 May 25 i   i   `* Re: How the requirements that Professor Sipser agreed to are exactly met2olcott
15 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 met5Richard Heathfield
14 May 25 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 met1Richard Heathfield
14 May 25 i    `* Re: How the requirements that Professor Sipser agreed to are exactly met2olcott
15 May 25 i     `- Re: How the requirements that Professor Sipser agreed to are exactly met1dbush
14 May 25 `* Re: How the requirements that Professor Sipser agreed to are exactly met7olcott
14 May 25  +* Re: How the requirements that Professor Sipser agreed to are exactly met3Fred. Zwarts
14 May 25  i`* Re: How the requirements that Professor Sipser agreed to are exactly met2olcott
15 May 25  i `- Re: How the requirements that Professor Sipser agreed to are exactly met1Fred. Zwarts
14 May 25  `* Re: How the requirements that Professor Sipser agreed to are exactly met3Richard Damon
14 May 25   `* Re: How the requirements that Professor Sipser agreed to are exactly met2olcott
15 May 25    `- Re: How the requirements that Professor Sipser agreed to are exactly met1Fred. Zwarts
18 May02:06 * Re: Why Peter Olcott is incorrect17Mike Terry
18 May02:42 +* Re: Why Peter Olcott is correct10Mike Terry
18 May03:06 i+* Re: Why Peter Olcott is correct5Mike Terry
18 May04:09 ii`* Re: Why Peter Olcott is correct4olcott
18 May11:08 ii +- Re: Why Peter Olcott is correct1Mikko
18 May11:11 ii +- Re: Why Peter Olcott is correct1Fred. Zwarts
18 May12:12 ii `- Re: Why Peter Olcott is correct1Richard Damon
18 May04:01 i+* Re: Why Peter Olcott is correct3olcott
18 May10:58 ii+- Re: Why Peter Olcott is correct1Fred. Zwarts
18 May11:12 ii`- Re: Why Peter Olcott is correct1Mikko
18 May04:03 i`- Re: Why Peter Olcott is correct1olcott
18 May03:08 +* Re: Why Peter Olcott is proven correct by honest reviewers3olcott
18 May10:55 i+- Re: Why Peter Olcott is proven correct by honest reviewers1Fred. Zwarts
18 May11:21 i`- Re: Why Peter Olcott is proven correct by honest reviewers1Mikko
18 May03:28 `* Re: Why Peter Olcott is correct3olcott
18 May04:12  +- Re: Why Peter Olcott is correct1olcott
18 May11:17  `- Re: Why Peter Olcott is correct1Mikko
18 May12:05 o Re: Why Peter Olcott is correct1Richard Damon
18 May11:03 o Re: Why Peter Olcott is correct1Mikko
18 May09:13 o Re: Halting Problem Corrected1Mikko
18 May01:36 o Re: Analysis of Flibble’s New Take on Simulating Halt Deciders and Pathological Input1olcott
17 May13:14 o Re: Halting Problem Corrected1Ben Bacarisse
15 May 25 * Re: Why Peter Olcott is both right and wrong9olcott
15 May 25 +- Re: Why Peter Olcott is both right and wrong1olcott
16 May 25 +* Re: Why Peter Olcott is both right and wrong3Mikko
16 May 25 i`* Re: Why Peter Olcott is both right and wrong2olcott
16 May 25 i `- Re: Why Peter Olcott is both right and wrong1Fred. Zwarts
16 May 25 `* Re: Why Peter Olcott is both right and wrong4Mikko
16 May 25  `* Re: Why Peter Olcott is both right and wrong3olcott
16 May 25   +- Re: Why Peter Olcott is both right and wrong1Fred. Zwarts
17 May09:24   `- Re: Why Peter Olcott is both right and wrong1Mikko
12 May 25 * Re: Michael Sipser of MIT validates the notion of a simulating halt decider14olcott
13 May 25 +- Re: Michael Sipser of MIT validates the notion of a simulating halt decider1Richard Damon
13 May 25 `* Re: Michael Sipser of MIT validates the notion of a simulating halt decider12olcott
13 May 25  +- Re: Michael Sipser of MIT validates the notion of a simulating halt decider1Richard Damon
14 May 25  `* Re: Michael Sipser of MIT validates the notion of a simulating halt decider10Mikko
14 May 25   `* Re: Michael Sipser of MIT validates the notion of a simulating halt decider9olcott
15 May 25    +- Re: Michael Sipser of MIT validates the notion of a simulating halt decider1Richard Damon
15 May 25    `* Re: Michael Sipser of MIT validates the notion of a simulating halt decider7Mikko
16 May 25     `* Re: Michael Sipser of MIT validates the notion of a simulating halt decider6olcott
16 May 25      +* Re: Michael Sipser of MIT validates the notion of a simulating halt decider4Mikko
16 May 25      i`* Re: Michael Sipser of MIT validates the notion of a simulating halt decider3olcott
16 May 25      i +- Re: Michael Sipser of MIT validates the notion of a simulating halt decider1Fred. Zwarts
17 May09:14      i `- Re: Michael Sipser of MIT validates the notion of a simulating halt decider1Mikko
16 May 25      `- Re: Michael Sipser of MIT validates the notion of a simulating halt decider1Richard Damon
5 May 25 * Formal systems that cannot possibly be incomplete except for unknowns and unknowable594olcott
5 May 25 +- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Mikko
5 May 25 +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable19Alan Mackenzie
5 May 25 i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable18olcott
5 May 25 i `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable17Alan Mackenzie
5 May 25 i  `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable16olcott
5 May 25 i   `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable15Alan Mackenzie
5 May 25 i    `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable14olcott
5 May 25 i     `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable13Alan Mackenzie
5 May 25 i      `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable12olcott
5 May 25 i       +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable7Alan Mackenzie
5 May 25 i       i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable6olcott
5 May 25 i       i `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable5Alan Mackenzie
5 May 25 i       i  `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable4olcott
6 May 25 i       i   `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable3Alan Mackenzie
6 May 25 i       i    `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable2olcott
7 May 25 i       i     `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Damon
6 May 25 i       `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable4joes
6 May 25 i        `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable3olcott
7 May 25 i         +- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Damon
7 May 25 i         `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Mikko
5 May 25 `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable573Richard Damon
5 May 25  +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable569olcott
6 May 25  i+* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable3Richard Damon
6 May 25  ii`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable2olcott
6 May 25  ii `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Damon
6 May 25  i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable565olcott
6 May 25  i +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable561Alan Mackenzie

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal