Home | 1001portails | 1001annonces

comp.theory     [Liste des Groupes]   refresh

[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20]

Date Sujet  Auteur
17.09.
o P = NP.
13.09.
* A suspicion.
15.09.
`- Re: A suspicion.
10.09.
o Re: Criteria for evaluating success at refuting the halting problem proofs (V1)
09.09.
o Re: Criteria for evaluating success at refuting the halting problem proofs (V1)
08.09.
* Re: Bit Swizzling + [HP]
08.09.
+- Re: Bit Swizzling + [x86utm]
08.09.
`* Re: Bit Swizzling + [HP]
08.09.
 `* Re: Bit Swizzling + [HP]
08.09.
  `* Re: Bit Swizzling + [HP]
09.09.
   +* Re: Bit Swizzling + [HP]
09.09.
   |+* Re: Bit Swizzling + [HP]
09.09.
   ||+* Re: Bit Swizzling + [HP]
09.09.
   |||`* Re: Bit Swizzling + [HP]
09.09.
   ||| `* Re: Bit Swizzling + [HP]
09.09.
   |||  `- Re: Bit Swizzling + [HP]
09.09.
   ||`* Re: Bit Swizzling + [HP]
09.09.
   || `- Re: Bit Swizzling + [HP]
09.09.
   |`- Re: Bit Swizzling + [HP]
08.09.
   `* Re: Bit Swizzling + [HP]
08.09.
    `* Re: Bit Swizzling + [HP]
09.09.
     +* Re: Bit Swizzling + [HP]
09.09.
     |`* Re: Bit Swizzling + [HP]
09.09.
     | `* Re: Bit Swizzling + [HP]
09.09.
     |  +- Re: Bit Swizzling + [HP]
09.09.
     |  `* Re: Bit Swizzling + [HP]
10.09.
     |   +* Re: Bit Swizzling + [HP]
10.09.
     |   |+- Re: Bit Swizzling + [HP]
10.09.
     |   |+- Re: Bit Swizzling + [HP]
10.09.
     |   |`- Re: Bit Swizzling + [HP]
09.09.
     |   `* Re: Bit Swizzling + [HP]
10.09.
     |    `* Re: Bit Swizzling + [HP]
10.09.
     |     +* Re: Bit Swizzling + [HP]
10.09.
     |     |+* Re: Bit Swizzling + [HP]
11.09.
     |     ||+* Re: Bit Swizzling + [HP]
11.09.
     |     |||+- Re: Bit Swizzling + [HP]
10.09.
     |     |||`* Re: Bit Swizzling + [HP]
10.09.
     |     ||| `* Re: Bit Swizzling + [HP]
11.09.
     |     |||  `* Re: Bit Swizzling + [HP]
11.09.
     |     |||   `- Re: Bit Swizzling + [HP]
10.09.
     |     ||+* Re: Bit Swizzling + [HP]
10.09.
     |     |||`- Re: Bit Swizzling + [HP]
09.09.
     |     ||`- Re: Bit Swizzling + [HP refutation criteria]
10.09.
     |     |+- Re: Bit Swizzling + [HP]
10.09.
     |     |+- Re: Bit Swizzling + [HP]
09.09.
     |     |+- Re: Bit Swizzling + (HP refutation criteria)
09.09.
     |     |`* Re: Bit Swizzling + [HP]
10.09.
     |     | `* Re: Bit Swizzling + [HP]
09.09.
     |     |  `* Re: Bit Swizzling + [HP]
10.09.
     |     |   `* Re: Bit Swizzling + [HP]
09.09.
     |     |    `- Re: Bit Swizzling + [HP]
09.09.
     |     +* Re: Bit Swizzling + [HP]
10.09.
     |     |`- Re: Bit Swizzling + [HP]
09.09.
     |     +* Re: Bit Swizzling + [HP]
10.09.
     |     |`- Re: Bit Swizzling + [HP]
09.09.
     |     `* Re: Bit Swizzling + [HP]
10.09.
     |      `* Re: Bit Swizzling + [HP]
09.09.
     |       `* Re: Bit Swizzling + [HP refutation criteria]
10.09.
     |        `* Re: Bit Swizzling + [HP refutation criteria]
09.09.
     |         `* Re: Bit Swizzling + [HP refutation criteria]
10.09.
     |          `* Re: Bit Swizzling + [HP refutation criteria]
09.09.
     |           `- Re: Bit Swizzling + [HP refutation criteria]
08.09.
     `* Re: Bit Swizzling + [HP]
09.09.
      `* Re: Bit Swizzling + [HP]
08.09.
       `- Re: Bit Swizzling + [HP]
07.09.
* Why halt deciders can't be "interesting" programs.
08.09.
`* Re: Why halt deciders can't be "interesting" programs.
08.09.
 `* Re: Why halt deciders can't be "interesting" programs.
10.09.
  `* Re: Why halt deciders can't be "interesting" programs.
10.09.
   `* Re: Why halt deciders can't be "interesting" programs.
10.09.
    +* Re: Why halt deciders can't be "interesting" programs.
10.09.
    |`* Re: Why halt deciders can't be "interesting" programs.
11.09.
    | `* Re: Why halt deciders can't be "interesting" programs.
11.09.
    |  `* Re: Why halt deciders can't be "interesting" programs.
12.09.
    |   `- Re: Why halt deciders can't be "interesting" programs.
10.09.
    `* Re: Why halt deciders can't be "interesting" programs.
10.09.
     +- Re: Why halt deciders can't be "interesting" programs.
10.09.
     `* Re: Why halt deciders can't be "interesting" programs.
10.09.
      +- Re: Why halt deciders can't be "interesting" programs.
10.09.
      +- Re: Why halt deciders can't be "interesting" programs.
10.09.
      +- Re: Why halt deciders can't be "interesting" programs.
10.09.
      `* Re: Why halt deciders can't be "interesting" programs.
10.09.
       +- Re: Why halt deciders can't be "interesting" prog?= =?UTF-8?B?cmFtcy4gKFRhcnNraSAmIE
10.09.
       `* Re: Why halt deciders can't be "interesting" programs.
10.09.
        +- Re: Why halt deciders can't be "interesting" programs.
10.09.
        +* Re: Why halt deciders can't be "interesting" programs.
10.09.
        |+* Re: Why halt deciders can't be "interesting" programs.
10.09.
        ||`* Re: Why halt deciders can't be "interesting" programs.
10.09.
        || `* Re: Why halt deciders can't be "interesting" programs.
10.09.
        ||  `- Re: Why halt deciders can't be "interesting" programs.
10.09.
        |`* Re: Why halt deciders can't be "interesting" programs.
10.09.
        | +- Re: Why halt deciders can't be "interesting" programs.
10.09.
        | +* Re: Why halt deciders can't be "interesting" programs.
11.09.
        | |`* Re: Why halt deciders can't be "interesting" programs.
10.09.
        | | `* Re: Why halt deciders can't be "interesting" programs.
11.09.
        | |  `- Re: Why halt deciders can't be "interesting" programs.
10.09.
        | +* Re: Why halt deciders can't be "interesting" programs.
10.09.
        | |`* Re: Why halt deciders can't be "interesting" programs.
10.09.
        | | +* Re: Why halt deciders can't be "interesting" programs.
10.09.
        | | |+- Re: Why halt deciders can't be "interesting" programs.
10.09.
        | | |`- Re: Why halt deciders can't be "interesting" programs.
10.09.
        | | `- Re: Why halt deciders can't be "interesting" programs.
10.09.
        | `- Re: Why halt deciders can't be "interesting" programs.
10.09.
        `* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
10.09.
         `* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
10.09.
          `* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
10.09.
           `* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
10.09.
            `* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
10.09.
             `* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
              `* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
               +* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
               |`* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
               | +* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
               | |`* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
12.09.
               | | `* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
               | |  `- Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
               | `* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
               |  +* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
               |  |`* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
12.09.
               |  | `* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
12.09.
               |  |  `* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
13.09.
               |  |   +- Re: Why halt deciders can't be "interesting" programs. (H is bad?)
12.09.
               |  |   +- Re: Why halt deciders can't be "interesting" programs. (H is bad?)
12.09.
               |  |   `- Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
               |  `* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
               |   `* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
               |    `* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
12.09.
               |     +- Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
               |     `* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
               |      `* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
12.09.
               |       +* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
12.09.
               |       |`- Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
               |       +* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
               |       |`- Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
               |       `- Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
               `* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
                +* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
                |+* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
                ||`* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
                || `* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
12.09.
                ||  +* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
                ||  |+- Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
                ||  |`* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
12.09.
                ||  | `* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
12.09.
                ||  |  +* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
13.09.
                ||  |  |+- Re: Why halt deciders can't be "interesting" programs. (H is bad?)
12.09.
                ||  |  |`* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
12.09.
                ||  |  | +* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
13.09.
                ||  |  | |+* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
12.09.
                ||  |  | ||`- Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
12.09.
                ||  |  | |`* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
12.09.
                ||  |  | | `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
12.09.
                ||  |  | |  `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
12.09.
                ||  |  | |   `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
12.09.
                ||  |  | |    `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
12.09.
                ||  |  | |     `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
12.09.
                ||  |  | |      +* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |      |`* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |      | +* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |      | |`- Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |      | `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |      |  `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |      |   +- Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |      |   `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |      |    `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |      |     `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |      |      +* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |      |      |`- Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |      |      `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |      |       `- Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
12.09.
                ||  |  | |      `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |       `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |        +* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |        |`* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |        | `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |        |  `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |        |   `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |        |    +* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |        |    |`* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |        |    | `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
14.09.
                ||  |  | |        |    |  +* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
14.09.
                ||  |  | |        |    |  |`- Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |        |    |  `- Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |        |    `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |        |     +- Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |        |     `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |        |      +* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |        |      |`- Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |        |      `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |        |       `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |        |        +* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
14.09.
                ||  |  | |        |        |+* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |        |        ||`* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |        |        || `- Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |        |        |`* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |        |        | `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |        |        |  `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
14.09.
                ||  |  | |        |        |   +* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
14.09.
                ||  |  | |        |        |   |+* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
14.09.
                ||  |  | |        |        |   ||`* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
14.09.
                ||  |  | |        |        |   || `- Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
14.09.
                ||  |  | |        |        |   |`* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
14.09.
                ||  |  | |        |        |   | `- Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |        |        |   `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
14.09.
                ||  |  | |        |        |    `- Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |        |        `- Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |        `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |         `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |          `* Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
13.09.
                ||  |  | |           `- Re: Why halt deciders can't be "interesting" programs. (Tree of Knowledge)
12.09.
                ||  |  | `- Re: Why halt deciders can't be "interesting" programs. (H is bad?)
12.09.
                ||  |  `* Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
13.09.
                ||  |   +* Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
13.09.
                ||  |   |`* Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
14.09.
                ||  |   | `* Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
14.09.
                ||  |   |  +- Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
14.09.
                ||  |   |  `* Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
14.09.
                ||  |   |   +- Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
14.09.
                ||  |   |   `- Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
12.09.
                ||  |   `* Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
12.09.
                ||  |    `* Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
12.09.
                ||  |     `* Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
12.09.
                ||  |      `* Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
12.09.
                ||  |       `* Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
12.09.
                ||  |        `* Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
13.09.
                ||  |         +* Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
13.09.
                ||  |         |`* Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
12.09.
                ||  |         | `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |         |  `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
12.09.
                ||  |         |   `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |         |    +- Re: Why halt deciders can't be "interesting" programs. (HP refutation)
12.09.
                ||  |         |    `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |         |     +* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |         |     |`- Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |         |     +* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |         |     |+- Re: Why halt deciders can't be "interesting" programs. (HP refutation)
12.09.
                ||  |         |     |`* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |         |     | `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |         |     |  +* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |         |     |  |`* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |         |     |  | `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |         |     |  |  +* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |         |     |  |  |+* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |         |     |  |  ||`* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |         |     |  |  || `- Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |         |     |  |  |`* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |         |     |  |  | `- Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |         |     |  |  `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |         |     |  |   +* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |         |     |  |   |`- Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |         |     |  |   +* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |         |     |  |   |`* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |         |     |  |   | `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |         |     |  |   |  `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
14.09.
                ||  |         |     |  |   |   `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
14.09.
                ||  |         |     |  |   |    `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
15.09.
                ||  |         |     |  |   |     `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
15.09.
                ||  |         |     |  |   |      `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
15.09.
                ||  |         |     |  |   |       `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
15.09.
                ||  |         |     |  |   |        `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
15.09.
                ||  |         |     |  |   |         `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
15.09.
                ||  |         |     |  |   |          `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
15.09.
                ||  |         |     |  |   |           `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
15.09.
                ||  |         |     |  |   |            `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
15.09.
                ||  |         |     |  |   |             `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
15.09.
                ||  |         |     |  |   |              `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
15.09.
                ||  |         |     |  |   |               `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
16.09.
                ||  |         |     |  |   |                `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
15.09.
                ||  |         |     |  |   |                 `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
16.09.
                ||  |         |     |  |   |                  `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
16.09.
                ||  |         |     |  |   |                   `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
16.09.
                ||  |         |     |  |   |                    `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
16.09.
                ||  |         |     |  |   |                     `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
16.09.
                ||  |         |     |  |   |                      `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
17.09.
                ||  |         |     |  |   |                       +* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
17.09.
                ||  |         |     |  |   |                       |`* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
17.09.
                ||  |         |     |  |   |                       | `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
17.09.
                ||  |         |     |  |   |                       |  `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
17.09.
                ||  |         |     |  |   |                       |   `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
17.09.
                ||  |         |     |  |   |                       |    `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
17.09.
                ||  |         |     |  |   |                       |     `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      +- Re: Why halt deciders can't be "interesting" programs. (HP refutation) Is Ben Bluffi
17.09.
                ||  |         |     |  |   |                       |      +* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |`* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      | `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |  +- Re: Why halt deciders can't be "interesting" programs. (HP refutation)
17.09.
                ||  |         |     |  |   |                       |      |  `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |   +* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
17.09.
                ||  |         |     |  |   |                       |      |   |`* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |   | `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |   |  +* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |   |  |+* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |   |  ||`* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |   |  || `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |   |  ||  `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |   |  ||   `- Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |   |  |`* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |   |  | `- Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |   |  `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |   |   `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |   |    `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |   |     +* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
19.09.
                ||  |         |     |  |   |                       |      |   |     |`* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |   |     | `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
19.09.
                ||  |         |     |  |   |                       |      |   |     |  `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
19.09.
                ||  |         |     |  |   |                       |      |   |     |   +* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |   |     |   |`- Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |   |     |   `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
19.09.
                ||  |         |     |  |   |                       |      |   |     |    `- Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |   |     `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |   |      `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |   |       `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |   |        `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |   |         `- Re: Why halt deciders can't be "interesting" programs. (HP refutation)
17.09.
                ||  |         |     |  |   |                       |      |   `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |    +* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
17.09.
                ||  |         |     |  |   |                       |      |    |`- Re: Why halt deciders can't be "interesting" programs. (HP refutation)
17.09.
                ||  |         |     |  |   |                       |      |    `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
17.09.
                ||  |         |     |  |   |                       |      |     `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |      `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |       `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                       |      |        `- Re: Why halt deciders can't be "interesting" programs. (HP refutation)
17.09.
                ||  |         |     |  |   |                       |      `- Re: Why halt deciders can't be "interesting" programs. (HP refutation)
16.09.
                ||  |         |     |  |   |                       `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
16.09.
                ||  |         |     |  |   |                        +* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
17.09.
                ||  |         |     |  |   |                        |`* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
17.09.
                ||  |         |     |  |   |                        | `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
17.09.
                ||  |         |     |  |   |                        |  `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
17.09.
                ||  |         |     |  |   |                        |   `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                        |    `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
17.09.
                ||  |         |     |  |   |                        |     `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                        |      `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
17.09.
                ||  |         |     |  |   |                        |       `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                        |        `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
17.09.
                ||  |         |     |  |   |                        |         `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
18.09.
                ||  |         |     |  |   |                        |          `- Re: Why halt deciders can't be "interesting" programs. (HP refutation)
16.09.
                ||  |         |     |  |   |                        `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
16.09.
                ||  |         |     |  |   |                         `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
16.09.
                ||  |         |     |  |   |                          `- Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |         |     |  |   `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |         |     |  |    `- Re: Why halt deciders can't be "interesting" programs. (HP refutation)
12.09.
                ||  |         |     |  `- Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |         |     `- Re: Why halt deciders can't be "interesting" programs. (HP refutation)
12.09.
                ||  |         +- Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
12.09.
                ||  |         `* Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
13.09.
                ||  |          +* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
12.09.
                ||  |          |`* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |          | `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
12.09.
                ||  |          |  `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |          |   `- Re: Why halt deciders can't be "interesting" programs. (HP refutation)
12.09.
                ||  |          +* Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
12.09.
                ||  |          |`* Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
12.09.
                ||  |          | +* Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
12.09.
                ||  |          | |`- Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
12.09.
                ||  |          | `* Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
12.09.
                ||  |          |  +* Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
12.09.
                ||  |          |  |`- Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
12.09.
                ||  |          |  `* Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
12.09.
                ||  |          |   `* Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
13.09.
                ||  |          |    +- Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
12.09.
                ||  |          |    +- Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
12.09.
                ||  |          |    `- Re: Why halt deciders can't be "interesting" programs. (Venn Diagrams)
12.09.
                ||  |          `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |           +* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
12.09.
                ||  |           |`* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |           | `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
12.09.
                ||  |           |  `* Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |           |   `- Re: Why halt deciders can't be "interesting" programs. (HP refutation)
13.09.
                ||  |           `- Re: Why halt deciders can't be "interesting" programs. (HP refutation)
11.09.
                ||  `* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
                ||   `* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
                ||    `* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
12.09.
                ||     `- Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
                |`* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
                | `* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
                |  `* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
                |   `- Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
                `* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
                 `* Re: Why halt deciders can't be "interesting" programs. (H is bad?)
11.09.
                  `- Re: Why halt deciders can't be "interesting" programs. (H is bad?)
05.09.
* Clarification of PO's UTM architecture and his H and H_Hat
05.09.
`* Re: Clarification of PO's UTM architecture and his H and H_Hat
06.09.
 `* Re: Clarification of PO's UTM architecture and his H and H_Hat
08.09.
  +* Re: Clarification of PO's UTM architecture and his H and H_Hat
07.09.
  |`* Re: Clarification of PO's UTM architecture and his H and H_Hat
08.09.
  | `* Re: Clarification of PO's UTM architecture and his H and H_Hat
07.09.
  |  `* Re: Clarification of PO's UTM architecture and his H and H_Hat
08.09.
  |   `* Re: Clarification of PO's UTM architecture and his H and H_Hat
08.09.
  |    `* Re: Clarification of PO's UTM architecture and his H and H_Hat
08.09.
  |     <