| Deutsch English Français Italiano |
|
<v76e04$1cf96$4@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> Newsgroups: comp.theory Subject: Re: Who here understands that the last paragraph is Necessarily true? Date: Tue, 16 Jul 2024 13:26:12 -0500 Organization: A noiseless patient Spider Lines: 43 Message-ID: <v76e04$1cf96$4@dont-email.me> References: <v6un9t$3nufp$1@dont-email.me> <v7013v$2ccv$1@dont-email.me> <v70nt7$61d8$6@dont-email.me> <58fc6559638120b31e128fe97b5e955248afe218@i2pn2.org> <v71mjh$bp3i$1@dont-email.me> <1173a460ee95e0ca82c08abecdefc80ba86646ac@i2pn2.org> <v71okl$bvm2$1@dont-email.me> <5f6daf68f1b4ffac854d239282bc811b5b806659@i2pn2.org> <v71ttb$crk4$1@dont-email.me> <60e7a93cb8cec0afb68b3e40a0e82e9d63fa8e2a@i2pn2.org> <v725p4$hlvg$2@dont-email.me> <v72n49$kfho$1@dont-email.me> <v739gj$mjis$18@dont-email.me> <v75a9a$16d0i$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Tue, 16 Jul 2024 20:26:12 +0200 (CEST) Injection-Info: dont-email.me; posting-host="37be9b12bf7e2996d459c5c7ef9a1f9b"; logging-data="1457446"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19eZFwARmIyo2Pk0Usge9p6" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:pPHPcApsaxBGqb0x73fUE/qGWdc= Content-Language: en-US In-Reply-To: <v75a9a$16d0i$1@dont-email.me> Bytes: 3214 On 7/16/2024 3:16 AM, Mikko wrote: > On 2024-07-15 13:51:14 +0000, olcott said: > >> On 7/15/2024 3:37 AM, Mikko wrote: >>> On 2024-07-15 03:41:24 +0000, olcott said: >>> >>>> On 7/14/2024 9:04 PM, Richard Damon wrote: >>>>> On 7/14/24 9:27 PM, olcott wrote: >>>>>> >>>>>> Any input that must be aborted to prevent the non termination >>>>>> of simulating termination analyzer HHH necessarily specifies >>>>>> non-halting behavior or it would never need to be aborted. >>>>> >>>>> Excpet, as I have shown, it doesn't. >>>>> >>>>> Your problem is you keep on ILEGALLY changing the input in your >>>>> argument because you have misdefined what the input is. >>>>> >>>>> The input to HHH is ALL of the memory that it would be accessed in >>>>> a correct simulation of DDD, which includes all the codd of HHH, >>>>> and thus, if you change HHH you get a different input. >>>>> >>>>> If you want to try to claim the input is just the bytes of the >>>>> function DDD proper then you are just admitting that you are >>>>> nothing more than a lying idiot that doesn't understand the problem, >>>> Turing machines only operate on finite strings they do >>>> not operate on other Turing machines *dumbo* >>> >>> That's right. But the finite string can be a description of a Turing >>> machine. >> >> No that is wrong. The finite string must encode a Turing machine. > > That you agree does not mean that it is wrong. > Your ignorance that a Turing machine cannot take its own executing self as an input is no rebuttal what-so-ever. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer