comp.theory

Liste des Groupes Pages :1234567891011121314151617181920212223242526272829303132
Date Sujet#  Auteur
16 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i       i i i       +- Re: key error in all the proofs --- Correction of Fred1joes
16 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i       i i i       `- Re: key error in all the proofs --- Correction of Fred1Fred. Zwarts
16 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i       i i +* Re: key error in all the proofs --- Correction of Fred15joes
16 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i       i i i`* Re: key error in all the proofs --- Correction of Fred14olcott
16 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i       i i i +* Re: key error in all the proofs --- Correction of Fred12joes
16 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i       i i i i`* Re: key error in all the proofs --- Correction of Fred11olcott
16 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i       i i i i `* Re: key error in all the proofs --- Correction of Fred10Richard Damon
16 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i       i i i i  `* Re: key error in all the proofs --- Correction of Fred9olcott
16 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i       i i i i   +- Re: key error in all the proofs --- Correction of Fred1joes
16 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i       i i i i   +* Re: key error in all the proofs --- Correction of Fred6Richard Damon
16 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i       i i i i   i`* Re: key error in all the proofs --- Correction of Fred5olcott
16 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i       i i i i   i +* Re: key error in all the proofs --- Correction of Fred3Richard Damon
16 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i       i i i i   i i`* Re: key error in all the proofs --- Correction of Fred2olcott
16 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i       i i i i   i i `- Re: key error in all the proofs --- Correction of Fred1Richard Damon
17 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i       i i i i   i `- Re: key error in all the proofs --- Correction of Fred1Mikko
16 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i       i i i i   `- Re: key error in all the proofs --- Correction of Fred1Fred. Zwarts
16 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i       i i i `- Re: key error in all the proofs --- Correction of Fred1Fred. Zwarts
16 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i       i i `- Re: key error in all the proofs --- Correction of Fred1Fred. Zwarts
17 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i       i `* Re: key error in all the proofs --- Correction of Fred4Mikko
17 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i       i  `* Re: key error in all the proofs --- Correction of Fred3olcott
18 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i       i   `* Re: key error in all the proofs --- Correction of Fred2Mikko
18 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i       i    `- Re: key error in all the proofs --- Correction of Fred1olcott
17 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i       `* Re: key error in all the proofs --- Correction of Fred2joes
17 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i        `- Re: key error in all the proofs --- Correction of Fred1olcott
15 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      +- Re: HHH maps its input to the behavior specified by it --- key error in all the proofs --- Mike --- basis1Richard Damon
15 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      `* Re: HHH maps its input to the behavior specified by it --- key error in all the proofs --- Mike --- basis3Mikko
15 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i       `* Re: HHH maps its input to the behavior specified by it --- key error in all the proofs --- Mike --- basis2olcott
16 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i        `- Re: HHH maps its input to the behavior specified by it --- key error in all the proofs --- Mike --- basis1Mikko
13 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   `* Re: HHH maps its input to the behavior specified by it --- key error in all the proofs --- Mike2joes
13 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii    `- Re: HHH maps its input to the behavior specified by it --- key error in all the proofs --- Mike1olcott
13 Aug 24 i i   i       i   ii   ii     i i i i i                           i     i`* Re: HHH maps its input to the behavior specified by it --- key error in all the proofs --- Mike2joes
13 Aug 24 i i   i       i   ii   ii     i i i i i                           i     i `- Re: HHH maps its input to the behavior specified by it --- key error in all the proofs --- Mike1olcott
12 Aug 24 i i   i       i   ii   ii     i i i i i                           i     +- Re: HHH maps its input to the behavior specified by it --- key error in all the proofs1Richard Damon
13 Aug 24 i i   i       i   ii   ii     i i i i i                           i     `* Re: HHH maps its input to the behavior specified by it --- key error in all the proofs2joes
13 Aug 24 i i   i       i   ii   ii     i i i i i                           i      `- Re: HHH maps its input to the behavior specified by it --- key error in all the proofs1olcott
13 Aug 24 i i   i       i   ii   ii     i i i i i                           `- Re: HHH maps its input to the behavior specified by it --- key error in all the proofs1Fred. Zwarts
10 Aug 24 i i   i       i   ii   ii     i i i i `- Re: HHH maps its input to the behavior specified by it ---1Fred. Zwarts
10 Aug 24 i i   i       i   ii   ii     i i i `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping9Fred. Zwarts
10 Aug 24 i i   i       i   ii   ii     i i i  `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping8olcott
10 Aug 24 i i   i       i   ii   ii     i i i   +* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping6Fred. Zwarts
10 Aug 24 i i   i       i   ii   ii     i i i   i`* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping5olcott
10 Aug 24 i i   i       i   ii   ii     i i i   i +- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping1Richard Damon
11 Aug 24 i i   i       i   ii   ii     i i i   i `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping3Fred. Zwarts
11 Aug 24 i i   i       i   ii   ii     i i i   i  `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping2olcott
11 Aug 24 i i   i       i   ii   ii     i i i   i   `- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping1Richard Damon
10 Aug 24 i i   i       i   ii   ii     i i i   `- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping1Richard Damon
10 Aug 24 i i   i       i   ii   ii     i i `- Re: HHH maps its input to the behavior specified by it --- partial simulation never reaches its halt state, but full behavior does ---natural number mapping1Richard Damon
10 Aug 24 i i   i       i   ii   ii     i `- Re: HHH maps its input to the behavior specified by it --- partial emulation never reaches its halt state (But DDD itself does) ---natural number mapping1Richard Damon
11 Aug 24 i i   i       i   ii   ii     `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping27Mikko
11 Aug 24 i i   i       i   ii   ii      `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping26olcott
11 Aug 24 i i   i       i   ii   ii       +- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping1Richard Damon
11 Aug 24 i i   i       i   ii   ii       +* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping14Fred. Zwarts
12 Aug 24 i i   i       i   ii   ii       i`* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping13olcott
13 Aug 24 i i   i       i   ii   ii       i `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping12Fred. Zwarts
13 Aug 24 i i   i       i   ii   ii       i  `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping11olcott
13 Aug 24 i i   i       i   ii   ii       i   +* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping8Alan Mackenzie
13 Aug 24 i i   i       i   ii   ii       i   i`* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping7olcott
13 Aug 24 i i   i       i   ii   ii       i   i +- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping1Fred. Zwarts
13 Aug 24 i i   i       i   ii   ii       i   i +* Re: never reaches its halt state ---natural number mapping4joes
13 Aug 24 i i   i       i   ii   ii       i   i i`* Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- point by point3olcott
14 Aug 24 i i   i       i   ii   ii       i   i i `* Re: Overview of proof that DDD specifies non-halting behavior --- point by point2joes
14 Aug 24 i i   i       i   ii   ii       i   i i  `- Re: Overview of proof that DDD specifies non-halting behavior --- point by point1olcott
14 Aug 24 i i   i       i   ii   ii       i   i `- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping1Richard Damon
13 Aug 24 i i   i       i   ii   ii       i   +- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping1Fred. Zwarts
14 Aug 24 i i   i       i   ii   ii       i   `- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping1Richard Damon
13 Aug 24 i i   i       i   ii   ii       `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping10Mikko
13 Aug 24 i i   i       i   ii   ii        `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping9olcott
13 Aug 24 i i   i       i   ii   ii         +- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping1Fred. Zwarts
14 Aug 24 i i   i       i   ii   ii         `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping7Mikko
14 Aug 24 i i   i       i   ii   ii          `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---6olcott
14 Aug 24 i i   i       i   ii   ii           +- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---1Fred. Zwarts
14 Aug 24 i i   i       i   ii   ii           +- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state1joes
15 Aug 24 i i   i       i   ii   ii           `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---3Mikko
15 Aug 24 i i   i       i   ii   ii            `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---2olcott
16 Aug 24 i i   i       i   ii   ii             `- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---1Mikko
8 Aug 24 i i   i       i   ii   i`- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state1Richard Damon
8 Aug 24 i i   i       i   ii   +* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state2olcott
9 Aug 24 i i   i       i   ii   i`- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state1Richard Damon
8 Aug 24 i i   i       i   ii   `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state2olcott
9 Aug 24 i i   i       i   ii    `- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state1Richard Damon
8 Aug 24 i i   i       i   i`- Re: HHH maps its input to the behavior specified by it1Mikko
8 Aug 24 i i   i       i   `- Re: HHH computes the mapping from its input finite sting to the actual behavior specified by this finite string (Which is the results of running the input)1Richard Damon
7 Aug 24 i i   i       `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?4Keith Thompson
7 Aug 24 i i   i        `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?3olcott
7 Aug 24 i i   i         +- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1Richard Damon
7 Aug 24 i i   i         `- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1joes
4 Aug 24 i i   `- Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?1Fred. Zwarts
3 Aug 24 i `- Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?1Richard Damon
3 Aug 24 `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?96Mikko
3 Aug 24  `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?95olcott
3 Aug 24   +* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?83Fred. Zwarts
3 Aug 24   i`* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?82olcott
3 Aug 24   i `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?81Fred. Zwarts
3 Aug 24   i  `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?80olcott
4 Aug 24   i   `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?79Fred. Zwarts
4 Aug 24   i    `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?78olcott
4 Aug 24   i     +* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?6Richard Damon
4 Aug 24   i     i`* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?5olcott
4 Aug 24   i     i +- Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?1Richard Damon
7 Aug 24   i     i `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?3Fred. Zwarts
7 Aug 24   i     i  `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?2olcott
8 Aug 24   i     i   `- Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?1Mikko
5 Aug 24   i     +* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?15Mikko
5 Aug 24   i     i`* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?14olcott
7 Aug 24   i     i `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?13Mikko
7 Aug 24   i     i  `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?12olcott
7 Aug 24   i     i   +* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?4Python
7 Aug 24   i     i   i+* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?2olcott
8 Aug 24   i     i   ii`- Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?1Richard Damon
8 Aug 24   i     i   i`- Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?1Mikko
7 Aug 24   i     i   `* Re: Who here is too stupid to know that DDD simulated by HHH cannot reach its own return?7joes
7 Aug 24   i     i    `* Re: Who here is too stupid to know that DDD simulated by HHH cannot reach its own return?6olcott
7 Aug 24   i     i     +* Re: Who here is too stupid to know that DDD simulated by HHH cannot reach its own return? (typos fixed)3olcott
8 Aug 24   i     i     i+- Re: Who here is too stupid to know that DDD simulated by HHH cannot reach its own return? (typos fixed)1Richard Damon
8 Aug 24   i     i     i`- Re: Who here is too stupid to know that DDD simulated by HHH cannot reach its own return? (typos fixed)1Mikko
8 Aug 24   i     i     +- Re: Who here is too stupid to know that DDD simulated by HHH cannot reach its own return?1Richard Damon
8 Aug 24   i     i     `- Re: Who here is too stupid to know that DDD simulated by HHH cannot reach its own return?1Mikko
7 Aug 24   i     `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?56Fred. Zwarts
7 Aug 24   i      `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?55olcott
8 Aug 24   i       +- Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?1Richard Damon
8 Aug 24   i       `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?53Fred. Zwarts
8 Aug 24   i        `* HHH maps its input to the behavior specified by it --- never reaches its halt state52olcott
8 Aug 24   i         +* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state13Fred. Zwarts
8 Aug 24   i         i`* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state12olcott
8 Aug 24   i         i `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state11Fred. Zwarts
8 Aug 24   i         i  `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state10olcott
9 Aug 24   i         i   `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state9Fred. Zwarts
9 Aug 24   i         i    `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state8olcott
9 Aug 24   i         i     `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state7Fred. Zwarts
9 Aug 24   i         i      `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state6olcott
9 Aug 24   i         i       +* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state4Fred. Zwarts
9 Aug 24   i         i       i`* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state3olcott
10 Aug 24   i         i       i +- Re: HHH maps its input to the behavior specified by it --- partial simulation never reaches its halt state, but the actual behavior of the actual program does1Richard Damon
10 Aug 24   i         i       i `- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state1Fred. Zwarts
10 Aug 24   i         i       `- Re: HHH maps its input to the behavior specified by it --- partial simulation never reaches its halt state, but the program does.1Richard Damon
9 Aug 24   i         `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state38Richard Damon
9 Aug 24   i          `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---37olcott
9 Aug 24   i           +* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---22Richard Damon
9 Aug 24   i           i+* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---19olcott
9 Aug 24   i           ii`* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---18Richard Damon
9 Aug 24   i           ii `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---17olcott
9 Aug 24   i           ii  `* Re: HHH maps its input to the behavior specified by it --- reaches its halt state ---16Richard Damon
9 Aug 24   i           ii   `* Re: HHH maps its input to the behavior specified by it --- reaches its halt state ---15olcott
10 Aug 24   i           ii    `* Re: HHH maps its input to the behavior specified by it --- reaches its halt state --- Which DDD does if HHH(DDD) returns and answer, which it does since it is a decider.14Richard Damon
10 Aug 24   i           ii     `* Re: HHH maps its input to the behavior specified by it --- reaches its halt state --- Which DDD does if HHH(DDD) returns and answer, which it does since it is a decider.13olcott
10 Aug 24   i           ii      `* Re: HHH maps its input to the behavior specified by it --- reaches its halt state --- Which DDD does if HHH(DDD) returns and answer, which it does since it is a decider.12Richard Damon
10 Aug 24   i           ii       `* Re: HHH maps its input to the behavior specified by it --- reaches its halt state --- Which DDD does if HHH(DDD) returns and answer, which it does since it is a decider.11olcott
10 Aug 24   i           ii        `* Re: HHH maps its input to the behavior specified by it --- reaches its halt state --- Which DDD does if HHH(DDD) returns and answer, which it does since it is a decider.10Richard Damon
10 Aug 24   i           ii         `* Re: HHH maps its input to the behavior specified by it --- reaches its halt state --- Which DDD does if HHH(DDD) returns and answer, which it does since it is a decider.9olcott
10 Aug 24   i           ii          `* Re: HHH maps its input to the behavior specified by it --- reaches its halt state --- Which DDD does if HHH(DDD) returns and answer, which it does since it is a decider.8Richard Damon
10 Aug 24   i           ii           `* Re: HHH maps its input to the behavior specified by it --- reaches its halt state --- Which DDD does if HHH(DDD) returns and answer, which it does since it is a decider.7olcott
10 Aug 24   i           ii            +* Re: HHH maps its input to the behavior specified by it --- reaches its halt state --- Which DDD does if HHH(DDD) returns and answer, which it does since it is a decider.5Richard Damon
10 Aug 24   i           ii            i`* Re: HHH maps its input to the behavior specified by it --- reaches its halt state --- Which DDD does if HHH(DDD) returns and answer, which it does since it is a decider.4olcott
10 Aug 24   i           ii            i `* Re: HHH maps its input to the behavior specified by it --- reaches its halt state --- Which DDD does if HHH(DDD) returns and answer, which it does since it is a decider.3Richard Damon
10 Aug 24   i           ii            i  `* Re: HHH maps its input to the behavior specified by it --- reaches its halt state --- Which DDD does if HHH(DDD) returns and answer, which it does since it is a decider.2olcott
10 Aug 24   i           ii            i   `- Re: HHH maps its input to the behavior specified by it --- reaches its halt state --- Which DDD does if HHH(DDD) returns and answer, which it does since it is a decider.1Richard Damon
10 Aug 24   i           ii            `- Re: HHH maps its input to the behavior specified by it --- reaches its halt state --- Which DDD does if HHH(DDD) returns and answer, which it does since it is a decider.1Mikko
9 Aug 24   i           i`* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---2olcott
10 Aug 24   i           i `- Re: HHH maps its input to the behavior specified by it --- partial simulation never reaches its halt state, but the actual behavior of the actual program does1Richard Damon
9 Aug 24   i           `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---14Fred. Zwarts
9 Aug 24   i            `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---13olcott
9 Aug 24   i             `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---12Fred. Zwarts
9 Aug 24   i              `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---11olcott
9 Aug 24   i               `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---10Fred. Zwarts
9 Aug 24   i                `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---9olcott
10 Aug 24   i                 `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---8Fred. Zwarts
10 Aug 24   i                  `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---7olcott
10 Aug 24   i                   +* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---3Richard Damon
10 Aug 24   i                   i`* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---2olcott
10 Aug 24   i                   i `- Re: HHH maps its input to the behavior specified by it --- partial simulation never reaches its halt state --- but full simulaition does.1Richard Damon
10 Aug 24   i                   `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---3Fred. Zwarts
10 Aug 24   i                    `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---2olcott
10 Aug 24   i                     `- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---1Fred. Zwarts
4 Aug 24   `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?11Mikko
4 Aug 24    `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?10olcott
5 Aug 24     `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?9Mikko
5 Aug 24      `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?8olcott
7 Aug 24       `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?7Mikko
7 Aug 24        `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?6olcott
8 Aug 24         `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?5Mikko
8 Aug 24          `* HHH maps its input to the behavior specified by it --- never reaches its halt state4olcott
9 Aug 24           `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state3Mikko
9 Aug 24            `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state2olcott
10 Aug 24             `- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state1Mikko
13 Aug 24 * Overview of proof that the input to HHH(DDD) specifies non-halting behavior29olcott
13 Aug 24 +- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior1Python
13 Aug 24 +- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior1Richard Damon
13 Aug 24 +* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior23Mikko
13 Aug 24 i`* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike22olcott
13 Aug 24 i +* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike15Fred. Zwarts
13 Aug 24 i i`* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point14olcott
13 Aug 24 i i +* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point12Fred. Zwarts
13 Aug 24 i i i`* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point11olcott
13 Aug 24 i i i +* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point9Fred. Zwarts
13 Aug 24 i i i i`* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point8olcott
13 Aug 24 i i i i +* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point6Fred. Zwarts
13 Aug 24 i i i i i`* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point5olcott
14 Aug 24 i i i i i +- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point1Richard Damon
14 Aug 24 i i i i i `* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point3Fred. Zwarts
14 Aug 24 i i i i i  `* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- in our head2olcott
14 Aug 24 i i i i i   `- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- in our head1Fred. Zwarts
14 Aug 24 i i i i `- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point1Richard Damon
14 Aug 24 i i i `- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point1Richard Damon
14 Aug 24 i i `- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point1Richard Damon
14 Aug 24 i `* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike6Mikko
14 Aug 24 i  `* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike5olcott
14 Aug 24 i   +- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike1Fred. Zwarts
15 Aug 24 i   `* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike3Mikko
15 Aug 24 i    `* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike2olcott
16 Aug 24 i     `- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike1Mikko
13 Aug 24 `* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior3olcott
14 Aug 24  +- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior1Richard Damon
14 Aug 24  `- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior1Richard Damon
4 Aug 24 * Defining a correct halt decider67olcott
4 Aug 24 +* Re: Defining a correct halt decider45Richard Damon
4 Aug 24 i`* Re: Defining a correct halting decidability decider44olcott
4 Aug 24 i `* Re: Defining a correct halting decidability decider43Richard Damon
4 Aug 24 i  `* Re: Defining a correct halting decidability decider42olcott
4 Aug 24 i   +* Re: Defining a correct halting decidability decider20Richard Damon
4 Aug 24 i   i`* Re: Defining a correct halting decidability decider19olcott
4 Aug 24 i   i `* Re: Defining a correct halting decidability decider18Richard Damon
4 Aug 24 i   i  `* Re: Defining a correct halting decidability decider17olcott
5 Aug 24 i   i   `* Re: Defining a correct halting decidability decider16Richard Damon
5 Aug 24 i   i    `* Re: Defining a correct halting decidability decider15olcott
5 Aug 24 i   i     `* Re: Defining a correct halting decidability decider14Richard Damon
5 Aug 24 i   i      `* Re: Defining a correct halting decidability decider13olcott
5 Aug 24 i   i       `* Re: Defining a correct halting decidability decider12Richard Damon
5 Aug 24 i   i        `* Re: Defining a correct halting decidability decider11olcott
5 Aug 24 i   i         `* Re: Defining a correct halting decidability decider10Richard Damon
5 Aug 24 i   i          `* You still seem too dishonest to admit that DDD correctly emulated by any HHH cannot possibly reach its own ,"return" instruction9olcott
5 Aug 24 i   i           `* Re: You still seem too dishonest to admit that DDD correctly emulated by any HHH cannot possibly reach its own ,"return" instruction8Richard Damon
5 Aug 24 i   i            `* Re: You still seem too dishonest to admit that DDD correctly emulated by any HHH cannot possibly reach its own ,"return" instruction7olcott
5 Aug 24 i   i             `* Re: You still seem too dishonest to admit that DDD correctly emulated by any HHH cannot possibly reach its own ,"return" instruction6Richard Damon
5 Aug 24 i   i              `* Re: You still seem too dishonest to admit that DDD correctly emulated by any HHH cannot possibly reach its own ,"return" instruction5olcott
5 Aug 24 i   i               `* Re: You still seem too dishonest to admit that DDD correctly emulated by any HHH cannot possibly reach its own ,"return" instruction4Richard Damon
5 Aug 24 i   i                `* Re: You still seem too dishonest to admit that DDD correctly emulated by any HHH cannot possibly reach its own ,"return" instruction3wij
5 Aug 24 i   i                 `* Re: You still seem too dishonest to admit that DDD correctly emulated by any HHH cannot possibly reach its own ,"return" instruction2olcott
6 Aug 24 i   i                  `- Re: Olcott still seems too dishonest to admit that his HHH doesn't correctly emulate DDD1Richard Damon
7 Aug 24 i   `* Re: Defining a correct halting decidability decider21Mikko
7 Aug 24 i    `* Re: Defining a correct halting decidability decider20olcott
8 Aug 24 i     +- Re: Defining a correct halting decidability decider (Which isn't a valid criteria for a decider)1Richard Damon
8 Aug 24 i     `* Re: Defining a correct halting decidability decider18Mikko
8 Aug 24 i      `* Re: Defining a correct halting decidability decider17olcott
8 Aug 24 i       +* Re: Defining a correct halting decidability decider4Python
8 Aug 24 i       i`* Re: Defining a correct halting decidability decider3olcott
9 Aug 24 i       i +- Re: Defining a correct halting decidability decider1Richard Damon
9 Aug 24 i       i `- Re: Defining a correct halting decidability decider1Python
9 Aug 24 i       +- Re: Defining a correct halting decidability decider1Richard Damon
9 Aug 24 i       `* Re: Defining a correct halting decidability decider11Mikko
9 Aug 24 i        `* Re: Defining a correct halting decidability decider10olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal