逻辑的引擎的书评 (39)
![](https://img2.doubanio.com/icon/u1182909-11.jpg)
理一下各位大仙们贡献
每一章内各小节的组织比较乱,八卦夹杂在一起容易忘掉这人到底干了些什么。理了下我对他们贡献的理解。 1.莱布尼兹大神最早提出一个想法,我们的宇宙可以由一种符号推理演算来表示。 2.乔治·布尔把逻辑学纳入了数学的范畴,即布尔代数。 3.弗雷格发行了形式句法,使后人可...
(展开)
![](https://img3.doubanio.com/icon/u1174373-3.jpg)
自动计算机器的逻辑本质
推荐程度:最好的科普之一,考虑到CS的学生对计算理论的数学根基掌握不是很好,本书很有帮助。 主题:这本书介绍的是自动计算思想发展的历史。 内容:不仅仅是科学家佚事的八卦,还把基本(数学)问题的思想史讲得很清楚。 原作者:大牛境界,从本质层次深入浅出的讲到了计...
(展开)
![](https://img1.doubanio.com/icon/u2552077-28.jpg)
什么样的书是好书 —— 关于《逻辑的引擎》
这篇书评可能有关键情节透露
这是一本适合数学系或计算机系本科生阅读的书,它会让你在乏味的学习之余体会到很多乐趣。对于我而言更是有“相逢恨晚”的感觉。它讲出了一些我所知道的东西,所以能看懂,也讲出了一些我不知道的东西,所以很有趣;但最重要的是,它引导我思考,让我明白了程序员“是谁,从哪... (展开)![](https://img9.doubanio.com/icon/u124432932-5.jpg)
计算机科学是伪科学吗?
// 计算机科学是伪科学吗? 这个问题曾经一度让我焦虑过好多天,作为一个理想成为科学家的人,这个问题的答案对我来说意义重大。在我越来越多地了解计算机科学(computer science)后,内心却对CS属于Science产生了越来越多的怀疑。在一篇和这个问题相关的有些消极和偏激 但其...
(展开)
![](https://img2.doubanio.com/icon/u1901269-11.jpg)
一本真诚感人深刻的书
很美很感人的科普著作,对于计算机科学中基本概念发展史上重要数学家数理逻辑学家的温情脉脉的描述呈现出真正富有智慧的人面对无尽的自然界奥秘时的注定的悲哀。在某本书里看到的,“真正的智慧,从觉醒之日起,就包含着绝望的悲哀。” 本书对于希望从数理科学角度思考逻辑学本...
(展开)
![](https://img2.doubanio.com/icon/u185807766-1.jpg)
纪念 Martin Davis
这篇书评可能有关键情节透露
原文链接: https://mp.weixin.qq.com/s/iY0Un2EO5j0t7hPNzwEBoQ 剧透注意:我隐约感觉《三体》的写作受本书影响。下文会解释几处可能的关联,可能会透露某些《三体》第一、二部的情节。 马丁·戴维斯(Martin Davis),20 世纪著名的数学家、计算机科学家,于 2023 年 1 月 1 ... (展开)![](https://img9.doubanio.com/icon/u155787477-26.jpg)
计算机哲学作为一场梦
本来是对人工智能哲学感兴趣才去翻了翻,想知道计算机发展的主要历史,以及图灵机的相关内容。不过到头来除了对超穷数有了更多理解,对图灵机地运行规则有了些许理解,其他都关注在各位人类学者的人格魅力上了。这本书讲的是计算机发明所需要的逻辑知识的发展历史,而发明者终...
(展开)
![](https://img3.doubanio.com/icon/u1383972-7.jpg)
希望了解计算机的人必读
“我们常常从工程的角度去理解计算机,却没有机会去了解工程背后的逻辑学家和他们的理论。” 看了这本书之后真的还是受益非浅。从莱布尼兹到冯诺依曼,几代人对计算、对逻辑苦苦的追寻和贡献。 这本书有几个没想到: 1. 生动,平实。很多数学原理讲解地非常浅显易懂。 2. 不...
(展开)
![](https://img3.doubanio.com/icon/u181130950-27.jpg)
《逻辑的引擎》阅后一结
这篇书评可能有关键情节透露
逻辑的引擎 ---马丁·戴维斯 作者还有一本书《可计算性与不可解性》。 ---正文 -- 粗略地说,计算机技术可以分为两大部分,其一是工程实现方面,另一则是它的思想或逻辑层面。作者认为,计算机实际上是逻辑机器,它的电路体现了几个世纪以来一大批逻辑学家所提出的观点之精华,... (展开)![](https://img9.doubanio.com/icon/u2718898-5.jpg)
值得阅读和深思的著作
俺最喜欢结尾的这句话: 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...
(展开)
![](https://img1.doubanio.com/icon/u36111084-19.jpg)
计算机的数理逻辑基础
这本书的主要内容就是介绍数学中的一些最基本的思想是如何一步步发展成为计算机的理论基础的。 作者本人是学数学出身的,后来从计算机诞生之时起就从事相关工作,作为一个专业人员来解释相关的内容,确实是游刃有余。 作者从数学专业本身出发解释一些用于计算机的数理逻辑的问...
(展开)
![](https://img9.doubanio.com/icon/u14315183-4.jpg)
计算机------数学大道上顺便摘得的果实
计算机作为人类历史上最伟大的发明之一,我们一直称之为科技的进步,但是这本书告诉我们,这不过是数学家们在追求终极真理的道路上顺便摘得的果实而已。 计算机不仅仅是一大堆二极管三极管,更重要的是二极管和三极管怎么能构成这么一个神奇的东西,谁说可以有这样一个神奇的东...
(展开)