Liste des Groupes | Revenir à theory |
On 3/11/2025 8:41 PM, Richard Heathfield wrote:Which you just fail to do.On 12/03/2025 01:22, olcott wrote:*It was dishonest of you to remove this context*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".
>
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 doneNope, all you have done is prove that you are a ignorant liar, who just refuses to beleive the actual defintions of the words you use.
with this proof since it was first presented 89 years ago.
Les messages affichés proviennent d'usenet.