递归论莫绍揆
- 选择标签：数理化
- 出版时间：2025-10-18
- ISBN：9787309140187
- 出版社：复旦大学出版社
- 作者：郝兆宽, 杨睿之, 杨跃, 著
递归论是数理逻辑的四大分支之一，创立于20世纪30年代，它的产生源于解决数学中的判定问题。从20世纪50年代研究范围逐渐扩大，关注点从可计算性扩展到对一般意义上的复杂性、构造性和可定义性等，它与逻辑学的其他分支（如集合论、模型论和证明论）和理论计算机科学密切相关。本书是有关递归论领域基础知识的综述和导引。除了讲述图灵机、递归函数和停机问题等经典内容之外，还讨论波斯特问题及其解决，引入初步的有穷损害和无穷损害等经典的构造方法。同时，定义并讨论的图灵度和图灵归约，介绍希尔伯特第十问题，作为递归论在经典数学中一