可運算性理論入面,可運算函數英文computable function)係基礎嘅研究對象。佢嘅定義係源自對「演算法」嘅直觀理解:如果話一個函數係「可運算」嘅,意思即係話呢個函數可以用演算法解決嘅。