Re: Every sufficiently competent C programmer knows --- Very Stupid Mistake

On 12/03/2025 08:24, joes wrote:

Am Tue, 11 Mar 2025 21:03:35 -0500 schrieb olcott:

On 3/11/2025 8:41 PM, Richard Heathfield wrote:

On 12/03/2025 01:22, olcott wrote:

 

DDD correctly simulated by HHH never reaches its own "return"
instruction and terminates normally in any finite or infinite number
of correctly simulated steps.

If it correctly simulates infinitely many steps, it doesn't terminate.
Look up "infinite".

*It was dishonest of you to remove this context*
On 3/11/2025 12:42 PM, Mike Terry wrote:
  > (Even though it demonstrably DOES halt if not aborted and simulated
  > further.
That statement is stupidly false.

lol
 

But your task is to decide for /any/ program, not just DDD.

No you have this WRONG.
My WHOLE effort has been to correctly determine the halt status of the
conventional halting problem proof's "impossible" input.

It is impossible because a decider doesn't exist.

Nor can it. We've known that for a long time because Turing gave the proof in 1936.
The OP's counterproof, such as it is, relies on his having a working general-purpose decision program, and he seems to accept that he doesn't have one, so he's hoping it's good enough to have a decision program that can make a decision for one program. (Clearly it isn't.)
--
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