Path: ...!2.eu.feeder.erje.net!feeder.erje.net!newsfeed.bofh.team!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory,sci.logic Subject: =?UTF-8?Q?Re=3A_A_simulating_halt_decider_applied_to_the_The_Peter_?= =?UTF-8?Q?Linz_Turing_Machine_description_=E2=9F=A8=C4=A4=E2=9F=A9?= Date: Mon, 27 May 2024 10:46:48 -0500 Organization: A noiseless patient Spider Lines: 62 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Mon, 27 May 2024 17:46:48 +0200 (CEST) Injection-Info: dont-email.me; posting-host="458305845cd025bf1a433877c96321fe"; logging-data="121376"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+rtQHZ4I7XiIqInyTfHq/0" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:H0SSmgo4sPnGfntCkeD6NdqYX7c= In-Reply-To: Content-Language: en-US Bytes: 4404 On 5/27/2024 10:25 AM, Richard Damon wrote: > On 5/27/24 11:06 AM, olcott wrote: typedef int (*ptr)(); // ptr is pointer to int function in C 00 int H(ptr p, ptr i); 01 int D(ptr p) 02 { 03 int Halt_Status = H(p, p); 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 } The above template refers to an infinite set of H/D pairs where D is correctly simulated by either pure simulator H or pure function H. This was done because many reviewers used the shell game ploy to endlessly switch which H/D pair was being referred to. *Correct Simulation Defined* This is provided because many reviewers had a different notion of correct simulation that diverges from this notion. A simulator is an x86 emulator that correctly emulates 1 to N of the x86 instructions of D in the order specified by the x86 instructions of D. This may include M recursive emulations of H emulating itself emulating D. When we see that D correctly simulated by pure simulator H would remain stuck in infinite recursive simulation then we also know that less than an infinite number of steps is not enough steps for D correctly simulated by pure function H to reach its own simulated final state at line 06 and halt. > But the D that was non-halting was a DIFFERENT D then the one simulated > by the finite stepping simulator, so the answers don't apply. > https://en.wikipedia.org/wiki/Shell_game *I updated my words to address your persistent shell-game ploy* The above template refers to an infinite set of H/D pairs where D is correctly simulated by either pure simulator H or pure function H. This was done because many reviewers used the shell game ploy to endlessly switch which H/D pair was being referred to. I must continue to improve the clarity of words to the point that *INTENTIONAL MISINTERPRETATION* looks utterly ridiculous. *The dishonest dodge strawman deception CHANGE-THE-SUBJECT* *fake rebuttal already looks utterly ridiculous* -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer