Path: ...!weretis.net!feeder9.news.weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups: comp.theory,sci.logic
Subject: Re: A computable function that reports on the behavior of its actual
 self is not allowed
Date: Mon, 13 May 2024 11:34:47 +0200
Organization: A noiseless patient Spider
Lines: 14
Message-ID: <v1smrp$3clsp$1@dont-email.me>
References: <v1r566$2uo21$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 13 May 2024 11:34:49 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="7c1f5cffd887f47f9baf2619196514f6";
	logging-data="3561369"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18OluazEcOxz4xSBjgj9RnC"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:tRSbnfoZTdN5rJ3Xwl47izbb78I=
Content-Language: en-GB
In-Reply-To: <v1r566$2uo21$1@dont-email.me>
Bytes: 1819

Op 12.mei.2024 om 21:27 schreef olcott:
> Computable functions are the basic objects of study in computability
> theory. Computable functions are the formalized analogue of the
> intuitive notion of algorithms, in the sense that a function is
> computable if there exists an algorithm that can do the job of the
> function, i.e. given an input of the function domain it can return the
> corresponding output. https://en.wikipedia.org/wiki/Computable_function
> 
> A computable function that reports on the behavior of its actual
> self (or reports on the behavior of its caller) is not allowed.

So, olcott uses his authority to create a new problem. Why would anybody 
be interested in such limitation?