Re: Unpartial Halt Deciders

"Fred. Zwarts" <F.Zwarts@HetNet.nl> writes:

Op 19.apr.2025 om 05:52 schreef olcott:

On 4/18/2025 2:32 PM, Keith Thompson wrote:

[...]

Do you have a *rigorous* definition of "pathological input"?
>
Is there an algorithm to determine whether a given input is
"pathological" or not?
>

[snip]

 

Not an answer for the question: Is there an algorithm to determine
whether a given input is "pathological" or not?

That doesn't matter.  I was asking Mr. Flibble, not olcott, for a
rigorous definition of "pathological input".  They both use the term,
but I don't know whether they mean it in the same way (and I'm not
interested in what olcott has to say about it.)

--
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
void Void(void) { Void(); } /* The recursive call of the void */