Re: Olcott is correct on this point

On 2025-06-14 15:24:58 +0000, Mr Flibble said:

A halting decider cannot and should not report on the behaviour of its
caller.

Worng. The exitence of the caller and the identity if one exists are not
even mentioned in the halting problem. THerefore they don't affect what
a halting decider or a partial halting report is required to report.
There are partial halting deciders that can correctly report on the
behaviours of some of their callers.
--
Mikko