Deutsch English Français Italiano |
<319da7fd6f33fad27086ac54185480526473031e@i2pn2.org> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: joes <noreply@example.org> Newsgroups: comp.theory Subject: Re: DDD correctly emulated by HHH cannot possibly halt Date: Fri, 12 Jul 2024 13:41:34 -0000 (UTC) Organization: i2pn2 (i2pn.org) Message-ID: <319da7fd6f33fad27086ac54185480526473031e@i2pn2.org> References: <v6e7va$c4sv$1@dont-email.me> <v6jkib$1e3jq$1@dont-email.me> <v6jpe5$1eul0$1@dont-email.me> <v6jpqo$1e3jq$2@dont-email.me> <v6jqfg$1eul0$2@dont-email.me> <v6k6md$1h3a7$1@dont-email.me> <v6k9ef$1hicb$1@dont-email.me> <04b97cd4a405abead92368522fcf77070bb4fa55@i2pn2.org> <v6l24d$1oqjv$1@dont-email.me> <a267bfdf93c6fc179d09a3f62f25003f033aaff1@i2pn2.org> <v6m331$1tj30$7@dont-email.me> <6d43f24547a3b170ce6f7a99e30ec60dec589f79@i2pn2.org> <v6n8ob$24dmg$3@dont-email.me> <7f9b731b2367a2bcf2883278ee5265d30a8f82d6@i2pn2.org> <v6nau1$24jgn$2@dont-email.me> <744d42e4d9d67b49cb1844a2651cb0c350760f0c@i2pn2.org> <v6nc22$2501i$1@dont-email.me> <c784fa694b9d68f5ace1d07c9870050681268fdc@i2pn2.org> <v6ori5$2fuva$10@dont-email.me> <56314b3bac257d0fc228c26f3c8c5eec40a87215@i2pn2.org> <v6q4cj$2r7qt$1@dont-email.me> <1fbe0efc5b030be11df07a930754d90ce56525be@i2pn2.org> <v6q7vo$2rvqi$1@dont-email.me> <03ba90ee0fbe42d2596ab18d6a5ca17ecdf1e921@i2pn2.org> <v6r7i8$30qtt$2@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Injection-Date: Fri, 12 Jul 2024 13:41:34 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="3030228"; mail-complaints-to="usenet@i2pn2.org"; posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM"; User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2) X-Spam-Checker-Version: SpamAssassin 4.0.0 Bytes: 3807 Lines: 41 Am Fri, 12 Jul 2024 07:28:56 -0500 schrieb olcott: > On 7/12/2024 6:15 AM, Richard Damon wrote: >> On 7/11/24 11:30 PM, olcott wrote: >>> On 7/11/2024 10:18 PM, Richard Damon wrote: >>>> On 7/11/24 10:28 PM, olcott wrote: > > We stipulate that the only measure of a correct emulation is the > semantics of the x86 programming language. By this measure when 1 to ∞ > steps of DDD are correctly emulated by each pure function x86 emulator > HHH (of the infinite set of every HHH that can possibly exist) then DDD > cannot possibly reach its own machine address of 00002174 and halt. We are only interested in a simulator that simulates ALL steps. >>>>> When 1,2,3... ∞ steps of DDD are correctly emulated by HHH it is a >>>>> lie to say that this many instructions were not correctly emulated >>>>> and you know it. >>>> But only N instructions "correctly emulated" is NOT a CORRECT >>>> emulaition of the instructions of DDD/HHH >>> I didn't limit it to N. I say 1 to infinity steps! That IS a limit. >> So, I guess NONE of them ever stop before reaching the end, if none of >> them stop before that. > 1,2,3... ∞ steps of DDD are correctly emulated is every HHH/DDD pair > that can possibly exist when HHH is a pure function x86 emulator. Only the unlimited case matters. > No more dishonest shell game ruse I still haven't understood what you think we are switching between. > That wastes weeks and weeks talking in circles. It's rather your very low signal to noise ratio. > For each element of this infinite set of HHH/DDD pairs DDD never halts. > For every finite N number of emulated steps HHH halts. How can a simulation of a nonterminating program halt? > This means that every HHH of this set that aborts its emulation of DDD > is correct to reject its DDD as non halting. A simulator cannot abort. -- Am Fri, 28 Jun 2024 16:52:17 -0500 schrieb olcott: Objectively I am a genius.