comp.theory

Liste des GroupesPages :123456789101112131415161718192021222324252627282930313233
Date Sujet#  Auteur
3 Aug 24 i i   i `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?276Richard Damon
3 Aug 24 i i   i  `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?275olcott
3 Aug 24 i i   i   +* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?29Richard Damon
3 Aug 24 i i   i   i`* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?28olcott
3 Aug 24 i i   i   i `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?27Richard Damon
3 Aug 24 i i   i   i  `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?26olcott
3 Aug 24 i i   i   i   `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?25Richard Damon
3 Aug 24 i i   i   i    `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?24olcott
3 Aug 24 i i   i   i     `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?23Richard Damon
3 Aug 24 i i   i   i      `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?22olcott
3 Aug 24 i i   i   i       `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD21Richard Damon
3 Aug 24 i i   i   i        `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD20olcott
3 Aug 24 i i   i   i         `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD19Richard Damon
3 Aug 24 i i   i   i          `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD18olcott
4 Aug 24 i i   i   i           `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD17Richard Damon
4 Aug 24 i i   i   i            `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD16olcott
4 Aug 24 i i   i   i             `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD15Richard Damon
4 Aug 24 i i   i   i              `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD14olcott
4 Aug 24 i i   i   i               `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD13Richard Damon
4 Aug 24 i i   i   i                `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD12olcott
4 Aug 24 i i   i   i                 `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD11Richard Damon
4 Aug 24 i i   i   i                  `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD10olcott
4 Aug 24 i i   i   i                   +* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD3Richard Damon
4 Aug 24 i i   i   i                   i`* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD2olcott
4 Aug 24 i i   i   i                   i `- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD1Richard Damon
5 Aug 24 i i   i   i                   `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD6Mikko
5 Aug 24 i i   i   i                    `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD5olcott
7 Aug 24 i i   i   i                     `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD4Mikko
7 Aug 24 i i   i   i                      `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?3olcott
8 Aug 24 i i   i   i                       +- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1Richard Damon
8 Aug 24 i i   i   i                       `- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1Mikko
4 Aug 24 i i   i   `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?245Fred. Zwarts
4 Aug 24 i i   i    `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?244olcott
4 Aug 24 i i   i     `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?243Richard Damon
4 Aug 24 i i   i      `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?242olcott
4 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
5 Aug 24 i i   i       +* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?236Mikko
5 Aug 24 i i   i       i`* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?235olcott
6 Aug 24 i i   i       i +* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?25Richard Damon
6 Aug 24 i i   i       i i`* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?24olcott
6 Aug 24 i i   i       i i `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?23Richard Damon
6 Aug 24 i i   i       i i  `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?22olcott
6 Aug 24 i i   i       i i   +* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?4wij
6 Aug 24 i i   i       i i   i`* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?3olcott
6 Aug 24 i i   i       i i   i +- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1Richard Damon
6 Aug 24 i i   i       i i   i `- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1wij
6 Aug 24 i i   i       i i   +- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1Richard Damon
6 Aug 24 i i   i       i i   `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?16Mike Terry
6 Aug 24 i i   i       i i    +* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?14olcott
6 Aug 24 i i   i       i i    i+* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?5Richard Damon
6 Aug 24 i i   i       i i    ii`* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?4olcott
6 Aug 24 i i   i       i i    ii `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?3Richard Damon
6 Aug 24 i i   i       i i    ii  `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?2olcott
6 Aug 24 i i   i       i i    ii   `- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1Richard Damon
6 Aug 24 i i   i       i i    i`* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?8Mike Terry
6 Aug 24 i i   i       i i    i `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?7olcott
6 Aug 24 i i   i       i i    i  +* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?5Mike Terry
6 Aug 24 i i   i       i i    i  i+* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?3olcott
6 Aug 24 i i   i       i i    i  ii`* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?2Mike Terry
6 Aug 24 i i   i       i i    i  ii `- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1olcott
6 Aug 24 i i   i       i i    i  i`- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1olcott
7 Aug 24 i i   i       i i    i  `- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1Richard Damon
6 Aug 24 i i   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       i `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?209Mikko
7 Aug 24 i i   i       i  `* HHH computes the mapping from its input finite sting to the actual behavior specified by this finite string208olcott
7 Aug 24 i i   i       i   +* Re: HHH maps its input to the behavior specified by it206joes
7 Aug 24 i i   i       i   i+* Re: HHH maps its input to the behavior specified by it204olcott
8 Aug 24 i i   i       i   ii`* Re: HHH maps its input to the behavior specified by it203Richard Damon
8 Aug 24 i i   i       i   ii `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state202olcott
8 Aug 24 i i   i       i   ii  `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state201Richard 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
8 Aug 24 i i   i       i   ii   i`- Re: HHH maps its input to the behavior specified by it --- HHH never reaches its halt state so never decides, or it decides wrong.1Richard 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
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
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
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
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 state186olcott
8 Aug 24 i i   i       i   ii   i+* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state184Mikko
8 Aug 24 i i   i       i   ii   ii`* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state183olcott
9 Aug 24 i i   i       i   ii   ii +- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state1Richard Damon
9 Aug 24 i i   i       i   ii   ii `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state181Mikko
9 Aug 24 i i   i       i   ii   ii  `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state180olcott
10 Aug 24 i i   i       i   ii   ii   +- 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       i   ii   ii   `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state178Mikko
10 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 mapping177olcott
10 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 mapping149Richard Damon
10 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 mapping148olcott
10 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 mapping146Fred. Zwarts
10 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 mapping145olcott
10 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 mapping143Fred. 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 mapping142olcott
10 Aug 24 i i   i       i   ii   ii     i 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 mapping132Richard Damon
10 Aug 24 i i   i       i   ii   ii     i i i i`* Re: HHH maps its input to the behavior specified by it ---131olcott
10 Aug 24 i i   i       i   ii   ii     i i i i +* Re: HHH maps its input to the behavior specified by it --- Which if HHH returns, will be halting.129Richard Damon
10 Aug 24 i i   i       i   ii   ii     i i i i i`* Re: HHH maps its input to the behavior specified by it ---128olcott
10 Aug 24 i i   i       i   ii   ii     i i i i i `* Re: HHH maps its input to the behavior specified by it ---127Richard Damon
10 Aug 24 i i   i       i   ii   ii     i i i i i  `* Re: HHH maps its input to the behavior specified by it ---126olcott
10 Aug 24 i i   i       i   ii   ii     i i i i i   `* Re: HHH maps its input to the behavior specified by it ---125Richard Damon
10 Aug 24 i i   i       i   ii   ii     i i i i i    `* Re: HHH maps its input to the behavior specified by it ---124olcott
10 Aug 24 i i   i       i   ii   ii     i i i i i     `* Re: HHH maps its input to the behavior specified by it ---123Richard Damon
10 Aug 24 i i   i       i   ii   ii     i i i i i      `* Re: HHH maps its input to the behavior specified by it ---122olcott
10 Aug 24 i i   i       i   ii   ii     i i i i i       `* Re: HHH maps its input to the behavior specified by it ---121Richard Damon
10 Aug 24 i i   i       i   ii   ii     i i i i i        `* Re: HHH maps its input to the behavior specified by it ---120olcott
10 Aug 24 i i   i       i   ii   ii     i i i i i         `* Re: HHH maps its input to the behavior specified by it ---119Richard Damon
10 Aug 24 i i   i       i   ii   ii     i i i i i          `* Re: HHH maps its input to the behavior specified by it ---118olcott
10 Aug 24 i i   i       i   ii   ii     i i i i i           `* Re: HHH maps its input to the behavior specified by it ---117Richard Damon
10 Aug 24 i i   i       i   ii   ii     i i i i i            `* Re: HHH maps its input to the behavior specified by it ---116olcott
10 Aug 24 i i   i       i   ii   ii     i i i i i             `* Re: HHH maps its input to the behavior specified by it ---115Richard Damon
11 Aug 24 i i   i       i   ii   ii     i i i i i              `* Re: HHH maps its input to the behavior specified by it ---114olcott
11 Aug 24 i i   i       i   ii   ii     i i i i i               `* Re: HHH maps its input to the behavior specified by it ---113Richard Damon
11 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 proofs112olcott
11 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 proofs111Richard Damon
11 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 proofs110olcott
11 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 proofs109Richard Damon
11 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 proofs108olcott
11 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 proofs107Richard Damon
11 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 proofs106olcott
11 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 proofs105Richard Damon
11 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 proofs104olcott
11 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 proofs103Richard Damon
12 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 proofs102olcott
12 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 proofs100Richard Damon
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 proofs99olcott
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 proofs98Richard Damon
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 proofs97olcott
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 proofs96Richard Damon
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 proofs95olcott
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 proofs --- Mike91olcott
12 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 --- Mike88Richard Damon
12 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 --- Mike87olcott
12 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 --- Mike86Richard Damon
12 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 --- Mike1Richard Damon
12 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 --- Mike84olcott
12 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 --- Mike81Richard Damon
12 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 --- Mike8olcott
12 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   ii+- Re: HHH maps its input to the behavior specified by it --- key error in all the proofs --- Mike1Richard Damon
13 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   ii`* Re: HHH maps its input to the behavior specified by it --- key error in all the proofs --- Mike6joes
13 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   ii `* Re: HHH maps its input to the behavior specified by it --- key error in all the proofs --- fakers or liars?5olcott
13 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   ii  +* Re: key error in all the proofs --- fakers or liars?3joes
13 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   ii  i`* Re: key error in all the proofs --- fakers or liars?2olcott
13 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   ii  i `- Re: key error in all the proofs --- fakers or liars?1Richard Damon
13 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   ii  `- Re: HHH maps its input to the behavior specified by it --- key error in all the proofs --- fakers or liars?1Richard Damon
13 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 --- Mike72Mike Terry
13 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 --- basis71olcott
13 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 --- basis70Richard Damon
13 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 --- basis69olcott
13 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i    +* Re: key error in all the proofs --- Mike --- basis7joes
13 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i    i`* Overview of proof that the input to HHH(DDD) specifies non-halting behavior6olcott
13 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i    i +* Re: Overview of proof that DDD specifies non-halting behavior4joes
14 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i    i i`* Re: Overview of proof that DDD specifies non-halting behavior3olcott
14 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i    i i +- Re: Overview of proof that DDD specifies non-halting behavior1Richard Damon
14 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i    i i `- Re: Overview of proof that DDD specifies non-halting behavior1joes
14 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i    i `- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior1Richard Damon
14 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
14 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 --- basis60Mikko
14 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 --- basis59olcott
14 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      +* Re: key error in all the proofs --- Mike --- basis54joes
14 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i`* Re: key error in all the proofs --- Mike's correction53olcott
14 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i `* Re: key error in all the proofs --- Mike's correction52Mike Terry
14 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i  `* Re: key error in all the proofs --- Mike's correction of Joes51olcott
14 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i   +- Re: key error in all the proofs --- Mike's correction of Joes1olcott
15 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i   +* Re: key error in all the proofs --- Mike's correction of Joes6joes
15 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 --- Mike's correction of Joes5olcott
15 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 --- Mike's correction of Joes1Fred. Zwarts
16 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 --- Mike's correction of Joes3Mikko
16 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 --- Mike's correction of Joes2olcott
16 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 --- Mike's correction of Joes1Mikko
15 Aug 24 i i   i       i   ii   ii     i i i i i                           i     ii   i      i   `* Re: key error in all the proofs --- Mike's correction of Joes43Fred. Zwarts
15 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 Fred42olcott
15 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 Fred1Fred. Zwarts
15 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 Fred1joes
16 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 Fred39Mikko
16 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 Fred38olcott
16 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 Fred35Mikko
16 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 Fred34olcott
16 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 Fred29Richard Damon
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 Fred28olcott
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 Fred11Richard Damon
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 Fred10olcott
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 Fred9Richard Damon
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 Fred8olcott
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 Fred7Richard Damon
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 Fred6olcott
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 Fred5Richard Damon
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 Fred4olcott
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 Fred1Richard Damon
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

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal