布尔是英国数理逻辑学家,逻辑代数的创始人。1815年11月2日生于英格兰的林肯,1864年12月8日卒于爱尔兰的科克。

  布尔出身于手工业者家庭,通过自学掌握了数学。他运用代数方法研究逻辑学,1844年发表了著名的论文《关于分析中的一个普遍方法》,1849年受聘为爱尔兰科克皇后学院教授,并被选为英国皇家学会成员。

  布尔使用数学方法研究逻辑问题,成功地建立了第一个逻辑演算。他用等式表示判断,把推理看作等式的变换。这种变换的有效性只依赖于符号的组合规律。这一逻辑理论,既可以进行公式推演,又可以对命题取作数值。在19世纪中叶,布尔研究人类思维活动所揭示的规律,当时既无明显的实际背景,也不可能考虑到它的实际应用。从20世纪30年代开始,逐步开拓了它的应用,在理论和实践中都发挥了很大的作用。