走近图灵（纪念典藏版）

　　这是一部有关计算机科学和人工智能之父艾伦？图灵的科普佳作，它生动地介绍了图灵的生平，以通俗易懂的语言展现了图灵在计算机科学、数理逻辑、密码学、人工智能、人工生命、认知科学、机械化数学等诸多领域的杰出成就，其中不乏一些高屋建瓴的思想。例如，作为通用计算模型的图灵机、对判定问题的否证、机器学习的本质、形态发生的动力学解释等。 本书内容细致严谨，从多个视角为我们描述了真实而立体的图灵，可作为研究计算历史的重要参考文献。图灵对国家的无私奉献、对强人工智能的期待、对人性的理解、对苦难的忍受，都值得我们深思——图灵的精神，属于全体人类。相信这本书必将激发读者们的想象力与好奇心，让每个人都能从中受益，阅读此书将是一次难得的精神升华之旅。

　　作者简介：杰克•科普兰，英国皇家学会会员，新西兰坎特伯雷大学特聘文学教授，该校计算史图灵档案馆馆长。曾担任最近几部图灵纪录片的脚本顾问和科学顾问。瑞士苏黎世联邦理工学院（ETH）图灵中心副主任，澳大利亚昆士兰大学历史与哲学研究学院名誉研究教授。乔纳森•鲍文， 伦敦南岸大学计算机系名誉教授，于2000 年成立并领导应用形式方法中心。2013—2015 年，任伯明翰城市大学计算机科学教授。此前曾任雷丁大学讲师，牛津大学计算实验室编程研究小组高级研究员，伦敦帝国学院研究助理。马克•斯普雷瓦克，爱丁堡大学哲学系高级讲师。主要研究兴趣是心智哲学、科学哲学和形而上学，尤其是认知科学。罗宾•威尔逊，开放大学基础数学名誉教授、伦敦格雷舍姆学院几何名誉教授、牛津大学凯布尔学院前研究员。毕业于牛津大学，获宾夕法尼亚大学数论博士学位。撰写并共同编辑了40多本关于图论和数学史的书。译者简介：江生，北京大学应用数学博士，曾在北京大学、堪萨斯大学、韦恩州立大学工作多年。主要研究方向是人工智能、统计机器学习、贝叶斯数据分析、计算语言学、图像处理、生物信息学等。已发表四十多篇学术论文（第一作者），拥有近三十项美国算法类专利。曾获科技进步一等奖（2007 年）和自然科学一等奖（2011 年）。曾任华为 2012 泊松实验室主任、机器学习和应用数学首席科学家。、于华，自由译者，研究领域是数字化学习，以及人工智能在现代教育中的应用。

第一部分　传记 / 1
第1章　生平与成就 / 3
杰克·科普兰　乔纳森·鲍文
第２章　不修边幅的人 / 17
约翰·德莫特·图灵爵士
第3章　遇见天才 / 28
彼得·希尔顿
第4章　罪与罚 / 33
杰克·科普兰
第二部分　通用机器及其他 / 43
第5章　图灵的世纪 / 45
斯蒂芬·沃尔夫勒姆
第6章　图灵的伟大发明：通用计算机器 / 51
杰克·科普兰
第7章　希尔伯特及其著名问题 / 61
杰克·科普兰
第8章　图灵与数字计算机的起源 / 72
布莱恩·兰德尔
 
走近图灵（纪念典藏版）
VI
THE TURING GUIDE
第三部分　密码破译者 / 83
第9章　布莱切利园 / 85
杰克·科普兰
第10章　恩尼格玛机 / 91
乔尔·格林伯格
第11章　用一支铅笔破解机器 / 103
梅维斯·贝蒂
第12章　炸弹机 / 116
杰克·科普兰　联合作者：让·瓦伦丁　凯瑟琳·考伊
第13章　班布里处理介绍 / 137
爱德华·辛普森
第14章　金枪鱼：希特勒的王牌 / 154
杰克·科普兰
第15章　我们是世界上最早的计算机操作员 / 172
埃莉诺·爱尔兰
第16章　泰斯特团队：破译希特勒的终极密码 / 179
杰瑞·罗伯茨
第17章　超级揭秘 / 189
布莱恩·兰德尔
第18章　黛丽拉——语音加密 / 198
杰克·科普兰
第19章　图灵纪念馆 / 204
西蒙·格林尼什　乔纳森·鲍文　杰克·科普兰
 
第四部分　战后的计算机 / 215
第20章　婴儿机 / 217
杰克·科普兰
第21章　自动计算引擎 / 234
马丁·坎贝尔-凯利
第22章　图灵的时代精神 / 245
布莱恩·卡彭特　罗伯特·多兰
第23章　计算机音乐 / 256
杰克·科普兰　杰森·朗
第24章　图灵、洛夫莱斯和巴贝奇 / 276
多伦·斯瓦德
第五部分　人工智能与心智 / 293
第25章　智能机器 / 295
杰克·科普兰
第26章　图灵的心智模型 / 308
马克·斯普雷瓦克
第27章　全面阐述图灵测试 / 318
黛安·普劳德福特
第28章　图灵的智能概念 / 335
黛安·普劳德福特
第29章　连接主义：用神经元进行计算 / 344
杰克·科普兰　黛安·普劳德福特
第30章　儿童机器 / 350
黛安·普劳德福特
目录
 
走近图灵（纪念典藏版）
THE TURING GUIDE
第31章　计算机国际象棋——初现时分 / 364
杰克·科普兰　丹妮·普林茨
第32章　图灵与超自然 / 390
戴维·莱维特
第六部分　生物生长 / 405
第33章　人工生命的先驱 / 407
玛格丽特·博登
第34章　图灵的形态发生理论 / 424
托马斯·伍利　露丝·贝克　菲利普·梅尼
第35章　放射虫：证实图灵的理论 / 434
伯纳德·理查兹
第七部分　数学 / 439
第36章　介绍图灵的数学 / 441
罗宾·惠蒂　罗宾·威尔逊
第37章　可判定性和判定问题 / 458
罗宾·惠蒂
第38章　重温班布里处理：纵深与贝叶斯 / 470
爱德华·辛普森
第39章　图灵与随机性 / 486
罗德·唐尼
第40章　图灵的导师麦克斯·纽曼 / 498
艾弗·格拉坦-吉尼斯
 
第八部分　尾篇 / 507
第41章　整个宇宙是一台计算机吗？ / 509
杰克·科普兰　马克·斯普雷瓦克　奥隆·沙格里尔
第42章　图灵的遗产 / 532
乔纳森·鲍文　杰克·科普兰
撰稿人简介 / 548
延伸阅读、注释和参考文献 / 557
章节注释 / 561
IX
目录