Jabarkan Computable and non-computable functions dari Fungsi (matematika) dalam bahasa sunda

The number of computable functions from integers to integers is countable, because the number of possible algorithms is. The number of all functions from integers to integers is higher: the same as the cardinality of the real numbers. This argument shows that there are functions from integers to integers that are not computable. For examples of noncomputable functions, see the articles on the halting problem and Rice's theorem.

Functions from the categorical viewpoint

In the context of category theory, a function no longer represents a rule for taking an input to an output, but instéad represents a relationship between its domain and its codomain. Since these functions are no longer functions in the usual sense, they are usually referred to as morphisms. A morphism is then an ordered triple (X, Y, f), where f is a "function" with domain X and codomain Y. Since X and Y'' do not necessarily correspond to a set of objects, however, morphisms do not always behave like functions, and, for example, enlarging the codomain (which does nothing to a function) gives a different morphism which you cannot identify with the original one.

Ordinary functions are sometimes referred to as morphisms when they are morphisms in a concrete category.