Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!news.quux.org!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail From: Richard Damon Newsgroups: comp.theory,comp.ai.philosophy,sci.logic Subject: Re: How do simulating termination analyzers work? Date: Fri, 20 Jun 2025 20:04:52 -0400 Organization: i2pn2 (i2pn.org) Message-ID: <8ee3de381d5466847050b7757ccfd4efff0f2be5@i2pn2.org> References: <102sjg5$2k3e9$1@dont-email.me> <1607e7860c899b930b87d371c747708dbeaf1062@i2pn2.org> <102t67r$2o80a$1@dont-email.me> <102u3et$31q0g$4@dont-email.me> <102ufv8$35emj$1@dont-email.me> <733af6784ff4a553b3b5628e4eb5de915decee9e@i2pn2.org> <102vrl8$3ghaa$1@dont-email.me> <1030kbc$3pfos$4@dont-email.me> <10319ei$3u901$6@dont-email.me> <1033a10$m26r$4@dont-email.me> <1033s01$2uqj$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 21 Jun 2025 00:13:38 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="1360490"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird In-Reply-To: <1033s01$2uqj$1@dont-email.me> Content-Language: en-US X-Spam-Checker-Version: SpamAssassin 4.0.0 On 6/20/25 10:42 AM, olcott wrote: > On 6/20/2025 4:35 AM, Fred. Zwarts wrote: >> Op 19.jun.2025 om 17:13 schreef olcott: >>> On 6/19/2025 4:13 AM, Fred. Zwarts wrote: >>>> Op 19.jun.2025 om 04:11 schreef olcott: >>>>> On 6/18/2025 8:20 PM, Richard Damon wrote: >>>>>> On 6/18/25 9:46 AM, olcott wrote: >>>>>>> On 6/18/2025 5:12 AM, Fred. Zwarts wrote: >>>>>>>> Op 18.jun.2025 om 03:54 schreef olcott: >>>>>>>>> On 6/17/2025 8:19 PM, Richard Damon wrote: >>>>>>>>>> On 6/17/25 4:34 PM, olcott wrote: >>>>>>>>>>> void Infinite_Recursion() >>>>>>>>>>> { >>>>>>>>>>>    Infinite_Recursion(); >>>>>>>>>>>    return; >>>>>>>>>>> } >>>>>>>>>>> >>>>>>>>>>> void Infinite_Loop() >>>>>>>>>>> { >>>>>>>>>>>    HERE: goto HERE; >>>>>>>>>>>    return; >>>>>>>>>>> } >>>>>>>>>>> >>>>>>>>>>> void DDD() >>>>>>>>>>> { >>>>>>>>>>>    HHH(DDD); >>>>>>>>>>>    return; >>>>>>>>>>> } >>>>>>>>>>> >>>>>>>>>>> When it is understood that HHH does simulate itself >>>>>>>>>>> simulating DDD then any first year CS student knows >>>>>>>>>>> that when each of the above are correctly simulated >>>>>>>>>>> by HHH that none of them ever stop running unless aborted. >>>>>>>>>> >>>>>>>>>> WHich means that the code for HHH is part of the input, and >>>>>>>>>> thus there is just ONE HHH in existance at this time. >>>>>>>>>> >>>>>>>>>> Since that code aborts its simulation to return the answer >>>>>>>>>> that you claim, you are just lying that it did a correct >>>>>>>>>> simulation (which in this context means complete) >>>>>>>>>> >>>>>>>>> >>>>>>>>> *none of them ever stop running unless aborted* >>>>>>>> >>>>>>>> All of them do abort and their simulation does not need an abort. >>>>>>>> >>>>>>> >>>>>>> *It is not given that any of them abort* >>>>>>> >>>>>> >>>>>> >>>>>> >>>>>> But it either does or it doesn't, and different HHHs give >>>>>> different DDD so you can't compare their behavior. >>>>>> >>>>> >>>>> My claim is that DDD correctly simulated by any >>>>> termination analyzer HHH that can possibly exist >>>>> will never stop running unless aborted. >>>> >>>> A vacuous statement because no such termination analyser exist. >>> >>> The above set of every termination analyzer HHH includes >>> those that get the wrong answer and those that never stop >>> running. >> >> That is not the meaning of the words 'correctly simulated'. >> None of them does a correct simulation. >> > > Every instruction of DDD emulated by HHH is emulated correctly. Nope, not the last one, Since the last part of EVERY instruction (other than Halt) is to then run/simulate the next one. Sorry, ERROR is error even if you don't want it to be, HHH only PARTIALLY simulates, which is NOT "correct" You need to remember to tell the WHOLE truth, not just the LIE of a partial truth. (That is a favorite method of your spiritual father). > >>> >>>> The candidate you present >>> >>> *Is each element of this infinite set* >>> My claim is that each of the above functions correctly >>> simulated by any termination analyzer HHH that can possibly >>> exist will never stop running unless aborted by HHH. >>> Can you affirm or correctly refute this? >>> >>> >> >> The words 'correctly simulated' makes this a vacuous statement. There >> is no HHH that can correctly simulate itself. > > You say this only because you lack the technical competence > to verify that HHH does correctly emulate itself emulating DDD. > https://github.com/plolcott/x86utm/blob/master/Halt7.c Which just proves that HHH FAILS to do a correct simulation, since it *DOES* abort its simulation, proving that it only does a PARTIAL simulation, which is not a "Correct Simulation" by the term-of-art meaning of the words, and trying to use any other meaning just becomes a LIE. > >> It makes no sense to affirm or refute a vacuous statement. >> This has been pointed out to you many times. >> Not understanding something does not make you stupid. The resistance >> against learning from errors, however, does. > >