可计算性

递归理论的起点之一是一阶logic-i.e的决策问题。,找到一个算法的问题或重复的过程,机械地(即。有效地)决定是否一个给定的公式一阶逻辑的逻辑是正确的。一个积极的解决方案…

…自动机然后计算声明中说(多项式)或语句是可计算的。介绍了一类更广泛的可计算的语句与一般的自动机,有待确定,与一般的图灵机。

…的概念“机械”、“可计算的,”“递归”和“正式”解释的直观概念什么是机械的计算过程。由于递归理论的发展,现在可以不仅证明某些类的问题是机械地解决(可以…

相对容易找到绝对无法解决的problems-e.g。…停止的问题,要求每一个图灵机的问题是否会停止,开始一个空白的磁带。换句话说,每个图灵机操作以预定的方式给出了根据最初(输入)胶带;…

这些发现哥德尔和蒙塔古密切相关的一般研究可计算性,通常被称为递归函数理论(见数学基础:基础的危机后1900:逻辑主义、形式主义,和metamathematical方法),这是…