可计算性理论

（计算机科学技术）

可计算性理论（computability theory），计算机科学技术名词，研究算法可解性的数学原理，它从图灵1936年的论文开始成为一门独立的学科。