书名：逻辑的引擎
作者：马丁·戴维斯
译者：张卜天
出版社：湖南科学技术出版社
出版时间：2018-03-23
ISBN：9787535794420

第2章　布尔把逻辑变成代数

一、生平经历

  1815年11月2日，乔治·布尔出生于英国东部的林肯镇的补鞋匠家庭。天才的他家自学成才，不仅学习了拉丁语和希腊语，学习了法语和德语，而且还能用这些语言写出数学研究论文。

  布尔的社会阶层以及不合常规的教育使他丧失了在一所英国大学任职的机会。但爱尔兰在1849年任命了布尔为科克皇后学院的数学教授。

  布尔40岁时结婚，49岁因患肺炎去世。
  他有5个女儿。三女儿艾丽西娅是数学家，小女儿埃塞尔·莉莲的丈夫威尔弗雷德·伏尼契从牢房中看到了到华沙的她，之后到伦敦重逢成就了婚姻。之后莉莉写出《牛虻》(The Gadfly)一书，作为《牛虻》的作者，她在1955年91岁的时候收到一张15000美元的支票。

二、布尔的逻辑代数（即计算机专业课的《布尔代数》）

  苏格兰哲学家威廉·汉密尔顿爵士与布尔的朋友奥古斯都·德摩根之间的一场争论，使布尔的思想灵光闪现，他想：逻辑关系也许可以表示成一种代数。

  布尔逐渐认识到，在逻辑推理中，像“有生命的”“河马”或“人”这样一些词的重要之处在于它所描述的所有个体的类(class)或群体(collection)：有生命事物的类、河马的类、人的类。
  不仅如此，他还认识到这种类型的推理可以用一种关于这些类的代数来表达。
  布尔用字母来表示类，就像字母以前曾被用来表示数或算子一样。
  在某种意义上，布尔认为这种类的运算类似于数的乘法运算。

  布尔的著作《思维的法则》，是关于逻辑作为数学的一种形式的革命性专著。

  布尔的逻辑代数把复杂的推理还原为简单方程的运算。

三、布尔与莱布尼茨之梦

  乔治·布尔的伟大成就是一劳永逸地证明了逻辑演绎可以成为数学的一个分支。

  布尔的逻辑体系不仅包含了亚里士多德的逻辑，而且还远远超过了它。但这距离实现莱布尼茨的梦仍旧非常遥远。