Deutsch English Français Italiano |
<ut5p4d$3b387$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!3.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <polcott2@gmail.com> Newsgroups: comp.theory,sci.logic Subject: Re: Proof that H(D,D) meets its abort criteria --self-evident truth-- Date: Sat, 16 Mar 2024 22:47:25 -0500 Organization: A noiseless patient Spider Lines: 76 Message-ID: <ut5p4d$3b387$1@dont-email.me> References: <ut1sgk$2buev$2@dont-email.me> <ut20uf$1vtvi$1@i2pn2.org> <ut21t3$2d19j$1@dont-email.me> <ut24j0$2dnbk$2@dont-email.me> <ut24kj$2djbv$5@dont-email.me> <ut2675$1vtvj$9@i2pn2.org> <ut26mi$2e06s$5@dont-email.me> <ut27l8$1vtvj$17@i2pn2.org> <ut283n$2e06s$9@dont-email.me> <ut2ava$1vtvi$14@i2pn2.org> <ut2dml$2ffu8$3@dont-email.me> <ut2h1a$1vtvj$24@i2pn2.org> <ut2iqa$2gkoj$1@dont-email.me> <ut2ler$1vtvj$28@i2pn2.org> <ut32q0$2n0uu$2@dont-email.me> <ut33k7$218kg$2@i2pn2.org> <ut34k2$2n0uu$6@dont-email.me> <ut377b$218kh$3@i2pn2.org> <ut4dt4$2v4ce$1@dont-email.me> <ut5d34$23hsb$8@i2pn2.org> <ut5env$35hhq$2@dont-email.me> <ut5kdc$36l75$1@dont-email.me> <ut5ksp$36j8b$1@dont-email.me> <ut5nfo$3as0r$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sun, 17 Mar 2024 03:47:25 -0000 (UTC) Injection-Info: dont-email.me; posting-host="e88715fb4901ad15131714ef179e795e"; logging-data="3509511"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19nrJXu7se5bRaJvCsPmOMC" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:qFkZKzpVlNSJjvJA5WrdtxV4wm4= In-Reply-To: <ut5nfo$3as0r$1@dont-email.me> Content-Language: en-US Bytes: 4624 On 3/16/2024 10:19 PM, immibis wrote: > On 17/03/24 03:35, olcott wrote: >> On 3/16/2024 9:26 PM, immibis wrote: >>> On 17/03/24 01:50, olcott wrote: >>>> On 3/16/2024 7:21 PM, Richard Damon wrote: >>>>> On 3/16/24 8:29 AM, olcott wrote: >>>>>> On 3/15/2024 11:29 PM, Richard Damon wrote: >>>>>>> On 3/15/24 8:45 PM, olcott wrote: >>>>>>>> H(D,D) fails to make the required mistake of reporting on what >>>>>>>> it does not see. >>>>>>> >>>>>>> But it DOES make a mistake, because it does answer the question >>>>>>> correctly. >>>>>>> >>>>>>> You are just PROVING you think lying is ok. >>>>>>> >>>>>>> You TOTALLY don't understand the meaning of truth. >>>>>>> >>>>>>> You are REALLY just a Pathological Liar, as you have no concept >>>>>>> of real truth, >>>>>>> >>>>>> >>>>>> The original halt status criteria has the impossible requirement >>>>>> that H(D,D) must report on behavior that it does not actually see. >>>>>> Requiring H to be clairvoyant is an unreasonable requirement. >>>>>> *The criteria shown below eliminate the requirement of clairvoyance* >>>>>> >>>>>> (a) 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 correctly simulates its input D until* >>>>>> Means H does a correct partial simulation of D until H correctly >>>>>> matches the recursive simulation non-halting behavior pattern. >>>>>> >>>>>> >>>>> >>>>> But turning out to be impposible, doesn't make it incorrect or >>>>> invalid. >>>> >>>> *You seems to be ridiculously disingenuous about the self-evident >>>> truth* >>>> For every possible way that H can be encoded and D(D) calls H(D,D) >>>> either H(D,D) aborts its simulation or D(D) never stops running. >>>> >>> >>> For every possible way that H can be encoded, H(D,D) aborts its >>> simulation. >> >> That does not correspond to the specification of H shown immediately >> above that only has H(D,D) simulate its input and does not even require >> H to ever stop running. > > It corresponds to the actual H that you wrote. For every possible way that H can be encoded and D(D) calls H(D,D) either H(D,D) aborts its simulation or D(D) never stops running. In this post we are only talking about the spec immediately above. within this scope [Proof that H(D,D) meets its abort criteria] We never ever get closure with any broader scope than a single point-at-a-time. Only since I have been requiring this have we ever gotten any closure. >> >>> If you change it so it doesn't abort its simulation, then it's a >>> different H, not just a different encoding. >> > -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer