Deutsch English Français Italiano |
<v41kse$2jqdk$9@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: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis Date: Sat, 8 Jun 2024 08:04:14 -0500 Organization: A noiseless patient Spider Lines: 84 Message-ID: <v41kse$2jqdk$9@dont-email.me> References: <v3j20v$3gm10$2@dont-email.me> <J_CdnTaA96jxpcD7nZ2dnZfqnPudnZ2d@brightview.co.uk> <87h6eamkgf.fsf@bsb.me.uk> <v3kcdj$3stk9$1@dont-email.me> <v3l7uo$13cp$8@dont-email.me> <v3lcat$228t$3@dont-email.me> <v3mq9j$chc3$1@dont-email.me> <v3mrli$chc4$1@dont-email.me> <_gWdnbwuZPJP2sL7nZ2dnZfqn_GdnZ2d@brightview.co.uk> <v3nkqr$h7f9$3@dont-email.me> <v3p4ka$sk6h$1@dont-email.me> <v3pp7p$v133$8@dont-email.me> <v3s27e$1f9kd$1@dont-email.me> <v3sf1n$1gra7$11@dont-email.me> <v3sjo9$1ialb$1@dont-email.me> <v3skoo$1iedv$1@dont-email.me> <v3u9ej$1v7rn$1@dont-email.me> <v3v6i7$23l33$1@dont-email.me> <v3vse5$3ao52$5@i2pn2.org> <v401dt$287qb$8@dont-email.me> <v40ufq$2gjsq$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 08 Jun 2024 15:04:14 +0200 (CEST) Injection-Info: dont-email.me; posting-host="99ea1b6838dd1404bad406fc122dbf0f"; logging-data="2746804"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/wS3GBlmZwuGxNxJDIGPfW" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:C6bAKfb+RvmRY+ggG986tqII1Aw= In-Reply-To: <v40ufq$2gjsq$1@dont-email.me> Content-Language: en-US Bytes: 4902 On 6/8/2024 1:42 AM, Mikko wrote: > On 2024-06-07 22:26:05 +0000, olcott said: > >> On 6/7/2024 4:00 PM, joes wrote: >>> Am Fri, 07 Jun 2024 09:47:35 -0500 schrieb olcott: >>>> On 6/7/2024 1:30 AM, Mikko wrote: >>>>> On 2024-06-06 15:31:36 +0000, olcott said: >>>>>> On 6/6/2024 10:14 AM, Mikko wrote: >>>>>>> On 2024-06-06 13:53:58 +0000, olcott said: >>>>>>>> On 6/6/2024 5:15 AM, Mikko wrote: >>>>>>>>> On 2024-06-05 13:29:28 +0000, olcott said: >>>>>>>>>> On 6/5/2024 2:37 AM, Mikko wrote: >>>>>>>>>>> On 2024-06-04 18:02:03 +0000, olcott said: >>> >>>> A simulating halt decider cannot report on what the behavior of a >>>> non-terminating input actually is because this would take forever. >>> Exactly. Didn't you say it is allowed to abort? >>> >>>> H is not allowed to report on any computation containing its actual >>>> self >>>> because Turing machines can only take finite string inputs thus cannot >>>> take Turing machines as inputs. >>> Bullshit. It can take other machines just fine. It doesn't know about >>> itself. >>> >> >> No actual Turing machine can be the input to any other actual >> Turing machine. Turing machines only take finite string inputs. > > Any finite string can be an input to some Turing machine. > Can you prove that a Turing machine is not a finite string? > By definition Turing Machines are not finite strings in the conventional model. In my x86utm model of computation x86 machine language <is> the input to another function written in the x86 language. > Your own attempts of a conter-proof are not about Turing machines > but C programs. C programs are finite strings, so a C program > is a valid input to a C program (and a Turing machine, too). > They are about Turing Machines yet cannot be sufficiently understood with less than the 100% compete precision of the x86 language. They x86utm model is required to prove that false assumptions about the nature of correct simulation are false assumptions. void DDD(int (*x)()) { HH(x, x); } DDD correctly simulated by any HH cannot possibly stop running without being aborted. When this is understood and accepted then When Ĥ is applied to ⟨Ĥ⟩ Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qy ∞ Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn ⟨Ĥ⟩ ⟨Ĥ⟩ correctly simulated by any embedded_H is understood to not possibly stop running until aborted. I have all of the details of the machine code and C code for HH and DDD. I can't to the same thing for embedded_H and ⟨Ĥ⟩ ⟨Ĥ⟩ so we have to learn by analogy. >>>> This means that H is not allowed to report on the behavior of the >>>> directly executed P(P). >>> So on which program does it report then? > DD(DD) is just like infinite recursion that gets terminated at its second recursive call. DD(DD) halts only because HH(DD,DD) correctly determines that its input DOES NOT HALT. If HH(DD,DD) did not correctly determine that its input DOES NOT HALT then DD(DD) 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