George Boole

　　George Boole是一个英国的数学家，并被认为是数理逻辑的创始人。出身于一个穷苦家庭的Boole是一个自学成材的数学家，在他的书“The Mathematical Analysis of Logic”出版之后，于1847年他真正成为了知名的世界数学家。在他的书中，他成功的论证了Aristotle提出的逻辑可以用代数等式来表示。在1854年，他又发表了“An Investigation of the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities”，随着这本书的发表Boole的名誉也最终确定下来了。

　　1855年Boole与现在也被认为是数学家的Mary Everest结成了夫妻。Mary比Boole小10岁，在结婚后的9年里，她帮Boole整理并提出一些意见。不幸的是，由于Mary在治疗方法上做出的错误选择使Boole向死亡又迈进了一步。他们有五个女儿，其中第三个女儿Alicia Boole Stott由于在多维空间方面的可视化几何学上的研究工作突出而有一定的知名度。

　　Boole在符号逻辑上的研究成果统称为“布尔代数”，一般人们认为这些成果是以早期数学家G.W.Leibniz的工作成果为基础的，尽管在Boole的有生之年，其工作成果是广为人们接受的，但是直到1938年，其工作成果才被归为纯数学的。随着布尔代数在电话交换和计算机工程中的实际应用，它逐渐成为数字电子设计的基础。

　　现在使用Internet上的搜索引擎时，我们就是使用Boole的数学概念，通过定义我们输入的词之间的关系来帮助我们定为信息。例如，搜索George AND Boole时将得到所有同时出现Gorge和Boole的文章。我们称这种搜索为布尔搜索。