《极简算法史》这本书你可以把它当成是故事书来读。从古希腊哲学到AI，描绘了异常人类探索数学、算法与逻辑思维，并最终走向AI的梦想之旅。

人物
早在古代，人们就希望能分析思想，其中有两位伟大的思想家：柏拉图和亚里士多德。在他们的时代，作为当今计算机科学的基础的各种原理、规则和概念就开始萌芽了。
人类梦想结合数学和逻辑学这两大相近的分支，德国哲学家莱布尼茨是这一梦想的忠实追随者。今天，我们知道莱布尼茨的梦想恐怕用于不会实现，因为“真正的”和“可论证的”永远是两个截然不同的东西。
但通过这样的碰撞，笛卡尔调和了代数与几何学，英国逻辑学家布尔结合了代合和三段论，美国工程师、麻省理工学院的克劳德香农将二进制计算与电子继电器进行了异类联想。
笛卡尔与坐标系
笛卡尔发明了由x轴和y轴组成的坐标系，成功地调和了几何学和代数，这一坐标系被命名为“笛卡尔”坐标系。笛卡尔的几何代数被命名为“解析几何“。
笛卡尔的成果及其对数学的热情激励了一些天才去探索未知的土地。
第一位是伽利略。伽利略的革命性进展包括：首先用意大利语写书，而在他之前，科学家使用拉丁语；其次，伽利略擅长使用实验仪器，而自古以来，只有工匠才会“弄脏自己的双手”，而科学家不会。伽利略曾说过，“数学语言是上帝用来书写宇宙的文字。”
第二位是布莱士帕斯卡。帕斯卡最让我们感兴趣的是他创建概率论的故事。帕斯卡建立了规则，在给定一个原因的条件下，能够计算出某个给定结果的概率。比如投骰子，出现6的概率多大？
第三位是托马斯贝叶斯。贝叶斯以另外一种方式提出疑问，他想知道，如果给定一个结果，那么产生该结果的原因的概率是多大？换句话说，如果投骰子得到6，那么骰子被动了手脚的概率是多大？

欧拉
莱昂哈德欧拉曾住在哥尼斯堡，这座城市围绕着两座岛而建，岛与岛之间被七座桥连接。欧拉尝试用不同的走法，希望能够恰好通过每座桥一次后，再回到起点，但他所有的尝试都失败了，由此欧拉萌生了对拓扑学、网络学的兴趣。欧拉创立了一种图形表示方法，通过重叠的圆来解决“三段论”。

康德
康德也曾住在哥尼斯堡。康德在逻辑学和数学领域没有做出什么决定性的贡献，但他的贡献不在于此。首先，在他的《纯粹理性批判》中，康德尝试颠覆作为“主体”的我们和在我们周围的客体之间的关系，这让心理学成为新的研究领域；其次，康德曾指出，为了完成“哥白尼式革命”，必须有一个空间的先验概念。简而言之，康德认为，如果我们能够感知一个客体，是因为客体是属于空间的，并且，客体所在的这个空间是欧几里得创立的欧氏几何空间。

布尔
布尔推动了莱布尼茨的梦想。同时，为了将亚里士多德的三段论和代数进行异类联想，换句话说，为了找到“推理的方程”，布尔发明了二进制编码，使得验证论据就如同证明定理一样成为可能。
布尔的研究最终得到了方程x的平方=x，而这个方程仅在x=0或1时才成立，如此一来，二进制运算比计算机技术早诞生了整整100年！

哥德尔
1931年，哥德尔公布了他的“哥德尔不完备性定理”。在这个定理中，哥德尔证明了“真实的”和“可证明的”是两个截然不同的东西，由此宣布莱布尼茨的梦想将永远不会实现。

罗素
罗素是一个时代的象征。当他出生的时候，伦敦还没有电力，当他去世时，地球人已在月球上漫步过了。罗素认为亚里士多德的逻辑一无是处，提出了著名的“罗素悖论”。
罗素希望撰写一本名为《数学原理》的宏伟巨著，但没有成功。

香农
香农的名气不算大，他把自己的全部生活都贡献给了MIT和贝尔实验室。
香农把二进制系统和继电器结合起来，以此实现逻辑功能，建立了早起的逻辑回路。
香农奠定了信息论的基础，他提到了“效率”和“熵”的概念。

诺伯特维纳
维纳在1948年创立了名为“控制论”的新学科，深入研究了自动化的可能性。

图灵
任何文字都不足以描述图灵的伟大，现代所有计算机的原型都是图灵机，无一例外。

第一部分：莱布尼茨之梦
当没什么事可做的时候，你在做什么？

三次“抽象运动”的硕果：算术、几何和代数。
第四次“抽象运动”：最美的逻辑故事。演绎法、归纳法、溯因法。

数学解释了当今世界上的很多问题，但同时也改变了世界。

来一道数学题：如何证明0.999999… = 1

第二部分：三座丰碑
冯诺依曼：在数学中，我们永远不会理解所有的事，但会习惯它…

贝叶斯：互联网之星
香农：如何计算1+1
维纳：控制论（负反馈）

第三部分：自动化理性批判
科学是父亲教给儿子。技术是儿子教给父亲。

我的评论
这本书读来饶有趣味，作者把看似乏味的哲学、数学等等知识通过各种小故事的形式呈现给读者，但又极具逻辑，推荐一读！

《极简算法史》读书札记