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.
References in periodicals archive ?
All of the models of effective computability that have been proposed to date have given rise to the same class of effectively computable functions. This unexpected and remarkable result has led to widespread belief in the Church-Turing thesis (sometimes called Church's thesis) that "[t]he intuitively and informally defined class of effectively computable .

Full browser ?