疯狂的罗素--逻辑学与数学的奇妙之旅

五星好书！！！ 

书中内容一窥：

封面 祖母认为知识是可怕的 家庭教师教导的欧几里得的几何 希腊语 希腊语 莎士比亚的十四行诗 原文 英国的现代美术馆中还能看到，战争结束后，艺术和逻辑的崩坏

感想：

用漫画的形式展示了罗素在逻辑学的建设，或者说是逻辑学的历史与进程。罗素的祖母认为知识是可怕的。她的儿子疯了。在这本书里还看到了很多逻辑学家都陷入了疯狂。  罗素因为祖母的缘故，一直想寻求答案，很多事物的答案，他的家庭教师告诉他了欧几里得，让他看到了希望，认为数学能证明一切。但是欧几里得的一些证明是不证而明的。这个是一个很大的问题，逻辑学就是让一切都可以证明。 罗素去了剑桥大学学习数学，在那里他发现了英国数学的弊端。他开始投向哲学的怀抱从雅典哲人 柏拉图，亚里士多德到康德，休谟，笛卡尔，贝克莱，再到黑格尔。有意思的是他认为黑格尔的解说，很模糊。他想去寻找一个确切的回答，这个时候，他找到了一种途径。莱布尼茨的思维演算。 通过数学来证明逻辑，逻辑学这一领域，开始开拓了。 

逻辑学的重言式，还有罗素悖论，无穷集合，无穷级数，希尔伯特的数学问题，《数学基础》，还有布尔等等这些内容，都可以在这本书中发现。

特别是一点，悖论存在的缘故是集合包含了自己本身。在高中数学中，我们学到过。

在看书的过程中，找到了一个个似曾相识，却又模糊的概念，布尔（编程语言中的Boolean类型），莱布尼茨（和牛顿一样，是微积分的创造者），柏拉图（曾经买了一本他的理想国，关于正义的书，还没有看完），笛卡尔（如果我没猜错的话，笛卡尔积我们在数据库原理中看到过），黑格尔（德国的哲学家，与众不同的哲学观），无穷级数，还有冯洛伊曼和图灵（这两个创造计算机科学的大佬）。

在罗素的人生中，还有个 与众不同的学生，维特根斯坦，他的《逻辑哲学论》，对现在的计算机科学还有莫大的影响。不能被证明的恰恰是最重要的。

还提到了，一首诗和一部戏剧，《阿拉斯托尔》和《奥瑞斯提亚》（雅典娜-->陪审团），书中还有一些有趣的语言（法语，特别是希腊语）

囫囵吞枣的看了一周目，让我决定我要买一本，好好研读，真是一本不错的好书。