Deutsch English Français Italiano |
<utledq$3997r$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!weretis.net!feeder6.news.weretis.net!feeder8.news.weretis.net!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 21:22:50 -0500 Organization: A noiseless patient Spider Lines: 52 Message-ID: <utledq$3997r$1@dont-email.me> References: <utkjd0$335kr$1@dont-email.me> <utldmr$2o1an$1@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 23 Mar 2024 02:22:51 -0000 (UTC) Injection-Info: dont-email.me; posting-host="c59f7dfe69f4a5279bf8dd8742d31ecc"; logging-data="3450107"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+iixc50G/r6hdP+pFclj02" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:wea3vJ33nTEzAmQYcs7F7xGqhYE= Content-Language: en-US In-Reply-To: <utldmr$2o1an$1@i2pn2.org> Bytes: 2712 On 3/22/2024 9:10 PM, Richard Damon wrote: > On 3/22/24 2:41 PM, 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. >> > > Except that it FAILS to meet your agreed upon definition of correctly > deciding to abort, and uses the INVALID logic of comparing itself to a > DIFFERENT machine. On 3/20/2024 6:02 PM, Richard Damon wrote: > On 3/20/24 6:01 PM, olcott wrote: >> Every H(D,D) that doesn't abort its simulated input >> never stops running. > > Yep, shows that H's that don't abort the D built on > them won't be deciders... Therefore Every H(D,D) that does abort its simulated input is necessarily correct. I take your stalling tactic to indicate that a universal abort decider may very well exist. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer