Deutsch English Français Italiano |
<v7im22$1qlt$1@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: Mikko <mikko.levanto@iki.fi> Newsgroups: comp.theory Subject: Re: Who here understands that the last paragraph is Necessarily true? Date: Sun, 21 Jul 2024 12:57:22 +0300 Organization: - Lines: 77 Message-ID: <v7im22$1qlt$1@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> <v76e04$1cf96$4@dont-email.me> <v7da2l$2ts8o$2@dont-email.me> <v7du39$30pvh$8@dont-email.me> <v7g0kf$3fsab$1@dont-email.me> <v7gj3u$3iu15$3@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sun, 21 Jul 2024 11:57:23 +0200 (CEST) Injection-Info: dont-email.me; posting-host="c7df34cd9094439bd78a3514bcaac971"; logging-data="60093"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+KbR4LHld1EySF/VRRcqFn" User-Agent: Unison/2.2 Cancel-Lock: sha1:mixPGHUWV2VsIogpPZ5YKG9cPbQ= Bytes: 4440 On 2024-07-20 14:54:54 +0000, olcott said: > On 7/20/2024 4:39 AM, Mikko wrote: >> On 2024-07-19 14:43:53 +0000, olcott said: >> >>> On 7/19/2024 4:02 AM, Mikko wrote: >>>> On 2024-07-16 18:26:12 +0000, olcott said: >>>> >>>>> 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. >>>> >>>> You should not assume that everyone is as stupid as you. >>>> >>> >>> That all rebuttals to my work have one fatal flaw or >>> another is beyond the comprehension of my reviewers >>> provides zero evidence that these rebuttals are not flawed. >> >> You can claim that the indications of flaws of your "work" are flawed >> but that does not remove the indicated flaws from your work. >> > > Every rebuttal of my work denies a tautology > proving that the rebuttal is incorrect because > all tautologies are necessarily true. > > int main() > { > DDD(); > } > > Calls HHH(DDD) that must abort the emulation of its input > or {HHH, emulated DDD and executed DDD} never stop running. > > *The above is a Tautology* No, it is not. The code of DDD is not included so it it is not even determinable, let alone a tautology, what HHH(DDD) can or should do. -- Mikko