Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Richard Heathfield <rjh@cpax.org.uk>
Newsgroups: comp.theory
Subject: Re: ChatGPT agrees that HHH refutes the standard halting problem
 proof method
Date: Wed, 2 Jul 2025 11:12:22 +0100
Organization: Fix this later
Lines: 45
Message-ID: <10430m8$3f20g$1@dont-email.me>
References: <103jmr5$3h0jc$1@dont-email.me> <103k0sc$2q38$1@news.muc.de>
 <103k1mc$3j4ha$1@dont-email.me> <103lfn1$ml0$1@dont-email.me>
 <103m813$6dce$1@dont-email.me> <103ol2u$raq9$1@dont-email.me>
 <103onmp$rq7e$1@dont-email.me> <103r0ce$1esb9$1@dont-email.me>
 <103rhf6$1hc53$8@dont-email.me>
 <0c50a8ee4efb36cef4271674792a090125187f9d@i2pn2.org>
 <103s40o$1m8dn$1@dont-email.me>
 <93801c0e35ee58f2673bea24c614e2fc683b55ce@i2pn2.org>
 <103sutf$1utb9$1@dont-email.me>
 <3cbdc10609ef73de4d91adaa33cded8cef5117f6@i2pn2.org>
 <103ufqg$292c0$3@dont-email.me>
 <17a2593ee804665b9f412c522a6f64c7618c202f@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 02 Jul 2025 12:12:26 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="8591ab9a3790e77e6ee2eeb9269cecbe";
	logging-data="3639312"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19eZZ1Oe0NVcRZxeEsH7aHuqXeliQQnpzSrvYa7S1QhZg=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:eoz2dswc+adgs43UrvWoOUUOLkY=
In-Reply-To: <17a2593ee804665b9f412c522a6f64c7618c202f@i2pn2.org>
Content-Language: en-GB

On 01/07/2025 02:10, Richard Damon wrote:
> On 6/30/25 1:00 PM, olcott wrote:
<snip>

>> One line of C source-code is a C statement.

If we didn't already have all the proof we needed that Mr O 
doesn't know spit about C, it's right there in that claim.

Counter-examples are trivial to construct. A line of C source 
code may indeed represent a single C statement, but it could also 
represent several, or none at all. The idea of a 1-to-1 
correspondence is simply misconceived.

#include <stdio.h>

int main(void)
{
   puts("Hello, world!"); return 0;
}

6 lines of C source-code, and only three statements.

Line 1: no statements
Line 2: no statements
Line 3: no statements
Line 4: a small fraction of a compound statement
Line 5: two statements
Line 6: closing off that compound statement

See? Three lines of C source code with no statements. And the 
best that can be said for Mr Olcott is that the other three have 
one statement per line *on average*!

And Mr Olcott loves to tell experienced C programmers that they 
don't know the language. Kinda cute, eh?

<snip>

-- 
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