逻辑的引擎的书评 (31)

铂程斋@喷嚏网 2009-06-10 11:50:35

幸运的水母

(一) 有一阵,我突然非常爱看教育频道。那里正在热播迪斯尼的金牌节目:《艺术创想》。 这个节目里有很多出乎你意料的东西:废旧的报纸经过主持人的手能变成精美的画框,普通的布条亦能魔幻般变成绿荫场上一个个神采奕奕的足球名将。 有一回,主持人跑到某个学校的厨房...  (展开)
fats 2006-08-23 17:05:40

自动计算机器的逻辑本质

推荐程度:最好的科普之一,考虑到CS的学生对计算理论的数学根基掌握不是很好,本书很有帮助。 主题:这本书介绍的是自动计算思想发展的历史。 内容:不仅仅是科学家佚事的八卦,还把基本(数学)问题的思想史讲得很清楚。 原作者:大牛境界,从本质层次深入浅出的讲到了计...  (展开)
矩阵 2011-04-26 14:41:26

理一下各位大仙们贡献

每一章内各小节的组织比较乱,八卦夹杂在一起容易忘掉这人到底干了些什么。理了下我对他们贡献的理解。 1.莱布尼兹大神最早提出一个想法,我们的宇宙可以由一种符号推理演算来表示。 2.乔治·布尔把逻辑学纳入了数学的范畴,即布尔代数。 3.弗雷格发行了形式句法,使后人可...  (展开)
百毒 2007-11-10 12:02:19

我想看更多……

这篇书评可能有关键情节透露

首先这书题目真不错,《逻辑的引擎》,嗯,用来描述计算机确实再合适不过了。 前些日子重新读了数字电路的书,感觉这一条线几乎一路上都是由各种天才推动的。每一个天才都以他们独特的智慧,提出了各种构想。在有了构想之后把想法变成一种基于这种想法的硬件实现,相对就是一...  (展开)
Kevin 2010-08-08 21:34:03

很好的科普书

这篇书评可能有关键情节透露

《逻辑的引擎》一书从莱布尼茨讲起,每次描述名人都是介绍他的生平,然后再介绍他的贡献,这样的好处是,把科学字们还原成一个个有血有肉的人,而不是一个个冷冰冰的数学定义和公式。 莱布尼茨  布尔 弗雷格  康托尔  希尔伯特  哥德尔  图灵  通...  (展开)
劈马喂柴 2009-06-01 15:34:03

什么样的书是好书 —— 关于《逻辑的引擎》

这篇书评可能有关键情节透露

这是一本适合数学系或计算机系本科生阅读的书,它会让你在乏味的学习之余体会到很多乐趣。对于我而言更是有“相逢恨晚”的感觉。它讲出了一些我所知道的东西,所以能看懂,也讲出了一些我不知道的东西,所以很有趣;但最重要的是,它引导我思考,让我明白了程序员“是谁,从哪...  (展开)
阿江 2011-06-01 22:08:52

计算机的数理逻辑基础

这本书的主要内容就是介绍数学中的一些最基本的思想是如何一步步发展成为计算机的理论基础的。 作者本人是学数学出身的,后来从计算机诞生之时起就从事相关工作,作为一个专业人员来解释相关的内容,确实是游刃有余。 作者从数学专业本身出发解释一些用于计算机的数理逻辑的问...  (展开)
arber 2011-11-18 21:40:48

观念的力量

1. 感觉这才是真正的计算机导论。同时发现19世纪到20世纪初的大牛几乎都是早慧的天才,最重要的贡献在30出头那会几乎都已完成。估计跟那个时候没有很强的专业壁垒,而且都是通识教育,可以更早的不受限的进行自由的探索有关。 2. 像某人说的,现在我们看似直接的定义和理论,...  (展开)
水龙吟 2010-11-22 18:18:37

一本真诚感人深刻的书

很美很感人的科普著作,对于计算机科学中基本概念发展史上重要数学家数理逻辑学家的温情脉脉的描述呈现出真正富有智慧的人面对无尽的自然界奥秘时的注定的悲哀。在某本书里看到的,“真正的智慧,从觉醒之日起,就包含着绝望的悲哀。” 本书对于希望从数理科学角度思考逻辑学本...  (展开)
marego 2008-07-21 15:57:59

值得阅读和深思的著作

俺最喜欢结尾的这句话: The Dukes of Hanover thought they knew what Leibniz should be doing with his time: working on their family history. Too often today, those who provide scientists with the resources for their lives and work try to steer them in direc...  (展开)
陈炬 2006-08-22 00:04:43

还要有题目-_-

去图书馆翻了一本中意的书出来,叫逻辑的引擎。还没有细细地看,只是粗翻了一下,大概就是一个对计算机逻辑模型有巨大贡献的科学家的一个小小的传记。当然,它更像是一部计算机发展(逻辑上,而非工程上)简史。 说它是传记,甚至说是历史,但是它不是那么地容易读的,读者需要...  (展开)
太阳是黑色的 2007-06-02 10:29:26

希望了解计算机的人必读

“我们常常从工程的角度去理解计算机,却没有机会去了解工程背后的逻辑学家和他们的理论。” 看了这本书之后真的还是受益非浅。从莱布尼兹到冯诺依曼,几代人对计算、对逻辑苦苦的追寻和贡献。 这本书有几个没想到: 1. 生动,平实。很多数学原理讲解地非常浅显易懂。 2. 不...  (展开)
Andy 2009-09-27 18:01:41

摘录

* 计算通过在一条被划分成方格的纸带上写下符号来进行。 * 执行计算的人在每一步都只注意其中一个方格中的符号。 * 她的下一步将仅仅取决于这个符号和她当前的心灵状态。 * 她的下一步是这样的:她在当前注意的方格里写下一个符号,然后把注意力转向它左边或右边的相邻方格。 ...  (展开)
Ginko-X 2018-05-30 22:56:25

计算机科学是伪科学吗?

// 计算机科学是伪科学吗? 这个问题曾经一度让我焦虑过好多天,作为一个理想成为科学家的人,这个问题的答案对我来说意义重大。在我越来越多地了解计算机科学(computer science)后,内心却对CS属于Science产生了越来越多的怀疑。在一篇和这个问题相关的有些消极和偏激 但其...  (展开)
wellwolf 2010-04-21 21:54:33

计算机------数学大道上顺便摘得的果实

计算机作为人类历史上最伟大的发明之一,我们一直称之为科技的进步,但是这本书告诉我们,这不过是数学家们在追求终极真理的道路上顺便摘得的果实而已。 计算机不仅仅是一大堆二极管三极管,更重要的是二极管和三极管怎么能构成这么一个神奇的东西,谁说可以有这样一个神奇的东...  (展开)
llq 2007-11-25 21:01:07 W. W. Norton & Company2001版

是本好书

是本好书。对计算机的历史从数学的角度作了精辟的解说。但是我读的是中文版。不知道谁有英文版的电子书,希望能给我一本。不盛感谢。  (展开)
大橙 2018-11-12 21:19:26

《逻辑的引擎》阅后一结

这篇书评可能有关键情节透露

逻辑的引擎 ---马丁·戴维斯 作者还有一本书《可计算性与不可解性》。 ---正文 -- 粗略地说,计算机技术可以分为两大部分,其一是工程实现方面,另一则是它的思想或逻辑层面。作者认为,计算机实际上是逻辑机器,它的电路体现了几个世纪以来一大批逻辑学家所提出的观点之精华,...  (展开)
老徐 2012-08-17 18:30:45

莱布尼茨之梦与图灵机

用图灵在一次演讲的话可以贯穿本书的核心内容: ”我希望数字计算机能够最终激起人们对符号逻辑的极大兴趣······人与这些机器进行交流的语言······构成了一种符号逻辑。“ 图灵通过细致的观察基本的数学运算,并将数学运算符号化为五元运...  (展开)
银色繁荣 2009-10-26 22:19:20

关于“思维的艺术”

前不久看了刘文哲先生所著《棋道凌空》一书。刘老先生坚持认为,卡斯帕罗夫被深蓝击败是个阴谋,其实他是收了IBM的钱故意放水的。 且不说卡斯帕罗夫会不会为了几个小钱败坏自己的名誉,也不说已经是业界巨头的IBM怎么还会需要靠炒作来提升名气,我只说刘老的观点:...  (展开)
_ 2017-12-12 17:37:08

文笔优美的科普书

读完《逻辑的引擎》这本书,留下的感觉是文笔优美,逻辑清晰。 虽然作者在前言中打趣自己放入了太多公式和概念,可能会赶跑读者。 然而略过这些并不影响阅读。 理解了这些概念或许会引发对于纯数学和逻辑的兴趣,对作出贡献的前人报以憧憬。 ...  (展开)
<前页 1 2 后页> (共31条)

订阅逻辑的引擎的书评