Deutsch English Français Italiano |
<v6tvig$3imib$13@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: eternal-september.org!news.eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> Newsgroups: comp.theory,sci.logic,comp.ai.philosophy Subject: Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Date: Sat, 13 Jul 2024 08:30:56 -0500 Organization: A noiseless patient Spider Lines: 32 Message-ID: <v6tvig$3imib$13@dont-email.me> References: <v6rg65$32o1o$3@dont-email.me> <97e0632d0d889d141bdc6005ce6e513c53867798@i2pn2.org> <v6sdlu$382g0$1@dont-email.me> <v6td3a$3ge79$1@dont-email.me> <v6tp1j$3imib$2@dont-email.me> <1972cbc6017755353916d2ba8b055fbaca0711df@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sat, 13 Jul 2024 15:30:57 +0200 (CEST) Injection-Info: dont-email.me; posting-host="52398669a80ff5113c36343403a598c9"; logging-data="3758667"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+a4OsPJjY2z3pEBGIcNMGL" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:zBmCUoqb6T92mh5kfJW1ZHqC2KE= Content-Language: en-US In-Reply-To: <1972cbc6017755353916d2ba8b055fbaca0711df@i2pn2.org> On 7/13/2024 8:15 AM, Richard Damon wrote: > On 7/13/24 7:39 AM, olcott wrote: >> On 7/13/2024 3:15 AM, Fred. Zwarts wrote: >>> >>> This is double talk, because no HHH can possibly exist that simulates >>> itself correctly. >> >> Your definition of correct contradicts the semantics of >> the x86 language making it wrong. >> > > No your ideas of the x86 language contradicts the actual sematic of the > language. > > Where does it ever even imply that a partial emulation correctly > predicts the behavior of the full program? > You switch from disagreeing with the x86 language to disagreeing that all deciders must halt. *This proves that every rebuttal is wrong somewhere* No DDD instance of each HHH/DDD pair of the infinite set of every HHH/DDD pair ever reaches past its own machine address of 0000216b and halts thus proving that every HHH is correct to reject its input DDD as non-halting. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer