Path: ...!2.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory,sci.logic Subject: Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 Date: Sat, 25 May 2024 18:11:04 -0500 Organization: A noiseless patient Spider Lines: 57 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sun, 26 May 2024 01:11:05 +0200 (CEST) Injection-Info: dont-email.me; posting-host="b67ec24a85de95a55e6b4d0cc81926c3"; logging-data="3242936"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+nCwpZVyfd2+3VvTGy7dR9" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:dATmD00n1FB3yheRuBRFBA99ayw= In-Reply-To: Content-Language: en-US Bytes: 3871 On 5/25/2024 5:59 PM, Richard Damon wrote: > On 5/25/24 6:53 PM, olcott wrote: >> *We can get to that ONLY WHEN WE HAVE THE ABOVE SUBJECT AS A BASIS* >> *We can get to that ONLY WHEN WE HAVE THE ABOVE SUBJECT AS A BASIS* >> *We can get to that ONLY WHEN WE HAVE THE ABOVE SUBJECT AS A BASIS* > > No we need to handle them to know what you have defined. > > After all, if we don't agree on the inmplications, we don't have > agreement on what is being stipuated as the defintions. > >> >> *Thus trolling me is made impotent* >> *Thus trolling me is made impotent* >> *Thus trolling me is made impotent* >> > > They are not "Baseless" but based on the actual definitions > of the terms that you are changing. > *In other words you can show in a convincing way that this is false* *In other words you can show in a convincing way that this is false* *In other words you can show in a convincing way that this is false* 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 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* 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. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer