主题：逻辑和计算机 -- texasredneck

我猜测，楼主学过逻辑，但应该没有学过计算复杂性。

从逻辑的角度来理解计算机和图灵的工作，当然可以把计算机看作是逻辑的一个分支。而事实上，从这个观点出发，几乎所有的数学分支，都可以理解为逻辑的一个分支了。所以，这样理解，无法说明计算机的重要性，也无法解释为什么计算机极大地改变了世界的面貌。

我觉得：可以从逻辑的角度来分析/看待计算机，但不能完全从逻辑的角度来理解计算机。如同说“今天的计算机科学只是有限数学的一个分支”一样，这句话从根本上当然不算错，但却掩盖了太多的具体事实，从全局的角度来看具有极大的误导性，以至于这句话的概括作用远远赶不上它的负面作用大。

计算机是一个用于计算的机器，但不是一个普通的机器。它和汽车、飞机等机器的本质区别，决定了计算机近乎无限的用途，以至于让人类在半个多世纪前就对所谓的“人工智能时代”想入非非。而从逻辑的角度，是无法理解计算机和汽车的本质区别的。

图灵最重要的工作，是提出了“图灵机”这个概念，这个概念的重要性，怎样夸大都不为过。至于停机问题，只是康托尔的对角线方法的一个简答应用；甚至，从哥德尔不完全定理的角度来看，停机问题不能算是这个系统不完备的最佳例证。

图灵不是“被广泛地认为是计算机科学之父”，他就是“计算机之父”，不仅仅是计算机科学，还包括计算机工程。再往下排的话，大概要算丘奇了。冯诺依曼的贡献当然也很大，但确实无法与这两个人相比。打个比方来说，图灵在一张白纸上为计算机工作者划了一个有阿列夫零个表项的表格，而今天的大多数计算机工作者，只是在其中的一个或者若干个表项中填入一点内容而已。