Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory,sci.logic,comp.lang.c,comp.ai.philosophy Subject: Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Date: Sat, 7 Dec 2024 09:43:26 -0600 Organization: A noiseless patient Spider Lines: 78 Message-ID: References: <6f73ca664f7017ea34651a485a4bd3602e9cbe57@i2pn2.org> <4ccc2cbecfd0e6befd031ed394f1262edd021822@i2pn2.org> <3d80e95768bf6260168865530aaad3591aa03fda@i2pn2.org> <6d0683c816f5f63b3a17c8a52e9b691eecc143a8@i2pn2.org> <2ebbdef8e9070397a2ec3db6dbc37c16f1fe8923@i2pn2.org> <5e1d34cbe07b0dbffe60a12121f2f751b308c1c5@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 07 Dec 2024 16:43:27 +0100 (CET) Injection-Info: dont-email.me; posting-host="e9bb7a7e09a052885dc07388bbe7af3b"; logging-data="3330545"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX193LSzgSCEdz7NxS+gNr4zG" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:gcoqA1U6t8gNOnF1dvJ9RnWRg+o= X-Antivirus: Norton (VPS 241207-4, 12/7/2024), Outbound message X-Antivirus-Status: Clean In-Reply-To: Content-Language: en-US Bytes: 4883 On 12/7/2024 6:18 AM, Richard Damon wrote: > On 12/7/24 6:32 AM, olcott wrote: >> On 12/6/2024 9:50 PM, Richard Damon wrote: >>> olcott wrote: >>>> On 12/6/2024 8:40 PM, Richard Damon wrote: >>>>> On 12/6/24 9:08 PM, olcott wrote: >>>>>> On 12/5/2024 11:20 AM, Bonita Montero wrote: >>>>>>> Am 05.12.2024 um 05:20 schrieb olcott: >>>>>>>> There is an 80% chance that I will be alive in one month. >>>>>>>> There may be an extended pause in my comments. >>>>>>>> I will try to bring a computer to the out of town hospital. >>>>>>> >>>>>>> Maybe you'll solve your halting problem issues before you die. >>>>>>> >>>>>> >>>>>> typedef void (*ptr)(); >>>>>> int HHH(ptr P); >>>>>> >>>>>> int DD() >>>>>> { >>>>>>     int Halt_Status = HHH(DD); >>>>>>     if (Halt_Status) >>>>>>       HERE: goto HERE; >>>>>>     return Halt_Status; >>>>>> } >>>>>> >>>>>> int main() >>>>>> { >>>>>>     HHH(DD); >>>>>> } >>>>>> >>>>>> >>>>>> I am sure that DD correctly emulated by HHH according to >>>>>> the semantics of the C programming language cannot possibly >>>>>> reach its own return instruction final halt state. >>>>> >>>>> How does HHH correctly emulated DD, if it isn't give tne code for the >>>>> HHH that DD calls? >>>>> >>>> >>>> As I have told you many dozens of times HHH and DD share >>>> the same global memory space within memory version of the >>>> Halt7.obj file. >>>> >>> >>> And thus you admit that your HHH isn’t the required “pure function” >>> as its >>> result is dependent on that contents of that global memory, and not just >>> its input, as required by the definition of a global function, >>> >> >> First we have to acknowledge that pure function or not HHH does >> something unprecedented in the history of the halting problem: >> HHH does correctly reject its input as non-halting. > > No, it doesn't do anything "unprecedented". > Changing the subject to a different criteria IS CHEATING USING THE STRAWMAN DECEPTION Try and show any example of any prior work such that the termination analyzer does return the correct termination value where the measure of the behavior of DD is DD emulated by HHH according to the semantics of the x86 language. Changing the subject to a different criteria IS CHEATING USING THE STRAWMAN DECEPTION HHH can also be based on a C language interpreter or a UTM as long as it gets the same result for the same criteria. Changing the subject to a different criteria IS CHEATING USING THE STRAWMAN DECEPTION -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer