Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: Mikko Newsgroups: comp.theory Subject: Re: Olcott is correct on this point Date: Mon, 16 Jun 2025 13:19:25 +0300 Organization: - Lines: 30 Message-ID: <102or3d$1iht0$1@dont-email.me> References: <102m1h8$qcnh$1@dont-email.me> <102mlg5$uef9$7@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Mon, 16 Jun 2025 12:19:26 +0200 (CEST) Injection-Info: dont-email.me; posting-host="3795de73c269ac0a9bf03e7bfc174b6b"; logging-data="1656736"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+wDa9EYtbOnlpjk+kaz+T7" User-Agent: Unison/2.2 Cancel-Lock: sha1:Zo8lUllwEOkTCpAxgvnKyOM1Caw= 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