Deutsch English Français Italiano |
<v98ag9$rj63$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: olcott <polcott333@gmail.com> Newsgroups: comp.theory Subject: Re: HHH maps its input to the behavior specified by it --- Date: Sat, 10 Aug 2024 13:11:21 -0500 Organization: A noiseless patient Spider Lines: 54 Message-ID: <v98ag9$rj63$1@dont-email.me> References: <v8jh7m$30k55$1@dont-email.me> <v8oj1n$6kik$3@dont-email.me> <v8pvke$ih0a$1@dont-email.me> <4-qdnbdw1JzlRS37nZ2dnZfqlJydnZ2d@giganews.com> <v8v7p3$29r2r$1@dont-email.me> <v8vub1$32fso$14@dont-email.me> <1e1fa9bc4bbc00aa65c1a7974bd1bda87687c92b@i2pn2.org> <v90di8$38oni$1@dont-email.me> <47a76378d634bf0db4017f879d0160793b57125e@i2pn2.org> <v9161o$3gaju$1@dont-email.me> <b84374e766c199e1ba38ef1dc3bc8f6ab2c39dfc@i2pn2.org> <v91i97$3n4m0$1@dont-email.me> <v91unh$3rbor$1@dont-email.me> <v92gja$p1$3@dont-email.me> <v94m0l$ljf4$1@dont-email.me> <v95ae9$p5rb$1@dont-email.me> <v978dv$h1ib$1@dont-email.me> <v97j0q$ilah$2@dont-email.me> <ccc5dafb53acf66239baac0183a6291687794963@i2pn2.org> <v97l3j$kof0$2@dont-email.me> <v97pgq$l4f4$2@dont-email.me> <v97qf0$lise$2@dont-email.me> <v97rq3$l4f4$4@dont-email.me> <v97t7g$m8l6$1@dont-email.me> <332fdac834dd53dbe6a8650e170f08fac33ca2cf@i2pn2.org> <v988fu$r9k6$1@dont-email.me> <614b136972063ab2c9d5e3d91e4289858ef24f55@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 10 Aug 2024 20:11:22 +0200 (CEST) Injection-Info: dont-email.me; posting-host="ec0d1ee71ceed677a7540299f25b1a73"; logging-data="904387"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+vxcrzS45pS3azSqQOEVw7" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:bv4Bkv6nv/Jpuo0C9EXuJh5mG78= In-Reply-To: <614b136972063ab2c9d5e3d91e4289858ef24f55@i2pn2.org> Content-Language: en-US Bytes: 3935 On 8/10/2024 12:51 PM, Richard Damon wrote: > On 8/10/24 1:37 PM, olcott wrote: >> >> <MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022> >> If simulating halt decider H correctly simulates its input D >> until H correctly determines that its simulated D would never >> stop running unless aborted then >> >> H can abort its simulation of D and correctly report that D >> specifies a non-halting sequence of configurations. >> </MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022> >> >> That is true in every case except when an input calls its >> own simulating halt decider. > > > Nope. No exeptions. That is just another of your "I made it up but can't > prove it but it must be true" lies. > > >> >> void DDD() >> { >> HHH(DDD); >> return; >> } >> >> *The set of HHH x86 emulators are defined such that* >> Each element of this set corresponds to one element of the set >> of positive integers indicating the number of x86 instructions >> of DDD that it emulates. > > But every one that emulates for a finite number of steps, and then > returns create a halting DDD, so you claim is just disproven. > Changing the title indicates a reply that I can ignore. I am only replying to a single thread of communication with you. *Maybe your ADD has always been much worse than I ever expected* We have been over all of these same points hundreds of times. When each element of the outer-most directly executed SHH corresponds to one element of the set of positive integers indicating the number of x86 instructions of DDD that it emulates none of the emulated instances of HHH ever returns. THAT IS WHAT THE C SOURCE CODE MEANS THAT IS WHAT THE X86 CODE MEANS -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer