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: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down --- canonical Date: Sat, 1 Jun 2024 17:37:28 -0500 Organization: A noiseless patient Spider Lines: 106 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sun, 02 Jun 2024 00:37:29 +0200 (CEST) Injection-Info: dont-email.me; posting-host="3e1a2626012d6c432c11247ed1bf0353"; logging-data="3158310"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+S4Qj32w/H7meYsvQPFAbw" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:RpUUayLM4nCCuf5NV82hFdwoTj8= Content-Language: en-US In-Reply-To: Bytes: 6188 On 6/1/2024 5:30 PM, Richard Damon wrote: > On 6/1/24 5:27 PM, olcott wrote: >> On 6/1/2024 4:15 PM, Richard Damon wrote: >>> On 6/1/24 4:35 PM, olcott wrote: >>>> On 6/1/2024 3:29 PM, Richard Damon wrote: >>>>> On 6/1/24 12:46 PM, olcott wrote: >>>>>> On 6/1/2024 11:33 AM, Richard Damon wrote: >>>>>>> On 6/1/24 12:18 PM, olcott wrote: >>>>>>>> On 6/1/2024 11:08 AM, Richard Damon wrote: >>>>>>>>> On 6/1/24 11:58 AM, olcott wrote: >>>>>>>>>> On 6/1/2024 10:46 AM, Richard Damon wrote: >>>>>>>>>>> On 6/1/24 10:00 AM, olcott wrote: >> DD correctly simulated >>>>>>>>>>> by HH remains stuck in recursive simulation >>>>>>>>>>>> all the time it is simulated even when an infinite number of >>>>>>>>>>>> steps >>>>>>>>>>>> are simulated. >>>>>>>>>>> >>>>>>>>>>> So, are you admitting that HH just gets stuck and doesn't >>>>>>>>>>> answer when asked HH(DD,DD)? >>>>>>>>>>> >>>>>>>>>> >>>>>>>>>> Every DD correctly simulated by any HH remains stuck in >>>>>>>>>> recursive simulation for 1 to ∞ steps of correct simulation. >>>>>>>>> >>>>>>>>> So? Since you definition of "Correct Simulation" is >>>>>>>>> non-canonical, that doesn't mean anything. >>>>>>>>> >>>>>>>> >>>>>>>> *When the "canonical" definition tries to get away with refuting >>>>>>>> this* >>>>>>>> >>>>>>>> DD correctly emulated by HH with an x86 emulator cannot possibly >>>>>>>> reach past its own machine instruction [00001c2e] in any finite >>>>>>>> number of steps of correct emulation. >>>>>>> >>>>>>> No, it doesn't "Refute" that, >>>>>> >>>>>> *Then what I said stands unrefuted* >>>>>> *Then what I said stands unrefuted* >>>>>> *Then what I said stands unrefuted* >>>>> >>>>> And unproven, and still meaningless. >>>>> >>>>>> >>>>>> *We can't move on to any other point until* >>>>>> (a) You acknowledge that my above statement about the behavior of the >>>>>> x86 machine code of DD is irrefutable and applies to the C source >>>>>> code version of DD and applies to the Linz proof. >>>>>> >>>>>> (b) You correctly refute what I said above about the behavior of the >>>>>> x86 machine code of DD. >>>>> >>>>> But why do we care about the fact that all your HH that answer just >>>>> gave up on their simulation before the actual canonically correct >>>>> simulation would have reached a final state, >>>> It seems to me (and I may be wrong you may be confused) >>>> That we cannot move on to any other point simply because >>>> you are simply too freaking dishonest. >>>> >>>> You use moving on to other points to endlessly avoid any >>>> closure on any point. >>>> >>> >>> >>> We can not move on, because you want to base your arguement on >>> falsehoods. >>> >> >> typedef int (*ptr)();  // ptr is pointer to int function in C >> 00       int HH(ptr p, ptr i); >> 01       int DD(ptr p) >> 02       { >> 03         int Halt_Status = HH(p, p); >> 04         if (Halt_Status) >> 05           HERE: goto HERE; >> 06         return Halt_Status; >> 07       } >> 08 >> 09       int main() >> 10       { >> 11         HH(DD,DD); >> 12         return 0; >> 13       } >> >> Every DD correctly simulated by any HH of the infinite set of HH/DD >> pairs that match the above template never reaches past its own simulated >> line 03 in 1 to ∞ steps of correct simulation of DD by HH. > > But since the simulation was aborted, I don't want to be harsh, especially because Christ says to love even your enemies and at worst you are only an adversary... *The above never mentions anything about any simulation being aborted* *The above never mentions anything about any simulation being aborted* *The above never mentions anything about any simulation being aborted* *YET PROVES THAT THE INPUT TO H(DD,DD) DOES NOT HALT* *YET PROVES THAT THE INPUT TO H(DD,DD) DOES NOT HALT* *YET PROVES THAT THE INPUT TO H(DD,DD) DOES NOT HALT* -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer