Deutsch English Français Italiano |
<v3kjs9$3u7ng$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!feeds.phibee-telecom.net!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Mikko <mikko.levanto@iki.fi> Newsgroups: comp.theory Subject: Re: Why does Olcott care about simulation, anyway? --- Ben's Review Date: Mon, 3 Jun 2024 17:27:21 +0300 Organization: - Lines: 29 Message-ID: <v3kjs9$3u7ng$1@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> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Mon, 03 Jun 2024 16:27:21 +0200 (CEST) Injection-Info: dont-email.me; posting-host="0724530065624955e856c446f16213de"; logging-data="4136688"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18NdBWq80IUGMOQlu0CDalZ" User-Agent: Unison/2.2 Cancel-Lock: sha1:9oIS/UFRIWjvj6Nnk0swtupGgv0= Bytes: 2140 On 2024-06-03 12:20:01 +0000, olcott said: > On 6/3/2024 4:42 AM, Ben Bacarisse wrote: >> Mike Terry <news.dead.person.stones@darjeeling.plus.com> writes: >> >>> PO's D(D) halts, as illustrated in various traces that have been posted here. >>> PO's H(D,D) returns 0 : [NOT halting] also as illustrated in various traces. >>> i.e. exactly as the Linz proof claims. PO has acknowledged both these >>> results. Same for the HH/DD variants. >>> >>> You might imagine that's the end of the matter - PO failed. :) >>> >>> That's right, but PO just carries on anyway! >> >> He has quite explicitly stated that false (0) is the correct result for >> H(D,D) "even though D(D) halts". I am mystified why anyone continues to >> discuss the matter until he equally explicitly repudiates that claim. >> > > Deciders only compute the mapping *from their inputs* to their own > accept or reject state. That does not restrict what a problem statement can specify. If the computed mapping differs from the specified one the decider does not solve the problem. -- Mikko