comp.theory

Liste des GroupesPages :123456789101112131415161718192021222324252627282930313233
Date Sujet#  Auteur
31 May 24  i i +- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1immibis
1 Jun 24  i i `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt4joes
1 Jun 24  i i  `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt3olcott
1 Jun 24  i i   +- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1Richard Damon
2 Jun 24  i i   `- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1joes
31 May 24  i +- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1immibis
1 Jun 24  i +* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt12Mikko
1 Jun 24  i i`* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt11olcott
2 Jun 24  i i `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt10Mikko
2 Jun 24  i i  `* Deciders are ONLY accountable for their actual inputs ---9olcott
2 Jun 24  i i   +* Re: Deciders are ONLY accountable for their actual inputs ---4Richard Damon
3 Jun 24  i i   i`* Re: Deciders are ONLY accountable for their actual inputs ---3Mikko
3 Jun 24  i i   i `* Re: Deciders are ONLY accountable for their actual inputs ---2olcott
4 Jun 24  i i   i  `- Re: Deciders are ONLY accountable for their actual inputs ---1Richard Damon
3 Jun 24  i i   `* Re: Deciders are ONLY accountable for their actual inputs ---4Mikko
3 Jun 24  i i    `* Re: Deciders are ONLY accountable for their actual inputs ---3olcott
3 Jun 24  i i     +- Re: Deciders are ONLY accountable for their actual inputs ---1Mikko
3 Jun 24  i i     `- Re: Deciders are ONLY accountable for their actual inputs ---1Fred. Zwarts
1 Jun 24  i `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt15joes
1 Jun 24  i  `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt14olcott
1 Jun 24  i   +- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1Richard Damon
2 Jun 24  i   `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt12Mikko
2 Jun 24  i    `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt11olcott
2 Jun 24  i     +- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1Richard Damon
2 Jun 24  i     +- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1immibis
3 Jun 24  i     `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt8Mikko
3 Jun 24  i      `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt7olcott
3 Jun 24  i       +* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt3Mikko
3 Jun 24  i       i`* DD correctly simulated by HH cannot possibly reach past its own line 03 and halt2olcott
4 Jun 24  i       i `- Re: DD correctly simulated by HH cannot possibly reach past its own line 03 and halt1Mikko
3 Jun 24  i       +* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt2Fred. Zwarts
3 Jun 24  i       i`- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1olcott
4 Jun 24  i       `- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1Richard Damon
31 May 24  +- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1immibis
1 Jun 24  `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt3joes
1 Jun 24   `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt2olcott
1 Jun 24    `- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1Richard Damon
2 Jun 24 * Concise rebuttal of incompleteness and undecidability3olcott
2 Jun 24 +- Re: Concise rebuttal of incompleteness and undecidability1Richard Damon
4 Jun 24 `- Re: Concise rebuttal of incompleteness and undecidability1Richard Damon
23 May 24 * Can you see that D correctly simulated by H remains stuck in recursive simulation?186olcott
24 May 24 +* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?23Richard Damon
24 May 24 i+* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?10olcott
24 May 24 ii`* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?9Richard Damon
24 May 24 ii `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?8olcott
24 May 24 ii  `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?7Richard Damon
24 May 24 ii   `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?6olcott
24 May 24 ii    `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?5Richard Damon
24 May 24 ii     `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?4olcott
24 May 24 ii      `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?3Richard Damon
24 May 24 ii       `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?2olcott
25 May 24 ii        `- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1Richard Damon
24 May 24 i`* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?12Fred. Zwarts
24 May 24 i +* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?5Richard Damon
24 May 24 i i`* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?4olcott
24 May 24 i i `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?3Richard Damon
24 May 24 i i  `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?2olcott
25 May 24 i i   `- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1Richard Damon
24 May 24 i `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?6olcott
24 May 24 i  `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?5Richard Damon
24 May 24 i   `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?4olcott
24 May 24 i    `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?3Richard Damon
24 May 24 i     `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?2olcott
25 May 24 i      `- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1Richard Damon
24 May 24 +* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?154Fred. Zwarts
24 May 24 i`* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?153olcott
24 May 24 i `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?152Richard Damon
24 May 24 i  `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?151olcott
24 May 24 i   `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?150Richard Damon
24 May 24 i    `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?149olcott
25 May 24 i     +- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1Richard Damon
25 May 24 i     `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?147olcott
25 May 24 i      `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?146Richard Damon
25 May 24 i       `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?145olcott
25 May 24 i        `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?144Richard Damon
25 May 24 i         `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?143olcott
25 May 24 i          +* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?140Richard Damon
25 May 24 i          i`* D correctly simulated by pure function H cannot possibly reach its, own line 06139olcott
25 May 24 i          i `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06138Richard Damon
25 May 24 i          i  `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06137olcott
25 May 24 i          i   +* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06134Richard Damon
25 May 24 i          i   i`* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06133olcott
25 May 24 i          i   i `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06132Richard Damon
25 May 24 i          i   i  `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06131olcott
25 May 24 i          i   i   `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06130Richard Damon
25 May 24 i          i   i    `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06129olcott
25 May 24 i          i   i     `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06128Richard Damon
26 May 24 i          i   i      +* Re: D correctly simulated by pure function H cannot possibly reach its, own line 066olcott
26 May 24 i          i   i      i`* Re: D correctly simulated by pure function H cannot possibly reach its, own line 065Richard Damon
26 May 24 i          i   i      i `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 064olcott
26 May 24 i          i   i      i  `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 063Richard Damon
26 May 24 i          i   i      i   `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 062olcott
26 May 24 i          i   i      i    `- Re: D correctly simulated by pure function H cannot possibly reach its, own line 061Richard Damon
26 May 24 i          i   i      `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06121olcott
26 May 24 i          i   i       `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06120Richard Damon
26 May 24 i          i   i        `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06119olcott
26 May 24 i          i   i         `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06118Richard Damon
26 May 24 i          i   i          `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06117olcott
26 May 24 i          i   i           `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06116Richard Damon
26 May 24 i          i   i            `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06115olcott
26 May 24 i          i   i             `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06114Richard Damon
26 May 24 i          i   i              `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06113olcott
26 May 24 i          i   i               `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06112Richard Damon
26 May 24 i          i   i                +* Re: D correctly simulated by pure function H cannot possibly reach its, own line 062olcott
26 May 24 i          i   i                i`- Re: D correctly simulated by pure function H cannot possibly reach its, own line 061Richard Damon
26 May 24 i          i   i                `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06109olcott
26 May 24 i          i   i                 `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06108Richard Damon
26 May 24 i          i   i                  +* Re: D correctly simulated by pure function H cannot possibly reach its, own line 066olcott
26 May 24 i          i   i                  i`* Re: D correctly simulated by pure function H cannot possibly reach its, own line 065Richard Damon
26 May 24 i          i   i                  i +* Re: D correctly simulated by pure function H cannot possibly reach its, own line 062olcott
26 May 24 i          i   i                  i i`- Re: D correctly simulated by pure function H cannot possibly reach its, own line 061Richard Damon
26 May 24 i          i   i                  i `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 062olcott
26 May 24 i          i   i                  i  `- Re: D correctly simulated by pure function H cannot possibly reach its, own line 061Richard Damon
26 May 24 i          i   i                  `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest?101olcott
26 May 24 i          i   i                   `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest?100Richard Damon
26 May 24 i          i   i                    `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest?99olcott
26 May 24 i          i   i                     `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest?98Richard Damon
26 May 24 i          i   i                      `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest?97olcott
26 May 24 i          i   i                       `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest?96Richard Damon
26 May 24 i          i   i                        `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 ---95olcott
26 May 24 i          i   i                         `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 ---94Richard Damon
26 May 24 i          i   i                          `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 ---93olcott
26 May 24 i          i   i                           `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 ---92Richard Damon
26 May 24 i          i   i                            +* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz proof4olcott
26 May 24 i          i   i                            i`* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz proof3Richard Damon
26 May 24 i          i   i                            i `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz proof2olcott
26 May 24 i          i   i                            i  `- Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz proof1Richard Damon
26 May 24 i          i   i                            `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz87olcott
26 May 24 i          i   i                             `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz86Richard Damon
27 May 24 i          i   i                              `* A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩85olcott
27 May 24 i          i   i                               `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩84Richard Damon
27 May 24 i          i   i                                `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩83olcott
27 May 24 i          i   i                                 `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩82Richard Damon
27 May 24 i          i   i                                  +* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩4olcott
27 May 24 i          i   i                                  i`* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩3Richard Damon
27 May 24 i          i   i                                  i `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩2olcott
27 May 24 i          i   i                                  i  `- Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩1Richard Damon
27 May 24 i          i   i                                  `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩77olcott
27 May 24 i          i   i                                   +* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩3Richard Damon
27 May 24 i          i   i                                   i`* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩2olcott
27 May 24 i          i   i                                   i `- Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩1Richard Damon
27 May 24 i          i   i                                   `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩73olcott
27 May 24 i          i   i                                    `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩72Richard Damon
27 May 24 i          i   i                                     `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩71olcott
27 May 24 i          i   i                                      `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩70Richard Damon
27 May 24 i          i   i                                       `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩69olcott
27 May 24 i          i   i                                        `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩68Richard Damon
27 May 24 i          i   i                                         `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩67olcott
27 May 24 i          i   i                                          `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩66Richard Damon
27 May 24 i          i   i                                           `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩65olcott
27 May 24 i          i   i                                            `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩64Richard Damon
27 May 24 i          i   i                                             `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩63olcott
27 May 24 i          i   i                                              `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩62Richard Damon
27 May 24 i          i   i                                               `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩61olcott
27 May 24 i          i   i                                                `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩60Richard Damon
27 May 24 i          i   i                                                 `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩59olcott
27 May 24 i          i   i                                                  `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩58Richard Damon
28 May 24 i          i   i                                                   `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩57olcott
28 May 24 i          i   i                                                    `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩56Richard Damon
28 May 24 i          i   i                                                     `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩55olcott
28 May 24 i          i   i                                                      `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩54Richard Damon
28 May 24 i          i   i                                                       +* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩49olcott
28 May 24 i          i   i                                                       i`* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩48Richard Damon
28 May 24 i          i   i                                                       i `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩47olcott
28 May 24 i          i   i                                                       i  `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩46Richard Damon
28 May 24 i          i   i                                                       i   +* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩2olcott
28 May 24 i          i   i                                                       i   i`- Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩1Richard Damon
28 May 24 i          i   i                                                       i   `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩43olcott
28 May 24 i          i   i                                                       i    `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩42Richard Damon
28 May 24 i          i   i                                                       i     `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩41olcott
28 May 24 i          i   i                                                       i      `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩40Richard Damon
28 May 24 i          i   i                                                       i       `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩39olcott
28 May 24 i          i   i                                                       i        `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩38Richard Damon
28 May 24 i          i   i                                                       i         +- Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩1olcott
29 May 24 i          i   i                                                       i         `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩36Mikko
29 May 24 i          i   i                                                       i          `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩35olcott
30 May 24 i          i   i                                                       i           +- Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩1Richard Damon
30 May 24 i          i   i                                                       i           `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩33Mikko
30 May 24 i          i   i                                                       i            `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩32olcott
31 May 24 i          i   i                                                       i             +- Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩1Richard Damon
31 May 24 i          i   i                                                       i             `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩30Mikko
31 May 24 i          i   i                                                       i              `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩29olcott
31 May 24 i          i   i                                                       i               +- Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩1immibis
1 Jun 24 i          i   i                                                       i               `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩27Mikko
1 Jun 24 i          i   i                                                       i                `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details26olcott
1 Jun 24 i          i   i                                                       i                 +- Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details1Richard Damon
1 Jun 24 i          i   i                                                       i                 +* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details17joes
1 Jun 24 i          i   i                                                       i                 i`* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details16olcott
1 Jun 24 i          i   i                                                       i                 i +- Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details1Richard Damon
2 Jun 24 i          i   i                                                       i                 i `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details14Mikko
2 Jun 24 i          i   i                                                       i                 i  `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details13olcott
2 Jun 24 i          i   i                                                       i                 i   +- Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details1immibis
3 Jun 24 i          i   i                                                       i                 i   `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details11Mikko
3 Jun 24 i          i   i                                                       i                 i    `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details10olcott
3 Jun 24 i          i   i                                                       i                 i     `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details9Mikko
3 Jun 24 i          i   i                                                       i                 i      +* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details4wij
3 Jun 24 i          i   i                                                       i                 i      i`* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details3olcott
3 Jun 24 i          i   i                                                       i                 i      i +- Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details1Fred. Zwarts
4 Jun 24 i          i   i                                                       i                 i      i `- Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details1Richard Damon
3 Jun 24 i          i   i                                                       i                 i      `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details4olcott
3 Jun 24 i          i   i                                                       i                 i       `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details3joes
3 Jun 24 i          i   i                                                       i                 i        `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details2olcott
4 Jun 24 i          i   i                                                       i                 i         `- Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details1Richard Damon
2 Jun 24 i          i   i                                                       i                 `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details7Mikko
2 Jun 24 i          i   i                                                       i                  `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details6olcott
2 Jun 24 i          i   i                                                       i                   +- Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details1Richard Damon
3 Jun 24 i          i   i                                                       i                   `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details4Mikko
3 Jun 24 i          i   i                                                       i                    `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details3olcott
3 Jun 24 i          i   i                                                       i                     +- Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details1Mikko
4 Jun 24 i          i   i                                                       i                     `- Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details1Richard Damon
28 May 24 i          i   i                                                       `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩4olcott
28 May 24 i          i   i                                                        `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩3Richard Damon
28 May 24 i          i   i                                                         `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩2olcott
29 May 24 i          i   i                                                          `- Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩1Richard Damon
25 May 24 i          i   `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 062Alan Mackenzie
25 May 24 i          i    `- Re: D correctly simulated by pure function H cannot possibly reach its, own line 061olcott
26 May 24 i          `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?2Fred. Zwarts
26 May 24 i           `- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1olcott
24 May 24 `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?8Mikko
24 May 24  +- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1Richard Damon
24 May 24  `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?6olcott
24 May 24   `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?5Richard Damon
24 May 24    `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?4olcott
24 May 24     `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?3Richard Damon
24 May 24      `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?2olcott
25 May 24       `- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1Richard Damon
17 May 24 * Re: Every D(D) simulated by H presents non-halting behavior to H ###175olcott
18 May 24 +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
18 May 24 `* Re: Every D(D) simulated by H presents non-halting behavior to H ###173Mikko
18 May 24  +* Re: Every D(D) simulated by H presents non-halting behavior to H ###65olcott
18 May 24  i+- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
19 May 24  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###63DFS
19 May 24  i +* Re: Every D(D) simulated by H presents non-halting behavior to H ###8immibis
20 May 24  i i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###7Chris M. Thomasson
20 May 24  i i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###6Keith Thompson
20 May 24  i i  +* Re: Every D(D) simulated by H presents non-halting behavior to H ###3Chris M. Thomasson
20 May 24  i i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Keith Thompson
21 May 24  i i  i `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
20 May 24  i i  +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1olcott
20 May 24  i i  `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Kenny McCormack
19 May 24  i +* Re: Every D(D) simulated by H presents non-halting behavior to H ###52olcott
19 May 24  i i+- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
19 May 24  i i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###50Richard Damon
19 May 24  i i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###49Chris M. Thomasson
20 May 24  i i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###48immibis
20 May 24  i i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ###47David Brown
20 May 24  i i    +* Re: Every D(D) simulated by H presents non-halting behavior to H ###4Kenny McCormack
20 May 24  i i    i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###3Alan Mackenzie
20 May 24  i i    i `* Topicality: Who really cares? (Was: Every D(D) simulated by H presents non-halting behavior to H ###)2Kenny McCormack
21 May 24  i i    i  `- Re: Topicality: Who really cares? (Was: Every D(D) simulated by H presents non-halting behavior to H ###)1David Brown

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal