| 能行的方法 effective method 亦称“机械的判定方法”。数理逻辑中的一般递归方法。能行性是一个直观的概念，20世纪30年代以来，许多数理逻辑学家试图把它精确化，给出严格的定义，形成了几种不同的理论，但是它们都和其中之一的一般递归性等价。就直观意义而言，能行的方法是：每一步都是由事先给定的规则明确规定了的并且在有穷步内可以结束的方法。所谓每一步都是明确规定了的，就是指：规则规定了第一步如何做，并且在某一步做完之后下一步的做法也是明确规定了的。有时某种方式虽然已固定化了，每一步都有明确的规定，但是在使用时，却永无休止，不能结束，这种方法也不是能行的。命题演算中的公式，是否可证，有能行的判定方法，谓词演算中的公式是否可证，一般没有能行的判定方法。 |