图灵的秘密：他的生平、思想及论文解读 [The Annotated Turing] pdf epub mobi txt 电子书 下载 2025

简体网页||繁体网页

☆☆☆☆☆

[美] Charles Petzold 著，杨卫东，朱皓 等 译

图书标签:

• 图灵
• 人工智能
• 计算机科学
• 密码学
• 传记
• 数学
• 逻辑学
• 哲学
• 二战
• 计算机历史

出版社： 人民邮电出版社

ISBN：9787115282149

版次：1

商品编码：11123674

包装：平装

外文名称：The Annotated Turing

开本：16开

出版时间：2012-11-01

用纸：胶版纸

正文语种：中文

产品特色

编辑推荐

1. 他的生命，迸发耀眼的光芒，他的作品，奠定计算机的发展，他是阿兰·图灵；

2. 他的教育和成长经历，二战破解恩尼格密码，前瞻性探索人工智能，41岁因同性恋罪名自杀...全书完整诠释图灵跌宕起伏的一生；

3. 《论可计算数及其在判定性问题上的应用》是图灵重要的作品，是20世纪人类发展的重要知识地标，本书为你详细解读；

4. 图灵机 / 可计算性 / 逻辑 / 数学...本书还将深入探索人类思维和计算机器之间的关系。

内容简介

在数字计算机出现之前，阿兰·图灵就预想了它们的功能和通用性……也证明了哪些事是计算机永远做不了的。
由Windows编程大师Charles Petzold耗时多年编写的这本书剖析了现代计算机原理开山之作、阿兰·图灵流芳百世的论文 “On Computable Numbers， with an Application to the Entscheidungsproblem”。图灵在其中描述了一种假想的计算机器，探索了其功能和内在的局限性，由此建立了现代程序设计和可计算性的基础。《图灵的秘密：他的生平、思想及论文解读》也像是一本小说，行文间穿插讲述了图灵的成长经历和教育背景，以及他跌宕起伏的一生，包括破解德国恩尼格密码的传奇经历，他对人工智能的探索，他的性取向，以及最终因同性恋的罪名而在41岁时自杀的悲惨结局。全书完整揭示了阿兰·图灵非凡、传奇而悲剧的一生，是了解图灵的思想和生平的极好著作。
阿兰·图灵（1912—1954）是英国数学家、逻辑学家，被称为计算机科学之父、人工智能之父，是计算机逻辑的奠基者，提出了“图灵机”和“图灵测试”等重要概念。为纪念他在计算机领域的卓越贡献，美国计算机协会于1966年设立图灵奖，此奖项被誉为计算机科学界的诺贝尔奖。

作者简介

Charles Petzold， Windows编程大师、世界级技术作家、微软资深MVP，拥有25年的Windows编程经验。1994年5月，Petzold作为weiyi的作家，获得由微软公司和Window Magazine授予的Windows 先锋奖（仅7人获奖），直到今天，他依然是Windows GDI 程序设计首席技术作家。他出版过十几本著作，其中包括Win32 API编程经典《Windows程序设计》、《编码》等。

内页插图

目录

第一部分 　基 　 　础
第1章 　这个墓穴埋葬着丢番图
第2章 　无理数和超越数
第3章 　几个世纪以来的发展
第二部分 　可计算数
第4章 　图灵的学业
第5章 　运作的机器
第6章 　加与乘
第7章 　子程序
第8章 　万物皆数字
第9章 　通用机
第10章 　计算机与可计算性
第11章 　机器与人
第三部分 　判定性问题
第12章 　逻辑与可计算性
第13章 　可计算函数
第14章 　主要证明
第15章 　λ演算
第16章 　对连续统的设想
第四部分 　题外话
第17章 　万物皆是图灵机？
第18章 　长眠的丢番图
参考文献

前言/序言

　　 引　　言
　　 研究过计算机的历史、技术或理论的人，都会接触到“图灵机”这个概念。在1936年，为帮助解决数理逻辑中的一个问题，英国数学家阿兰·图灵（1912—1954）提出了图灵机。它是一种纯属虚构的计算机，连计算机假设也算不上。而由此得到的意外收获是，图灵创立了一个新的研究领域——计算理论（或可计算性），它主要研究数字计算机的功能和局限性。
　　 尽管图灵机是一种并不太合理的计算机，但由于其自身极其简单而大放异彩。最基本的图灵机只能进行一些简单的操作。如果连这些操作都不能做，那么这台机器干脆什么都别做了。然而，只要将这些简单的操作组合起来，图灵机就能够进行现代数字计算机可以执行的任何计算。
　　 拨开云雾见天日，通过考查计算机的原始基础，我们就能够更好地理解数字计算机的能力和局限性，这二者同样重要。尽管有人早就论证过计算机可以做什么，但在这种论证出现多年之前，图灵就证明了计算机永远都做不到的事。
　　 图灵机仍然是被阐述和探讨的热门话题，你可以试试用喜爱的网络搜索引擎搜索“图灵机”。然而，我猜很少有人会阅读阿兰·图灵描述他这项创造的原始论文。或许，这与论文的标题“On Computable Numbers， with an Application to the Entscheidungsproblem”（“论可计算数及其在判定性问题上的应用”）有关。即使你会读最后那个单词（试试看，将重音放在第二个音节上，把这个音节发成类似“shy”的音，这就差不多了），并且知道它的意思（即判定性问题），你可能也会担心，图灵一定指望他的读者对繁冗的德国数学问题有基本的了解。快速浏览这篇论文（其中还用到了德国哥特式字体来表示机器状态）也无法让人消除这种担心。今天的读者还能手捧70年前伦敦数学学会集刊中的文章，并坚持看到有所收获，甚至十分满意吗？
　　 这本书要讲的正是这篇论文。它包含了图灵原版36页的论文 “On Computable Numbers， with an Application to the Entscheidungsproblem”和增补的3页修订 ，并辅以背景材料和大量注解。阅读图灵的原版论文就是在探索他构建图灵机的思维过程，就像在他充满想象、内容丰富的思想中进行一次奇特的旅行。图灵机不仅对计算产生了深远的影响，还深深影响了我们对数学局限性、人类思维方式，甚至宇宙本质的理解。（当然，图灵的论文中并没有出现“图灵机”这个术语，他称之为“计算机器”。不过，早在1937年 人们就开始使用“图灵机”这种说法，并且至今仍是标准术语。）
　　 我在对图灵论文进行注释的过程中，发现用解释和阐述频繁打断他的叙述还是很有用的。我努力做到（但并没有完全做到）不打断他的某一整句话。大部分情况下，我会在讨论中保留图灵自己的术语和符号，不过有时，虽然图灵没有采用某个术语，如果我觉得这个术语在解释其工作时很有用，也会引入这些术语。
　　 图灵论文的内容会像下面这样表示。
　　 为了避免混淆，我们会更多地提及可计算序列，而非可计算数。
　　 我们（指出版商和我）努力保留图灵原始论文的字体和版式， 除非有一些奇怪的表示方法（比如冒号前加空格）在现代文字处理软件中总报错。原稿中所有的行间距也得以保留。图灵的论文中存在一些印刷错误、技术性错误和理论上的疏漏，尽管我没有在原文中加以修正，但会在评注中一一指出。图灵对他自己论文内容的引用，仍沿用原发表期刊中的页码，我没有修改这些引用，不过在评注中指出了被引用部分在本书中的页码。偶尔，你会在图灵的论文中发现一个括起来的数字，例如：
　　 如果用数字代替这些字母，如在§5中，那么我们可以得到这个完全格局的数字表示，也可以称作它的描述数。
　　 这是原论文的分页处以及标注的页码。我这本书的脚注采用的是圆圈编号，而图灵论文的脚注使用符号标注，并写在阴影部分。
　　 如果只保留本书阴影部分的英文内容，再组合起来，得到的就是完整的图灵论文，而我这个劳而无功的作者只能欲哭无泪了。更有趣的阅读方式是，先读本书，再读没有被我打断的图灵论文。
　　 图灵的论文分散在本书的第4~15章，其修订内容在第16章。他的论文分为11个部分和一个附录，对应到本书的页码是：
　　 1. 计算机器　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　58
　　 2. 定义　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　63
　　 3. 计算机器示例　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 69
　　 4. 缩略表　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　99
　　 5. 可计算序列的枚举　　　　　　　　　　　　　　　　　　　　　　　118
　　 6. 通用计算机器　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 130
　　 7. 通用机的详细描述　　　　　　　　　　　　　　　　　　　　　　　136
　　 8. 对角线法的应用　　　　　　　　　　　　　　　　　　　　　　　158
　　 9. 可计算数的范畴　　　　　　　　　　　　　　　　　　　　　　　　175
　　 10. 大量可计算数的示例　　　　　　　　　　　　　　　　　　　　219
　　 11. 在判定性问题中的应用　　　　　　　　　　　　　　　　　　　　　244
　　 附录　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　274
　　 图灵写这篇论文的最初动机是想解决德国数学家大卫·希尔伯特（1862—1943）构想的一个问题。希尔伯特想寻找一种通用的方法来判定数理逻辑中的任意命题是否可证。寻找这种“通用的方法”被称为判定性问题。尽管判定性问题确实是图灵写这篇论文的动机，但是这篇长篇大论本身讲的却是可计算数。在图灵的定义中，可计算数就是可以使用机器计算的数。论文前面60%的内容都是图灵对可计算数的探索，就算完全不了解希尔伯特在数理逻辑或判定性问题方面的研究，也能够阅读并理解这些内容。
　　 了解可计算数与“实数”的区别对于理解图灵的观点很重要。因此，本书利用前几章介绍了数字分类的背景知识，数字包括整数、有理数、无理数、代数数和超越数，它们都可归为实数。我尽可能不涉及比高中数学更复杂的知识。我知道，有些读者离开快乐的高中生活已经几十年了，我要努力唤醒这些记忆。如果由于我本着这种教育热情而做出一些冒犯读者的解释，我表示歉意。
　　 尽管我觉得本书的读者大多会是计算机科学专业的学生、程序员或其他技术人员，但是我还是尽量让非程序员的读者也愿意读，因此我定义了一些便于理解的术语。图灵的论文被誉为“20世纪的一座知识地标” ，我希望本书可以让更多的读者领略到这篇论文的风采。
　　 为了满足不同读者的需要，本书分成了四个部分。
　　 第一部分“基础”介绍阅读图灵论文所必须掌握的一些历史和数学背景知识。
　　 第二部分“可计算数”包含了图灵论文的大部分内容，也是关心图灵机和可计算性相关问题的读者最感兴趣的部分。
　　 第三部分“判定性问题”先简要介绍了数理逻辑的背景知识，然后讨论图灵论文的剩余部分。
　　 第四部分“题外话”讨论了图灵机为何成为人们理解计算机、人类意识和宇宙本身的必要工具。
　　 第三部分的数学内容肯定是比前几章的难，并且讲得比较快。对图灵论文在数理逻辑方面的影响不感兴趣的读者甚至可以跳过第三部分，直接阅读第四部分。
　　 本书涉及数学中几个大的研究领域，包括可计算性和数理逻辑。我仅仅把与理解图灵论文最相关的那些主题和概念挑出来加以解释，省去了很多细节，因此本书从深度和严格性上都无法取代那些可计算性和逻辑方面的专业书籍。想深入研究这些领域的读者可以查阅参考文献。
　　 阿兰·图灵一生发表过近30篇论文和文章 ，却从未写过书。其中的两篇论文造就了他流芳百世的声望。“On Computable Numbers”（“论可计算数”）当然是第一篇。第二篇名为“Computing Machinery and Intelligence”（“计算机器和智能”，发表于1950年），这一篇的技术性不是很强，图灵在文中首次提出了一种判断人工智能的标准，在今天被称为“图灵测试”。总的来说，一台机器如果可以骗得我们相信它是一个人，那么就可以说它是智能的。
　　 图灵机和图灵测试是阿兰·图灵声名不朽的两大基石。初看上去，它们像是两个完全不同的概念，但事实并非如此。图灵机是以一种非常机械的方式展现人类如何进行数学运算的，图灵测试则是对计算机能力的人为评估。在整个数学研究期间，图灵都在探索人类思维和计算机器之间的关系，他所采用的研究方法至今仍很吸引人。
　　 很多关于可计算性的教科书只讨论图灵的研究而不涉及图灵这个人，它们可没有劳神讲述有关个人传记的细节。不过，本书不会这么做。图灵在二战期间所做的密码分析方面的秘密工作，他参与的影响力巨大的计算机工程，他对于人工智能的思索，他的性取向，他由于“严重猥亵”罪而被逮捕和起诉的经历，以及他在41岁时自杀身亡，所有这些事情都需要关注。
　　 得益于英国数学家安德鲁·霍奇斯（1949—　）撰写的精彩传记Alan Turing： The Enigma（《艾伦·图灵传：如谜的解谜者》，Simon & Schuster，1983年出版），我没费多大力气就总结出了图灵一生中的重要事件。霍奇斯对图灵感兴趣的部分原因，在于他参与了20世纪70年代的同性恋解放运动。霍奇斯的传记还给休·怀特摩尔的剧本Breaking the Code（《破解密码》，1986）带来了灵感，在舞台上和在1996年改编的电视片中，阿兰·图灵的角色都是由德里克·雅克比扮演的。
　　 如同早期的英国数学家、计算机先驱查尔斯·巴贝奇（1791—1871）和艾达·拉夫拉斯（1815—1852），图灵也成为计算机时代的一个标志。美国计算机协会每年都会为在计算机行业做出杰出贡献的人颁发图灵奖，奖金为10万美元。现在还有一些用来组装图灵机的工具，比如“图灵编程语言”（从Pascal衍生而来）和“图灵的世界”软件。
　　 图灵的名字几乎成为计算机编程的通用代名词。杜特尼把他的“计算机科学探索”一书命名为The Turing Omnibus（《图灵选集》，计算机科学出版社，1989）。戴维德·波尔特把他编写的一本关于“计算机时代的西方文化”的书命名为Turing’s Man（《图灵时代的人类》，北卡罗来纳州大学出版社，1984）。布莱恩·罗特曼对传统数学极限概念的评论文章Ad Infinitum（斯坦福大学出版社，1993）被幽默地加上了副标题The Ghost in Turing’s Machine（《图灵机里的幽灵》）。
　　 数学和计算机科学领域以外的学者也对阿兰·图灵感兴趣。研究文集Novel Gazing： Queer Readings in Fiction（《凝神注视：论小说的另类解读》）中最有特色的一篇文章就是由泰勒·科坦撰写的The“Sinister Fruitiness”of Machines： Neuromancer， Internet Sexuality， and the Turing Test（《智能机器带来的“阴暗苦果”：神经漫游者、网络性爱和图灵测试》）。科坦博士所说的Neuromancer指的是威廉·吉布森著名的“赛博朋克”小说Neuromancer（《神经漫游者》）。在这部科幻小说里，有一个叫做图灵警察局的组织，他们负责确保人工智能体不会试图增强它们自身的智能。
　　 图灵还出现在很多小说的书名中。马文·明斯基（麻省理工学院人工智能方向著名的研究者）与科幻小说家哈里·哈里森合写了The Turing Option（《图灵选择》，华纳图书公司，1992）。伯克利计算机科学教授克里斯托斯·帕帕迪米特里欧参与创作了Turing（《图灵》，一部关于计算的小说，麻省理工学院出版社，2003）。
　　 玻利维亚小说家埃德蒙多·苏丹写了一本名为Turing’s Delirium（《图灵的狂热》，英文版由丽莎·卡特翻译，霍顿·米夫林出版公司，2006）的小说，在其中，一个外号叫图灵的密码专家发现了用他的技能为腐败政府服务带来的危险。在珍娜·列文的小说A Madman Dreams of Turing Machines（《图灵机狂人梦》，Knopf出版社，2006）中，阿兰·图灵和库尔特·哥德尔的生活被虚构在了一起，他们穿越时空，产生了奇特的交织。
　　 阿兰·图灵这个角色还出现在其他很多小说中，如尼尔·斯蒂芬森的Cryptonomicon（《编码宝典》，Avon，1999），罗伯特·哈里斯的Enigma
　　 （《密码迷情》，Hutchinson，1995），约翰·卡斯蒂的The Cambridge Quintet： A Work of Scientific Speculation（《剑桥五重奏：一部科学思考的著作》，Perseus图书公司，1998），以及道格拉斯·侯世达的G·del， Escher， Bach （Basic图书公司，1979）。阿兰·图灵甚至为The Turing Test（《图灵测试》，BBC，2000）的一部分做了解说，这本书是保罗·伦纳德写的Doctor Who系列小说中的一本。
　　 人们以各种方式来表达对阿兰·图灵的尊敬当然是好事，不过这样一来，图灵的实际研究可能会被遗忘。我希望，就算那些正式研究过计算理论，并认为自己完全了解图灵机的人，也能在面对这个真正由大师自己构建的图灵机时发现不少令人惊奇的事物。
　　 *　*　*
　　 我在1999年就开始构思这本书，当时只写了一点，然后在接下来的五年里时不时又写上一些。2004～2005年基本完成了前11章。后面7章是在2007～2008年完成的，在此期间的写作几乎未中断，唯一的中断就是与我一生中最好的朋友，也是我的至爱迪尔德丽·辛诺特结婚（终于结婚啦）！
　　 非常感谢伦敦数学协会许可完整地再版阿兰·图灵的论文“On Computable Numbers， with an Application to the Entscheidungsproblem”。
　　 沃尔特·威廉姆斯和拉里·史密斯审阅了本书的初稿，发现了一些错误，并且提出了一些很有益的改进建议。
　　 非常感谢Wiley出版公司的同仁，正是他们的工作将我所钟爱的想法真正出版成书。克里斯· 韦伯负责督促这本书的出版，策划编辑克里斯多夫· 里韦拉和制作编辑安吉拉·史密斯克服了很多版式和印刷方面的困难，技术
　　 编辑彼得·伯凡蒂帮助我认真完成了技术相关的内容。Wiley出版公司的很多幕后工作人员也都努力把这本书做得至臻至善。所有未被发现而遗留在书中的缺陷、瑕疵或隐藏的错误，都只能归咎于作者。
　　 每位作者都是站在前人肩上的。选出的参考书目只列出了我所参考的众多书籍中的一小部分。我还要感谢纽约公共图书馆，特别是科学、工业和商业图书馆的工作人员。为参考原始论文，我多次使用JSTOR，同时我发现维基百科、谷歌书籍搜索和Wolfram MathWorld也都很有用。
　　 *　*　*
　　 登录网站可以找到与本书相关的信息和资源。
　　 查里斯·佩措尔德
　　 纽约州纽约市和罗斯科
　　 2008年5月

图灵的秘密：一段横跨逻辑、代码与战争的传奇 在那个电气时代尚未真正开启，信息如同幽灵般在电报线路上穿梭的年代，一位杰出的头脑孕育了驱动未来世界的核心理念。他，艾伦·麦席森·图灵，一位数学家、逻辑学家、计算机科学家，更是秘密破译者，他的一生如同一串精妙绝伦的数学公式，既有严谨的逻辑推演，又有深邃的哲学思辨，更交织着战争的残酷与时代的悲歌。本书将带领读者深入探索图灵的非凡人生，从他童年时期对自然的好奇，到他对数学概念的独特洞察，再到他如何在第二次世界大战的硝烟中，以其超凡的智慧，扭转了战争的天平，最终又如何在那个仍未完全理解他伟大贡献的时代，遭遇不公与悲剧。 第一章：思想的种子——早期生活与学术萌芽 故事的开端，是图灵那颗早早显露出非凡特质的心灵。生于1912年的英国，图灵的童年并非一帆风顺，但内心的求知欲却如同野草般顽强生长。他对自然界的运作方式充满了天然的兴趣，热衷于解构事物的内在逻辑。这种对“为何”与“如何”的探究，为他日后在数学和逻辑学领域的成就奠定了坚实的基础。 早期的图灵，便展现出与众不同的思维方式。他并非循规蹈矩的学生，常常因为挑战传统观念而与老师发生摩擦。然而，正是这种独立思考的精神，让他得以在相对孤立的环境中，构建起一套属于自己的数学和逻辑体系。在中学时期，他便开始涉足牛顿的《自然哲学的数学原理》，虽然书中许多内容超出了他当时的理解范畴，但其中蕴含的严谨推理和对自然法则的数学表达，深深吸引了他。 进入剑桥大学国王学院后，图灵的才华如同被发现的宝藏，开始绽放光芒。他如饥似渴地学习数学和物理，尤其沉迷于数理逻辑。在那个时代，数理逻辑正经历着一场深刻的变革，希尔伯特等数学家提出的“形式化”运动，试图为整个数学建立一个坚实、无矛盾的公理体系。图灵正是站在这一前沿，他敏锐地捕捉到其中存在的挑战与机遇。 1936年，年仅24岁的图灵发表了那篇划时代的论文——《论可计算数及其在判定问题上的应用》。这篇论文，如同一颗投入平静湖面的石子，激起了数学界乃至后世的滔天巨浪。在这篇论文中，图灵提出了一种抽象的计算模型，后人称之为“图灵机”。这个模型，虽然简单到极致，却具备了模拟任何已知计算过程的能力。他用“图灵机”的形式化概念，巧妙地解决了希尔伯特提出的“判定问题”（Entscheidungsproblem）。这个问题的核心在于，是否存在一个算法，能够判断任何数学命题的真伪。图灵以无可辩驳的逻辑证明，这样的通用算法是不存在的。 “图灵机”的出现，不仅为“可计算性”这一核心概念提供了清晰的数学定义，更重要的是，它预示了通用计算设备的可能性。在此之前，人们对计算的理解，更多地停留在特定功能的机械装置上，而图灵的抽象模型，却揭示了计算本身所蕴含的普遍规律。他证明了，如果一个问题能够被一步步地、机械地解决，那么它就能够被一台“图灵机”所计算。这为后来的计算机科学奠定了理论基石，甚至可以说是“计算机理论”的真正诞生。 第二章：战争中的幽灵——布莱切利公园与密码的对决 第一次世界大战的惨痛教训，让各国高度重视情报战，而密码的运用更是日益复杂。第二次世界大战爆发后，德国海军的“恩尼格玛”密码机，成为了盟军无法逾越的障碍。恩尼格玛机通过复杂的转子组合，每天都会生成一套全新的加密方案，其复杂程度令当时的密码学家们望而却步。盟军的船只在战场上遭受重创，很大程度上就是因为无法破译德军的海上通讯。 正是在这样的背景下，图灵被征召至英国政府的通讯学校（GC&CS），位于白金汉郡的布莱切利公园（Bletchley Park）。这里汇聚了当时英国最顶尖的数学家、语言学家和逻辑学家，他们的使命只有一个：攻克德国的密码。 图灵在布莱切利公园的工作，无疑是他人生中最具传奇色彩的篇章。他并没有像传统的密码学家那样，从语言统计学或模式识别入手，而是运用了他独特的数学和逻辑思维。他首先致力于攻克恩尼格玛机。通过对德军密码通信习惯的细致分析，以及对恩尼格玛机机械原理的深刻理解，图灵及其团队设计出了一种名为“炸弹”（Bombe）的机械式解码器。 “炸弹”机器的设计，可以说是对图灵抽象计算理论的一次伟大的实践。它并非直接破解密码，而是通过暴力搜索，快速排除恩尼格玛机可能存在的设置组合。图灵通过设计巧妙的逻辑电路和算法，让“炸弹”机器能够模拟恩尼格玛机的运转，并与截获的密文进行比对。每一次“炸弹”机器的运转，都代表着一次对恩尼格玛机设置的测试。当机器停止运转时，就意味着找到了一个可能的、符合逻辑的解密设置。 这项工作极其艰辛，需要极高的数学天赋、坚韧不拔的毅力，以及与团队成员高效的合作。图灵在其中扮演了至关重要的角色，他不仅是核心的设计者，更是无数次技术难题的攻克者。据估计，布莱切利公园的破译工作，将战争的进程缩短了至少两年，挽救了数百万人的生命。而其中，图灵在恩尼格玛密码破译上的贡献，更是功不可没。 然而，在布莱切利公园的经历，也给图灵带来了巨大的心理压力。这项工作高度保密，即使对家人和朋友，他也无法透露分毫。在那个信息极度不流通的年代，他所承受的孤寂与责任，是常人难以想象的。 第三章：人工智能的远见——思维的边界与机器的智能 在致力于密码破译的间隙，图灵的思绪并未停止对计算和智能本质的探索。他的目光，早已超越了战争的阴影，投向了未来。 1950年，图灵发表了另一篇影响深远的论文——《计算机器与智能》。在这篇论文中，他提出了一个至今仍被广泛讨论的问题：“机器会思考吗？”。为了回避“思考”这个定义模糊的概念，图灵设计了一个著名的实验，后人称之为“图灵测试”。 图灵测试的设想是这样的：一个人（裁判）通过文本界面与两方进行对话，一方是人类，另一方是机器。如果裁判在一段时间的对话后，无法区分出哪一个是人类，哪一个是机器，那么就可以认为这台机器在某种意义上具备了“智能”。图灵测试提供了一个客观的标准，来评估机器是否能表现出类似人类的智能行为，而非纠结于机器是否真的拥有意识。 “图灵测试”的提出，标志着人工智能（Artificial Intelligence, AI）作为一个研究领域的正式诞生。图灵的远见卓识，在于他认识到，智能并非某种神秘的、只属于生物体的特质，而是可以通过信息处理和逻辑推理来实现的。他认为，如果一台机器能够模拟人类的思维过程，那么它就具备了智能。 在这篇论文中，图灵还展望了机器的学习能力。他设想，未来的机器不仅能够执行预设的程序，还能够通过与环境的互动来学习和适应。这预示着机器学习、神经网络等人工智能核心技术的萌芽。他甚至对机器的“游戏能力”进行了探讨，例如让机器学习下棋，并认为这是一种检验机器智能的有效途径。 图灵对人工智能的思考，远远超出了他那个时代的想象。他不仅提出了理论框架，更以一种 pragmatist 的态度，指出了实现人工智能的可能路径。他对计算的深刻理解，让他能够想象出远超当时现实的计算能力，并以此为基础，构建起对智能机器的憧憬。 第四章：时代的悲剧——压迫、审判与短暂的生命 图灵的伟大成就，并未能为他带来应有的尊重和安宁。在那个对同性恋持极度偏见和歧视的年代，图灵的个人生活成为了他人生中最大的阴影。1952年，图灵因“猥亵罪”被判有罪。为了避免牢狱之灾，他接受了“化学阉割”的治疗，一种令人痛苦且具有摧毁性的荷尔蒙注射。 这一残酷的对待，不仅是对图灵个人尊严的严重践踏，更是对科学界的一大损失。本应在科学研究上继续发光发热的图灵，却在身体和精神的双重折磨下，逐渐走向了人生的终点。1954年，年仅41岁的图灵，在自己家中去世，死因被判定为氰化物中毒，官方结论是“自杀”。 图灵的死，是那个时代对科学天才最残酷的扼杀。他的生命，如同他设计的计算模型一样，简洁而精妙，但最终却被时代的黑暗所摧毁。他的故事，成为了一个关于勇气、智慧、贡献与压迫的深刻警示。 直到多年以后，随着社会观念的进步和对图灵历史贡献的重新认识，英国政府才为图灵的遭遇正式道歉，并给予了迟来的平反。然而，这一切都无法挽回这位伟大头脑的陨落。 结语：不朽的遗产——科学精神的传承 艾伦·图灵的一生，是科学与人生的双重史诗。他用严谨的逻辑，构筑了现代计算机的理论基石；他用非凡的智慧，在战争中扭转了乾坤；他用前瞻的远见，播下了人工智能的种子。尽管他的生命戛然而止，但他留下的思想遗产，却如同永恒的算法，在人类文明的进程中不断回响。 本书并非仅仅是对图灵生平的流水账式记录，也不是对他晦涩论文的生硬解读。我们将以深入浅出的方式，带领读者走进图灵的世界，理解他思想的逻辑脉络，感受他面对挑战时的坚韧，以及他为人类文明进步所付出的巨大代价。 我们不会回避图灵人生中的痛苦与挣扎，正是这些真实的经历，使得这位科学巨匠的形象更加立体与感人。通过对他的生平、思想及代表性论文的细致梳理与解读，本书旨在让更多人了解图灵，学习他独立思考的精神，感受他面对未知时的探索欲，并从他的人生悲剧中，汲取对社会公正与人性关怀的深刻反思。 图灵的秘密，并非隐藏在某个尘封的档案中，而是蕴藏在他对逻辑的执着，对计算的洞察，以及对人类智能的不懈追问之中。阅读本书，便是与这位伟大的思想家进行一场跨越时空的对话，共同探寻那段连接过去、现在与未来的，关于智能、计算与人性的不朽传奇。

评分☆☆☆☆☆

我的兴趣点在于，如何在理解图灵的理论贡献的同时，也能触碰到他作为一个人所经历的复杂人生。 《图灵的秘密》这个书名，让我联想到，这本书可能不仅仅是一本纯粹的学术传记，更是一次对图灵多维度探索的尝试。我期待书中能够生动地展现图灵的个人魅力，他的性格特点，他的生活习惯，以及他在那个时代所面临的社会压力和偏见。我想知道，是什么样的环境促使他独立思考，又是什么样的情感经历塑造了他的人生轨迹？特别是他后来所遭遇的不公待遇，这本书能否以一种客观而富有同情心的方式进行描绘？我希望它能深入挖掘图灵在战争期间的贡献，那些隐藏在“恩尼格玛”密码破解背后的故事，不仅关乎技术，更关乎勇气、智慧和牺牲。同时，我也想了解图灵对于人工智能的早期构想，以及他对于机器能否“思考”这一问题的哲学思考。这本书就像一个诱饵，引诱我去探寻图灵思想的深度，同时又不忽略他作为一个凡人在时代洪流中的命运。我渴望在这本书中，看到一个立体、饱满的图灵，一个不只存在于教科书中的鲜活个体。

评分☆☆☆☆☆

我一直对计算机科学的起源和那些塑造了我们这个数字世界的思想家们深感好奇，而《图灵的秘密》恰好满足了我这份探索的渴望。 摊开这本书，就像是打开了一扇通往二十世纪中期那个充满思想激荡年代的大门，我迫不及待地想要一探究竟，了解这位被誉为“计算机科学之父”的艾伦·图灵，究竟是如何在那个时代背景下，孕育出那些颠覆性的思想。我特别期待书中能够细致描绘图灵的成长经历，他的学术道路上的那些关键节点，以及他所面对的社会环境。我想知道，是什么样的经历塑造了他非凡的智慧？他的童年、求学经历，乃至于他所经历的二战时期，又是如何影响了他对逻辑、计算和人工智能的深刻洞见？书名中的“秘密”二字，更是勾起了我的好奇心，我希望这本书能揭示图灵身上那些不为人知的一面，包括他个人生活中的挣扎与坚持，以及他那些超前时代的理念是如何被理解和接纳（或被忽视）的。作为一名对科学史充满兴趣的读者，我渴望在这本书中找到连接人物、思想与历史的纽带，深入理解图灵的非凡贡献，并感受那个伟大时代知识探索的魅力。

评分☆☆☆☆☆

这本书的名字《图灵的秘密：他的生平、思想及论文解读》本身就带有一种神秘感，让我对其中所蕴含的深度内容充满了期待。 作为一名对科学和历史都充满好奇的读者，我希望这本书能够为我打开一扇了解图灵的独特视角。我期待它能够不仅仅是罗列事实，而是能够深入挖掘图灵思想的根源，分析那些塑造了他理论体系的关键因素。我想知道，在图灵的学术生涯中，有哪些重要的思想家或科学理论对他产生了影响？他又是否受到了其他学科的启发？“生平”部分的描绘，我希望能够不仅仅是简单的时间线，而是能够通过生动的叙述，让我感受到图灵在不同人生阶段所面临的挑战和机遇。而“思想”部分，我则期望能够深入了解他关于计算、逻辑、智能等核心概念的独特见解，以及这些见解在当时所具有的前瞻性。书中承诺的“论文解读”，更是我最期待的部分，我希望它能够以一种易于理解的方式，引领我走进图灵那些深邃的学术世界，让我能够更清晰地把握他那些具有划时代意义的理论。这本书，对我而言，是一次深入了解一位伟大思想家及其不朽贡献的绝佳机会。

评分☆☆☆☆☆

我是一个对理论与实践之间联系的探索者，因此《图灵的秘密》中“论文解读”的部分，对我来说是这本书最具吸引力的核心。 我相信，图灵的论文不仅仅是抽象的数学和逻辑符号，它们更是指向了未来科技的蓝图。我希望能通过这本书，不仅仅是理解图灵提出的概念，更能感受到这些概念是如何在后来的技术发展中被具象化、实现并最终改变世界的。我想知道，书中是否会尝试将图灵的理论模型与现代计算机的架构进行对比？例如，图灵机与冯·诺依曼架构之间是否存在某种理论上的传承关系？又或者，书中能否追溯图灵的思想是如何影响了早期计算机的设计和编程语言的开发？对于“论文解读”，我期待的不仅仅是文本的解释，更是对思想脉络的梳理。我希望作者能够清晰地展示图灵是如何一步步推导出他的结论，他的论证过程是怎样的严谨，以及他的思想是如何在一系列研究中不断演进的。这种深入的解读，能够帮助我理解那些晦涩理论背后的智慧火花，并看到它们如何从纸面走向现实，成为我们今天所熟知的数字世界的基石。

评分☆☆☆☆☆

作为一个对深度分析和原始材料有着强烈追求的读者，《图灵的秘密》对我而言，简直是如同发现宝藏一般。 我对书中“论文解读”这一部分尤其充满期待。图灵的论文，尤其是那篇关于可计算性的奠基性论文，无疑是计算机科学领域最重要、也最具挑战性的文本之一。我希望这本书能够以一种清晰、易懂的方式，带领我深入剖析这篇里程碑式的著作。不仅仅是字面上的解释，我更期待的是对其中核心概念的深入阐释，比如图灵机模型是如何构建的，它在数学和逻辑上的意义是什么，以及它如何成为现代计算机的理论基石。我希望作者能够引经据典，将图灵的论文置于当时的学术语境中进行解读，分析其思想的创新之处，以及它对后世产生的深远影响。此外，我对书中是否会引用一些未曾公开的草稿、笔记，或是其他相关的原始资料也充满兴趣。如果能够通过这些材料，窥见图灵在构思和推导过程中的思考痕迹，那将是非常宝贵的体验。这本书承诺要揭示“图灵的秘密”，我理解这其中必然包含了他思想的深度和独特性，而论文解读正是通往这一秘密最直接的路径，我迫不及待地想通过这些分析，领略图灵那令人惊叹的智力光芒。

评分☆☆☆☆☆

书很不错，慢慢看。。。。。。

评分☆☆☆☆☆

既是数学，也是计算机原理。作者表达清晰，翻译得也很不错，是了解图灵思想的一本较好的入门书。

评分☆☆☆☆☆

好卖家，商品相当理想，关注ing！

评分☆☆☆☆☆

书很好，是正品，质量不错，再便宜点就好了?

评分☆☆☆☆☆

很好的书籍，留着自己慢慢看……

评分☆☆☆☆☆

内容不错，值得一看！

评分☆☆☆☆☆

不错的书，开卷有益。读书的时间太少了。

评分☆☆☆☆☆

又没过几页：由浅入深，已到深不见底

评分☆☆☆☆☆

第二次买了 货不错啊服务也很好。