递归祘法論

能行性理論是关于可計算性的理論,也是关于机器特性的理論。作为可計算性的理論,它是数学中的計算,确定步驟、构造方法、判定方法的一般特性的理論。作为关于机器特性的理論,它又是通常生活中的机器(如飞机,計算机)的經过数学抽象的机器的一般特性的理論。数学、数理邏輯、計算技术的理論研究中有些关键性問题(如发現某一类数学命题的証明規律,計算机邏輯設計的簡化,程序編制自动化等)都有待于能行性理論問題的研究与解决。它在数学基本理論及計算机、自动化中都有应用。在数理邏輯基本理論里,能行陸理論发展較广,然其成果分散于各个不同的历史地形成的理論之中,为了推进能行性理論的发展,要在一个观点之下,把这些理論統一于一个更便于进一步发展的理论中。