Deutsch English Français Italiano |
<v12if4$h1tj$2@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!3.eu.feeder.erje.net!feeder.erje.net!news2.arglkargh.de!news.in-chemnitz.de!news.swapon.de!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: Can D simulated by H terminate normally? Date: Fri, 3 May 2024 06:40:20 -0500 Organization: A noiseless patient Spider Lines: 66 Message-ID: <v12if4$h1tj$2@dont-email.me> References: <v0k4jc$laej$1@dont-email.me> <v0lh24$123q3$1@dont-email.me> <v0lic7$2g492$3@i2pn2.org> <v0lkas$12q0o$3@dont-email.me> <v0loq2$2g493$1@i2pn2.org> <v0lq7d$14579$2@dont-email.me> <v0ls98$2g492$7@i2pn2.org> <v0m29q$166o1$1@dont-email.me> <v0m37e$2gl1e$1@i2pn2.org> <v0m3v5$16k3h$1@dont-email.me> <v0m55t$2gl1f$3@i2pn2.org> <v0m5sn$172p4$1@dont-email.me> <v0oban$1o3b$1@news.muc.de> <v0oce3$1q3aq$4@dont-email.me> <v0oe1b$1o3b$2@news.muc.de> <v0ofl3$1r1mf$1@dont-email.me> <v0oh7g$1o3b$3@news.muc.de> <v0olhv$1sgeo$1@dont-email.me> <v0oobd$1o3b$4@news.muc.de> <v0or07$1tmga$1@dont-email.me> <v0qb59$2bsfc$1@dont-email.me> <v0r242$2hb7o$1@dont-email.me> <v0r3kh$hka$1@news.muc.de> <v0r5f2$2hb7o$11@dont-email.me> <v0r78v$hka$3@news.muc.de> <v0rd16$2k1bi$1@dont-email.me> <v0t3uj$1iuj$2@news.muc.de> <v0tneg$37lgj$5@dont-email.me> <v0umsa$2qov3$3@i2pn2.org> <v0v0tm$3kdu6$5@dont-email.me> <v0vlmb$3ovek$1@dont-email.me> <v1098d$3tep8$2@dont-email.me> <v12a35$f4kk$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Fri, 03 May 2024 13:40:21 +0200 (CEST) Injection-Info: dont-email.me; posting-host="42a0fc3cdc0841239d3b757772d0e924"; logging-data="559027"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18EOkZVK8Td/YOV/BIFl+YE" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:+qfISOwjPTYHXu0ti8zaobzXWX8= In-Reply-To: <v12a35$f4kk$1@dont-email.me> Content-Language: en-US Bytes: 4063 On 5/3/2024 4:17 AM, Mikko wrote: > On 2024-05-02 14:50:53 +0000, olcott said: > >> On 5/2/2024 4:16 AM, Mikko wrote: >>> On 2024-05-02 03:22:29 +0000, olcott said: >>> >>>> When I had to make changes to Bank's the VISA credit card system >>>> I had to re-read the VISA change document fifteen times before >>>> I was confident that I understood every relevant detail. >>> >>> It's only because there was no detail that you could not accept. >>> Had there been one you could have stopped reading as soon you >>> found it, perhaps even before reading first time to the end. >>> >> >> It was because 99% of the details did not apply to my system >> that I had to carefully study all of the details to see which >> ones applied. >> >>> Likewise with your proofs: as soon as one error is found there >>> is no need to read further in order to determine that the proof >>> is erroneous. >>> >> >> There is no error in this and it is a verified fact not requiring >> any subjective judgement call: >> >> (a) It is a verified fact that D(D) simulated by H cannot >> possibly reach past line 03 of D(D) simulated by H whether H >> aborts its simulation or not. > > The use of an ambigouos expression "D(D) simulated by H" can > be regarded as an error. > Perhaps you C skills are not that great? Can D correctly simulated by H terminate normally? 00 int H(ptr x, ptr x) // ptr is pointer to int function 01 int D(ptr x) 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 } *Execution Trace* Line 11: main() invokes H(D,D); *keeps repeating* (unless aborted) Line 03: simulated D(D) invokes simulated H(D,D) that simulates D(D) *Simulation invariant* D correctly simulated by H cannot possibly reach past its own line 03. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer