永恒的图灵

硬核图灵的继承者们，都是各领域大佬啊。部分章节没学数理逻辑是看不懂的。感觉最开始马丁·戴维斯的不可解性定理的证明和12章斯科特·阿伦森用“奈特不确定性”对“自由”进行数学形式化的部分还是值得看的。其实感觉很多东西玩来玩去到最后还是碰壁新世纪七大数学难题、哥本哈根解释、哥德尔不完备定理这些硬东西，由此也可以看出当年图灵的洞察力(其实香农也类似)，一抓全是核心问题，还能在好几个核心问题上做出开辟，祖师爷级别的思维真不一样，他们会对问题进行特别的解构，绕过纠缠的部分，然后由此构建出新东西。

中译名没有翻出英文题目的那种感觉，，The once and future Turing: Computing the world。。

其实英文原版的标题，更贴切的概括了本书的内容：曾经的和未来的图灵，让世界皆可计算。图灵的思想穿越时空，对计算机科学的发展一直在产生深远的影响。

赶在大年夜前读完了这本有些难啃的书。个人最喜欢的是第五章，深入浅出，将复杂的道理讲得浅显易懂（作者是mathmatica的创作者，也是我的偶像之一）。第13、14章对普通读者不够友好，各类符号推导很容易就跟不上了（好吧，我就没跟上）。最疯狂都当属第十二章了，感觉在看一位科学家用做科研都态度在做科幻设定。

有些难啃

理论性很强，能一定地开拓眼界，但普通读者受不了

算法作为学科的诞生，源自数学中对于某些问题不可计算性的证明的需求。

知识跨度挺大的，图灵老前辈果然涉猎广泛！文中内容既有科普故事也有一些理论性很强的公式推演。因为这是一本拼盘书籍，各章节作者的写作风格和知识背景各异。总体而言，值得一读。