Deutsch English Français Italiano |
<utkl2g$335kr$7@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 <polcott2@gmail.com> Newsgroups: comp.theory,sci.logic Subject: Re: Can any pathological input thwart a simulating abort decider? Date: Fri, 22 Mar 2024 14:10:08 -0500 Organization: A noiseless patient Spider Lines: 52 Message-ID: <utkl2g$335kr$7@dont-email.me> References: <utkjd0$335kr$1@dont-email.me> <acf2e41695158d4d253c9d1d486dd380d2113a9d.camel@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Fri, 22 Mar 2024 19:10:08 -0000 (UTC) Injection-Info: dont-email.me; posting-host="690daa18ce180247edf7b429f714d68a"; logging-data="3249819"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+23zGh76gXzoiPdL4e83/d" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:hUAVqoHS8nCTRn8BLAtHlU0irK8= Content-Language: en-US In-Reply-To: <acf2e41695158d4d253c9d1d486dd380d2113a9d.camel@gmail.com> Bytes: 2783 On 3/22/2024 1:58 PM, wij wrote: > On Fri, 2024-03-22 at 13:41 -0500, olcott wrote: >> 01 int D(ptr x) // ptr is pointer to int function >> 02 { >> 03 int Halt_Status = H(x, x); >> 04 if (Halt_Status) >> 05 HERE: goto HERE; >> 06 return Halt_Status; >> 07 } >> 08 >> 09 void main() >> 10 { >> 11 H(D,D); >> 12 } >> >> H is a simulating abort decider that supposed to >> correctly determine whether or not it needs to abort >> the simulation of any pathological inputs that are >> attempting to thwart this abort decision. >> >> H must abort every simulated input that would not >> otherwise halt to prevent its own non-termination. >> >> It is a self-evident verified fact that every H(D,D) >> that decides to abort its simulated D(D) is correct >> in doing so because this does prevent its own >> non-termination. >> > > In you program listing above (1) H can only return 0, it does not determine anything. I never mentioned any return value and return values are out-of-scope for this post. In this post we are only looking for a counter-example that can thwart simulating abort decider H. It is a self-evidently correct verified fact that every implementation of H(D,D) that aborts its simulation to prevent its otherwise non- termination is correct in doing so. > (2) and, H is empty, there is no code to determine "pathological input", and who > decide "pathological", you or program? > It is stipulated that every implementation of H(D,D) simulates its input D(D). -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer