Liste des Groupes | Revenir à s logic |
On 5/13/2024 4:34 AM, Fred. Zwarts wrote:Which you don't seem to understand.Op 12.mei.2024 om 21:27 schreef olcott:The definition of computable function is an axiomatic basisComputable 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?
>
not any mere authority.
Les messages affichés proviennent d'usenet.