comp.theory

Liste des GroupesPages :123456789101112131415161718192021222324252627282930313233
Date Sujet#  Auteur
19 Jul 24   i      i    i i   i `* Re: Who here understands that the last paragraph is Necessarily true?11Fred. Zwarts
19 Jul 24   i      i    i i   i  `* Re: Who here understands that the last paragraph is Necessarily true?10olcott
19 Jul 24   i      i    i i   i   +* Re: Who here understands that the last paragraph is Necessarily true?4joes
19 Jul 24   i      i    i i   i   i`* Re: Who here understands that the last paragraph is Necessarily true?3olcott
19 Jul 24   i      i    i i   i   i +- Re: Who here understands that the last paragraph is Necessarily true?1Richard Damon
20 Jul 24   i      i    i i   i   i `- Re: Who here understands that the last paragraph is Necessarily true?1Fred. Zwarts
20 Jul 24   i      i    i i   i   +- Re: Who here understands that the last paragraph is Necessarily true?1Fred. Zwarts
20 Jul 24   i      i    i i   i   `* Re: Who here understands that the last paragraph is Necessarily true?4Mikko
20 Jul 24   i      i    i i   i    `* Re: Who here understands that the last paragraph is Necessarily true?3olcott
20 Jul 24   i      i    i i   i     +- Re: Who here understands that the last paragraph is Necessarily true?1Richard Damon
23 Jul 24   i      i    i i   i     `- Re: Who here understands that the last paragraph is Necessarily true?1Mikko
19 Jul 24   i      i    i i   `- Re: Who here understands that the last paragraph is Necessarily true?1Richard Damon
18 Jul 24   i      i    i `- Re: Who here understands that the last paragraph is Necessarily true?1Richard Damon
18 Jul 24   i      i    +- Re: Who here understands that the last paragraph is Necessarily true?1Richard Damon
19 Jul 24   i      i    `* Re: Who here understands that the last paragraph is Necessarily true?5Mikko
19 Jul 24   i      i     `* Re: Who here understands that the last paragraph is Necessarily true?4olcott
19 Jul 24   i      i      +- Re: Who here understands that the last paragraph is Necessarily true?1Richard Damon
19 Jul 24   i      i      +- Re: Who here understands that the last paragraph is Necessarily true?1joes
20 Jul 24   i      i      `- Re: Who here understands that the last paragraph is Necessarily true?1Fred. Zwarts
15 Jul 24   i      `* Re: Who here understands that the last paragraph is Necessarily true?36olcott
15 Jul 24   i       +* Re: Who here understands that the last paragraph is Necessarily true?28Mikko
15 Jul 24   i       i`* Re: Who here understands that the last paragraph is Necessarily true?27olcott
15 Jul 24   i       i +* Re: Who here understands that the last paragraph is Necessarily true?13joes
15 Jul 24   i       i i`* Re: Who here understands that the last paragraph is Necessarily true?12olcott
16 Jul 24   i       i i +- Re: Who here understands that the last paragraph is Necessarily true?1Richard Damon
16 Jul 24   i       i i +* Re: Who here understands that the last paragraph is Necessarily true?4joes
16 Jul 24   i       i i i`* Re: Who here understands that the last paragraph is Necessarily true?3olcott
16 Jul 24   i       i i i +- Re: Who here understands that the last paragraph is Necessarily true?1joes
17 Jul 24   i       i i i `- Re: Who here understands that the last paragraph is Necessarily true?1Richard Damon
16 Jul 24   i       i i `* Re: Who here understands that the last paragraph is Necessarily true?6Mikko
16 Jul 24   i       i i  `* Re: Who here understands that the last paragraph is Necessarily true?5olcott
17 Jul 24   i       i i   +- Re: Who here understands that the last paragraph is Necessarily true?1Richard Damon
19 Jul 24   i       i i   `* Re: Who here understands that the last paragraph is Necessarily true?3Mikko
19 Jul 24   i       i i    `* Re: Who here understands that the last paragraph is Necessarily true?2olcott
20 Jul 24   i       i i     `- Re: Who here understands that the last paragraph is Necessarily true?1Mikko
16 Jul 24   i       i +- Re: Who here understands that the last paragraph is Necessarily true?1Richard Damon
16 Jul 24   i       i `* Re: Who here understands that the last paragraph is Necessarily true?12Mikko
16 Jul 24   i       i  `* Re: Who here understands that the last paragraph is Necessarily true?11olcott
17 Jul 24   i       i   +- Re: Who here understands that the last paragraph is Necessarily true?1Richard Damon
19 Jul 24   i       i   `* Re: Who here understands that the last paragraph is Necessarily true?9Mikko
19 Jul 24   i       i    `* Re: Who here understands that the last paragraph is Necessarily true?8olcott
20 Jul 24   i       i     `* Re: Who here understands that the last paragraph is Necessarily true?7Mikko
20 Jul 24   i       i      `* Re: Who here understands that the last paragraph is Necessarily true?6olcott
20 Jul 24   i       i       +- Re: Who here understands that the last paragraph is Necessarily true?1Richard Damon
20 Jul 24   i       i       +- Re: Who here understands that the last paragraph is Necessarily true?1Fred. Zwarts
21 Jul 24   i       i       `* Re: Who here understands that the last paragraph is Necessarily true?3Mikko
21 Jul 24   i       i        `* Re: Who here understands that the last paragraph is Necessarily true?2olcott
21 Jul 24   i       i         `- Re: Who here understands that the last paragraph is Necessarily true?1Richard Damon
15 Jul 24   i       +* Re: Who here understands that the last paragraph is Necessarily true?5joes
15 Jul 24   i       i`* Re: Who here understands that the last paragraph is Necessarily true?4olcott
15 Jul 24   i       i +* Re: Who here understands that the last paragraph is Necessarily true?2joes
15 Jul 24   i       i i`- Re: Who here understands that the last paragraph is Necessarily true?1olcott
16 Jul 24   i       i `- Re: Who here understands that the last paragraph is Necessarily true?1Richard Damon
15 Jul 24   i       `* Re: Who here understands that the last paragraph is Necessarily true?2Richard Damon
15 Jul 24   i        `- Re: Who here understands that the last paragraph is Necessarily true?1olcott
15 Jul 24   `* Re: Who here understands that the last paragraph is Necessarily true?14Mikko
15 Jul 24    `* Re: Who here understands that the last paragraph is Necessarily true?13olcott
15 Jul 24     +- Re: Who here understands that the last paragraph is Necessarily true?1joes
16 Jul 24     `* Re: Who here understands that the last paragraph is Necessarily true?11Mikko
16 Jul 24      `* Re: Who here understands that the last paragraph is Necessarily true?10olcott
17 Jul 24       +- Re: Who here understands that the last paragraph is Necessarily true?1Richard Damon
17 Jul 24       `* Re: Who here understands that the last paragraph is Necessarily true?8Mikko
17 Jul 24        `* Re: Who here understands that the last paragraph is Necessarily true?7olcott
19 Jul 24         `* Re: Who here understands that the last paragraph is Necessarily true?6Mikko
19 Jul 24          `* Re: Who here understands that the last paragraph is Necessarily true?5olcott
20 Jul 24           `* Re: Who here understands that the last paragraph is Necessarily true?4Mikko
20 Jul 24            `* Re: Who here understands that the last paragraph is Necessarily true?3olcott
20 Jul 24             +- Re: Who here understands that the last paragraph is Necessarily true?1Richard Damon
22 Jul 24             `- Re: Who here understands that the last paragraph is Necessarily true?1Mikko
22 Jul 24 * Analytic Truth-makers51olcott
22 Jul 24 +* ""self contradictory"" (Was: Analytic Truth-makers)6Mild Shock
22 Jul 24 i`* Re: ""self contradictory"" (Was: Analytic Truth-makers)5olcott
22 Jul 24 i `* Re: ""self contradictory"" (Was: Analytic Truth-makers)4Mild Shock
22 Jul 24 i  +- Re: ""self contradictory"" (Was: Analytic Truth-makers)1Mild Shock
22 Jul 24 i  `* Re: ""self contradictory"" (Was: Analytic Truth-makers)2olcott
22 Jul 24 i   `- Re: ""self contradictory"" (Was: Analytic Truth-makers)1Mild Shock
23 Jul 24 `* Re: Analytic Truth-makers44Richard Damon
23 Jul 24  `* Re: Analytic Truth-makers43olcott
23 Jul 24   `* Re: Analytic Truth-makers42Richard Damon
23 Jul 24    +* Re: Analytic Truth-makers26olcott
23 Jul 24    i`* Re: Analytic Truth-makers25Richard Damon
23 Jul 24    i `* Re: Analytic Truth-makers24olcott
23 Jul 24    i  `* Re: Analytic Truth-makers23Richard Damon
23 Jul 24    i   `* Re: Analytic Truth-makers22olcott
23 Jul 24    i    +* Re: Analytic Truth-makers7Richard Damon
23 Jul 24    i    i`* Re: Analytic Truth-makers6olcott
23 Jul 24    i    i +* Re: Analytic Truth-makers4Mild Shock
23 Jul 24    i    i i+* "undecidable" / "unentscheidbar" (Was Analytic Truth-makers)2Mild Shock
23 Jul 24    i    i ii`- Re: "undecidable" / "unentscheidbar" (Was Analytic Truth-makers)1Mild Shock
24 Jul 24    i    i i`- Re: Analytic Truth-makers1olcott
24 Jul 24    i    i `- Re: Analytic Truth-makers1Richard Damon
23 Jul 24    i    `* Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)14Mild Shock
23 Jul 24    i     `* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)13olcott
23 Jul 24    i      `* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)12Mild Shock
23 Jul 24    i       +* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)2olcott
24 Jul 24    i       i`- Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)1Richard Damon
23 Jul 24    i       `* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)9Mild Shock
23 Jul 24    i        +- Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)1Mild Shock
24 Jul 24    i        `* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)7olcott
24 Jul 24    i         +- Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)1Richard Damon
24 Jul 24    i         `* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)5Mild Shock
24 Jul 24    i          `* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)4olcott
24 Jul 24    i           +* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)2Mild Shock
24 Jul 24    i           i`- Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)1Mild Shock
25 Jul 24    i           `- Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)1Richard Damon
23 Jul 24    `* Re: Analytic Truth-makers15Wasell
23 Jul 24     `* Re: Analytic Truth-makers14olcott
24 Jul 24      `* Re: Analytic Truth-makers13Richard Damon
24 Jul 24       `* Re: Analytic Truth-makers12olcott
24 Jul 24        `* Re: Analytic Truth-makers11Richard Damon
24 Jul 24         `* Re: Analytic Truth-makers10olcott
24 Jul 24          `* Re: Analytic Truth-makers9Richard Damon
24 Jul 24           `* Re: Analytic Truth-makers8olcott
24 Jul 24            `* Re: Analytic Truth-makers7Richard Damon
24 Jul 24             `* Re: Analytic Truth-makers6olcott
25 Jul 24              `* Re: Analytic Truth-makers5Richard Damon
25 Jul 24               `* Re: Analytic Truth-makers4olcott
25 Jul 24                `* Re: Analytic Truth-makers3Richard Damon
25 Jul 24                 `* Re: Analytic Truth-makers2olcott
26 Jul 24                  `- Re: Analytic Truth-makers1Richard Damon
10 Jul 24 * DDD correctly emulated by HHH is correctly rejected as non-halting.119olcott
10 Jul 24 +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1olcott
10 Jul 24 +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.93Fred. Zwarts
10 Jul 24 i+* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.37olcott
10 Jul 24 ii+- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Fred. Zwarts
11 Jul 24 ii+- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Richard Damon
11 Jul 24 ii`* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.34Mikko
11 Jul 24 ii `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.33olcott
11 Jul 24 ii  +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.10joes
11 Jul 24 ii  i`* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.9olcott
11 Jul 24 ii  i +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.7joes
11 Jul 24 ii  i i`* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.6olcott
12 Jul 24 ii  i i +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Richard Damon
12 Jul 24 ii  i i `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.4joes
12 Jul 24 ii  i i  `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.3olcott
12 Jul 24 ii  i i   `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.2joes
12 Jul 24 ii  i i    `- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1olcott
12 Jul 24 ii  i `- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Richard Damon
12 Jul 24 ii  +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Richard Damon
12 Jul 24 ii  +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.20Mikko
12 Jul 24 ii  i`* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.19olcott
12 Jul 24 ii  i +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Fred. Zwarts
13 Jul 24 ii  i +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.14Mikko
13 Jul 24 ii  i i`* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.13olcott
13 Jul 24 ii  i i +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Fred. Zwarts
13 Jul 24 ii  i i +- Re: DDD correctly emulated by HHH is INcorrectly rejected as non-halting.1Richard Damon
14 Jul 24 ii  i i `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.10Mikko
14 Jul 24 ii  i i  `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.9olcott
14 Jul 24 ii  i i   +- Re: DDD correctly emulated by HHH is INcorrectly rejected as non-halting.1Richard Damon
15 Jul 24 ii  i i   +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1joes
15 Jul 24 ii  i i   `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.6Mikko
15 Jul 24 ii  i i    `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.5olcott
16 Jul 24 ii  i i     `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.4Mikko
16 Jul 24 ii  i i      `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.3olcott
17 Jul 24 ii  i i       +- Re: DDD incorrectly emulated by HHH is INcorrectly rejected as non-halting.1Richard Damon
17 Jul 24 ii  i i       `- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Mikko
13 Jul 24 ii  i `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.3joes
14 Jul 24 ii  i  `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.2olcott
14 Jul 24 ii  i   `- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Richard Damon
12 Jul 24 ii  `- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Mikko
10 Jul 24 i`* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.55Alan Mackenzie
10 Jul 24 i +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.50Fred. Zwarts
10 Jul 24 i i`* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.49Alan Mackenzie
10 Jul 24 i i +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.44olcott
11 Jul 24 i i i+* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.40Mikko
11 Jul 24 i i ii`* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.39olcott
12 Jul 24 i i ii +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Richard Damon
12 Jul 24 i i ii `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.37Mikko
12 Jul 24 i i ii  `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.36olcott
12 Jul 24 i i ii   `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.35Fred. Zwarts
13 Jul 24 i i ii    `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.34Mikko
13 Jul 24 i i ii     `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.33olcott
13 Jul 24 i i ii      +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Fred. Zwarts
13 Jul 24 i i ii      +- Re: DDD correctly emulated by HHH is INcorrectly rejected as non-halting.1Richard Damon
14 Jul 24 i i ii      `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.30Mikko
14 Jul 24 i i ii       `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.29olcott
14 Jul 24 i i ii        +- Re: DDD correctly emulated by HHH is INcorrectly rejected as non-halting.1Richard Damon
15 Jul 24 i i ii        `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.27Mikko
15 Jul 24 i i ii         `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting. --- You are not paying attention26olcott
16 Jul 24 i i ii          +- Re: DDD incorrectly emulated by HHH is incorrectly rejected as non-halting. --- You are not paying attention1Richard Damon
16 Jul 24 i i ii          `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting. --- You are not paying attention24Mikko
16 Jul 24 i i ii           `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting. --- You are not paying attention23olcott
17 Jul 24 i i ii            +- Re: DDD INcorrectly emulated by HHH is INcorrectly rejected as non-halting. --- You are not paying attention1Richard Damon
17 Jul 24 i i ii            `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting. --- You are not paying attention21Mikko
17 Jul 24 i i ii             `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting. --- You are not paying attention20olcott
17 Jul 24 i i ii              +- Re: DDD emulated by HHH is incorrectly rejected as non-halting.1joes
18 Jul 24 i i ii              `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting. --- You are not paying attention18Mikko
18 Jul 24 i i ii               `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting. --- You are not paying attention17olcott
19 Jul 24 i i ii                `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting. --- You are not paying attention16Mikko
19 Jul 24 i i ii                 `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting. --- You are not paying attention15olcott
19 Jul 24 i i ii                  +- Re: DDD incorrectly emulated by HHH is incorrectly rejected as non-halting. --- You are not paying attention1Richard Damon
20 Jul 24 i i ii                  `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting. --- You are not paying attention13Mikko
20 Jul 24 i i ii                   `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting. --- You are not paying attention12olcott
21 Jul 24 i i ii                    `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting. --- You are not paying attention11Mikko
21 Jul 24 i i ii                     `* Tarski / Gödel and redefining the Foundation of Logic10olcott
21 Jul 24 i i ii                      +- Re: Tarski / Gödel and redefining the Foundation of Logic1Richard Damon
22 Jul 24 i i ii                      `* Re: Tarski / Gödel and redefining the Foundation of Logic8Mikko
22 Jul 24 i i ii                       `* Re: Tarski / Gödel and redefining the Foundation of Logic7olcott
23 Jul 24 i i ii                        +- Re: Tarski / Gödel and redefining the Foundation of Logic1Richard Damon
23 Jul 24 i i ii                        `* Re: Tarski / Gödel and redefining the Foundation of Logic5Mikko
23 Jul 24 i i ii                         `* Re: Tarski / Gödel and redefining the Foundation of Logic4olcott
24 Jul 24 i i ii                          +- Re: Tarski / Gödel and redefining the Foundation of Logic1Richard Damon
25 Jul 24 i i ii                          `* Re: Tarski / Gödel and redefining the Foundation of Logic2Mikko
25 Jul 24 i i ii                           `- Re: Tarski / Gödel and redefining the Foundation of Logic1olcott
11 Jul 24 i i i`* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.3Fred. Zwarts
11 Jul 24 i i i `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting --- incorrect either way2olcott
12 Jul 24 i i i  `- Re: DDD correctly emulated by HHH is correctly rejected as non-halting --- incorrect either way1Richard Damon
10 Jul 24 i i `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.4olcott
11 Jul 24 i i  `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.3Fred. Zwarts
11 Jul 24 i i   `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.2olcott
12 Jul 24 i i    `- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Richard Damon
10 Jul 24 i +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.2olcott
11 Jul 24 i i`- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Fred. Zwarts
10 Jul 24 i `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.2olcott
11 Jul 24 i  `- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Fred. Zwarts
11 Jul 24 +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Richard Damon
11 Jul 24 `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.23Mikko
11 Jul 24  `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.22olcott
12 Jul 24   +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Richard Damon
12 Jul 24   `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.20Mikko
12 Jul 24    `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.19olcott
13 Jul 24     `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.18Mikko
13 Jul 24      `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.17olcott
13 Jul 24       +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Fred. Zwarts
13 Jul 24       +- Re: DDD correctly emulated by HHH is INcorrectly rejected as non-halting.1Richard Damon
14 Jul 24       `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.14Mikko
14 Jul 24        `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.13olcott
14 Jul 24         +- Re: DDD correctly emulated by HHH is INcorrectly rejected as non-halting.1Richard Damon
15 Jul 24         `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.11Mikko
15 Jul 24          `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.10olcott
16 Jul 24           +- Re: DDD incorrectly emulated by HHH is incorrectly rejected as non-halting.1Richard Damon
16 Jul 24           `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.8Mikko
16 Jul 24            `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.7olcott
16 Jul 24             +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Fred. Zwarts
17 Jul 24             +- Re: DDD incorrectly emulated by HHH is INcorrectly rejected as non-halting.1Richard Damon
17 Jul 24             `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.4Mikko
17 Jul 24              `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.3olcott
17 Jul 24               +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Fred. Zwarts
18 Jul 24               `- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Mikko
3 Jul 24 * Liar detector: Fred, Richard, Joes and Alan253olcott
3 Jul 24 +* Re: Liar detector: Fred, Richard, Joes and Alan232Fred. Zwarts
3 Jul 24 i`* Re: Liar detector: Fred, Richard, Joes and Alan231olcott
3 Jul 24 i +* Re: Liar detector: Fred, Richard, Joes and Alan209Fred. Zwarts
3 Jul 24 i i`* Re: Liar detector: Fred, Richard, Joes and Alan208olcott
3 Jul 24 i i `* Re: Liar detector: Fred, Richard, Joes and Alan207Fred. Zwarts
3 Jul 24 i i  `* Re: Liar detector: Fred, Richard, Joes and Alan206olcott
3 Jul 24 i i   `* Re: Liar detector: Fred, Richard, Joes and Alan205Fred. Zwarts
3 Jul 24 i i    `* Re: Liar detector: Fred, Richard, Joes and Alan204olcott
4 Jul 24 i i     `* Re: Liar detector: Fred, Richard, Joes and Alan203Fred. Zwarts
4 Jul 24 i i      `* Re: Liar detector: Fred, Richard, Joes and Alan202olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal