Deutsch English Français Italiano |
<958b60fd321739fa66547d1c545c664748111e15@i2pn2.org> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: Richard Damon <richard@damon-family.org> Newsgroups: comp.theory Subject: Re: Defining a correct simulating halt decider Date: Thu, 5 Sep 2024 22:35:10 -0400 Organization: i2pn2 (i2pn.org) Message-ID: <958b60fd321739fa66547d1c545c664748111e15@i2pn2.org> References: <vb4plc$2tqeg$1@dont-email.me> <vb6o5t$3a95s$1@dont-email.me> <vb71a3$3b4ub$4@dont-email.me> <vbbmuc$8nbb$1@dont-email.me> <vbcbe4$bdtb$3@dont-email.me> <cb6a625f1737dafed130e2bdad14395d95566ba1@i2pn2.org> <vbcl61$d8p0$1@dont-email.me> <e097e72a4319eb72e8663d055aa54d69af610831@i2pn2.org> <vbcnjk$dr54$1@dont-email.me> <5d7b0659450f58aec28d4f49b1b59982cedfc694@i2pn2.org> <vbcp2d$e330$1@dont-email.me> <70a0b7e4bd0a0129649d8e77cdc36339bd74d6a5@i2pn2.org> <vbcs65$egrs$1@dont-email.me> <f4ca32c31d70ce51426c3a731a55012c94b836a5@i2pn2.org> <vbd1ua$fcdl$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Fri, 6 Sep 2024 02:35:10 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="993900"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird In-Reply-To: <vbd1ua$fcdl$1@dont-email.me> X-Spam-Checker-Version: SpamAssassin 4.0.0 Content-Language: en-US Bytes: 3669 Lines: 51 On 9/5/24 3:48 PM, olcott wrote: > On 9/5/2024 2:41 PM, joes wrote: >> Am Thu, 05 Sep 2024 13:10:13 -0500 schrieb olcott: >>> On 9/5/2024 12:22 PM, joes wrote: >>>> Am Thu, 05 Sep 2024 12:17:01 -0500 schrieb olcott: >>>>> On 9/5/2024 11:56 AM, joes wrote: >>>>>> Am Thu, 05 Sep 2024 11:52:04 -0500 schrieb olcott: >>>>>>> On 9/5/2024 11:34 AM, joes wrote: >>>>>>>> Am Thu, 05 Sep 2024 11:10:40 -0500 schrieb olcott: >>>>>>>>> On 9/5/2024 10:57 AM, joes wrote: >> >>>>>>> The directly executed HHH correctly determines that its emulated DDD >>>>>>> must be aborted because DDD keeps *THE EMULATED HHH* stuck in >>>>>>> recursive emulation. >>>>>> Why doesn’t the simulated HHH abort? >>>>> The first HHH cannot wait for its HHH to abort which is waiting for >>>>> its HHH to abort on and on with no HHH ever aborting. >>>> But why does HHH halt and return that itself doesn’t halt? >>> First agree that you understand the first part so that we don't >>> endlessly digress away from the point. > >> I smell evasion but fine, I understand that HHH cannot wait. > > Do you really understand this? > > It took far too long to get to this point we cannot simply > drop it without complete closure before moving on. > > <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 > > Thus this criteria has been met. No it hasn't, because your decider doesn't do a "correct" (which means complete) simulation, and doesn't correct determine the results of a correct (which means complete) simulation of *THIS* input (which calls the version of the decider that does what this one finally decides to do). Since if you do choose to abort, you will return to your caller and thus this DDD will halt, you can't have correctly proven that it doesn't Sorry, you are just proving that you are just a liar. > >> Now that I think about it, HHH could recognise itself (wouldn’t it >> need to be a quine?)… no, the copy would do the same. >> > >