effectively computable function

effectively computable function

[ə¦fek·tiv·lē kəm¦pyüd·ə·bəl ′fəŋk·shən] (mathematics) Any function that can be computed on the natural numbers by means of an effective procedure.