Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩

Liste des GroupesRevenir à s logic 
Sujet : Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic
Date : 28. May 2024, 04:01:11
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v33dt7$dlnv$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34
User-Agent : Mozilla Thunderbird
On 5/27/2024 8:24 PM, Richard Damon wrote:
On 5/27/24 9:04 PM, olcott wrote:

I totally do. Can you please write down the
"completely specified state transition/tape operation table."
of this specific (thus uniquely identifiable) machine I would
really like to see it.
>
>
But it was proven that no such machine exists!
>
Remember, the proof starts with the hypothetical that such a machine exists. Such a machine WOULD HAVE a completely specified state transition/tape operation table.
>
>
That is not what you said.
 >>>>> There doesn't need to be a unique finite string, but it is a 100%
 >>>>> completely specified state transition/tape operation table.
>
"a 100% completely specified state transition/tape operation table"
of a non-existent machine.
 Right, by presuming that you have a Turing Machine, you have a completly specified state transition/tape operation table.
 You may not KNOW what that table is if you don't know what the exact machine is, but you know it exists.
 >>> But it was proven that no such machine exists!
 > ... but you know it exists.
 >>> But it was proven that no such machine exists!
 > ... but you know it exists.
 >>> But it was proven that no such machine exists!
 > ... but you know it exists.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
23 May 24 * Can you see that D correctly simulated by H remains stuck in recursive simulation?146olcott
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?122Fred. Zwarts
24 May 24  `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?121olcott
24 May 24   `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?120Richard Damon
24 May 24    `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?119olcott
24 May 24     `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?118Richard Damon
24 May 24      `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?117olcott
25 May 24       +- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1Richard Damon
25 May 24       `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?115olcott
25 May 24        `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?114Richard Damon
25 May 24         `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?113olcott
25 May 24          `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?112Richard Damon
25 May 24           `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?111olcott
25 May 24            +* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?108Richard Damon
25 May 24            i`* D correctly simulated by pure function H cannot possibly reach its, own line 06107olcott
25 May 24            i `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06106Richard Damon
25 May 24            i  `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06105olcott
25 May 24            i   +* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06103Richard Damon
25 May 24            i   i`* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06102olcott
25 May 24            i   i `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06101Richard Damon
25 May 24            i   i  `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06100olcott
25 May 24            i   i   `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 0699Richard Damon
25 May 24            i   i    `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 0698olcott
25 May 24            i   i     `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 0697Richard Damon
26 May 24            i   i      +* Re: D correctly simulated by pure function H cannot possibly reach its, own line 066olcott
26 May 24            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 `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 064olcott
26 May 24            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   `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 062olcott
26 May 24            i   i      i    `- Re: D correctly simulated by pure function H cannot possibly reach its, own line 061Richard Damon
26 May 24            i   i      `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 0690olcott
26 May 24            i   i       `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 0689Richard Damon
26 May 24            i   i        `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 0688olcott
26 May 24            i   i         `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 0687Richard Damon
26 May 24            i   i          `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 0686olcott
26 May 24            i   i           `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 0685Richard Damon
26 May 24            i   i            `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 0684olcott
26 May 24            i   i             `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 0683Richard Damon
26 May 24            i   i              `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 0682olcott
26 May 24            i   i               `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 0681Richard Damon
26 May 24            i   i                +* Re: D correctly simulated by pure function H cannot possibly reach its, own line 062olcott
26 May 24            i   i                i`- Re: D correctly simulated by pure function H cannot possibly reach its, own line 061Richard Damon
26 May 24            i   i                `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 0678olcott
26 May 24            i   i                 `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 0677Richard Damon
26 May 24            i   i                  +* Re: D correctly simulated by pure function H cannot possibly reach its, own line 066olcott
26 May 24            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 +* 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 062olcott
26 May 24            i   i                  i  `- Re: D correctly simulated by pure function H cannot possibly reach its, own line 061Richard Damon
26 May 24            i   i                  `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest?70olcott
26 May 24            i   i                   `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest?69Richard Damon
26 May 24            i   i                    `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest?68olcott
26 May 24            i   i                     `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest?67Richard Damon
26 May 24            i   i                      `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest?66olcott
26 May 24            i   i                       `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest?65Richard Damon
26 May 24            i   i                        `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 ---64olcott
26 May 24            i   i                         `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 ---63Richard Damon
26 May 24            i   i                          `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 ---62olcott
26 May 24            i   i                           `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 ---61Richard Damon
26 May 24            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`* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz proof3Richard Damon
26 May 24            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  `- Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz proof1Richard Damon
26 May 24            i   i                            `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz56olcott
26 May 24            i   i                             `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz55Richard Damon
27 May 24            i   i                              `* A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩54olcott
27 May 24            i   i                               `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩53Richard Damon
27 May 24            i   i                                `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩52olcott
27 May 24            i   i                                 `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩51Richard Damon
27 May 24            i   i                                  +* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩4olcott
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 `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩2olcott
27 May 24            i   i                                  i  `- Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩1Richard Damon
27 May 24            i   i                                  `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩46olcott
27 May 24            i   i                                   +* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩3Richard Damon
27 May 24            i   i                                   i`* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩2olcott
27 May 24            i   i                                   i `- Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩1Richard Damon
27 May 24            i   i                                   `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩42olcott
25 May 24            i   `- Re: D correctly simulated by pure function H cannot possibly reach its, own line 061Alan Mackenzie
26 May 24            `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?2Fred. Zwarts

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal