Re: Bad faith and dishonesty

On 31/05/2025 10:46, Mikko wrote:

On 2025-05-30 18:40:01 +0000, olcott said:

<snip>

>
to HHH(DDD)
does specify a non-halting sequence of configurations.

 No, it is not. Nobody has seen the input to HHH(DDD) running forever.
So the "non-halting" is not a verified fact.

The unfailingly patient Mike Terry will forgive me if I have remembered him incorrectly, but I seem to recall... wait... I can quote him:
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Just as a reminder I'll repeat the final outcome of all this:
-  PO's H does decide NEVER_HALTS for TM H^ running with input <H^>.
-  PO's H^ running with input <H^> in fact halts, in line with Linz logic (b) above.
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
...so it halts. End of, one would think.
--
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