comp.theory

Liste des Groupes Pages :1234567891011121314151617181920212223242526272829303132
Date Sujet#  Auteur
7 Jan 26 * The Halting Problem asks for too much162olcott
7 Jan 26 `* Re: The Halting Problem asks for too much161Mikko
7 Jan 26  `* Re: The Halting Problem asks for too much160olcott
8 Jan 26   `* Re: The Halting Problem asks for too much159Mikko
8 Jan 26    +* Re: The Halting Problem asks for too much157olcott
9 Jan 26    i`* Re: The Halting Problem asks for too much156Mikko
9 Jan 26    i `* Re: The Halting Problem asks for too much155olcott
10 Jan 26    i  `* Re: The Halting Problem asks for too much154Mikko
10 Jan 26    i   +* Re: The Halting Problem asks for too much130olcott
11 Jan 26    i   i+* Re: The Halting Problem asks for too much9Richard Damon
11 Jan 26    i   ii`* Re: The Halting Problem asks for too much8olcott
11 Jan 26    i   ii `* Re: The Halting Problem asks for too much7Richard Damon
11 Jan 26    i   ii  `* Re: The Halting Problem asks for too much6olcott
11 Jan 26    i   ii   `* Re: The Halting Problem asks for too much5Richard Damon
11 Jan 26    i   ii    `* Re: The Halting Problem asks for too much4olcott
11 Jan 26    i   ii     `* Re: The Halting Problem asks for too much3Richard Damon
11 Jan 26    i   ii      `* Computation and Undecidability2olcott
11 Jan 26    i   ii       `- Re: Computation and Undecidability1Richard Damon
11 Jan 26    i   i+* Re: The Halting Problem asks for too much106Mikko
11 Jan 26    i   ii+* Re: The Halting Problem asks for too much30olcott
12 Jan 26    i   iii`* Re: The Halting Problem asks for too much29Mikko
12 Jan 26    i   iii `* Re: The Halting Problem asks for too much28olcott
13 Jan 26    i   iii  +* Re: The Halting Problem asks for too much21Mikko
13 Jan 26    i   iii  i+* Re: The Halting Problem asks for too much11Tristan Wibberley
13 Jan 26    i   iii  ii+* Re: The Halting Problem asks for too much9olcott
13 Jan 26    i   iii  iii+* Re: The Halting Problem asks for too much7Tristan Wibberley
13 Jan 26    i   iii  iiii+* Re: The Halting Problem asks for too much3olcott
14 Jan 26    i   iii  iiiii`* Re: The Halting Problem asks for too much2Tristan Wibberley
14 Jan 26    i   iii  iiiii `- Re: The Halting Problem asks for too much1olcott
14 Jan 26    i   iii  iiii`* Re: The Halting Problem asks for too much3Mikko
14 Jan 26    i   iii  iiii `* Re: The Halting Problem asks for too much2Tristan Wibberley
15 Jan 26    i   iii  iiii  `- Re: The Halting Problem asks for too much1Mikko
14 Jan 26    i   iii  iii`- Re: The Halting Problem asks for too much1Mikko
14 Jan 26    i   iii  ii`- Re: The Halting Problem asks for too much1Mikko
13 Jan 26    i   iii  i`* Re: The Halting Problem asks for too much9olcott
14 Jan 26    i   iii  i `* Re: The Halting Problem asks for too much8Mikko
14 Jan 26    i   iii  i  `* Re: The Halting Problem asks for too much7olcott
15 Jan 26    i   iii  i   `* Re: The Halting Problem asks for too much6Mikko
16 Jan 26    i   iii  i    `* Re: The Halting Problem asks for too much5olcott
16 Jan 26    i   iii  i     `* Re: The Halting Problem asks for too much4Mikko
16 Jan 26    i   iii  i      +- Re: The Halting Problem asks for too much1olcott
16 Jan 26    i   iii  i      `* Re: The Halting Problem asks for too much2olcott
17 Jan 26    i   iii  i       `- Re: The Halting Problem asks for too much1Mikko
15 Jan 26    i   iii  `* Re: The Halting Problem asks for too much6olcott
15 Jan 26    i   iii   +- Re: The Halting Problem asks for too much1Tristan Wibberley
15 Jan 26    i   iii   +- Re: The Halting Problem asks for too much1olcott
15 Jan 26    i   iii   `* Re: The Halting Problem asks for too much3olcott
16 Jan 26    i   iii    `* Re: The Halting Problem asks for too much2olcott
31 Jan03:10    i   iii     `- Re: The Halting Problem asks for too much1olcott
11 Jan 26    i   ii`* Re: The Halting Problem asks for too much75Tristan Wibberley
11 Jan 26    i   ii +* Re: The Halting Problem asks for too much2olcott
11 Jan 26    i   ii i`- Re: The Halting Problem asks for too much1Richard Damon
12 Jan 26    i   ii `* Re: The Halting Problem asks for too much72Mikko
12 Jan 26    i   ii  `* Re: The Halting Problem asks for too much71olcott
13 Jan 26    i   ii   `* Re: The Halting Problem asks for too much70Mikko
13 Jan 26    i   ii    `* Re: The Halting Problem asks for too much69olcott
14 Jan 26    i   ii     `* Re: The Halting Problem asks for too much68Mikko
14 Jan 26    i   ii      `* Re: The Halting Problem asks for too much67olcott
15 Jan 26    i   ii       `* Re: The Halting Problem asks for too much66Mikko
15 Jan 26    i   ii        `* Re: The Halting Problem asks for too much65olcott
16 Jan 26    i   ii         `* Re: The Halting Problem asks for too much64Mikko
16 Jan 26    i   ii          `* Re: The Halting Problem asks for too much63olcott
17 Jan 26    i   ii           `* Re: The Halting Problem asks for too much62Mikko
17 Jan 26    i   ii            `* Re: The Halting Problem asks for too much61olcott
18 Jan 26    i   ii             `* Re: The Halting Problem asks for too much60Mikko
18 Jan 26    i   ii              `* Re: The Halting Problem asks for too much59olcott
19 Jan 26    i   ii               `* Re: The Halting Problem asks for too much58Mikko
20 Jan 26    i   ii                `* Re: The Halting Problem asks for too much57olcott
21 Jan 26    i   ii                 +* Re: The Halting Problem asks for too much42Mikko
21 Jan 26    i   ii                 i`* Re: The Halting Problem asks for too much41olcott
22 Jan 26    i   ii                 i `* Re: The Halting Problem asks for too much40Mikko
22 Jan 26    i   ii                 i  +* Re: The Halting Problem asks for too much10olcott
23 Jan 26    i   ii                 i  i`* Re: The Halting Problem asks for too much9Mikko
23 Jan 26    i   ii                 i  i `* Re: The Halting Problem asks for too much8olcott
24 Jan 26    i   ii                 i  i  `* Re: The Halting Problem asks for too much7Mikko
24 Jan 26    i   ii                 i  i   `* Re: The Halting Problem asks for too much6olcott
25 Jan12:19    i   ii                 i  i    `* Re: The Halting Problem asks for too much5Mikko
25 Jan14:24    i   ii                 i  i     `* Re: The Halting Problem asks for too much4olcott
25 Jan19:33    i   ii                 i  i      `* Re: The Halting Problem asks for too much3olcott
25 Jan20:10    i   ii                 i  i       `* Re: The Halting Problem asks for too much2olcott
25 Jan21:09    i   ii                 i  i        `- Re: The Halting Problem asks for too much1olcott
22 Jan 26    i   ii                 i  `* Re: The Halting Problem asks for too much29olcott
24 Jan 26    i   ii                 i   `* Re: The Halting Problem asks for too much28Mikko
24 Jan 26    i   ii                 i    `* Re: The Halting Problem asks for too much27olcott
25 Jan12:24    i   ii                 i     `* Re: The Halting Problem asks for too much26Mikko
25 Jan14:30    i   ii                 i      `* Re: The Halting Problem asks for too much25olcott
25 Jan20:05    i   ii                 i       +* Re: The Halting Problem asks for too much2olcott
25 Jan21:21    i   ii                 i       i`- Re: The Halting Problem asks for too much1olcott
26 Jan13:55    i   ii                 i       `* Re: The Halting Problem asks for too much22Mikko
26 Jan16:22    i   ii                 i        `* Re: The Halting Problem asks for too much21olcott
26 Jan17:58    i   ii                 i         +* Re: The Halting Problem asks for too much14olcott
26 Jan18:28    i   ii                 i         i+- Re: The Halting Problem asks for too much1olcott
27 Jan09:17    i   ii                 i         i`* Re: The Halting Problem asks for too much12Mikko
27 Jan16:32    i   ii                 i         i `* Re: The Halting Problem asks for too much11olcott
28 Jan10:54    i   ii                 i         i  `* Re: The Halting Problem asks for too much10Mikko
28 Jan14:49    i   ii                 i         i   `* Re: The Halting Problem asks for too much9olcott
29 Jan10:12    i   ii                 i         i    `* Re: The Halting Problem asks for too much8Mikko
29 Jan14:57    i   ii                 i         i     `* Re: The Halting Problem asks for too much7olcott
30 Jan10:34    i   ii                 i         i      +* Re: The Halting Problem asks for too much4Mikko
30 Jan15:35    i   ii                 i         i      i`* Re: The Halting Problem asks for too much3olcott
31 Jan09:41    i   ii                 i         i      i `* Re: The Halting Problem asks for too much2Mikko
31 Jan16:23    i   ii                 i         i      i  `- Re: The Halting Problem asks for too much1olcott
31 Jan09:56    i   ii                 i         i      `* Re: The Halting Problem asks for too much2Mikko
31 Jan16:26    i   ii                 i         i       `- Re: The Halting Problem asks for too much1olcott
27 Jan09:05    i   ii                 i         +* Re: The Halting Problem asks for too much3Mikko
27 Jan15:48    i   ii                 i         i`* Re: The Halting Problem asks for too much2olcott
28 Jan10:40    i   ii                 i         i `- Re: The Halting Problem asks for too much1Mikko
27 Jan09:15    i   ii                 i         `* Re: The Halting Problem asks for too much3Mikko
27 Jan16:29    i   ii                 i          `* Re: The Halting Problem asks for too much2olcott
28 Jan10:45    i   ii                 i           `- Re: The Halting Problem asks for too much1Mikko
24 Jan 26    i   ii                 `* Re: The Halting Problem asks for too much14olcott
24 Jan 26    i   ii                  `* Re: The Halting Problem asks for too much13olcott
24 Jan 26    i   ii                   `* Re: The Halting Problem asks for too much12olcott
24 Jan 26    i   ii                    `* Re: The Halting Problem asks for too much11olcott
24 Jan 26    i   ii                     `* Re: The Halting Problem asks for too much10olcott
25 Jan 26    i   ii                      +* Re: The Halting Problem asks for too much8olcott
25 Jan20:09    i   ii                      i`* Re: The Halting Problem asks for too much7olcott
25 Jan21:07    i   ii                      i `* Re: The Halting Problem asks for too much6olcott
26 Jan03:31    i   ii                      i  `* Re: The Halting Problem asks for too much5olcott
26 Jan18:23    i   ii                      i   `* Re: The Halting Problem asks for too much4olcott
26 Jan19:43    i   ii                      i    `* Re: The Halting Problem asks for too much3olcott
26 Jan23:08    i   ii                      i     `* Re: The Halting Problem asks for too much2olcott
26 Jan23:44    i   ii                      i      `- Re: The Halting Problem asks for too much1olcott
25 Jan 26    i   ii                      `- Re: The Halting Problem asks for too much1dart200
11 Jan 26    i   i`* Re: The Halting Problem asks for too much14Mikko
11 Jan 26    i   i `* Re: The Halting Problem asks for too much13olcott
12 Jan 26    i   i  `* Re: The Halting Problem asks for too much12Mikko
12 Jan 26    i   i   `* Re: The Halting Problem asks for too much11olcott
13 Jan 26    i   i    `* Re: The Halting Problem asks for too much10Mikko
13 Jan 26    i   i     `* Re: The Halting Problem asks for too much9olcott
14 Jan 26    i   i      +* Re: The Halting Problem asks for too much3Mikko
14 Jan 26    i   i      i`* Re: The Halting Problem asks for too much2olcott
15 Jan 26    i   i      i `- Re: The Halting Problem asks for too much1Mikko
14 Jan 26    i   i      `* Re: The Halting Problem asks for too much5Mikko
14 Jan 26    i   i       `* Re: The Halting Problem asks for too much4olcott
15 Jan 26    i   i        `* Re: The Halting Problem asks for too much3Mikko
15 Jan 26    i   i         `* Re: The Halting Problem asks for too much2Tristan Wibberley
16 Jan 26    i   i          `- Re: The Halting Problem asks for too much1Mikko
11 Jan 26    i   `* Computation and Undecidability23olcott
11 Jan 26    i    `* Re: Computation and Undecidability22Richard Damon
11 Jan 26    i     +* Re: Computation and Undecidability6olcott
11 Jan 26    i     i`* Re: Computation and Undecidability5Richard Damon
11 Jan 26    i     i `* Re: Computation and Undecidability4olcott
11 Jan 26    i     i  `* Re: Computation and Undecidability3Richard Damon
11 Jan 26    i     i   `* Re: Computation and Undecidability2olcott
11 Jan 26    i     i    `- Re: Computation and Undecidability1Richard Damon
11 Jan 26    i     `* Re: Computation and Undecidability15olcott
11 Jan 26    i      `* Re: Computation and Undecidability14Richard Damon
11 Jan 26    i       `* Re: Computation and Undecidability13olcott
11 Jan 26    i        `* Re: Computation and Undecidability12Richard Damon
11 Jan 26    i         +* Re: Computation and Undecidability2polcott
11 Jan 26    i         i`- Re: Computation and Undecidability1Richard Damon
11 Jan 26    i         `* Re: Computation and Undecidability9olcott
11 Jan 26    i          `* Re: Computation and Undecidability8Richard Damon
11 Jan 26    i           `* Re: Computation and Undecidability7olcott
11 Jan 26    i            `* Re: Computation and Undecidability6Richard Damon
11 Jan 26    i             +- Re: Computation and Undecidability1olcott
11 Jan 26    i             `* Re: Computation and Undecidability4Tristan Wibberley
11 Jan 26    i              +- Re: Computation and Undecidability1Richard Damon
11 Jan 26    i              `* Re: Computation and Undecidability2olcott
11 Jan 26    i               `- Re: Computation and Undecidability1olcott
9 Jan 26    `- Haskell Curry Foundations of Mathematical Logic sense of true in the system1olcott
26 Jan18:48 * PA system cannot prove "∞∈ℕ"18wij
26 Jan20:54 +- Re: PA system cannot prove "∞∈ℕ"1wij
27 Jan09:25 +* Re: PA system cannot prove "∞∈ℕ"3Mikko
27 Jan21:23 i`* Re: PA system cannot prove "∞∈ℕ"2wij
29 Jan10:21 i `- Re: PA system cannot prove "∞∈ℕ"1Mikko
27 Jan21:50 `* Re: PA system cannot prove "∞∈ℕ"13olcott
27 Jan22:04  +* Re: PA system cannot prove "∞∈ℕ"2wij
27 Jan22:16  i`- Re: PA system cannot prove "∞∈ℕ"1olcott
29 Jan10:21  `* Re: PA system cannot prove "∞∈ℕ"10Mikko
29 Jan13:03   +* Re: PA system cannot prove "∞∈ℕ"3Tristan Wibberley
29 Jan18:16   i+- Re: PA system cannot prove "∞∈ℕ"1Andy Walker
30 Jan10:34   i`- Re: PA system cannot prove "∞∈ℕ"1Mikko
29 Jan19:06   `* Re: PA system cannot prove "∞∈ℕ" PLO6olcott
30 Jan10:20    `* Re: PA system cannot prove "∞∈ℕ" PLO5Mikko
30 Jan23:57     +- Re: PA system cannot prove "∞∈ℕ" PLO1Tristan Wibberley
31 Jan00:37     `* Re: PA system cannot prove "∞∈ℕ" PLO3olcott
31 Jan09:49      `* Re: PA system cannot prove "∞∈ℕ" PLO2Mikko
31 Jan16:25       `- Re: PA system cannot prove "∞∈ℕ" PLO1olcott
21 Jan 26 * a subset of turing machines can still be turing complete39dart200
21 Jan 26 +- Re: a subset of turing machines can still be turing complete1Mikko
21 Jan 26 `* Re: a subset of turing machines can still be turing complete37dart200
22 Jan 26  +* Re: a subset of turing machines can still be turing complete32Tristan Wibberley
23 Jan 26  i`* Re: a subset of turing machines can still be turing complete31dart200
23 Jan 26  i +* Re: a subset of turing machines can still be turing complete7Tristan Wibberley
23 Jan 26  i i`* Re: a subset of turing machines can still be turing complete6dart200
23 Jan 26  i i +* Re: a subset of turing machines can still be turing complete3Richard Damon
23 Jan 26  i i i`* Re: a subset of turing machines can still be turing complete2dart200
23 Jan 26  i i i `- Re: a subset of turing machines can still be turing complete1Richard Damon
29 Jan00:22  i i `* Re: a subset of turing machines can still be turing complete2Tristan Wibberley
30 Jan06:18  i i  `- Re: a subset of turing machines can still be turing complete1dart200
23 Jan 26  i `* Re: a subset of Turing machines can still be Turing complete PLO23olcott
23 Jan 26  i  `* Re: a subset of Turing machines can still be Turing complete PLO22dart200
23 Jan 26  i   +* Re: a subset of Turing machines can still be Turing complete PLO12olcott
23 Jan 26  i   i`* Re: a subset of Turing machines can still be Turing complete PLO11dart200
23 Jan 26  i   i +- Re: a subset of Turing machines can still be Turing complete PLO1olcott
23 Jan 26  i   i `* Re: a subset of Turing machines can still be Turing complete PLO9olcott
24 Jan 26  i   i  `* Re: a subset of Turing machines can still be Turing complete PLO8Richard Damon
24 Jan 26  i   i   `* Re: a subset of Turing machines can still be Turing complete PLO7olcott
24 Jan 26  i   i    `* Re: a subset of Turing machines can still be Turing complete PLO6olcott
24 Jan 26  i   i     `* Re: a subset of Turing machines can still be Turing complete PLO5Richard Damon
24 Jan 26  i   i      `* Re: a subset of Turing machines can still be Turing complete PLO4olcott
24 Jan 26  i   i       `* Re: a subset of Turing machines can still be Turing complete PLO3olcott
24 Jan 26  i   i        `* Re: a subset of Turing machines can still be Turing complete PLO2Richard Damon
24 Jan 26  i   i         `- Re: a subset of Turing machines can still be Turing complete PLO1olcott
24 Jan 26  i   `* Re: a subset of Turing machines can still be Turing complete PLO9Mikko
24 Jan 26  i    `* Re: a subset of Turing machines can still be Turing complete PLO8dart200
24 Jan 26  i     +* Re: a subset of Turing machines can still be Turing complete PLO6dart200
24 Jan 26  i     i`* Re: a subset of Turing machines can still be Turing complete PLO5dart200
25 Jan 26  i     i +* Re: a subset of Turing machines can still be Turing complete PLO2dart200
25 Jan22:07  i     i i`- Re: a subset of Turing machines can still be Turing complete PLO1dart200
29 Jan01:15  i     i `* Re: a subset of Turing machines can still be Turing complete PLO2Tristan Wibberley
29 Jan09:28  i     i  `- Re: a subset of Turing machines can still be Turing complete PLO1dart200
25 Jan12:12  i     `- Re: a subset of Turing machines can still be Turing complete PLO1Mikko
22 Jan 26  `* Re: a subset of turing machines can still be turing complete4Richard Damon
23 Jan 26   `* Re: a subset of turing machines can still be turing complete3dart200
23 Jan 26    `* Re: a subset of turing machines can still be turing complete2dart200
23 Jan 26     `- Re: a subset of turing machines can still be turing complete1Richard Damon
10 Dec 25 * Proof that the halting problem itself is a category error151polcott
10 Dec 25 +* Re: Proof that the halting problem itself is a category error148wij
11 Dec 25 i`* Re: Proof that the halting problem itself is a category error147polcott
11 Dec 25 i +* Re: Proof that the halting problem itself is a category error4wij
11 Dec 25 i i+- Re: Proof that the halting problem itself is a category error1polcott
11 Dec 25 i i+- Re: Proof that the halting problem itself is a category error --- typo1polcott
12 Dec 25 i i`- Re: Proof that the halting problem itself is a category error1olcott
6 Jan 26 i `* Re: Proof that the halting problem itself is a category error142Oleksiy Gapotchenko
6 Jan 26 i  +- Re: Proof that the halting problem itself is a category error1olcott
6 Jan 26 i  +* is the ct-thesis cooked?127dart200
7 Jan 26 i  i+* Re: is the ct-thesis cooked?106olcott
7 Jan 26 i  ii`* Re: is the ct-thesis cooked?105dart200
7 Jan 26 i  ii +* Re: is the ct-thesis cooked?3olcott
7 Jan 26 i  ii i`* Re: is the ct-thesis cooked?2dart200
7 Jan 26 i  ii i `- yes/no questions lacking a correct yes/no answer are incorrect questions1olcott
12 Jan 26 i  ii `* Re: is the ct-thesis cooked?101dart200
13 Jan 26 i  ii  `* Re: is the ct-thesis cooked?100dart200
13 Jan 26 i  ii   `* Re: is the ct-thesis cooked?99dart200
14 Jan 26 i  ii    +* Re: is the ct-thesis cooked?2Ben Bacarisse
14 Jan 26 i  ii    i`- Re: is the ct-thesis cooked?1dart200
15 Jan 26 i  ii    `* Re: is the ct-thesis cooked?96dart200
16 Jan 26 i  ii     `* Re: is the ct-thesis cooked?95dart200
16 Jan 26 i  ii      `* Re: is the ct-thesis cooked?94dart200
16 Jan 26 i  ii       +- The essence of all Computation generically defined1olcott
17 Jan 26 i  ii       +- The essence of all Computation generically defined1olcott
17 Jan 26 i  ii       +* Re: is the ct-thesis cooked?72dart200
17 Jan 26 i  ii       i`* Re: is the ct-thesis cooked?71dart200
17 Jan 26 i  ii       i +* Re: is the ct-thesis cooked?48Tristan Wibberley
17 Jan 26 i  ii       i i+* Re: is the ct-thesis cooked?34Tristan Wibberley
18 Jan 26 i  ii       i ii+- Re: is the ct-thesis cooked?1dart200
18 Jan 26 i  ii       i ii`* Re: is the ct-thesis cooked?32Tristan Wibberley

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal