Deutsch English Français Italiano |
<v2afha$2qsgt$6@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!weretis.net!feeder8.news.weretis.net!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: Every D correctly simulated by H never reaches its final state and halts Date: Sat, 18 May 2024 09:55:38 -0500 Organization: A noiseless patient Spider Lines: 109 Message-ID: <v2afha$2qsgt$6@dont-email.me> References: <v26b2t$1rdu0$1@dont-email.me> <v270q1$22vhs$1@dont-email.me> <v27t5q$28hmg$2@dont-email.me> <v27uvl$28tsi$1@dont-email.me> <v2855m$2a6vf$1@dont-email.me> <v2aaic$2q632$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 18 May 2024 16:55:39 +0200 (CEST) Injection-Info: dont-email.me; posting-host="95afb1fc0a4871125108def5044e156a"; logging-data="2978333"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19moooTd7uSrb2nprbIdSgh" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:BnJrd+xHZ2vtvvWSgpmUctrvFjs= Content-Language: en-US In-Reply-To: <v2aaic$2q632$1@dont-email.me> Bytes: 4747 On 5/18/2024 8:30 AM, Mikko wrote: > On 2024-05-17 17:46:29 +0000, olcott said: > >> On 5/17/2024 11:00 AM, Mikko wrote: >>> On 2024-05-17 15:30:01 +0000, olcott said: >>> >>>> On 5/17/2024 2:25 AM, Fred. Zwarts wrote: >>>>> Op 17.mei.2024 om 03:15 schreef olcott: >>>>>> The following is self-evidently true on the basis of the >>>>>> semantics of the C programming language. >>>>>> >>>>>> typedef int (*ptr)(); // ptr is pointer to int function >>>>>> 00 int H(ptr x, ptr x); >>>>>> 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 int main() >>>>>> 10 { >>>>>> 11 H(D,D); >>>>>> 12 return 0; >>>>>> 13 } >>>>>> >>>>>> In the above case a simulator is an x86 emulator that correctly >>>>>> emulates at least one of the x86 instructions of D in the order >>>>>> specified by the x86 instructions of D. >>>>>> >>>>>> This may include correctly emulating the x86 instructions of H >>>>>> in the order specified by the x86 instructions of H thus calling >>>>>> H(D,D) in recursive simulation. >>>>>> >>>>>> Any H/D pair matching the above template where >>>>>> D(D) is simulated by the same H(D,D) that it calls >>>>>> cannot possibly reach its own line 06 and halt. >>>>>> >>>>>> *This is a simple software engineering verified fact* >>>>>> >>>>> >>>>> Note that olcott defines 'verified fact' as 'proven fact', but he >>>>> is unable to show the proof. So, it must be read as 'my belief'. >>>> >>>> It is self-evidently true to anyone having sufficient knowledge >>>> of the semantics of the C programming language. >>> >>> No, it isn't, because the C code of H is not shown. >> >> *I DON'T KNOW WHY I MUST REPEAT THIS HUNDREDS OF TIMES* >> The C code that <is> shown provides the template for the >> infinite set of every D correctly simulated by H. > > You need to repeat this because what you said is defective, *Try and show exactly how the following is defective* *Try and show exactly how the following is defective* *Try and show exactly how the following is defective* > so it cannot be understood as you want and you don't know how > you could fix it so that you could say what you want to say. > typedef int (*ptr)(); // ptr is pointer to int function 00 int H(ptr x, ptr y); 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 int main() 10 { 11 H(D,D); 12 return 0; 13 } In the above case a simulator is an x86 emulator that correctly emulates at least one of the x86 instructions of D in the order specified by the x86 instructions of D. This may include correctly emulating the x86 instructions of H in the order specified by the x86 instructions of H thus calling H(D,D) in recursive simulation. Execution Trace Line 11: main() invokes H(D,D); keeps repeating (unless aborted) Line 01: Line 02: 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. The key thing to note is that no D simulated correctly by any H of every H/D pair specified by the above template ever reaches its own line 06 and halts. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer