可计算性，亦称算法理论或能行性理论，是计算机科学的理论基础之一。以下是关于可计算性的几个关键点：
核心定义：可计算性通过建立计算的数学模型，精确区分哪些是可计算的，哪些是不可计算的。计算的过程实质上是执行算法的过程。
算法概念精确化：可计算性理论的一个重要课题是将算法这一直观概念精确化。这可以通过定义抽象计算机，把算法看作抽象计算机的程序来实现。
可计算函数：通常把那些存在算法计算其值的函数叫做可计算函数。这些函数能够在抽象计算机上通过编程计算出具体的值。
精确定义：可计算性的精确定义是能够在抽象计算机上编出程序计算出值的特征。这一定义强调了可计算性与编程和算法实现之间的紧密联系。