作者:
[美] 马丁•戴维斯
出版社: 湖南科学技术出版社
原作名: Engines of Logic: Mathematicians and the Origin of the Computer
译者: 张卜天
出版年: 2018-1
定价: 49.00
装帧: 平装
丛书: 第一推动丛书:综合系列
ISBN: 9787535794420
出版社: 湖南科学技术出版社
原作名: Engines of Logic: Mathematicians and the Origin of the Computer
译者: 张卜天
出版年: 2018-1
定价: 49.00
装帧: 平装
丛书: 第一推动丛书:综合系列
ISBN: 9787535794420
内容简介 · · · · · ·
本书讲述了计算机思想层面的历史,通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前就已经提出了其背后的思想。
逻辑的引擎的创作者
· · · · · ·
-
张卜天 译者
作者简介 · · · · · ·
马丁•戴维斯(Martin Davis),计算机科学发展史上的先驱人物,其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一,他是纽约大学库朗数学科学研究所的荣誉教授,之后在加州大学伯克利分校做访问学者。
目录 · · · · · ·
引言
第一章 莱布尼茨之梦
第二章 布尔把逻辑变成代数
第三章 弗雷格:从突破到绝望
第四章 康托尔:在无限中摸索
第五章 希尔伯特的营救
第六章 哥德尔使计划落空
第七章 图灵构想通用计算机
第八章 研制第一批通用计算机
第九章 超越莱布尼茨之梦
尾声
注释
参考书目
索引
译后记
· · · · · · (收起)
第一章 莱布尼茨之梦
第二章 布尔把逻辑变成代数
第三章 弗雷格:从突破到绝望
第四章 康托尔:在无限中摸索
第五章 希尔伯特的营救
第六章 哥德尔使计划落空
第七章 图灵构想通用计算机
第八章 研制第一批通用计算机
第九章 超越莱布尼茨之梦
尾声
注释
参考书目
索引
译后记
· · · · · · (收起)
丛书信息
· · · · · ·
第一推动丛书:综合系列(共15册),
这套丛书还有
《真理与美》《复杂的引擎》《实在终极之问》《第一推动丛书 综合系列(套装共11本)》《物理之外的世界》
等
。
喜欢读"逻辑的引擎"的人也喜欢的电子书 · · · · · ·
支持 Web、iPhone、iPad、Android 阅读器
喜欢读"逻辑的引擎"的人也喜欢 · · · · · ·
逻辑的引擎的书评 · · · · · · ( 全部 39 条 )
什么样的书是好书 —— 关于《逻辑的引擎》
这篇书评可能有关键情节透露
这是一本适合数学系或计算机系本科生阅读的书,它会让你在乏味的学习之余体会到很多乐趣。对于我而言更是有“相逢恨晚”的感觉。它讲出了一些我所知道的东西,所以能看懂,也讲出了一些我不知道的东西,所以很有趣;但最重要的是,它引导我思考,让我明白了程序员“是谁,从哪... (展开)计算机科学是伪科学吗?
// 计算机科学是伪科学吗? 这个问题曾经一度让我焦虑过好多天,作为一个理想成为科学家的人,这个问题的答案对我来说意义重大。在我越来越多地了解计算机科学(computer science)后,内心却对CS属于Science产生了越来越多的怀疑。在一篇和这个问题相关的有些消极和偏激 但其...
(展开)
一本真诚感人深刻的书
很美很感人的科普著作,对于计算机科学中基本概念发展史上重要数学家数理逻辑学家的温情脉脉的描述呈现出真正富有智慧的人面对无尽的自然界奥秘时的注定的悲哀。在某本书里看到的,“真正的智慧,从觉醒之日起,就包含着绝望的悲哀。” 本书对于希望从数理科学角度思考逻辑学本...
(展开)
希望了解计算机的人必读
“我们常常从工程的角度去理解计算机,却没有机会去了解工程背后的逻辑学家和他们的理论。” 看了这本书之后真的还是受益非浅。从莱布尼兹到冯诺依曼,几代人对计算、对逻辑苦苦的追寻和贡献。 这本书有几个没想到: 1. 生动,平实。很多数学原理讲解地非常浅显易懂。 2. 不...
(展开)
> 更多书评 39篇
论坛 · · · · · ·
在这本书的论坛里发言当前版本有售 · · · · · ·
这本书的其他版本 · · · · · · ( 全部5 )
-
湖南科学技术出版社 (2005)8.4分 1770人读过
-
W. W. Norton & Company (2001)8.5分 22人读过
-
W. W. Norton & Company (2000)暂无评分 6人读过
-
以下书单推荐 · · · · · · ( 全部 )
- 200本认知建构推荐书目 (少女绿妖)
- 有源好书『科普 科技 医学』 (马克爱马克)
- 黑客:照进未来世界的光 (cnfeat)
- 数学 (企鹅)
- CS (缄默规则)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有1031人想读,手里有一本闲着?
订阅关于逻辑的引擎的评论:
feed: rss 2.0
1 有用 絔捺 2022-07-09 19:45:55
一些地方串起来有点牵强。现代计算机的逻辑构型。
5 有用 madeonearth 2018-12-27 14:39:58
作者对推动计算机发展的逻辑发展史给出了一个十分全面的描绘,书中各种观念和概念的解释也跟到位,信息量很大,但也有很多地方解释的不够透彻,可以以这本书为框架再分别对里面的概念进行研究。 此外,该书的排版实在有点随便了。 ps:话说推理和演算的关系到底该如何理解?
1 有用 旅梦人 2022-06-29 12:17:56
说实话里面的翻译传记部分还行,逻辑和计算机部分就不太好懂了。感觉翻译者本人对逻辑部分的内容都没搞清楚,好多词汇都是直接翻译堆在一起,译注也没有。让人捉急。
1 有用 蓝道_RANDALL 2022-01-19 22:48:30
计算机思想史
2 有用 byWhale 2021-04-08 20:23:16
今天的情况更是如此,那些为科学家们提供生活和工作所必需的资源的人竭力要把他们引向那些被认为能够尽快出结果的方向,这不仅在短期内可能是徒劳的,而且更重要的是,如果只重眼前利益,而轻视那些不会带来直接回报的研究,那么最终遭殃的还是我们的未来。
0 有用 甜点甜点甜 2024-05-23 03:48:41 山西
一本极佳的科学史/科哲史书
0 有用 candyme 2024-04-30 16:44:44 上海
梳理了计算机科学背后的数学思想史,老实说从康托尔开始就不太看得懂。。
0 有用 angry crane 2024-03-04 19:35:52 湖北
二十多年后计算机已经拥有了这样惊人的成就,以至于我读到一些句子时意识到我们确实已经在某种事件的边缘了
0 有用 居巍西柚茶 2024-01-06 15:51:58 江苏
读不懂是我的问题,不是这本书的问题。叙事部分都读完了,剩下的是真的脑壳痛。莱布尼茨和图 灵的故事,总让人有种唏嘘感。
0 有用 akanesmile 2023-12-03 01:10:35 北京
完全的抽象研究 依赖对系统的构想 每一个更强系统的分层体系都可以解决较弱的系统所遗留的问题 每一步都是质变