图灵的秘密：他的生平、思想及论文解读

断续把这本《图灵的秘密》读完。虽然读起来很累，很多详细的数学推导过程也跳过去了，但是依然对于图灵机的前世今生有了更加全面和深刻认知，要是大学阶段能读到这类好书就棒了。读完此书，忽然感觉我大学应该学数学，而不是物理，我好像对于纯数理逻辑更有感觉。 阿兰.图灵搞所谓图灵机，实际上并不是在发明计算机，而是要解决千年数学难题，即丢番图问题有无有理数解的判断性问题。为此，他设计了一个逻辑严密的纸面上的计算机，有浅入深解决各类计算问题，最终证明丢番图问题的可解性但不可判断性。作为副产品，他开创性让机器计算由过去的不通用硬件模式，变成可编程的通用机，从而推进通用计算机理论大发展。经过冯.诺依曼等大师的进一步发展，奠定了现代计算机构架和基础理论。 如果在学习《数字电路和单片机原理》、《算法语言》、《计算方法》之前读到这本书，学习起来会明白得多。读这本书，也会对计算机擅长什么不擅长什么有更深认知。

图灵太聪明了！他是真正改变人类生活的人。同时还是非常爱国的人，他在普林斯顿大学待了两年并获得了第二年的普罗科特奖学金2000美元，邱奇成为了图灵的论文指导教授。在邱奇的指导下，图灵写了一篇论文，并在1938年6月21日获得了博士学位。图灵婉拒了约翰·冯·诺依曼提出的一份1500元年薪、担任其助理的工作，并于一个月后回到了英国。1939年春，阿兰·图灵回到了剑桥大学，教授数学基础这一课程。 想像一台计算机器，它几乎什么也做不了，图灵事实上是构想了一种用于“通用目的”的多功能计算机，这是一个革命性的观念。在当时，计算机被普遍认为是为某些特定工作特殊设计的。早期类似于计算机的设备，如微分分析仪（由麻省理工学院的万尼瓦尔•布什及其学生设计并构建），就是这一设计方式的例证。微分分析仪具有重要的功能——求解常微分方程，但它所能做的也仅限于此。也许数学厉害的人，才是最聪明人。 图灵在其中描述了一种假想的计算机器，探索了其功能和内在的局限性，由此建立了现代程序设计和可计算性的基础。这本书穿插讲述了图灵的成长经历和教育背景，以及他跌宕起伏的一生，包括破解德国恩尼格密码的传奇经历，他对人工智能的探索，他的性取向，以及最终因同性恋的罪名而在 41岁时自杀的悲惨结局。阅读过程有很多内容看不懂。

对了解可计算性问题很有价值的书，部分细节有些枯燥。作者逐句拆解图灵经典论文的写法太赞了，这是一个大佬向另外一个巨佬致敬的方式。

公式部分太难懂了，还是坚持读完了，感受到了数学的魅力和前人思想之伟大。

#自然學科-c數學-人物傳記# 9+/10，大部分未能讀懂的天才之作。罕見對圖靈論文收錄解讀的硬核書作，遠多於人物生平描述。能讀出作者用情至深，起初還不理解開頭大篇幅描寫丟番圖的作用，到最後發現這是完整的一個故事，“一些有解，一些沒有，而許多其他事情，我們永遠不知道”。而科學，就像在希爾伯特的墓碑上，刻下雋永的那句：Wir müssen wissen.Wir werden wissen.

- 判定性问题看起来是一个无边无际的问题，是个巨大的组合爆炸问题，从何入手呢？太困难了！图灵机则是一个普通人至少可以表面上理解的方法，比λ演算直观并且“可操作”。从图灵机原理到m-格局，到完全格局，到标准描述S.D，到机器描述数D.N，经过这一系列并非眼花缭乱、并不费解的变换，判定性问题不经意间被图灵变成了数字/实数论问题。这是一个轻描淡写的乾坤大挪移。于无声处听惊雷，从此，人类文明进入数字化时代。 - 万物皆数，2500年前毕大师的“唯心主义”本体论，在量子论+数字化的今天看来，实在是深邃的洞见！如果这样，思维和宇宙的本质可以用图灵机描述吗？ - “论可计算数……”发表于1936年，1945年冯·诺依曼完成EDVAC“101页报告”，1946年ENIAC诞生……这些跟图灵机的关系非常直接吗？

佩措尔德《图灵的秘密：它他的生平、思想、及论文解读》12小时。这个佩措尔德不知道和写《编码》的佩措尔德是不是一个人。书是写得真好。两本都好。这是第二次尝试探索图灵机。好吧，又失败了。不过确实佩措尔德这本书是探索图灵论文的很好指南。第一部分基础还能跟上，但后面就跟不上了。人笨就怼时间吧，计划后期整个120小时看能否摸着点门道，如果不行，那就1200小时。

很难描述评这本书的感觉，是我读过最吸引人的书没有之一，让人进入另一个美妙的世界，图灵是天才，作者也是，强烈推荐

- 图灵的秘密: 他的生平; 思想及论文解读 - <模仿游戏> - 数学基础部分可以看 <好的数学: 数的历史>, 就能清楚数的「区别」, 进而去理解 可数 -> 可判定 -> 可计算

好书，深入浅出的讲述了数的奥秘。