Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connections
Warning: mysqli::query(): Couldn't fetch mysqli in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\index.php on line 66
Article <vqr1vd$2e4bo$6@dont-email.me>
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