出版社: W. W. Norton & Company
副标题: Mathematicians and the Origin of the Computer
出版年: 2001-09
页数: 272
定价: USD 19.95
装帧: Paperback
ISBN: 9780393322293
内容简介 · · · · · ·
Computers are ubiquitous yet to many they remain objects of irreducible mystery. This text looks at the question of how today's computers can perform such a variety of tasks if computing is just glorified arithmetic. The author illustrates how the answer lies in the fact that computers are essentially engines of logic and that their hardware and software embody concepts develop...
Computers are ubiquitous yet to many they remain objects of irreducible mystery. This text looks at the question of how today's computers can perform such a variety of tasks if computing is just glorified arithmetic. The author illustrates how the answer lies in the fact that computers are essentially engines of logic and that their hardware and software embody concepts developed over centuries by logicians. "Engines of Logic" gives the reader a clear explanation of how and why computers work.
作者简介 · · · · · ·
马丁·戴维斯是计算机科学发展史上的先驱人物,其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一。他是纽约大学库朗数学科学研究所的荣誉退休教授,目前在加州大学伯克利分校做访问学者。
喜欢读"Engines of Logic"的人也喜欢 · · · · · ·
Engines of Logic的书评 · · · · · · ( 全部 39 条 )
什么样的书是好书 —— 关于《逻辑的引擎》
这篇书评可能有关键情节透露
这是一本适合数学系或计算机系本科生阅读的书,它会让你在乏味的学习之余体会到很多乐趣。对于我而言更是有“相逢恨晚”的感觉。它讲出了一些我所知道的东西,所以能看懂,也讲出了一些我不知道的东西,所以很有趣;但最重要的是,它引导我思考,让我明白了程序员“是谁,从哪... (展开)计算机科学是伪科学吗?
一本真诚感人深刻的书
纪念 Martin Davis
这篇书评可能有关键情节透露
原文链接: https://mp.weixin.qq.com/s/iY0Un2EO5j0t7hPNzwEBoQ 剧透注意:我隐约感觉《三体》的写作受本书影响。下文会解释几处可能的关联,可能会透露某些《三体》第一、二部的情节。 马丁·戴维斯(Martin Davis),20 世纪著名的数学家、计算机科学家,于 2023 年 1 月 1 ... (展开)计算机哲学作为一场梦
希望了解计算机的人必读
> 更多书评 39篇
论坛 · · · · · ·
在这本书的论坛里发言这本书的其他版本 · · · · · · ( 全部5 )
-
湖南科学技术出版社 (2018)8.2分 215人读过
-
湖南科学技术出版社 (2005)8.4分 1770人读过
-
W. W. Norton & Company (2000)暂无评分 6人读过
-
以下书单推荐 · · · · · · ( 全部 )
- 第一推动力系列的原版们 (→)
- Fun to read Math, Science and Engineering books (Stochastic)
- & Martin Davis (枘坊)
- logic set (echo)
- 待售书目一代目 (flanker27)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有116人想读,手里有一本闲着?
订阅关于Engines of Logic的评论:
feed: rss 2.0
1 有用 . 2014-09-17 16:42:42
作者所讲述的历程大多耳熟能详,唯一不太熟悉的是布尔代数。除了介绍历史普及知识,作者还顺便讲了不少八卦,颇有趣味。文末说,除了图灵之外其他人都未曾预见自己的工作会得到如此应用,无心插柳柳成行,科学的前进总是出乎意料,故而切莫短视,对科学家感到不耐烦,那一丁点牢骚,的确真实。
1 有用 Soo Yung 2015-01-27 13:14:37
终于乘下雪的夜晚读完了计算机史,简直就是一部曲折蔓延伟大的数学史啊!从莱布尼茨开创微积分,乔治布尔用0/1将逻辑化为代数(哲学)到 弗雷格发明逻辑学的基本形式符号,康托尔的离散数学(实数和自然数的连续性以及对角线证明)。希尔伯特那段元数学把我吓得不轻,差点忽略了重要的希尔伯特23问和判定性问题。哥德堡近乎是全书里立大功的人,除开哥德堡不完备定律(第三次数学危机啊),他所建立在逻辑公式下的符号语言太... 终于乘下雪的夜晚读完了计算机史,简直就是一部曲折蔓延伟大的数学史啊!从莱布尼茨开创微积分,乔治布尔用0/1将逻辑化为代数(哲学)到 弗雷格发明逻辑学的基本形式符号,康托尔的离散数学(实数和自然数的连续性以及对角线证明)。希尔伯特那段元数学把我吓得不轻,差点忽略了重要的希尔伯特23问和判定性问题。哥德堡近乎是全书里立大功的人,除开哥德堡不完备定律(第三次数学危机啊),他所建立在逻辑公式下的符号语言太惊艳了,就是最最最基础的Coding编程,程序语言啊。图灵果然也是真爱,图灵机判断奇偶和无法解决的判断问题那两段证明太帅了,到这时才算真正的Compuation概念应用。至于诺依曼以计算机之父出场制造EDVAC时,上追罗素、泛及康德和维特根斯坦的(数学、哲学、逻辑、语言学)计算机史将更加辉煌 M. (展开)
0 有用 永远自由的心 2018-09-16 16:00:07
From Math to Computer Science
0 有用 whiterabbit 2012-06-09 08:55:28
莱布尼茨-布尔-弗雷格-康托尔-罗素-希尔伯特-哥德尔-图灵-冯诺依曼。不过it's still not clear how Godel incompleteness theorem is related to Turing's universal machine.
1 有用 淇厚生 2015-04-04 18:17:47
感觉就是介绍每个人物的生平然后再简略介绍下工作。。。
0 有用 :~$ .. 2019-08-22 23:03:18
who knows all the great mathmaticians all struggled with god's existence ...
0 有用 nautilus 2019-02-15 09:46:29
everything we have today comes from the very first idea of a mathematician: why not abstract everything?
0 有用 永远自由的心 2018-09-16 16:00:07
From Math to Computer Science
0 有用 西代 2018-08-27 09:11:08
英文原书不好读,充斥了大量的长难句和历史背景。但书的内容没得说,可以作为逻辑与计算的学习主线
0 有用 廿五 2015-06-06 09:24:01
宋老师推荐的科普书,写的非常漂亮,不过还是有不少地方没看懂