一份计算机专业泛读书单
以下推荐并没有很多的新意，可能更多的是体现了推荐人的某种偏见。希望这份推荐有一定的价值。不过，有一点我必须声明：《通往实在之路》我并没有看完，很遗憾。实在是希望有更多的人可以阅读完这本书！
图灵的秘密
作者: Charles Petzold，
出版社: 人民邮电出版社
出品方: 图灵新知
副标题: 他的生平、思想及论文解读
原作名: The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
译者: 杨卫东
出版年: 2012-11
图灵机是英国数学家阿兰•图灵提出的一种抽象计算模型，本书深入剖析了图灵这篇描述图灵机和可计算性的原始论文《论可计算数及其在判定性问题上的应用》。书中在详解论文的同时，也附带了大量的历史背景资料、图灵的个人经历，以及图灵机对于人们理解计算机、人类意识和宇宙所产生的影响。 本书适合所有计算机科学专业的学生、程序员或其他技术人员，同时也适合欲了解图灵生平及其构建图灵机的思维的读者阅读。
皇帝的新脑
作者: 罗杰·彭罗斯
出版社: 湖南科学技术出版社
副标题: 有关电脑、人脑及物理定律
原作名: The Emperor's New Mind: concerning computers, minds, and the laws of physics
译者: 许明贤 / 吴忠超
出版年: 2007-6-1
丛书: 第一推动丛书
ISBN: 9787535715814
本书对电脑科学、数学、物理学、宇宙学、神经和精神科学以及哲学进行了广泛、深入浅出的讨论，体现了作者向哲学上最大问题——“精神-身体关系”挑战的大无畏精神。书中充满了天才般的猜测，贯穿着探索真理的灵感和激情。这是一本这者的精心杰作，它阐释科学论题的新方式令人眼前为之一亮。这本巨著重新衡量相对论和量子理论。作者提出他对现代物理及人工智能的新看法，建议人们必须彻底改变时间与空间的观念。本书曾在《纽约时报》的畅销书排行榜上连续许多星期。
哥德尔，艾舍尔，巴赫：集异璧之大成 （简称：GEB）
作者: [美国] 侯世达 出版社: 商务印书馆
副标题: 集异璧之大成
原作名: Gödel, Escher, Bach: An Eternal Golden Braid
译者: 严勇 / 刘皓明 / 莫大伟
出版年: 1997-5
集异璧－GEB，是数学家哥德尔、版画家艾舍尔、音乐家巴赫三个名字的前缀。《哥德尔、艾舍尔、巴赫书：集异璧之大成》是在英语世界中有极高评价的科普著作，曾获得普利策非小说奖。它通过对哥德尔的数理逻辑，艾舍尔的版画和巴赫的音乐三者的综合阐述，引人入胜地介绍了数理逻辑 学、可计算理 论、人工智能学、语言学、遗传学、音乐、绘画的理论等方面，构思精巧、含义深刻、视野广阔、富于哲学韵味。
中译本前后费时十余年，译者都是数学和哲学的专家，还得到原作者的直接参与，译文严谨通达，特别是在原作者的帮助下，把西方的文化典故和说法，尽可能转换为中国文化的典故和说法，使这部译本甚至可看作是一部新的创作，也是中外翻译史上的一个创举。
逻辑的引擎
作者: [美] 马丁•戴维斯
出版社: 湖南科学技术出版社
原作名: Engines of Logic: Mathematicians and the Origin of the Computer
译者: 张卜天
出版年: 2018-1
丛书: 第一推动丛书：综合系列
ISBN: 9787535794420
本书讲述了计算机思想层面的历史，通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前就已经提出了其背后的思想。
哥德尔证明
作者: 欧内斯特·内格尔（Ernest Nagel） / 詹姆士 R. 纽曼 （James R. Newman）
出版社: 中国人民大学出版社
原作名: Gödel’s Proof
译者: 陈东威 / 连永君
出版年: 2008-3
丛书: 当代世界学术名著·哲学系列
ISBN: 9787300088907
《哥德尔证明》是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说，它提供了一个深入了解先前无法企及的论题的机会。
在此书的新版中，普利策奖的获奖作者道格拉斯•R·霍夫斯塔特对这一经典著作的原文进行了重新斟酌和更新，澄清了模糊之处，使论述更为清晰，并使行文更具可读性。
啊哈，灵机一动
作者: [美] 马丁·伽德纳
出版社: 科学出版社
原作名: Aha! Insight
译者: 李建臣 / 刘正新
出版年: 2007-8
丛书: 20世纪科普经典特藏（中译本）
ISBN: 9787030195869
20世纪科普经典著作。瞬间闪光的妙想称为“啊哈反应”。《啊哈，灵机一动 （中文版）》精选了貌似复杂，实际若循规蹈矩去做也确实很困难，但要是能放开思路，跳出常规解题的模式，或许能蓦然发现问题的答案何其简单。《啊哈，灵机一动 （中文版）》谈到的奇思妙想，与科学、艺术、商业、政治及其他人类所从事的各项活动的创造力有着密不可分的联系。《啊哈，灵机一动 （中文版）》包括“组合：关于排列的谜题”、“几何：关于图形的谜题”、“数字：关于算术的谜题”、“逻辑：关于推理的谜题”、“程序：关于操作设计的谜题”和“文字：关于字、词、句的谜题”。
通往实在之路
作者: [英国] 罗杰·彭罗斯
出版社: 湖南科学技术出版社
副标题: 宇宙法则的完全指南
原作名: The Road to Reality: A Complete Guide to the Laws of the Universe
译者: 王文浩
出版年: 2008-6
ISBN: 9787535752468
一个全面的概述--从我们看不到的，亚原子的粒子的微小的运动到漫天星斗的运行。在物质的世界与用以解释和描述它们的微妙的数理概念之间存在一种关系，揭示这一关系中所呈现的美是作者接下来要做的事。在此基础上，作者又进而对现有的理论加以思考。依着这一思路，他在此书讨论了大量的问题、争论以及现象，不仅是前面提到的相对论，还包括正诱惑着科学家们智慧的膜理论等。作者彭罗斯早已为中国读者所熟悉，他曾于1988年与霍金共同分享当年授予物理学家的沃尔夫奖。他的作品《皇帝新脑》《时空本性》（与霍金合著）此前曾在我国翻译出版。来自《星期天泰晤士报》的评论说，彭罗斯的书揭示了纠结在自然与人类想象力之间的美与精妙之处。
--
20220324
