Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Turing computable functions
Date: Fri, 28 Mar 2025 13:33:23 +0200
Organization: -
Lines: 36
Message-ID: <vs61e3$2l7it$1@dont-email.me>
References: <vruvsn$3tamc$3@dont-email.me> <vs0b8d$19qb8$1@dont-email.me> <vs19qe$2346o$2@dont-email.me> <vs389t$qiq$1@dont-email.me> <vs42pb$mmcb$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 28 Mar 2025 12:33:24 +0100 (CET)
Injection-Info: dont-email.me; posting-host="60886a1e33941050aceca1839de897f2";
	logging-data="2793053"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/lKknLavTHrIgaYG+etcxK"
User-Agent: Unison/2.2
Cancel-Lock: sha1:R3gYggKnhcH8j9CvRBFRID7Y9vU=

On 2025-03-27 17:44:11 +0000, olcott said:

> On 3/27/2025 5:12 AM, Mikko wrote:
>> On 2025-03-26 16:25:49 +0000, olcott said:
>> 
>>> On 3/26/2025 2:44 AM, Mikko wrote:
>>>> On 2025-03-25 19:24:07 +0000, olcott said:
>>>> 
>>>>> Cannot possibly derive any outputs not computed from
>>>>> their inputs.
>>>>> 
>>>>> A Turing machine halt decider cannot possibly report
>>>>> on the behavior of any directly executing process.
>>>> 
>>>> It can if that report is a computable function of their inputs.
>>>> For example, whether the direct execution of another Turing machine
>>>> is longer than 2 steps is Turing computable.
>>> 
>>> When an input to a simulating termination analyzer
>>> defines a pathological relationship to its simulating
>>> termination analyzer this changes the behavior of this
>>> input relative to its direct execution.
>> 
>> Irrelevant to the fact that it is Turing computable whether the direct
>> exectuion of a Turing machine is longer that two steps.
> 
> That would be a syntactic rather than semantic property
> of the input thus off topic for these posts.

The subject line says that the topic is Turing computable functions.
What I wrote is about Turing computable functions and is a relevant
comment to the posting it was a reply to. Therefore it was on-topic.

-- 
Mikko