Deutsch English Français Italiano |
<v67h9h$2vnls$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,sci.logic Subject: Re: Ben thinks the professor Sipser is wrong Date: Thu, 4 Jul 2024 20:12:16 -0500 Organization: A noiseless patient Spider Lines: 160 Message-ID: <v67h9h$2vnls$1@dont-email.me> References: <tic5tr$25uem$6@dont-email.me> <8735bpq5jh.fsf@bsb.me.uk> <v66o6i$2rv8q$3@dont-email.me> <8bbce1bb519f205ef865a07719bf35f68170ad61@i2pn2.org> <v66psp$2scuh$1@dont-email.me> <990598b3a90c559f7125530edef9c5a0ef2c7102@i2pn2.org> <v677vh$2u7lu$2@dont-email.me> <dbebddf487aebc1c848fc07abb0f7800e068f34e@i2pn2.org> <v67d2s$2v7vf$1@dont-email.me> <9d7ed80b2fc8e04050d413c3f922ce409d55f31c@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Fri, 05 Jul 2024 03:12:17 +0200 (CEST) Injection-Info: dont-email.me; posting-host="f325a973008a37eaa6ec545239278e3d"; logging-data="3137212"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+MnCa1i/wjcpOfRHlluMHF" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:cnYx/bgPiDMHuV14+qrkbik8XzI= Content-Language: en-US In-Reply-To: <9d7ed80b2fc8e04050d413c3f922ce409d55f31c@i2pn2.org> Bytes: 8309 On 7/4/2024 7:33 PM, Richard Damon wrote: > On 7/4/24 8:00 PM, olcott wrote: >> On 7/4/2024 6:18 PM, Richard Damon wrote: >>> On 7/4/24 6:33 PM, olcott wrote: >>>> On 7/4/2024 5:21 PM, Richard Damon wrote: >>>>> On 7/4/24 2:32 PM, olcott wrote: >>>>>> On 7/4/2024 1:17 PM, Richard Damon wrote: >>>>>>> On 7/4/24 2:04 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> >>>>>>>> >>>>>>>> On 10/14/2022 7:44 PM, Ben Bacarisse wrote: >>>>>>>> > I don't think that is the shell game. PO really /has/ an H >>>>>>>> (it's >>>>>>>> > trivial to do for this one case) that correctly determines >>>>>>>> that P(P) >>>>>>>> > *would* never stop running *unless* aborted. >>>>>>>> ... >>>>>>>> > But H determines (correctly) that D would not halt if it were >>>>>>>> not >>>>>>>> > halted. That much is a truism. >>>>>>>> >>>>>>>> Ben clearly agrees that the above criteria have been met, >>>>>>>> yet feels that professor Sipser was tricked into agreeing >>>>>>>> that this means that: >>>>>>>> H can abort its simulation of D and correctly report that D >>>>>>>> specifies a non-halting sequence of configurations. >>>>>>>> >>>>>>>> I spent two years deriving those words that Professor Sipser >>>>>>>> agreed with. It seems to me that every software engineer would >>>>>>>> agree that the second part is logically entailed by the first part. >>>>>>> >>>>>>> >>>>>>> You mean you WASTED two years and set a trap for your self that >>>>>>> you fell into. >>>>>>> >>>>>>> The problem is that Ben is adopting your definitions that >>>>>>> professor Sipser is not using. >>>>>>> >>>>>> >>>>>> Ben agrees that my criteria have been met according to their >>>>>> exact words. If you want to lie about that I won't talk to >>>>>> you again. >>>>>> >>>>> >>>>> Which meant different things, so not the same. >>>>> >>>>> The biggest problem is your H/P interlocking program pair is >>>>> something outside the normal scope of Computation theory. >>>>> >>>>> The way you have built your Deicder/Decider combination isn't >>>>> actualy within the definition of normal Computaiton Theory, as that >>>>> would have Decider as a totally independent program from the >>>>> program it is deciding on. >>>>> >>>>> Your H and D aren't that sort of thing because they are interwined >>>>> into a single memory space, and even share code. >>>>> >>>>> This makes some things possible to do about the pair that can not >>>>> be done if they were independent programs, like H being able to >>>>> detect that D calls itself (but not copies of itself, which is why >>>>> you don't allow those copies, as that breasks your lie). >>>>> >>>> >>>> Ever heard of string comparison? >>>> H can detect that D calls copies of itself. >>>> That merely makes the details more complex. >>> >>> Nope, doesn't work. Particularly for Turing Machines. >>> >>> The problem is that the seperate compliation and linking with the >>> resultant different address makes the byte pattern for the code not >>> necessarily a duplicate. >>> >>> When you consider that the input is antagonistic, it can also >>> intentionally make alterations that do not change the outward >>> behavior, but do change the byte code. >>> >>> I seem to remember that it has been proven that, in general, the >>> identification of an equivalent copy of yourself is uncomputable. >>> >>> We went over this before, and you could never understand it. >>> >>>> >>>>> Another of the big effect of thins, is that the way you defined it, >>>>> D actually does have access to the decider that is going to decide >>>>> it (if we follow your rule and name the decider H). This can turn >>>>> what used to be an independent fully defined program P into a >>>>> dependent program template. >>>> >>>> The key issue is that by my basis structure that applies equally >>>> to DD correctly simulated by HH as it applies to ⟨Ĥ⟩ correctly >>>> simulated by embedded_H is that the paradoxical decision point >>>> cannot be reached. This converts the "impossible" problem into a >>>> difficult one. >>> >>> Nope. Your basic structure can not be converted back into a pair of >>> Turing Machihes, showing it isn't based on actual Computations. >>> >>>> >>>>> Undet THAT condition, Ben agreed that yoUr H could conclude that no >>>>> version of H could simulate the version of D that uses it, to its >>>>> final state. Since P is a template, and not a program, it doesn't >>>>> have the normal Objective definition of behavior, and thus your >>>>> subjective one might need to be used, even with its problems. >>>>> >>>> >>>> The key point that you must acknowledge before continuing is >>>> that the criteria is met for H/D. I can't tolerate one more >>>> reply where you deny this. >>> >>> But your criteria isn't a legal critieria. The "Behavior" of the >>> input must be an objective property of just that input, and thus can >>> not be something that depends on the decider looking at it. >>> >> >> It must depend on the decider looking at it or we are required >> to ignore the actual fact that DDD does call HHH in recursive >> simulation. We are certainly not allowed to ignore any actual >> facts. If you can't get that then it seems we may be done talking. > > > Why do you say that? Yes, it males the problem harder (in fact in some > cases impossible) but that is the rule. > > You seem to have a problem with the simple fact that some maps are just > imposisble to compute. > > But that MUST be true as there is an order of infinity more maps than > possible deciders, so most maps must not be computable. > > It CAN'T depend on the decider, It must depend on the decider because that is an aspect that the execution trace of DDD correctly emulated by HHH specifies at machine address 0000217a. _DDD() [00002172] 55 push ebp ; housekeeping [00002173] 8bec mov ebp,esp ; housekeeping [00002175] 6872210000 push 00002172 ; push DDD [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD) [0000217f] 83c404 add esp,+04 [00002182] 5d pop ebp [00002183] c3 ret Size in bytes:(0018) [00002183] -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer