Re: Bad faith and dishonesty

On 29/05/2025 20:02, olcott wrote:

On 5/29/2025 1:40 PM, Richard Heathfield wrote:

On 29/05/2025 19:14, olcott wrote:

<snip>

It is a tautology that any input D to termination
analyzer H that *would never stop running unless aborted*
DOES SPECIFY NON-TERMINATING BEHAVIOR.

>
But in making that claim you assume that you correctly know the termination behaviour of D.
>

 All that H needs to know is that D
*would never stop running unless aborted*

But it *doesn't* know that.
You forgot to address my substantive point.

I can easily sketch out a program that your HHH analyser would impatiently abort as non-terminating, but which could conceivably stop running this year, next year, sometime... or never.

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