Sujet : Re: Every sufficiently competent C programmer knows --- Very Stupid Mistake
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 12. Mar 2025, 03:03:35
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vqqq1n$29buv$1@dont-email.me>
References : 1 2 3 4 5 6 7
User-Agent : Mozilla Thunderbird
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.
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.
This by itself is better than anyone else has ever done
with this proof since it was first presented 89 years ago.
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer