还要有题目-_-

2006-08-22 00:04:43 　　来自: 陈炬
逻辑的引擎的评论   

　　去图书馆翻了一本中意的书出来，叫逻辑的引擎。还没有细细地看，只是粗翻了一下，大概就是一个对计算机逻辑模型有巨大贡献的科学家的一个小小的传记。当然，它更像是一部计算机发展（逻辑上，而非工程上）简史。
　　说它是传记，甚至说是历史，但是它不是那么地容易读的，读者需要有一些不那么基本的数学知识，比较缜密的逻辑思维习惯（汗），和一颗安静地心，才能比较好的把这本书读完。
　　今天读的了第一篇，关于莱布尼茨的介绍，为什么介绍莱布尼茨呢？我想并不是因为他开创了微积分领域，而是由于他对形式符号及其推理的痴迷，他认为世事一切都是确定的可逻辑推演的，这些想法都暗合了计算机的哲学，更妙的是他在他那个时代（牛顿时代）就已经对2进制深深痴迷，对它描述世界能力的完备性而描述方式的简洁性都感到惊奇，在现在看来，计算机用二进制逻辑对这个世界的描述与模拟不是正是莱布尼茨的预言么？
　　......
　　目前仅看了一章，待完整的阅读之后，再来做一个完整的评论。