Deutsch English Français Italiano |
<v9ic89$f16v$6@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 --- key error in all the proofs --- Mike --- basis Date: Wed, 14 Aug 2024 08:42:33 -0500 Organization: A noiseless patient Spider Lines: 38 Message-ID: <v9ic89$f16v$6@dont-email.me> References: <v8jh7m$30k55$1@dont-email.me> <dec62801011bc5bf0b9eb9a62c607cf407198609@i2pn2.org> <v99870$14mlk$1@dont-email.me> <0f8f134fe961ee00910cce1d7f05b632d7567c6c@i2pn2.org> <v9abfu$2nabt$1@dont-email.me> <86c21e8a63450bf8b0c32f4f17ba0b503a914fe0@i2pn2.org> <v9d01i$39tbd$2@dont-email.me> <2c853efb65c3d8e2d4ba1c484f7002c74c68d895@i2pn2.org> <v9d1v8$3a9pe$1@dont-email.me> <e614d6b981fd5fa6eefc84894a14448d4663e3c7@i2pn2.org> <v9da2d$3bth4$1@dont-email.me> <64ddeeaa3a55a9e410de599bd8df53d3644ee5a3@i2pn2.org> <v9de0o$3cjse$1@dont-email.me> <v9dela$3cjse$2@dont-email.me> <b7c45ea22cb83908c31d909b67f4921156be52e3@i2pn2.org> <v9dgvl$3d1an$1@dont-email.me> <d289636b1d244acaf00108f46df093a9fd5aa27c@i2pn2.org> <v9dk2j$3dp9h$1@dont-email.me> <8318f5969aa3074e542747fe6ba2916d7f599bde@i2pn2.org> <TyKdnc3hCNvmUyf7nZ2dnZfqn_udnZ2d@brightview.co.uk> <v9ekta$3necg$1@dont-email.me> <2f8c1b0943d03743fe9894937092bc2832e0a029@i2pn2.org> <v9fn50$3ta4u$2@dont-email.me> <v9hmfc$c71c$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Wed, 14 Aug 2024 15:42:34 +0200 (CEST) Injection-Info: dont-email.me; posting-host="0b9b77ee625b8578b747fee4cc5a1452"; logging-data="492767"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+YMcSjwWJe3GSprsDJ645i" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:q/Eji1Og97BietI4wUO1VZWhb24= In-Reply-To: <v9hmfc$c71c$1@dont-email.me> Content-Language: en-US Bytes: 3242 On 8/14/2024 2:30 AM, Mikko wrote: > On 2024-08-13 13:30:08 +0000, olcott said: > >> On 8/13/2024 6:23 AM, Richard Damon wrote: >>> On 8/12/24 11:45 PM, olcott wrote: >>>> >>>> void DDD() >>>> { >>>> HHH(DDD); >>>> return; >>>> } >>>> >>>> *DDD correctly emulated by HHH cannot possibly reach its* >>>> *own "return" instruction final halt state, thus never halts* >>>> >>> >>> Which is only correct if HHH actuallly does a complete and correct >>> emulation, or the behavior DDD (but not the emulation of DDD by HHH) >>> will reach that return. >>> >> >> A complete emulation of a non-terminating input has always >> been a contradiction in terms. >> >> HHH correctly predicts that a correct and unlimited emulation >> of DDD by HHH cannot possibly reach its own "return" instruction >> final halt state. > > That is not a meaningful prediction because a complete and unlimited > emulation of DDD by HHH never happens. > A complete emulation is not required to correctly predict that a complete emulation would never halt. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer