Deutsch English Français Italiano |
<vfj563$3p235$4@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> Newsgroups: comp.theory Subject: Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- Date: Sat, 26 Oct 2024 11:25:39 -0500 Organization: A noiseless patient Spider Lines: 39 Message-ID: <vfj563$3p235$4@dont-email.me> References: <vf3eu5$fbb3$2@dont-email.me> <45ea7a6da46453c9da62c1149fa1cf7739218c5f@i2pn2.org> <vf9qai$1scol$1@dont-email.me> <2a210ab064b3a8c3397600b4fe87aa390868bb12@i2pn2.org> <vf9sk6$1sfva$2@dont-email.me> <4c67570b4898e14665bde2dfdf473130b89b7dd4@i2pn2.org> <vfaqe7$21k64$1@dont-email.me> <f789d3ef27e3000f04feb3df4fc561c5da02381f@i2pn2.org> <vfcbl5$2b6h0$2@dont-email.me> <b707850664ad22bb1172006f4e24a27633ff1a4d@i2pn2.org> <vfe344$2o992$1@dont-email.me> <94449dae60f42358ae29bb710ca9bc3b18c60ad7@i2pn2.org> <vfeqqo$2ruhp$1@dont-email.me> <0553e6ab73fa9a21f062de4d645549ae48fd0a64@i2pn2.org> <vfg6us$36im7$2@dont-email.me> <da2d4f48cb3b9ac2e44b6f9c9ab28adb3022acb1@i2pn2.org> <vfh428$3bkkv$2@dont-email.me> <c72aa667027121011042e8b4413d343f3c61bdd1@i2pn2.org> <vfh8vt$3cdsr$2@dont-email.me> <8e17863681e1f32f132966f41699e57e5c322b41@i2pn2.org> <vfirsv$3ner2$6@dont-email.me> <vfj28k$3j3qf$6@i2pn2.org> <vfj2o7$3p235$1@dont-email.me> <d0c0bcf21b5f33fc0caf5b49ff29cf5a58d4190d@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 26 Oct 2024 18:25:40 +0200 (CEST) Injection-Info: dont-email.me; posting-host="f00999e9e0e5447cf99e873d021c7ec9"; logging-data="3967077"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19a0ipcUMEUEOEasy2I5i7w" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:I7XcdNxqKgk2OpLRq6/tHmiFb3E= X-Antivirus: Norton (VPS 241026-4, 10/26/2024), Outbound message In-Reply-To: <d0c0bcf21b5f33fc0caf5b49ff29cf5a58d4190d@i2pn2.org> X-Antivirus-Status: Clean Content-Language: en-US Bytes: 3611 On 10/26/2024 10:52 AM, Richard Damon wrote: > On 10/26/24 11:44 AM, olcott wrote: >> On 10/26/2024 10:35 AM, Richard Damon wrote: >>> >>> Right, and either it follows the rules of the x86 language and NEVER >>> stop, or it disobeys the requirements of the x86 language to stop its >>> emulaiton and return. >>> >> >> In other words after all of these years you still don't get this: >> "simulating halt decider H correctly simulates its input D until" >> >> Repetition to help your ADD see what it keeps missing. >> Repetition to help your ADD see what it keeps missing. >> Repetition to help your ADD see what it keeps missing. > > But it fails to meet the requirements, because your logic presumes that > HHH will never abort. > Not at all. In the hypothetical case where HHH never aborts then DDD never stops running. "would never stop running unless aborted" "would never stop running unless aborted" "would never stop running unless aborted" "would never stop running unless aborted" *ChatGPT understand this completely* https://chatgpt.com/share/67158ec6-3398-8011-98d1-41198baa29f2 Your reasoning really is isomorphic to determining that you never need to ever eat any food on the basis that you know in advance that after eating food you will no longer need to eat food after you have eaten. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer