作者:
[美]
马丁·戴维斯
出版社: 湖南科学技术出版社
原作名: Engines of logic
译者: 张卜天
出版年: 2005-5
页数: 293
定价: 20.00元
装帧: 平装
丛书: 第一推动丛书
ISBN: 9787535742391
出版社: 湖南科学技术出版社
原作名: Engines of logic
译者: 张卜天
出版年: 2005-5
页数: 293
定价: 20.00元
装帧: 平装
丛书: 第一推动丛书
ISBN: 9787535742391
内容简介 · · · · · ·
本书介绍了现代计算机背后的那些基本概念和发展这些概念的人，描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。博达著作权代理有限公司授权出版据美国W.W.Norton公司2000年版本译出。2007年第二版亦使用同一ISBN。
逻辑的引擎的创作者
· · · · · ·
![[美] 马丁·戴维斯](https://img1.doubanio.com/f/vendors/8dd0c794499fe925ae2ae89ee30cd225750457b4/pics/personage-default-medium.png)
作者简介 · · · · · ·
马丁·戴维斯是计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一。他是纽约大学库朗数学科学研究所的荣誉退休教授，目前在加州大学伯克利分校做访问学者。
目录 · · · · · ·
原文摘录 · · · · · · ( 全部 )
-
阿隆佐·丘奇（1903-1995）在繁荣美国的逻辑学研究方面起到了关键性的作用。他创立了颇有影响力的《符号逻辑杂志》（Journal of Symbolic Logic），并且担任编辑长达40多年。另一位著名的美国逻辑学家斯蒂芬·克林（1909-1994）是丘奇的31位博士生之一（我也是其中之一）。 (查看原文) —— 引自第185页 -
他梦想对一种普遍的人工数学语言和演算规则进行一种百科全书式地汇编，知识的任何一个方面都可以用这种数学语言表达出来，而演算规则则可以揭示这些命题之间的所有逻辑关系。最后，他梦想能够制造出完成这些演算的机器，从而使心灵从创作性的思考中解脱出来。 (查看原文) —— 引自章节：序言、引言与第一章
> 全部原文摘录
丛书信息
· · · · · ·
第一推动丛书(共72册)，
这套丛书还有
《量子之谜》《恒星与行星的诞生》《数学的意义》《宇宙的结构》《无限远的边缘》
等
。
喜欢读"逻辑的引擎"的人也喜欢的电子书 · · · · · ·
支持 Web、iPhone、iPad、Android 阅读器
喜欢读"逻辑的引擎"的人也喜欢 · · · · · ·
逻辑的引擎的书评 · · · · · · ( 全部 40 条 )
劈马喂柴
什么样的书是好书 —— 关于《逻辑的引擎》
这篇书评可能有关键情节透露
这是一本适合数学系或计算机系本科生阅读的书，它会让你在乏味的学习之余体会到很多乐趣。对于我而言更是有“相逢恨晚”的感觉。它讲出了一些我所知道的东西，所以能看懂，也讲出了一些我不知道的东西，所以很有趣；但最重要的是，它引导我思考，让我明白了程序员“是谁，从哪... (展开)
Ginko-X
计算机科学是伪科学吗？
// 计算机科学是伪科学吗？ 这个问题曾经一度让我焦虑过好多天，作为一个理想成为科学家的人，这个问题的答案对我来说意义重大。在我越来越多地了解计算机科学（computer science）后，内心却对CS属于Science产生了越来越多的怀疑。在一篇和这个问题相关的有些消极和偏激 但其...
(展开)
水龙吟
一本真诚感人深刻的书
很美很感人的科普著作，对于计算机科学中基本概念发展史上重要数学家数理逻辑学家的温情脉脉的描述呈现出真正富有智慧的人面对无尽的自然界奥秘时的注定的悲哀。在某本书里看到的，“真正的智慧，从觉醒之日起，就包含着绝望的悲哀。” 本书对于希望从数理科学角度思考逻辑学本...
(展开)
Marine
湖南科学技术出版社2018版
纪念 Martin Davis
这篇书评可能有关键情节透露
原文链接： https://mp.weixin.qq.com/s/iY0Un2EO5j0t7hPNzwEBoQ 剧透注意：我隐约感觉《三体》的写作受本书影响。下文会解释几处可能的关联，可能会透露某些《三体》第一、二部的情节。 马丁·戴维斯（Martin Davis），20 世纪著名的数学家、计算机科学家，于 2023 年 1 月 1 ... (展开)
天然作用子结构
湖南科学技术出版社2018版
计算机哲学作为一场梦
本来是对人工智能哲学感兴趣才去翻了翻，想知道计算机发展的主要历史，以及图灵机的相关内容。不过到头来除了对超穷数有了更多理解，对图灵机地运行规则有了些许理解，其他都关注在各位人类学者的人格魅力上了。这本书讲的是计算机发明所需要的逻辑知识的发展历史，而发明者终...
(展开)
太阳是黑色的
希望了解计算机的人必读
“我们常常从工程的角度去理解计算机，却没有机会去了解工程背后的逻辑学家和他们的理论。” 看了这本书之后真的还是受益非浅。从莱布尼兹到冯诺依曼，几代人对计算、对逻辑苦苦的追寻和贡献。 这本书有几个没想到: 1. 生动，平实。很多数学原理讲解地非常浅显易懂。 2. 不...
(展开)
> 更多书评 40篇
这本书的其他版本 · · · · · · ( 全部5 )
在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- 【书】所谓知识的另一种 (自娱者小五)
- 第一推动丛书 (RMR)
- 逻辑与分析哲学（科学哲学、语言哲学、心灵哲学、逻辑哲学）学习书目 (水井八)
- 理性批判性思维阅读书籍 (秋叶)
- 我的书目-自然科学部分 (忆未名)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
订阅关于逻辑的引擎的评论:
feed: rss 2.0
1 有用 掐出新鲜 2010-06-09 17:16:57
我经常被数学家和物理学家把我的脑子搞得天翻地覆，震得我目瞪口呆。多年以后，重拾数学。补课咯……
23 有用 蓬山远 2012-05-26 19:21:50
牛虻的作者是布尔的闺女
2 有用 AlbertLee 2012-09-03 22:25:43
感觉就是一本介绍各位先哲的八卦的书。
1 有用 毁桥 2009-12-08 13:56:26
发现每本数理逻辑的科普几乎都在说相同的东西
4 有用 SternaParadisa 2016-03-03 17:03:15
三星半，全书八卦撕逼为主看得头晕，但可以把人名轶事都抽离出去，提炼出一条人类抽象思维发展史，感触最大的一处即是把完备定理做如下演绎：“如果指望一台机器不犯错误，那么它就不可能有智能”；此外关于各个型号的原始计算机，包括图灵的通用机模型都介绍得太太太敷衍了……