Sujet : Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logicDate : 28. May 2024, 04:23:09
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v33f6d$29dee$4@i2pn2.org>
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/24 10:01 PM, olcott wrote:
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.
Really, then show that one exists!
That is, an actual Turing Machine that halts in state Qy if the Machine/Input that its input describes will halt when run and halt in state Qn if the Machine/Input that its input describes will never halt when run.
All you have done is claimed that your "Turing machine equivalent" (that actually isn't) was correct to answer non-halting even thought the program given to it actually halted, but you said it was still right.
I think you have gotten something confuesed.
Date | Sujet | # | | Auteur |
23 May 24 | Can you see that D correctly simulated by H remains stuck in recursive simulation? | 146 | | olcott |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 23 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 10 | | olcott |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 9 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 8 | | olcott |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 7 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 6 | | olcott |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 5 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 4 | | olcott |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 3 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 2 | | olcott |
25 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 1 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 12 | | Fred. Zwarts |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 5 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 4 | | olcott |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 3 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 2 | | olcott |
25 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 1 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 6 | | olcott |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 5 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 4 | | olcott |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 3 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 2 | | olcott |
25 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 1 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 122 | | Fred. Zwarts |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 121 | | olcott |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 120 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 119 | | olcott |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 118 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 117 | | olcott |
25 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 1 | | Richard Damon |
25 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 115 | | olcott |
25 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 114 | | Richard Damon |
25 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 113 | | olcott |
25 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 112 | | Richard Damon |
25 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 111 | | olcott |
25 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 108 | | Richard Damon |
25 May 24 | D correctly simulated by pure function H cannot possibly reach its, own line 06 | 107 | | olcott |
25 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 106 | | Richard Damon |
25 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 105 | | olcott |
25 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 103 | | Richard Damon |
25 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 102 | | olcott |
25 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 101 | | Richard Damon |
25 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 100 | | olcott |
25 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 99 | | Richard Damon |
25 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 98 | | olcott |
25 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 97 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 6 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 5 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 4 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 3 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 2 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 1 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 90 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 89 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 88 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 87 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 86 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 85 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 84 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 83 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 82 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 81 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 2 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 1 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 78 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 77 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 6 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 5 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 2 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 1 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 2 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 1 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest? | 70 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest? | 69 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest? | 68 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest? | 67 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest? | 66 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest? | 65 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- | 64 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- | 63 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- | 62 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- | 61 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz proof | 4 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz proof | 3 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz proof | 2 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz proof | 1 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz | 56 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz | 55 | | Richard Damon |
27 May 24 | A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ | 54 | | olcott |
27 May 24 | Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ | 53 | | Richard Damon |
27 May 24 | Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ | 52 | | olcott |
27 May 24 | Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ | 51 | | Richard Damon |
27 May 24 | Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ | 4 | | olcott |
27 May 24 | Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ | 3 | | Richard Damon |
27 May 24 | Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ | 2 | | olcott |
27 May 24 | Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ | 1 | | Richard Damon |
27 May 24 | Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ | 46 | | olcott |
27 May 24 | Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ | 3 | | Richard Damon |
27 May 24 | Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ | 2 | | olcott |
27 May 24 | Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ | 1 | | Richard Damon |
27 May 24 | Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ | 42 | | olcott |
25 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 1 | | Alan Mackenzie |
26 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 2 | | Fred. Zwarts |