自然数上的有限偏函数。每个可计算函数formula_1接受固定数目个自然数作为参数；不同的函数接受不同数目的参数。因为函数是部分的，它们可以不定义在所有可能的输入选择上。如果定义了一个可计算函数，则它返回一个单一自然数作为输出（这个输出可以被解释为使用配对函数的一列数）。记号formula_2指示偏函数formula_3被定义在参数formula_4上，而记号formula_5指示formula_1被定义在参数formula_4上而返回的值是formula_8。这些函数也叫做偏递归函数。在可计算理论中，函数