可计算性理论 在计算机科学中可计算性理论Computability theory作为计算理论的一个分支研究在不同的计算模型下哪些算法问题能够被解决相对应的计算理论的另一块主要内容计算复杂性理论考虑一个问题怎样才能被有效的解决