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

Liste des GroupesRevenir à theory 
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.logic
Date : 28. May 2024, 04:52:12
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v33gss$29def$6@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:41 PM, olcott wrote:
On 5/27/2024 9:23 PM, Richard Damon wrote:
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!
>
 *I am quoting your words. You did contradict yourself*
*I am quoting your words. You did contradict yourself*
*I am quoting your words. You did contradict yourself*
*I am quoting your words. You did contradict yourself*
*I am quoting your words. You did contradict yourself*
*I am quoting your words. You did contradict yourself*
*I am quoting your words. You did contradict yourself*
*I am quoting your words. You did contradict yourself*
*I am quoting your words. You did contradict yourself*
*I am quoting your words. You did contradict yourself*
 
Really, where did I say that H exists?
I said that if a Turing Machine exists, then its transition table does too.
Show me a Turing Machine, fully defined, and I will show you the state transition table (since that is how we define a Turing Machine)
So, are you misquoting again.  I note that your quotes there have no actual reference, so apparently pulling things out of context.
You seem to like doing this sort of lie. It seems to be part of your nature. It might just be your total ignorance of how language works, but seems more deliberate than that.

Date Sujet#  Auteur
10 Nov 24 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal