逻辑的引擎 pdf epub mobi txt 电子书 下载 2025
马丁·戴维斯是计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一。他是纽约大学库朗数学科学研究所的荣誉退休教授，目前在加州大学伯克利分校做访问学者。
- 逻辑
- 科普
- 计算机
- 数学
- 计算机科学
- 计算机史
- 哲学
- 逻辑的引擎
本书介绍了现代计算机背后的那些基本概念和发展这些概念的人，描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。博达著作权代理有限公司授权出版据美国W.W.Norton公司2000年版本译出。2007年第二版亦使用同一ISBN。
具体描述
读后感
1. 感觉这才是真正的计算机导论。同时发现19世纪到20世纪初的大牛几乎都是早慧的天才，最重要的贡献在30出头那会几乎都已完成。估计跟那个时候没有很强的专业壁垒，而且都是通识教育，可以更早的不受限的进行自由的探索有关。 2. 像某人说的，现在我们看似直接的定义和理论，...
评分“我们常常从工程的角度去理解计算机，却没有机会去了解工程背后的逻辑学家和他们的理论。” 看了这本书之后真的还是受益非浅。从莱布尼兹到冯诺依曼，几代人对计算、对逻辑苦苦的追寻和贡献。 这本书有几个没想到: 1. 生动，平实。很多数学原理讲解地非常浅显易懂。 2. 不...
评分每一章内各小节的组织比较乱，八卦夹杂在一起容易忘掉这人到底干了些什么。理了下我对他们贡献的理解。 1.莱布尼兹大神最早提出一个想法，我们的宇宙可以由一种符号推理演算来表示。 2.乔治·布尔把逻辑学纳入了数学的范畴，即布尔代数。 3.弗雷格发行了形式句法，使后人可...
评分很美很感人的科普著作，对于计算机科学中基本概念发展史上重要数学家数理逻辑学家的温情脉脉的描述呈现出真正富有智慧的人面对无尽的自然界奥秘时的注定的悲哀。在某本书里看到的，“真正的智慧，从觉醒之日起，就包含着绝望的悲哀。” 本书对于希望从数理科学角度思考逻辑学本...
评分用图灵在一次演讲的话可以贯穿本书的核心内容： ”我希望数字计算机能够最终激起人们对符号逻辑的极大兴趣······人与这些机器进行交流的语言······构成了一种符号逻辑。“ 图灵通过细致的观察基本的数学运算，并将数学运算符号化为五元运...
用户评价
三星半，全书八卦撕逼为主看得头晕，但可以把人名轶事都抽离出去，提炼出一条人类抽象思维发展史，感触最大的一处即是把完备定理做如下演绎：“如果指望一台机器不犯错误，那么它就不可能有智能”；此外关于各个型号的原始计算机，包括图灵的通用机模型都介绍得太太太敷衍了……
评分虽然本书讲的是逻辑数学的发展 但我觉得作者有些许语无伦次的倾向 你得费劲力气才能在各个数学家的个人简史中过滤出跟逻辑数学有关的部分然而随后发现你根本无法在作者的引导下理清各个数学家的成就之间的循序渐进的逻辑关系 今晚硬着头皮看完了前三章 明天直接跳过四五六 从七八章开始看算了
评分学校买了本旧书
评分了解一下每天都在使用的计算机的历史。大多数计算机的历史都是关于软硬件，最多讲到差分机的构思，这本书却讲述了计算机的思想起源，数学家们在抽象世界中的探索最终如何汇聚成现实世界中的实物。自然科学探索研究现实世界，从这个角度来说似乎数学并不能被算作科学，这也是许多人的看法，但是作为对抽象世界各种可能性的探索，计算机的例子可以说明抽象世界的可能性映射到物理世界的意义所在。在现实世界里，聚焦于长期目标的基础理论自由探索，因为无法预期收益，总是容易被忽视，但是对全人类来说却可能是下一个计算机这样伟大发明的奠基性工作，如果说我为什么热爱我们的文明，可能就是因为我们的文明之光在黑暗的世界里熠熠生辉吧。
评分牛虻的作者是布尔的闺女
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有