##### 可计算性 - 可计算性 - **可计算性**研究哪些问题能够通过[[算法]]或[[计算模型]]来解决, 即是否存在一个[[计算]]过程能够在有限时间内给出正确的输出. 邱奇-图灵论题认为任何在算法上可计算的问题同样可由[[图灵机]]计算, 并且在可计算性上与[[递归函数]], [[λ-演算]]等价. [[判定问题]]是可计算性研究中最基本的问题形式