第一推动丛书·综合系列:逻辑的引擎

第一推动丛书·综合系列:逻辑的引擎

暂无评价综合评分的显示会考虑用户真实性等多项因素,每部作品出现综合评分的时间不定。
8.51232 评价豆瓣读书
免费试读
¥9.90¥9.81
今日特价截止至:2019-05-28 02:00:00了解详情

作品简介

本书介绍了现代计算机背后的那些基本概念和发展这些概念的人,描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。博达著作权代理有限公司授权出版据美国W.W.Norton公司2000年版本译出。

马丁·戴维斯是计算机科学发展史上的先驱人物,其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一。他是纽约大学库朗数学科学研究所的荣誉退休教授,目前在加州大学伯克利分校做访问学者。

作品目录

  1. 总序
  2. 前言
  3. 引言
  4. 第一章 莱布尼茨之梦
  5. 莱布尼茨的奇思妙想
  6. 巴黎
  7. 汉诺威
  8. 普遍文字
  9. 第二章 布尔把逻辑变成代数
  10. 乔治·布尔的艰辛岁月
  11. 乔治·布尔的逻辑代数
  12. 布尔与莱布尼茨之梦
  13. 第三章 弗雷格:从突破到绝望
  14. 弗雷格的概念文字
  15. 弗雷格发明形式句法
  16. 伯特兰·罗素的信为何如此具有毁灭性
  17. 弗雷格和语言哲学
  18. 弗雷格与莱布尼茨之梦
  19. 第四章 康托尔:在无限中摸索
  20. 工程师还是数学家
  21. 无穷集的大小是不同的
  22. 康托尔对无限数的探求
  23. 对角线方法
  24. 沮丧和悲剧
  25. 一场决定性的战斗?
  26. 第五章 希尔伯特的营救
  27. 希尔伯特早期的胜利
  28. 面向一个新世纪
  29. 克隆内克的幽灵
  30. 元数学
  31. 灾难
  32. 第六章 哥德尔使计划落空
  33. 克隆内克的幽灵的回归
  34. 不可判定命题
  35. 库尔特·哥德尔,计算机程序设计师
  36. 柯尼斯堡会议
  37. 爱与恨
  38. 希尔伯特的宣言
  39. 一个奇特的人和一个悲哀的结局
  40. 第七章 图灵构想通用计算机
  41. 帝国的孩子
  42. 希尔伯特的判定问题
  43. 图灵对计算过程的分析
  44. 运转的图灵机
  45. 图灵应用康托尔的对角线方法
  46. 不可解问题
  47. 图灵的通用机
  48. 阿兰·图灵在普林斯顿
  49. 阿兰·图灵的战争
  50. 第八章 研制第一批通用计算机
  51. 谁发明了计算机?
  52. 约翰·冯·诺依曼与摩尔学院
  53. 阿兰·图灵的ACE(自动计算机)
  54. 埃克特、冯·诺依曼和图灵
  55. 知恩的民族对其英雄的回报
  56. 第九章 超越莱布尼茨之梦
  57. 计算机、大脑和心灵
  58. 尾声
  59. 注释
  60. 参考书目
  61. 译后记
载入中

热门划线

  1. 对于类而言,如果我们把0解释成一个没有任何东西属于它的类,那么对于任何χ,Ox都将等于0;用现代的术语来说,O为空集。类似地,如果1包含我们所考虑的每一个对象,那么对于任何χ,1x都将等于χ,或者说,1是我们所要言说的全体。2 人
  2. 有人也许会认为这个句子属于的类型。2 人
  3. 每当我想到正直而又充满魅力的行动时,我意识到没有什么能与弗雷格对真理的献身相媲美。他毕生的工作即将大功告成,其大部分著作曾被能力远不如他的人所遗忘。他的第二卷著作正准备出版,一发现自己的基本设定出了错,他马上报以理智上的愉悦,而2 人
  4. ,对于任何被记作,对于某个被记作。2 人
  5. 尽管人们已经从莱布尼茨和牛顿的微积分中得出了丰硕的成果,但数学家们习惯于使用的某些推理步骤是否是正当的,这还很成问题。2 人
  6. 。大约一周之后,康托尔在另一封信里就已经能够向戴德金证明这个非凡的结论了,即实数集无法与自然数集之间建立起一一对应,无限集至少有两种大小。2 人
  7. 当哥德尔试图成为一个美国公民时,他以一种典型的哥德尔风格为他在法官那儿的面试做准备。通常,法官都是马马虎虎地检查一下当事人关于美国宪法的知识,但哥德尔却对美国宪法作了那种只有他才会做出的细致分析,而且当他得出结论说美国宪法确实是不一致的时候,他变得异常激动。摩根斯滕和爱因斯坦是哥德尔的入籍证人,当他们三人开车去新泽西州首府特伦顿办理手续时,他们试着不让哥德尔去想他的发现,因为他们害怕哥德尔在面试时谈起它会给入籍带来麻烦。爱因斯坦讲了一个又一个的笑话,但是当法官问哥德尔是否认为美国会出现像德国那样的一个独裁政府时,哥德尔便开始解释他的发现。幸运的是,法官很快就知道了他在与一个什么样的人打交道,所以他打断了哥德尔的讲话。这样,最终还是皆大欢喜了。2 人
  8. ·诺依曼显然决定不再与逻辑打交道了。他甚至有一句名言说,在哥德尔1931年的工作出来之后,逻辑方面的文章他一篇也不读了2 人
  9. 图灵的ACE是一种与冯·诺依曼的EDVAC非常不同的机器,它们与这两位数学家的不同态度密切相关。尽管冯·诺依曼希望他的机器成为真正“通用的”,但他却把重点放在了数值计算上,EDVAC(以及后来的“约尼阿克”)的逻辑构造都是为了在这个方向上有所推进。由于图灵发现ACE不适于做繁重的算术计算,所以ACE是沿着小得多的方式进行设计的,它更接近于“论可计算数”这篇论文中的图灵机,算术运算将通过程序设计(也就是通过软件而非硬件)来进行。为此,ACE的设计提供了一种特殊的机制,能够把以前的程序操作包含在一个更长的程序中。\(^{18}\)有人曾经建议沿着冯·诺依曼的方向改进ACE,图灵对此表现得极为刻薄:2 人
  10. 图灵的最小主义思想注定对计算机的发展产生不了什么影响。2 人

喜欢这本书的人也喜欢