Re: Bad faith and dishonesty

On 30/05/2025 16:29, Mike Terry wrote:

@Richard:  so you cannot make HHH decide non-halting simply by looping for a long long time, hoping HHH will get fed up!  That would just result in HHH simulating for a corresponding long long time. You need to feed it a program that halts, but matches one of his non-halting behaviour tests.  For example DDD.

What if I don't know whether it halts?
I followed up to vallor with a pseudocode sketch of such a program.
If HHH could deliver a reliably correct report for that program within a year or so, that would probably be enough to earn Mr Olcott a place in the history books.
But at some point we have to place a ceiling on "long long time". A reporting program that keeps saying "maybe next year" isn't much of a reporting program.
--
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