Re: ChatGPT agrees that HHH refutes the standard halting problem proof method

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