可计算论，作为数理逻辑的一个分支，它的诞生源于对可计算函数和图灵度的深入探究。随着研究的拓展，它的范畴逐渐涵盖了更为广泛的一般性可计算性和可定义性问题。在这个领域，可计算论与证明论以及能行描述集合论(effective descriptive set theory)存在着交叉点，探讨了类似的概念和理论结构。
在数理逻辑的可计算性理论中，研究者热衷于探索相对可计算性、可归约性这些核心概念，以及层次结构的理论。与计算机科学家相比，他们的关注点更侧重于次递归层次的分析，以及那些在可计算性理论研究中被广泛应用的形式语言。尽管两个领域的研究对象和方法有所重叠，但并没有明确的界限划分，两者之间存在着紧密的联系和交融。