布尔简介
乔治·布尔（George Boole ；1815～1864），英国数理逻辑学家，逻辑代数的创始人。生于英格兰的林肯，卒于爱尔兰的科克。出身于手工业者家庭，通过自学掌握了数学。他运用代数方法研究逻辑学，1844年发表了著名的论文《关于分析中的一个普遍方法》，1849年受聘为爱尔兰科克皇后学院教授，并被选为英国皇家学会成员。1847年出版专著《逻辑的数学分析》，1854年出版了《思维规律的研究》。
布尔用数学方法研究逻辑问题，成功地建立了第一个逻辑演算。他用等式表示判断，把推理看作等式的变换。这种变换的有效性不依赖人们对符号的解释，只依赖于符号的组合规律。这一逻辑理论，既可以进行公式推演，又可以对命题取作数值；例如，可以把真命题取作1值，假命题取作0值，由此复杂的命题仅作数值计算就可以求得它为真值还是假值了。这样，把已给的公式中出现的符号的逻辑解释放在一边，把它转变为表示数量的符号，但只能取0或1，对它实现求解的一切必须的步骤；最后再还给它以逻辑的解释。这一理论在布尔之后虽然也有些改进，但它的基本轮廓是布尔建立起来的，因此，人们常称它为布尔代数。20世纪30年代，逻辑代数在电路系统上获得应用，随后，由于电子技术与计算机的发展，出现各种复杂的大系统，它们的变换规律也遵守布尔所揭示的规律。因此，布尔代数的应用日益广泛，它的内容日益普及。
在19世纪中叶，布尔研究人类思维活动所揭示的规律，当时既无明显的实际背景，也不可能考虑到它的实际应用。而几十年后，从20世纪30年代开始，逐步开拓了它的应用，在理论和实践中都发挥了很大的作用。
