读郝兆宽之《递归论：算法与随机性基础》

郝兆宽, 杨睿之, 杨跃. 递归论：算法与随机性基础. ISBN: 978-7-309-14018-7

这本书好像是《逻辑与形而上学教科书系列》的最新一本，主要介绍递归论。由于递归论是计算机的理论基础，所以我特别推荐学计算机相关专业的人了解一些递归论的知识。

本书中第一章是与《作为哲学的数理逻辑》以及《数理逻辑：证明及其限度》有重复的内容，主要介绍可计算理论、递归函数、图灵机等，书中剩下的章节则可以大致分为两部分内容。

其一是关于不可解度及其分层的内容。在数理逻辑和计算机基础中，递归论的作用往往是引出一个“不可判定”的概念，既有的问题不能利用图灵机在有限步内求解。但这些不可判定或者不可解的问题其实并不是完全相同的。就像有的无穷比其他无穷“更大”，有的不可解问题也比其他不可解问题“更不可解”。对这些不可解问题的研究和分层，就构成了不可解度及其分层这一部分的内容。其实类似的东西我们在数理逻辑其他分支中也见过，例如集合论里有无穷基数的分层，模型论里有模型的分层，证明论里有量词阶数的分层等等。似乎在数理逻辑的各个分支中，序数那样的偏序关系被在不同的地方一遍又一遍地建立。

其二是关于随机的刻画。递归论和随机的关系在《作为哲学的数理逻辑》那本书的读书中就提到过。在本书第五章就针对这个问题又讨论了一遍。书中这一部分完整给出了随机的不可压缩性刻画、测试刻画和不可预测性刻画三种刻画。并证明了三者之间的等价性。这些关于随机性的理论一方面可以帮助我们更深刻地理解随机，另一方面可以用于开发更贴近“真随机”的“伪随机”算法。

本书的语言风格上则又回归了系列的一般风格，总体来说比较好读，不像《初等模型论》那么生涩。 

---

求点赞，求收藏，求分享

欢迎关注我的公众号，微信搜索：知则