1.Previous
3.Next

for calculating the values of a function is called "an algorithm".

Computable functions

Several independent efforts to give a formal characterization of effective calculability led to a variety of proposed definitions (general recursive functions, Turing machines, ?-calculus) that later were shown to be equivalent. The notion captured by these definitions is known

1.Previous
3.Next