Re: Olcott is correct on this point

On 6/14/25 11:24 AM, Mr Flibble wrote:

Olcott is correct on this point:
 A halting decider cannot and should not report on the behaviour of its
caller.
 /Flibble

Absoluted incorrect.
It needs to report on the behavior of the program described by its input, even if that is its caller.
It may be unable to, but, to be correct, it needs to answer about the input given to it, and NOTHING in the rules of computations restricts what programs you can make representations of to give to a given decider.
This is just a lie by obfuscation, that you are just stupidly agreeing to, showing your own ignorance.
Sorry, you need to sleep in the bed you made.