sci.logic

Liste des GroupesPages :12345678910111213141516171819202122
Date Sujet#  Auteur
7 Jan 26 * The Halting Problem asks for too much173olcott
7 Jan 26 `* Re: The Halting Problem asks for too much172Mikko
7 Jan 26  `* Re: The Halting Problem asks for too much171olcott
8 Jan 26   `* Re: The Halting Problem asks for too much170Mikko
8 Jan 26    +* Re: The Halting Problem asks for too much168olcott
9 Jan 26    i`* Re: The Halting Problem asks for too much167Mikko
9 Jan 26    i `* Re: The Halting Problem asks for too much166olcott
10 Jan 26    i  `* Re: The Halting Problem asks for too much165Mikko
10 Jan 26    i   +* Re: The Halting Problem asks for too much140olcott
11 Jan 26    i   i+* Re: The Halting Problem asks for too much10Richard Damon
11 Jan 26    i   ii+* Re: The Halting Problem asks for too much8olcott
11 Jan 26    i   iii`* Re: The Halting Problem asks for too much7Richard Damon
11 Jan 26    i   iii `* Re: The Halting Problem asks for too much6olcott
11 Jan 26    i   iii  `* Re: The Halting Problem asks for too much5Richard Damon
11 Jan 26    i   iii   `* Re: The Halting Problem asks for too much4olcott
11 Jan 26    i   iii    `* Re: The Halting Problem asks for too much3Richard Damon
11 Jan 26    i   iii     `* Computation and Undecidability2olcott
11 Jan 26    i   iii      `- Re: Computation and Undecidability1Richard Damon
11 Jan 26    i   ii`- Re: The Halting Problem asks for too much1Tristan Wibberley
11 Jan 26    i   i+* Re: The Halting Problem asks for too much113Mikko
11 Jan 26    i   ii+* Re: The Halting Problem asks for too much31olcott
12 Jan 26    i   iii`* Re: The Halting Problem asks for too much30Mikko
12 Jan 26    i   iii `* Re: The Halting Problem asks for too much29olcott
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 much11olcott
14 Jan 26    i   iii  ii`* Re: The Halting Problem asks for too much10Mikko
14 Jan 26    i   iii  ii `* Re: The Halting Problem asks for too much9olcott
15 Jan 26    i   iii  ii  `* Re: The Halting Problem asks for too much8Mikko
15 Jan 26    i   iii  ii   +* Re: The Halting Problem asks for too much2Tristan Wibberley
17 Jan 26    i   iii  ii   i`- Re: The Halting Problem asks for too much1Mikko
16 Jan 26    i   iii  ii   `* Re: The Halting Problem asks for too much5olcott
16 Jan 26    i   iii  ii    `* Re: The Halting Problem asks for too much4Mikko
16 Jan 26    i   iii  ii     +- Re: The Halting Problem asks for too much1olcott
16 Jan 26    i   iii  ii     `* Re: The Halting Problem asks for too much2olcott
17 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
13 Jan 26    i   iii  i +* Re: The Halting Problem asks for too much7Tristan Wibberley
13 Jan 26    i   iii  i i+* Re: The Halting Problem asks for too much3olcott
14 Jan 26    i   iii  i ii`* Re: The Halting Problem asks for too much2Tristan Wibberley
14 Jan 26    i   iii  i ii `- Re: The Halting Problem asks for too much1olcott
14 Jan 26    i   iii  i i`* Re: The Halting Problem asks for too much3Mikko
14 Jan 26    i   iii  i i `* Re: The Halting Problem asks for too much2Tristan Wibberley
15 Jan 26    i   iii  i i  `- Re: The Halting Problem asks for too much1Mikko
14 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 much7olcott
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 much4olcott
16 Jan 26    i   iii    `* Re: The Halting Problem asks for too much3olcott
31 Jan02:47    i   iii     `* Re: The Halting Problem asks for too much2Tristan Wibberley
31 Jan03:10    i   iii      `- Re: The Halting Problem asks for too much1olcott
12 Jan 26    i   ii`* Re: The Halting Problem asks for too much81olcott
13 Jan 26    i   ii `* Re: The Halting Problem asks for too much80Mikko
13 Jan 26    i   ii  `* Re: The Halting Problem asks for too much79olcott
14 Jan 26    i   ii   `* Re: The Halting Problem asks for too much78Mikko
14 Jan 26    i   ii    `* Re: The Halting Problem asks for too much77olcott
15 Jan 26    i   ii     `* Re: The Halting Problem asks for too much76Mikko
15 Jan 26    i   ii      `* Re: The Halting Problem asks for too much75olcott
16 Jan 26    i   ii       `* Re: The Halting Problem asks for too much74Mikko
16 Jan 26    i   ii        `* Re: The Halting Problem asks for too much73olcott
17 Jan 26    i   ii         `* Re: The Halting Problem asks for too much72Mikko
17 Jan 26    i   ii          `* Re: The Halting Problem asks for too much71olcott
17 Jan 26    i   ii           +- Re: The Halting Problem asks for too much1Tristan Wibberley
18 Jan 26    i   ii           `* Re: The Halting Problem asks for too much69Mikko
18 Jan 26    i   ii            `* Re: The Halting Problem asks for too much68olcott
19 Jan 26    i   ii             `* Re: The Halting Problem asks for too much67Mikko
19 Jan 26    i   ii              +* Re: The Halting Problem asks for too much6Tristan Wibberley
20 Jan 26    i   ii              i`* Re: The Halting Problem asks for too much5Mikko
21 Jan 26    i   ii              i `* Re: The Halting Problem asks for too much4Tristan Wibberley
22 Jan 26    i   ii              i  `* Re: The Halting Problem asks for too much3Mikko
22 Jan 26    i   ii              i   `* Re: The Halting Problem asks for too much2Tristan Wibberley
23 Jan 26    i   ii              i    `- Re: The Halting Problem asks for too much1Mikko
19 Jan 26    i   ii              `* Re: The Halting Problem asks for too much60olcott
20 Jan 26    i   ii               `* Re: The Halting Problem asks for too much59Mikko
20 Jan 26    i   ii                `* Re: The Halting Problem asks for too much58olcott
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                 i`* Re: The Halting Problem asks for too much13olcott
24 Jan20:25    i   ii                 i `* Re: The Halting Problem asks for too much12olcott
24 Jan21:38    i   ii                 i  `* Re: The Halting Problem asks for too much11olcott
24 Jan23:31    i   ii                 i   `* Re: The Halting Problem asks for too much10olcott
25 Jan02:44    i   ii                 i    +* Re: The Halting Problem asks for too much8olcott
25 Jan20:09    i   ii                 i    i`* Re: The Halting Problem asks for too much7olcott
25 Jan21:07    i   ii                 i    i `* Re: The Halting Problem asks for too much6olcott
26 Jan03:31    i   ii                 i    i  `* Re: The Halting Problem asks for too much5olcott
26 Jan18:23    i   ii                 i    i   `* Re: The Halting Problem asks for too much4olcott
26 Jan19:43    i   ii                 i    i    `* Re: The Halting Problem asks for too much3olcott
26 Jan23:08    i   ii                 i    i     `* Re: The Halting Problem asks for too much2olcott
26 Jan23:44    i   ii                 i    i      `- Re: The Halting Problem asks for too much1olcott
25 Jan03:28    i   ii                 i    `- Re: The Halting Problem asks for too much1dart200
29 Jan05:39    i   ii                 `- Re: The Halting Problem asks for too much1Tristan Wibberley
11 Jan 26    i   i`* Re: The Halting Problem asks for too much16Mikko
11 Jan 26    i   i `* Re: The Halting Problem asks for too much15olcott
12 Jan 26    i   i  `* Re: The Halting Problem asks for too much14Mikko
12 Jan 26    i   i   `* Re: The Halting Problem asks for too much13olcott
13 Jan 26    i   i    `* Re: The Halting Problem asks for too much12Mikko
13 Jan 26    i   i     `* Re: The Halting Problem asks for too much11olcott
13 Jan 26    i   i      +- Re: The Halting Problem asks for too much1Tristan Wibberley
14 Jan 26    i   i      +* Re: The Halting Problem asks for too much4Mikko
14 Jan 26    i   i      i+- Re: The Halting Problem asks for too much1olcott
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 Undecidability24olcott
11 Jan 26    i    `* Re: Computation and Undecidability23Richard 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 Undecidability16olcott
11 Jan 26    i      `* Re: Computation and Undecidability15Richard Damon
11 Jan 26    i       `* Re: Computation and Undecidability14olcott
11 Jan 26    i        `* Re: Computation and Undecidability13Richard 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 Undecidability10olcott
11 Jan 26    i          `* Re: Computation and Undecidability9Richard Damon
11 Jan 26    i           `* Re: Computation and Undecidability8olcott
11 Jan 26    i            `* Re: Computation and Undecidability7Richard Damon
11 Jan 26    i             +- Re: Computation and Undecidability1olcott
11 Jan 26    i             `* Re: Computation and Undecidability5Tristan Wibberley
11 Jan 26    i              +- Re: Computation and Undecidability1Richard Damon
11 Jan 26    i              `* Re: Computation and Undecidability3olcott
11 Jan 26    i               `* Re: Computation and Undecidability2Tristan Wibberley
11 Jan 26    i                `- Re: Computation and Undecidability1olcott
9 Jan 26    `- Haskell Curry Foundations of Mathematical Logic sense of true in the system1olcott
16 Jan 26 * Proof Theoretic Semantics Blocks Pathological Self-Reference18olcott
16 Jan 26 +* Re: Proof Theoretic Semantics Blocks Pathological Self-Reference11olcott
16 Jan 26 i`* Re: Proof Theoretic Semantics Blocks Pathological Self-Reference10olcott
16 Jan 26 i `* Re: Proof Theoretic Semantics Blocks Pathological Self-Reference9olcott
16 Jan 26 i  `* Re: Proof Theoretic Semantics Blocks Pathological Self-Reference8olcott
17 Jan 26 i   +- Re: Proof Theoretic Semantics Blocks Pathological Self-Reference1olcott
17 Jan 26 i   `* Re: Proof Theoretic Semantics Blocks Pathological Self-Reference6olcott
17 Jan 26 i    +* Re: Proof Theoretic Semantics Blocks Pathological Self-Reference2olcott
17 Jan 26 i    i`- Re: Proof Theoretic Semantics Blocks Pathological Self-Reference1olcott
17 Jan 26 i    `* Re: Proof Theoretic Semantics Blocks Pathological Self-Reference3olcott
17 Jan 26 i     `* Re: Proof Theoretic Semantics Blocks Pathological Self-Reference2Richard Damon
17 Jan 26 i      `- Re: Proof Theoretic Semantics Blocks Pathological Self-Reference1olcott
17 Jan 26 +* Re: Proof Theoretic Semantics Blocks Pathological Self-Reference4Mikko
17 Jan 26 i`* Re: Proof Theoretic Semantics Blocks Pathological Self-Reference3olcott
18 Jan 26 i +- Re: Proof Theoretic Semantics Blocks Pathological Self-Reference1Mikko
31 Jan00:39 i `- Re: Proof Theoretic Semantics Blocks Pathological Self-Reference1Tristan Wibberley
17 Jan 26 `* Re: Proof Theoretic Semantics Blocks Pathological Self-Reference2Tristan Wibberley
18 Jan 26  `- Re: Proof Theoretic Semantics Blocks Pathological Self-Reference1Mikko
17 Jan 26 * Gödel's G has never actually been true in arithmetic55olcott
17 Jan 26 +* Re: Gödel's G has never actually been true in arithmetic44olcott
18 Jan 26 i`* Re: Gödel's G has never actually been true in arithmetic43olcott
18 Jan 26 i +* Re: Gödel's G has never actually been true in arithmetic41olcott
18 Jan 26 i i`* Re: Gödel's G has never actually been true in arithmetic40olcott
18 Jan 26 i i `* Re: Gödel's G has never actually been true in arithmetic39olcott
18 Jan 26 i i  +* Re: Gödel's G has never actually been true in arithmetic37olcott
18 Jan 26 i i  i`* Re: Gödel's G has never actually been true in arithmetic36olcott
18 Jan 26 i i  i `* Re: Gödel's G has never actually been true in arithmetic35olcott
18 Jan 26 i i  i  +- Re: Gödel's G has never actually been true in arithmetic1Python
19 Jan 26 i i  i  `* Re: Gödel's G has never actually been true in arithmetic33olcott
19 Jan 26 i i  i   +* Re: Gödel's G has never actually been true in arithmetic21Python
19 Jan 26 i i  i   i+* Re: Gödel's G has never actually been true in arithmetic19olcott
19 Jan 26 i i  i   ii`* Re: Gödel's G has never actually been true in arithmetic18Richard Damon
19 Jan 26 i i  i   ii `* Re: Gödel's G has never actually been true in arithmetic17olcott
19 Jan 26 i i  i   ii  +* Re: Gödel's G has never actually been true in arithmetic15Richard Damon
19 Jan 26 i i  i   ii  i+* Re: Gödel's G has never actually been true in arithmetic2Tristan Wibberley
19 Jan 26 i i  i   ii  ii`- Re: Gödel's G has never actually been true in arithmetic1olcott
19 Jan 26 i i  i   ii  i`* Re: Gödel's G has never actually been true in arithmetic12olcott
20 Jan 26 i i  i   ii  i `* Re: Gödel's G has never actually been true in arithmetic11olcott
21 Jan 26 i i  i   ii  i  `* Re: Gödel's G has never actually been true in arithmetic10olcott
21 Jan 26 i i  i   ii  i   `* Re: Gödel's G has never actually been true in arithmetic9Richard Damon
21 Jan 26 i i  i   ii  i    `* Re: Gödel's G has never actually been true in arithmetic8olcott
22 Jan 26 i i  i   ii  i     `* Re: Gödel's G has never actually been true in arithmetic7Richard Damon
22 Jan 26 i i  i   ii  i      `* Re: Gödel's G has never actually been true in arithmetic6olcott
22 Jan 26 i i  i   ii  i       `* Re: Gödel's G has never actually been true in arithmetic5Python
22 Jan 26 i i  i   ii  i        `* Re: Gödel's G has never actually been true in arithmetic4olcott
23 Jan 26 i i  i   ii  i         `* Re: Gödel's G has never actually been true in arithmetic3olcott
23 Jan 26 i i  i   ii  i          `* Re: Gödel's G has never actually been true in arithmetic2Richard Damon
23 Jan 26 i i  i   ii  i           `- Re: Gödel's G has never actually been true in arithmetic1olcott
20 Jan 26 i i  i   ii  `- Re: Gödel's G has never actually been true in arithmetic1olcott
22 Jan 26 i i  i   i`- Re: Gödel's G has never actually been true in arithmetic1Moebius
19 Jan 26 i i  i   +* Re: Gödel's G has never actually been true in arithmetic2olcott
20 Jan 26 i i  i   i`- Re: Gödel's G has never actually been true in arithmetic1olcott
21 Jan 26 i i  i   `* Re: Gödel's G has never actually been true in arithmetic9Tristan Wibberley
21 Jan 26 i i  i    +* Re: Gödel's G has never actually been true in arithmetic4olcott
23 Jan 26 i i  i    i+- Re: Gödel's G has never actually been true in arithmetic1olcott
23 Jan 26 i i  i    i+- Re: Gödel's G has never actually been true in arithmetic1olcott
23 Jan 26 i i  i    i`- Re: Gödel's G has never actually been true in arithmetic1olcott
23 Jan 26 i i  i    `* Re: Gödel's G has never actually been true in arithmetic4Tristan Wibberley
23 Jan 26 i i  i     `* Re: Gödel's G has never actually been true in arithmetic3olcott
23 Jan 26 i i  i      `* Re: Gödel's G has never actually been true in arithmetic2Tristan Wibberley
23 Jan 26 i i  i       `- Re: Gödel's G has never actually been true in arithmetic1olcott
18 Jan 26 i i  `- Re: Gödel's G has never actually been true in arithmetic1Tristan Wibberley
18 Jan 26 i `- Re: Gödel's G has never actually been true in arithmetic1Tristan Wibberley
18 Jan 26 +- Re: Gödel's G has never actually been true in arithmetic1Mikko
18 Jan 26 +- Glossary building (Was: Re: Gödel's G has never actually been true in arithmetic)1Tristan Wibberley
20 Jan 26 `* Re: Gödel's G has never actually been true in arithmetic8olcott
20 Jan 26  +* Re: Gödel's G has never actually been true in arithmetic3olcott
28 Jan17:34  i`* Re: Gödel's G has never actually been true in arithmetic2Tristan Wibberley
28 Jan19:17  i `- Re: Gödel's G has never actually been true in arithmetic1olcott
28 Jan17:21  `* Re: Gödel's G has never actually been true in arithmetic4Tristan Wibberley
28 Jan19:08   `* Re: Gödel's G has never actually been true in arithmetic3olcott
29 Jan00:59    `* Re: Gödel's G has never actually been true in arithmetic2Tristan Wibberley
29 Jan03:10     `- Re: Gödel's G has never actually been true in arithmetic1olcott
19 Jan 26 * Die Geschichte von Ludwig XIV [AI is not Dead]3Mild Shock
22 Jan 26 `* The Blue Pill or the Red Pill [Hillel or Hakan] ? (Re: Die Geschichte von Ludwig XIV [AI is not Dead])2Mild Shock
26 Jan00:34  `- Vectorization 2024 or Tensorization 2025 (Re: The Blue Pill or the Red Pill [Hillel or Hakan] ?)1Mild Shock
23 Jan 26 * Re: a subset of Turing machines can still be Turing complete PLO21olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal