Re: Olcott is correct on this point

On 2025-06-15 14:31:32 +0000, olcott said:

On 6/15/2025 3:50 AM, Mikko wrote:

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.

 A partial halt decider is only allowed to report on the
behavior specified by the sequence of state transitions
of its input.

It is only allowed to report correctly on the behavour specified
by its input. If it cannot report correctly it is not allowed to
report incorrectly.

int sum(int x, int y) { return x + y; }
sum(3,2) is not allowed to report on sum(5,7).

Maybe it is, maybe not, depending on the specification. If the
specification requires that that the function sum shall return
a number that does not differ ffom the sum of its arguments by
more than 10 then sum is permitted to return the same value
for (3, 2) and (5, 7).
--
Mikko