Re: A computable function that reports on the behavior of its actual self is not allowed

Liste des GroupesRevenir à theory 
Sujet : Re: A computable function that reports on the behavior of its actual self is not allowed
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logic
Date : 14. May 2024, 01:30:29
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v1ubb5$v37v$11@i2pn2.org>
References : 1 2 3
User-Agent : Mozilla Thunderbird
On 5/13/24 9:39 AM, olcott wrote:
On 5/13/2024 4:34 AM, Fred. Zwarts wrote:
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?
>
 The definition of computable function is an axiomatic basis
not any mere authority.
 
Which you don't seem to understand.
Note, your H is NOT a "Computable Function", and "Computable Functions" are not normally described as "reporting" answers.
And, you HAVE "created your own new problem" because you try to redefine the existing problem, but all that does is say you are talking about your POOP.

Date Sujet#  Auteur
14 May 24 o Re: A computable function that reports on the behavior of its actual self is not allowed1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal