Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory,sci.logic Subject: =?UTF-8?Q?Re=3A_A_simulating_halt_decider_applied_to_the_The_Peter_?= =?UTF-8?Q?Linz_Turing_Machine_description_=E2=9F=A8=C4=A4=E2=9F=A9?= Date: Mon, 27 May 2024 21:41:55 -0500 Organization: A noiseless patient Spider Lines: 62 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 28 May 2024 04:41:56 +0200 (CEST) Injection-Info: dont-email.me; posting-host="62ab2bf33c274f123184493b42753dfc"; logging-data="462800"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19egcXYKwvdKDRv3d/Du6rP" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:TTZ8elRWreh14i+SBrE0zAAxy/0= Content-Language: en-US In-Reply-To: Bytes: 4382 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* -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer