Deutsch English Français Italiano |
<vqr1vd$2e4bo$6@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: Richard Heathfield <rjh@cpax.org.uk> Newsgroups: comp.theory Subject: Re: Every sufficiently competent C programmer knows --- Very Stupid Mistake and Liars Date: Wed, 12 Mar 2025 04:18:53 +0000 Organization: Fix this later Lines: 58 Message-ID: <vqr1vd$2e4bo$6@dont-email.me> References: <vqntaq$1jut5$1@dont-email.me> <vqp388$1tvqa$1@dont-email.me> <vqpdv9$202b2$2@dont-email.me> <vqperb$20c9k$2@dont-email.me> <E6mcnWv3nMa66036nZ2dnZfqnPWdnZ2d@brightview.co.uk> <vqqnk5$28jtr$1@dont-email.me> <vqqonm$28lh2$1@dont-email.me> <vqqq09$28kp8$1@dont-email.me> <vqqq7s$29buv$2@dont-email.me> <vqqrin$28lh2$4@dont-email.me> <vqqros$29meg$3@dont-email.me> <vqqrqf$29k3n$2@dont-email.me> <vqr08v$2e4bo$3@dont-email.me> <vqr0kq$2e4f4$3@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Wed, 12 Mar 2025 05:18:53 +0100 (CET) Injection-Info: dont-email.me; posting-host="1e46a42d02300691bd0ac693a83620d5"; logging-data="2560376"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18xa1ZtBAHtbtrgblu9JNS6o5ayp/y+3U9BN3/hIcnoww==" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:hKGCcVMmHeOd4kBp5M/+LcznoQ0= Content-Language: en-GB In-Reply-To: <vqr0kq$2e4f4$3@dont-email.me> Bytes: 3078 On 12/03/2025 03:56, olcott wrote: > On 3/11/2025 10:49 PM, Richard Heathfield wrote: >> On 12/03/2025 02:33, dbush wrote: >>> On 3/11/2025 10:33 PM, olcott wrote: >> >> <snip> >> >>>> Replacing the code of HHH with an unconditional simulator and >>>> subsequently running HHH(DD) cannot >>>> possibly f-cking halt no f-cking matter what. >>>> >>> >>> Obviously, so what's the next step? >> >> To show that it provides the correct answer for other >> functions. This he has not yet done. Of course, it's not >> impossible to get a few right... >> >> int halts(void(*p)()) >> { >> return 1; >> } >> >> will produce the right answer most of the time, but it's hardly >> a plausible way to overturn Turing's paper. OP's decision >> program has to get it right /every/ time. One failure proves >> that Olcott is wrong. >> > > DD simulated by HHH cannot possibly halt It doesn't compile. > Is the counter-example input to the HP. No, it isn't. For a start, it doesn't compile. For another, it has yet to be shown that it has the potential (apres debug) to handle arbitrary code: HHH(strcspn); HHH(select); HHH(wait); HHH(atexit); Your function must provide the correct answer to all of these questions, to the four example routines I've already shown, and every other program anyone cares to present to it. Your score so far is 0/0, because it doesn't even compile. -- Richard Heathfield Email: rjh at cpax dot org dot uk "Usenet is a strange place" - dmr 29 July 1999 Sig line 4 vacant - apply within