Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
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: <evg3Q.196178$0ia.84088@fx11.ams4> <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