逻辑的引擎 pdf epub mobi txt 电子书 下载 2025
马丁·戴维斯是计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一。他是纽约大学库朗数学科学研究所的荣誉退休教授，目前在加州大学伯克利分校做访问学者。
- 逻辑
- 科普
- 计算机
- 数学
- 计算机科学
- 计算机史
- 哲学
- 逻辑的引擎
本书介绍了现代计算机背后的那些基本概念和发展这些概念的人，描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。博达著作权代理有限公司授权出版据美国W.W.Norton公司2000年版本译出。2007年第二版亦使用同一ISBN。
具体描述
读后感
俺最喜欢结尾的这句话： 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...
评分 评分每一章内各小节的组织比较乱，八卦夹杂在一起容易忘掉这人到底干了些什么。理了下我对他们贡献的理解。 1.莱布尼兹大神最早提出一个想法，我们的宇宙可以由一种符号推理演算来表示。 2.乔治·布尔把逻辑学纳入了数学的范畴，即布尔代数。 3.弗雷格发行了形式句法，使后人可...
评分很美很感人的科普著作，对于计算机科学中基本概念发展史上重要数学家数理逻辑学家的温情脉脉的描述呈现出真正富有智慧的人面对无尽的自然界奥秘时的注定的悲哀。在某本书里看到的，“真正的智慧，从觉醒之日起，就包含着绝望的悲哀。” 本书对于希望从数理科学角度思考逻辑学本...
评分* 计算通过在一条被划分成方格的纸带上写下符号来进行。 * 执行计算的人在每一步都只注意其中一个方格中的符号。 * 她的下一步将仅仅取决于这个符号和她当前的心灵状态。 * 她的下一步是这样的：她在当前注意的方格里写下一个符号，然后把注意力转向它左边或右边的相邻方格。 ...
用户评价
我经常被数学家和物理学家把我的脑子搞得天翻地覆，震得我目瞪口呆。多年以后，重拾数学。补课咯……
评分从数学与逻辑的角度讲述计算机的发展史。 我们只知道电子管、晶体管、集成电路，却不知道计算机背后的思想。莱布尼茨、布尔、希尔伯特、哥德尔、图灵、冯诺依曼。。。那些伟大的名字不应该被忘记。
评分三星半，全书八卦撕逼为主看得头晕，但可以把人名轶事都抽离出去，提炼出一条人类抽象思维发展史，感触最大的一处即是把完备定理做如下演绎：“如果指望一台机器不犯错误，那么它就不可能有智能”；此外关于各个型号的原始计算机，包括图灵的通用机模型都介绍得太太太敷衍了……
评分令人目眩的激情、幽默。有梦的人有福了。
评分了解一下每天都在使用的计算机的历史。大多数计算机的历史都是关于软硬件，最多讲到差分机的构思，这本书却讲述了计算机的思想起源，数学家们在抽象世界中的探索最终如何汇聚成现实世界中的实物。自然科学探索研究现实世界，从这个角度来说似乎数学并不能被算作科学，这也是许多人的看法，但是作为对抽象世界各种可能性的探索，计算机的例子可以说明抽象世界的可能性映射到物理世界的意义所在。在现实世界里，聚焦于长期目标的基础理论自由探索，因为无法预期收益，总是容易被忽视，但是对全人类来说却可能是下一个计算机这样伟大发明的奠基性工作，如果说我为什么热爱我们的文明，可能就是因为我们的文明之光在黑暗的世界里熠熠生辉吧。
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有