逻辑的引擎
现在，让我们回到理论计算机的类比上来。。。。。可以证明，我们能够制造出一台那种特殊类型的机器来完成所有这一切的工作。事实上，它可以作为任何其他机器的一个模型。这种特殊的机器或可被称为“通用机”。
————阿兰·图灵， 1947年
1945年秋，正当包含了数千跟真空管的巨型计算机ENIAC在费城的摩尔电子工程学院接近完成之时，一群专家定期会面以对其计划中的继承者EDVAC进行讨论。专家们随即分成了两派，即所谓的“工程师”和“逻辑学家”。逻辑学派的领导者就是著名的冯诺依曼。真是因为冯同学的一份毫不在意工程细节的报告，提出了今天以冯诺依曼结构而闻名的逻辑计算机的基本设计。
尽管ENIAC是工程上的极品，但他却是一堆逻辑上的东西。正是冯诺依曼作为一个逻辑学家的技能—以及他从英国逻辑学家图灵那里学到的东西—使他能够理解，计算机实际就是逻辑机器。
我们常常从工程的角度去理解计算机，却没有机会去了解工程背后的逻辑学家和他们的理论。当前，正当计算机技术以惊人的速度前进时，正当我们羡慕工程师们令人瞩目的成就之时，我们很容易忘记那些逻辑学家，正是他们的思想使得这一切成为可能。
这本书讲述的是现代计算机背后的那些基本概念和发展出这些概念的人，从本质层次深入浅出的讲到了计算概念包含的数学问题。很多计算机相关专业的学生对计算理论的数学根基掌握不是很好，本书很有帮助。
人们总是喜欢把工科和理科划分的很清，应该承认，毕竟工程师的实用主义造就了这个时代最耀眼的财富和人物；但是另一方面，逻辑学家对于计算本质的深刻洞察让人惊叹，无数工程方面的成就都是植根于他们丰富而深刻的思想。如果关于计算本质方面的思考受到更多重视的话，许多工程方面的突破可以来得更早。
如果你从事的计算机工作，这本书值得一读。这是一段探寻逻辑的边界以及介于其间的机器的美妙历史。
觉得本文不错的话，在这里给我投票
http://www.feedsky.com/challenge/art/40796/feedsky/lifegear/~/gtsp/zt2/06562/lnk.html
Tags: Book
不错。我在想，关于汽车会不会也有一本这样的书呢？记得起的是《发动机的浪漫》，但已经找不到了~~~
[回他/她]
@sagi 《发动机的浪漫》。。。这名字不错。。。
[回他/她]
有些google黑板报的风格啊，不错！
[回他/她]
@TOTORO 可能是讲的比较历史吧。 =o=
[回他/她]
分不清理与工,而电脑对自己像是一只能写得很快的笔而已…哈哈…
[回他/她]
@sofish 也是让你忘了怎么写字的东东。。。
[回他/她]
理与工原来是分开的，我一直以为是理工。
无论理、工，都必须以数学为前提。
[回他/她]
好书。
投票了。
[回他/她]
@Feng 所以我一直很佩服那些出色的数学家~
@Gomain 有时间去看看吧，绝对对个人的思维方式有帮助的 ：）
[回他/她]
本人是蛮喜欢一些谈论基础学科的书，赞一个
[回他/她]
@老黄 看来大家都喜欢基础学科。
[回他/她]