Deutsch English Français Italiano |
<7281f97665272ea0eb85e56940648f6c807b0b8e.camel@gmail.com> View for Bookmarking (what is this?) Look up another Usenet article |
Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: wij <wyniijj5@gmail.com> Newsgroups: comp.theory Subject: Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD) Date: Mon, 12 May 2025 06:50:34 +0800 Organization: A noiseless patient Spider Lines: 70 Message-ID: <7281f97665272ea0eb85e56940648f6c807b0b8e.camel@gmail.com> References: <vv97ft$3fg66$1@dont-email.me> <b9cec56c1d257e09fdf8043f02f123a4243de6e1.camel@gmail.com> <vvoife$3ofmu$1@dont-email.me> <09cea75db07408dc9203aca3fb74408ad3a095b4.camel@gmail.com> <vvoubl$3qtsi$1@dont-email.me> <bc4fb153ff914177dba706ce6e0dfb467e2126eb.camel@gmail.com> <vvp04i$3r5li$3@dont-email.me> <853816e160c7b3fe75c71f0728e72989d9fb2e41.camel@gmail.com> <vvp1fm$3r5li$4@dont-email.me> <b049926b61baa5d69d11655a8af06e537b7acd71.camel@gmail.com> <vvqga9$gldn$3@dont-email.me> <41e08841caf0d628beb5105bc78531a412eea440.camel@gmail.com> <vvql3p$gldn$15@dont-email.me> <cb999b6746607a1445c196e485a2c1124eaee8b5.camel@gmail.com> <vvqnev$i5d0$3@dont-email.me> <07c4f2302645a7e58957b5e5bffed80397a6ddae.camel@gmail.com> <vvr0ot$k9nu$1@dont-email.me> <04bd32e2a5572305de0376f9569172932ffb252f.camel@gmail.com> <vvr2ov$khl4$2@dont-email.me> <72f8c8295d3a0ff265a67b0de838516ade16c6d5.camel@gmail.com> <vvr6lj$lieg$1@dont-email.me> <8667c45172be6519444525c30d280cde06d77e2b.camel@gmail.com> <vvr8dj$lu2b$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Date: Mon, 12 May 2025 00:50:36 +0200 (CEST) Injection-Info: dont-email.me; posting-host="c80d5b5e9f515b03afe08cc6985dc17b"; logging-data="692129"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18jP78it5G4EjuVC92iZkeO" User-Agent: Evolution 3.54.3 (3.54.3-1.fc41) Cancel-Lock: sha1:2fAreQNzu7TocHWYhkWSAKTntf8= In-Reply-To: <vvr8dj$lu2b$1@dont-email.me> On Sun, 2025-05-11 at 17:30 -0500, olcott wrote: > On 5/11/2025 5:11 PM, wij wrote: > > On Sun, 2025-05-11 at 17:00 -0500, olcott wrote: > > [cut] > > > > > ZFC corrected the error in set theory so that > > > > > it could resolve Russell's Paradox. The original > > > > > set theory has now called naive set theory. > > > > >=20 > > > > > I corrected the error of the HP that expects > > > > > HHH to report on behavior that is different > > > > > than the behavior that its input actually > > > > > specifies. > > > >=20 > > > > Specificly, "Halt(D)=3D1 iff D() halts" is an error? > > > > And it should expect: Halt(D)=3D1 iff POOH(D)=3D1 (correct problem)= ? > > > >=20 > > >=20 > > > Yes that is an error because the behavior that > > > the input to HHH(DDD) specifies is the behavior > > > that HHH must report on. > >=20 > > If so, how do we know a given function e.g. D, halts or not by giving i= t to H, > > i.e. H(D)? Wrong question (according to you)? >=20 > H and D is too vague and ambiguous. > We know that the input to HHH(DDD) specifies > a non-halting sequence of configurations. >=20 > We know that the input to HHH1(DDD) specifies > a halting sequence of configurations. >=20 > > Instead, every time we want to know whether D halts or not,=20 >=20 > When we intentionally define an input to attempt > to thwart a specific termination analyzer THIS DOES > CHANGE THE BEHAVIOR. >=20 > If we let people run uploaded programs on our > network we need to know if these programs are > going to halt. >=20 > Unless HHH(DDD) rejects its input as non-halting > HHH will continue to eat up network resources. But, according to POOH, if D going to eat up network resources, it have to happen when we run POOH(D), because you said D's halting property only valid to H. So why bother we use POOH? D only cause damage of our network (test it halt= or not) while we run it. How is it helpful to AI and human if so this way? > We have to have some specific termination > analyzer. It must be able to handle people > trying to trick it. >=20 > > we should ask > > POOH(D)? Because you said 'halt' means "the input to HHH(DDD) specifies= is the > > behavior that HHH must report on." > >=20 > > And, how is POOH useful to AI and human if POOH cannot be reproduced? > >=20 > >=20 >=20 >=20