递归函数
在數理邏輯和電腦科學中，遞迴函式或 μ- 遞迴函式是一類從自然數到自然數的函式。直覺上遞迴函式是 "可計算的"。事實上在可計算性理論中已經證明了它確實是圖靈機的可計算函式。遞迴函式與原始遞迴函式相關，而且遞迴函式的歸納定義（見下）建立在原始遞迴函式之上。但不是所有遞迴函式都是原始遞迴函式 —— 其中最著名的是阿克曼函式。
其他等價的函式類是 λ- 遞迴函式和馬爾可夫演算法可計算的函式。
所有遞迴函式的集合叫做 R。