布尔,G.

图

英国数理逻辑学家,逻辑代数的创造人。1815年11月2日生于英格兰林肯, 1864年12月8日卒于爱尔兰的科克。出身于手工业者家庭,通过自学掌握了数学。他运用代数方法研究逻辑学,1844年发表了著名的论文《关于分析中的一个普遍方法》,1849年受聘为爱尔兰科克皇后学院教授,并被选为英国皇家学会成员。1847年出版专著《逻辑的数学分析》,1854年出版了《思维规律的研究》。

布尔用数学方法研究逻辑问题,成功地建立了第一个逻辑演算。他用等式表示判断,把推理看作等式的变换。这种变换的有效性不依赖人们对符号的解释,只依赖于符号的组合规律。这一逻辑理论,既可以进行公式推演,又可以对命题取作数值;例如,可以把真命题取作1值,假命题取作0值,由此复杂的命题仅作数值计算就可以求得它为真值还是假值了。这样,把已给的公式中出现的符号的逻辑解释放在一边,把它转变为表示数量的符号,但只能取0或1,对它实现求解的一切必须的步骤;最后再还给它以逻辑的解释。这一理论在布尔之后虽然也有些改进,但它的基本轮廓是布尔建立起来的,因此,人们常称它为布尔代数。20世纪30年代,逻辑代数在电路系统上获得应用,随后,由于电子技术与计算机的发展,出现各种复杂的大系统,它们的变换规律也遵守布尔所揭示的规律。因此,布尔代数的应用日益广泛,它的内容日益普及。

在19世纪中叶,布尔研究人类思维活动所揭示的规律,当时既无明显的实际背景,也不可能考虑到它的实际应用。而几十年后,从20世纪30年代开始,逐步开拓了它的应用,在理论和实践中都发挥了很大的作用。