Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.lang.c Subject: Re: Only C programmers tell the truth about the behavior of DD simulated by HHH Date: Sun, 20 Apr 2025 12:30:14 -0500 Organization: A noiseless patient Spider Lines: 68 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sun, 20 Apr 2025 19:30:15 +0200 (CEST) Injection-Info: dont-email.me; posting-host="7a034244d83f09ecbfab02b9bdb773a5"; logging-data="300440"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19UheOGtO7Q5UsZbaMDyxcm" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:JLVT0Xehq17TEkhqT30NffhfKHw= Content-Language: en-US X-Antivirus-Status: Clean X-Antivirus: Norton (VPS 250420-4, 4/20/2025), Outbound message In-Reply-To: Bytes: 4040 On 4/20/2025 11:19 AM, Bonita Montero wrote: > Am 20.04.2025 um 17:14 schrieb olcott: >> On 4/20/2025 2:49 AM, Mikko wrote: >>> On 2025-04-19 20:26:59 +0000, olcott said: >>> >>>> On 4/19/2025 4:20 AM, Bonita Montero wrote: >>>>> Am 19.04.2025 um 10:03 schrieb Mikko: >>>>> >>>>>> The part that comp.lang.c lacked a liar sounds credible. >>>>> >>>>> I believe Peter has a serious mental illness. As far as I know, >>>>> he has cancer, and I hope he gets the most out of his remaining >>>>> life instead of obsessing over this problem. >>>> >>>> I never go with credible, instead I try to stick with verified facts. >>>> >>>> int DD() >>>> { >>>>    int Halt_Status = HHH(DD); >>>>    if (Halt_Status) >>>>      HERE: goto HERE; >>>>    return Halt_Status; >>>> } >>>> >>>> It is a verified fact that DD correctly simulated >>>> by HHH cannot possibly halt (terminate normally). >>> >>> Verified facts should not be decorated with misleading words. >>> >>> There is no other "DD correctly simulated by HHH" than the DD shown >>> above, and that DD halts (terminates normally). >>> >> >> Why lie? >> >> *Professor Hehner recognized this repeating process before I did* >>    Problems with the Halting Problem >>    Eric C.R. Hehner >>    Department of Computer Science, University of Toronto >> >>    From a programmer's point of view, if we apply an interpreter >>    to a program text that includes a call to that same interpreter >>    with that same text as argument, then we have an infinite loop. >>    A halting program has some of the same character as an >>    interpreter: It applies to texts through abstract interpretation. >> >>    Unsurprisingly, if we apply a halting program to a program >>    text that includes a call to that same halting program with >>    that same text as argument, then we have an infinite loop. >>    (Hehner:2011:15) https://www.cs.toronto.edu/~hehner/PHP.pdf >> >>> That HHH cannot simulate DD to its normal termination is true but >>> that is not what the "verified fact" says. >>> >> >> > > Shouldn't you make sth. that makes more sense with your remaining life ? > Don't you have family ? I am here with my family getting CAR-T cell cancer treatment that seems to be going very well. Do you actually know C or are you merely a troll? -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer