【阅读西方】《图灵的视界：计算机科学的诞生》

《图灵的视界：计算机科学的诞生》

Turing's Vision: The Birth of Computer Science

Chris Bernhardt

The MIT Press

（2016年5月版）

在计算机科学领域，图灵是首先要认识的人物之一，2014年卷福的《模仿游戏》又一次把图灵带入大众视野。除了他是计算机科学的奠基人，他在二战中为破译纳粹密码而做出的杰出贡献，当我们在谈论图灵时还能谈论什么？且看数学家克里斯·伯恩哈特如何解读图灵和他的理论。

1936年，二十四岁的图灵发表名为《论可计算数，及其在可判定问题上的应用》的论文，介绍了计算理论， 阐述了现代计算机的基本概念， 而这一理论也成为计算机科学的基础。在美国费尔菲尔徳大学数学系教授克里斯·伯恩哈特看来，这一理论最大的优势在于其简洁性，即使非专业人士也能清楚理解。

为了解释图灵在《论可计算数》一文中提出的概念，伯恩哈特利用三个著名的决定性问题，研究各种假想计算机器，解释了什么是图灵机器，什么是通用机器。伯恩哈特从理论基础开始，系统推进到了结论。他还在数学史的背景中探讨图灵的理论，介绍了阿隆佐·丘奇（Alonzo Church）等其他人关于计算性的观点，以及图灵晚期的作品和现代计算机的诞生。

虽然看似依然是在讨论各种陌生的数学概念，但作者的目标读者其实是一般大众，所以，看完本书理解这些概念，也是件很有成就感的事情。

                 （石 叶）