大家好,笑笑来为大家解答以上的问题。可计算论，关于可计算论介绍这个很多人还不知道,现在让我们一起来看看吧！

1、 可计算论，是一个数理逻辑分支，起源于可计算函数和图灵度的研究，其领域增长为包括一般性的可计算性和可定义性的研究。

2、在这些领域中，这门理论同证明论和能行描述集合论(effective descriptive set theory)有所重叠。

关于可计算论到此分享完毕，希望能帮助到您。