作者:
Martin Davis
出版社: W. W. Norton & Company
副标题: The Road from Leibniz to Turing
出版年: 2000-10
页数: 256
定价: USD 26.95
装帧: Hardcover
ISBN: 9780393047851
出版社: W. W. Norton & Company
副标题: The Road from Leibniz to Turing
出版年: 2000-10
页数: 256
定价: USD 26.95
装帧: Hardcover
ISBN: 9780393047851
豆瓣评分
内容简介 · · · · · ·
How do today's computers perform such a wide variety of tasks? Davis illustrates how the answer lies in the fact that computers are essentially engines of logic. Their hardware and software embodies concepts developed by logicians sugh as Gottfried Leibniz, Kurt Godel and Alan Turing.
作者简介 · · · · · ·
马丁·戴维斯是计算机科学发展史上的先驱人物,其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一。他是纽约大学库朗数学科学研究所的荣誉退休教授,目前在加州大学伯克利分校做访问学者。
喜欢读"The Universal Computer"的人也喜欢 · · · · · ·
- 哥德尔、艾舍尔、巴赫 9.4
The Universal Computer的书评 · · · · · · ( 全部 39 条 )
什么样的书是好书 —— 关于《逻辑的引擎》
这篇书评可能有关键情节透露
这是一本适合数学系或计算机系本科生阅读的书,它会让你在乏味的学习之余体会到很多乐趣。对于我而言更是有“相逢恨晚”的感觉。它讲出了一些我所知道的东西,所以能看懂,也讲出了一些我不知道的东西,所以很有趣;但最重要的是,它引导我思考,让我明白了程序员“是谁,从哪... (展开)计算机科学是伪科学吗?
// 计算机科学是伪科学吗? 这个问题曾经一度让我焦虑过好多天,作为一个理想成为科学家的人,这个问题的答案对我来说意义重大。在我越来越多地了解计算机科学(computer science)后,内心却对CS属于Science产生了越来越多的怀疑。在一篇和这个问题相关的有些消极和偏激 但其...
(展开)
一本真诚感人深刻的书
很美很感人的科普著作,对于计算机科学中基本概念发展史上重要数学家数理逻辑学家的温情脉脉的描述呈现出真正富有智慧的人面对无尽的自然界奥秘时的注定的悲哀。在某本书里看到的,“真正的智慧,从觉醒之日起,就包含着绝望的悲哀。” 本书对于希望从数理科学角度思考逻辑学本...
(展开)
纪念 Martin Davis
这篇书评可能有关键情节透露
原文链接: https://mp.weixin.qq.com/s/iY0Un2EO5j0t7hPNzwEBoQ 剧透注意:我隐约感觉《三体》的写作受本书影响。下文会解释几处可能的关联,可能会透露某些《三体》第一、二部的情节。 马丁·戴维斯(Martin Davis),20 世纪著名的数学家、计算机科学家,于 2023 年 1 月 1 ... (展开)计算机哲学作为一场梦
本来是对人工智能哲学感兴趣才去翻了翻,想知道计算机发展的主要历史,以及图灵机的相关内容。不过到头来除了对超穷数有了更多理解,对图灵机地运行规则有了些许理解,其他都关注在各位人类学者的人格魅力上了。这本书讲的是计算机发明所需要的逻辑知识的发展历史,而发明者终...
(展开)
希望了解计算机的人必读
“我们常常从工程的角度去理解计算机,却没有机会去了解工程背后的逻辑学家和他们的理论。” 看了这本书之后真的还是受益非浅。从莱布尼兹到冯诺依曼,几代人对计算、对逻辑苦苦的追寻和贡献。 这本书有几个没想到: 1. 生动,平实。很多数学原理讲解地非常浅显易懂。 2. 不...
(展开)
> 更多书评 39篇
论坛 · · · · · ·
在这本书的论坛里发言这本书的其他版本 · · · · · · ( 全部5 )
-
湖南科学技术出版社 (2018)8.2分 215人读过
-
湖南科学技术出版社 (2005)8.4分 1770人读过
-
W. W. Norton & Company (2001)8.5分 22人读过
-
在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- 阿兰·图灵 (Guo Hang)
- & Martin Davis (枘坊)
- A16Z (ichbinluz)
- logic (❤️)
- 1## 数理逻辑 (枘坊)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有19人想读,手里有一本闲着?
订阅关于The Universal Computer的评论:
feed: rss 2.0
1 有用 废梁 2016-11-12 13:26:45
因为对太多的理论只能浅尝轭止,所以不喜欢读通论读物。最喜欢书里关于George Boole和Alan Turing的两章。
1 有用 ae 2011-05-10 12:41:17
中文版叫“逻辑的引擎”
1 有用 废梁 2016-11-12 13:26:45
因为对太多的理论只能浅尝轭止,所以不喜欢读通论读物。最喜欢书里关于George Boole和Alan Turing的两章。
1 有用 ae 2011-05-10 12:41:17
中文版叫“逻辑的引擎”