逻辑的引擎的书评 (39)

铂程斋@喷嚏网 2009-06-10 11:50:35 湖南科学技术出版社2005版

幸运的水母

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

120

4 24回应

矩阵 2011-04-26 14:41:26 湖南科学技术出版社2005版

理一下各位大仙们贡献

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

1 4回应

fats 2006-08-23 17:05:40 湖南科学技术出版社2005版

自动计算机器的逻辑本质

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

1 11回应

劈马喂柴 2009-06-01 15:34:03 湖南科学技术出版社2005版

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

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

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

3回应

百毒 2007-11-10 12:02:19 湖南科学技术出版社2005版

我想看更多……

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

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

3回应

Ginko-X 2018-05-30 22:56:25 湖南科学技术出版社2005版

计算机科学是伪科学吗？

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

2回应

水龙吟 2010-11-22 18:18:37 湖南科学技术出版社2005版

一本真诚感人深刻的书

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

4回应

Marine 2023-01-28 23:05:14

纪念 Martin Davis

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

原文链接： https://mp.weixin.qq.com/s/iY0Un2EO5j0t7hPNzwEBoQ 剧透注意：我隐约感觉《三体》的写作受本书影响。下文会解释几处可能的关联，可能会透露某些《三体》第一、二部的情节。马丁·戴维斯（Martin Davis），20 世纪著名的数学家、计算机科学家，于 2023 年 1 月 1 ... (展开)

0回应

山口帝国作用子 2021-09-12 03:25:19

计算机哲学作为一场梦

本来是对人工智能哲学感兴趣才去翻了翻，想知道计算机发展的主要历史，以及图灵机的相关内容。不过到头来除了对超穷数有了更多理解，对图灵机地运行规则有了些许理解，其他都关注在各位人类学者的人格魅力上了。这本书讲的是计算机发明所需要的逻辑知识的发展历史，而发明者终... (展开)

0回应

太阳是黑色的 2007-06-02 10:29:26 湖南科学技术出版社2005版

希望了解计算机的人必读

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

3回应

陈炬 2006-08-22 00:04:43 湖南科学技术出版社2005版

还要有题目-_-

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

1回应

新农人小川川 2018-11-12 21:19:26 湖南科学技术出版社2005版

《逻辑的引擎》阅后一结

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

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

0回应

安德鲁 2009-09-27 18:01:41 湖南科学技术出版社2005版

摘录

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

0回应

marego 2008-07-21 15:57:59 湖南科学技术出版社2005版

俺最喜欢结尾的这句话： 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... (展开)

0回应