函式能行可計算性(effective computability ofthe function)遞歸論術語.函式的能行可計算性
通常包含兩種含義，一種是指在某種精確化基礎上所定義的精確概念，如圖靈可計算函式、幾可定義函式、遞歸函式等就是對應於某種精確定義的可計算性的.另一種是指基於直觀概念且多少有些模糊的概念.即直觀意義下的可計算性.但是，根據丘奇論題，這兩種概念可以認為是一致的，因此，在遞歸論中，只要不至於引起概念混淆，常常不加明確區分地使用這兩種可計算性，或者在使用可計算性概念時，是兼指這兩種含義.
通常包含兩種含義，一種是指在某種精確化基礎上所定義的精確概念，如圖靈可計算函式、幾可定義函式、遞歸函式等就是對應於某種精確定義的可計算性的.另一種是指基於直觀概念且多少有些模糊的概念.即直觀意義下的可計算性.但是，根據丘奇論題，這兩種概念可以認為是一致的，因此，在遞歸論中，只要不至於引起概念混淆，常常不加明確區分地使用這兩種可計算性，或者在使用可計算性概念時，是兼指這兩種含義.
