作者:
[美] 克里斯·伯恩哈特
出版社: 中信出版社
副标题: 图灵与现代计算的诞生
原作名: Turing's Vision: The Birth of Computer Science
译者: 雪曼
出版年: 2016-9
页数: 284
定价: 49.00元
装帧: 精装
ISBN: 9787508666105
出版社: 中信出版社
副标题: 图灵与现代计算的诞生
原作名: Turing's Vision: The Birth of Computer Science
译者: 雪曼
出版年: 2016-9
页数: 284
定价: 49.00元
装帧: 精装
ISBN: 9787508666105
内容简介 · · · · · ·
1936年，24岁的图灵发表了现代计算领域奠基性的论文《论可计算数及其在判定问题上的应用》。这篇论文堪称图灵一生中最重要的贡献。然而，大众对图灵的了解多停留在破解德国的著名密码系统Enigma，帮助盟军取得二战的胜利上。对于数学家图灵，人们往往知之甚少。
在本书中，作者深入分析了图灵的这篇论文，读者只需具备高中水平的数学知识，即可轻松读懂这篇划时代的论文，了解其对现代计算发展的杰出贡献。正如人工智能之父马文·明斯基所说，图灵的论文有着超乎寻常的简洁性及数学之美。任何希望深入了解图灵及其工作的读者都不该错过这本书！
作者简介 · · · · · ·
克里斯·伯恩哈特（Chris Bernhardt）是美国费尔菲尔德大学数学系教授，他从数学的角度入手，研究图灵的可计算数理论及现代计算的诞生，堪称图灵理论最深入的研究者。
目录 · · · · · ·
原文摘录 · · · · · · ( 全部 )
-
1900年，希尔伯特列举了23个他认为新世纪最重要的问题。第一个问题就是连续统假设。 1940年，哥德尔证明了连续统假设无法被集合理论的定理推翻。1963年，保罗·科恩证明了无法通过定理证明连续统假设。这证明了连续统假设是独立于公理的——这是一个无法通过公理证明或反驳的陈述。 (查看原文) —— 引自第195页 -
我强调图灵论文如何优雅，实际上仍然是相当难阅读的论文，学生们看到的是图灵想法的当代简化版。1958年，马丁·戴维斯（Martin Davis）根据自己在伊利诺伊大学教授的课程出版了《可计算性与不可解性》（Computabilit0 and Unsolvability）一书。1967年，麻省理工学院人工智能实验室联合创始人马文·明斯基根据当时在麻省理工学院教授的一门课程，出版了《计算：有限和无限机器》（Computation：Finite and Infinite Machines）一书。这两本书有着极大的影响力，它们以一种更简单易懂的方式呈现了图灵的想法，它们让计算理论的研究成为计算机科学的一部分，也让计算机科学发展成了一个独立的学科。 (查看原文) —— 引自章节：第一章 背景
> 全部原文摘录
喜欢读"论可计算数"的人也喜欢 · · · · · ·
论可计算数的书评 · · · · · · ( 全部 7 条 )
free_POC
书肯定是好书，但译者太糟
从目录看，《论可计算数》原著肯定是好书，但译者太糟。仅就前面的一点翻译来说，就看到把“反证法”译为“矛盾证明法”，“不可公度量”译为“无法测量的长度”。最不能忍的是“希尔伯特证明，如果算术是连续的，那么欧式几何也是连续的”这一句了，根据前后文我估计“连续”...
(展开)
平凡的老鱼
一个脉络比较清楚的故事
第一章是从无理数讲起的，虽然只是为了带出来后来希尔伯特的第十问题，但是此处却暗含玄机，因为后面核心的主题就是由无理数证明出来的。当然在这一章里面，还引入很多的理论大牛作为背景，以待后面登场。 第二章，简单的列举了三个不可判定问题，实际上只详细的讲了第一个pos...
(展开)
焚琴煮鹤老师傅
【拾光书屋（书评）】上帝的苹果--图灵
第一次知道图灵还是在大学学习计算机基础的时候，当时才知道虽然比尔盖茨靠电脑系统当上了世界首富，但是对电脑真正具有奠基地位的应该是图灵，负责最早的真正意义上的计算机——“曼彻斯特一号”的软件理论开发，成为世界上第一位把计算机实际用于数学研究的科学家。也...
(展开)
Blue
一篇论文一本书——《论可计算数》有感
关于计算机，可以说其发明是一个划时代的发明，在我之前小学中学的教材上一提到计算机都会让记住“ENIAC”这台世界上第一台通用计算机。可以说随后计算机的发展的步伐就开始加速度前进，到了现在计算机可以说是越做功能越强大，越做体积越小越方便携带。可以说我们在享用计算机...
(展开)
咩叭
【拾光书屋（书评）】了不起的历史人物
图灵这个人之前在电影中了解过，卷福主演的《模仿游戏》，我开始对图灵有了初步的了解。这本书之所以吸引我，是因为这种人为我们的世界作出了无与伦比的贡献，并且他还是一个战争英雄，想像一下，不用上战场，就能打胜仗，是一件多么酷的事。 这本书主要是围绕着图灵写的一篇...
(展开)
> 更多书评 7篇
论坛 · · · · · ·
在这本书的论坛里发言这本书的其他版本 · · · · · · ( 全部2 )
以下书单推荐 · · · · · · ( 全部 )
- 领略抽象之美——数学阅读 (小隐)
- 2015-2019书架 - 国内图书 (苇间疯)
- 阿兰·图灵 (Guo Hang)
- 值得赏读 (疯狂大帆船)
- 书单｜计算机 (骂骂)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有318人想读，手里有一本闲着?
订阅关于论可计算数的评论:
feed: rss 2.0
0 有用 closer2sky 2022-05-19 19:30:09
很好的计算理论入门科普书，简洁、明白。作者还写了《人人可懂的量子计算》。就是翻译往往忽略术语，还存在错漏。
0 有用 Fry 2021-04-15 16:10:21
本书解决了一直困扰我的问题：当我们谈论“计算机之父”时，我们在谈论哪个父？
8 有用 free_POC 2017-11-16 16:54:53
原作是值得推荐的优秀科普书，可惜译者乱译常用数学名词，这很典型的体现了中信出版社善于引进好书但译者和编辑不负责任的做派。
1 有用 LostAbaddon 2019-08-11 00:35:08
大多数都是维基百科上能找到的内容，写得更通俗。 翻译真的是……一致性翻译成连续性，完备性翻译成完整性，差分机翻译成差异分析器，天哪……
0 有用 dingli 2021-11-16 17:09:16
翻译太差： Hilbert showed that Euclidean geometry was consistent if arithmetic was consistent 翻译成 "希尔伯特证明，如果算术是连续的，那么欧几里得几何也是连续的". consistent 居然翻译成连续， 在数学上完全是两个不同的概念
0 有用 IronSimon 2023-11-01 15:41:47 广东
这本书2018年开始看的了，中间断断续续的阅读，最后一次连续性重读到第6章就开始感受到逻辑和数理知识欠缺导致的吃力。对于最后几章我是这两天以选读的形式，因为没看懂，就不打分了
0 有用 Marine 2023-08-14 00:26:44 上海
lambda 积分？这出版社和译者可用无耻来形容
0 有用 BWV八核 2023-06-26 13:39:09 上海
HQLibrary
0 有用 Lax 2022-07-23 17:07:11
# 图灵对判定性问题的处理 1. 给定一个公理系统和一个定理，是否总存在一个算法判断出该定理能否被导出？图灵给出了否定的回答。这里按照教学的（非历史、非逻辑的）方式讲述了他的解决方法。 2. 首先要说清什么是算法，为此引入了图灵机。本书先引入了有限状态机，再将其推广至图灵机，最后介绍了与之等价的计算系统【chap3-5】。 3. 将机器本身进行编码，加上所要用到的输入，我们就可以在另一台机器上运行... # 图灵对判定性问题的处理 1. 给定一个公理系统和一个定理，是否总存在一个算法判断出该定理能否被导出？图灵给出了否定的回答。这里按照教学的（非历史、非逻辑的）方式讲述了他的解决方法。 2. 首先要说清什么是算法，为此引入了图灵机。本书先引入了有限状态机，再将其推广至图灵机，最后介绍了与之等价的计算系统【chap3-5】。 3. 将机器本身进行编码，加上所要用到的输入，我们就可以在另一台机器上运行该机器（“通用图灵机”）。在停机问题中，一台机器因试图运行自身而不会停下，即不存在算法来回答“机器运行自身时能否停下”【chap6-7】。 4. 在图灵的原始工作中，他从更偏向数学的角度处理这一问题，定义了可计算数并论证了不存在算法来判定“一个数是否为可计算数”【chap8】。 (展开)
0 有用 层楼 2022-06-19 13:32:57
一本不错的计算理论睡前读物，高屋建瓴地介绍了判定问题的背景及其证明所用到的工具，想不到康托尔的对角线论证和理发师悖论还有这种用途。 翻译比较拉胯，有些地方不通顺，存在部分错译，建议和英文版对照阅读。