置身图灵可计算的世界，探索普适性数学( 二 ) _数学家

但是图灵在 1938 年之后所做的工作仍然是个秘密。黛利拉的语音加密项目报告持续 50 年都不为人知，直到 2012 年全文才被发表。同样在 2012 年，两篇相当基础的图灵论文被公开，这两篇论文解释了贝叶斯分析的基础和它在海军恩尼格玛（Enigma）“班部里斯马斯”（Banburismus）解码法中的应用。接下来也许还有更多值得期待。
GCHQ 为纪念图灵诞辰一百周年而及时发布的新版本让我们回忆起阿兰·图灵在布莱切利园做出的最具原创性和重要意义的贡献。能够造出用来拦截德军消息的“炸弹”和“巨人”解码机的关键在于贝叶斯统计技术的应用。在第 5 章中，统计学家坎蒂·马蒂亚和逻辑学家巴里·库珀仔细分析了发生在布莱切利园的这一段历史，并谈到了对于我们现在的“大数据”而言统计的重要性。“恩尼格玛统计学是现在所谓的统计生物信息学的前身”，这一章中写道。
通过翔实的示例、内容大纲和已发布的重要论文，马蒂亚和库珀把我们带回了类型信息的数学基础，以及为了对经典图灵计算得到的数据进行“类型归约”而使用的抽样技术。从这种角度，他们讲述了图灵的贝叶斯技术发挥的译码作用如何使我们在更广的语义中理解“大数据”面临的挑战。

文章插图

本文摘自机械工业出版社《永恒的图灵：20 位科学家对图灵思想的解构与超越》，[遇见] 授权发布
推荐语：图灵诞辰百年至今，伟大思想的光芒恒久闪耀。本书云集 20 位不同方向的顶尖科学家，共同探讨图灵计算思想的滥觞，特别是其对未来的重要影响。这些内容不仅涵盖我们熟知的计算机科学和人工智能领域，还涉及理论生物学等并非广为人知的图灵研究领域，最终形成各具学术锋芒的 15 章。如果你想追上甚至超越这位谜一般的天才，欢迎阅读本书，重温历史，开启未来。