A function that maps natural numbers to natural numbers and is special in that it must be calculable by using a precisely specified algorithm. The mathematical definitions of partial recursive functions and recursive functions were developed to give a precise mathematical characterization of those functions or operations on the natural numbers which are computable by using effective procedures.