影响世界历史的100位科学家

    数理逻辑的奠基人 布尔

    符号逻辑对于建立数学的哲学是必不可少的。

    ——布尔

    英国著名的数学家，逻辑代数的创始人布尔1815年11月2日出生在一个鞋匠家庭，从小家境贫寒，为生活所迫，几乎没有接受正规的学校教育。但他天资聪慧，自学了很多知识，尤其是在数学上的成绩，远远超出了他的同龄人。

    16岁就进入一家私立学校当数学老师后，布尔一边教学一边自学高等数学。在这期间，他研读了牛顿的《自然哲学的数学原理》和拉格朗日的《解析函数论》等一系列数学名著。4年后他自己开办一所学校，但并没有放弃对数学的研究。

    布尔在数学上的最大贡献是用一套符号来进行逻辑演算。大约在几百年前莱布尼兹曾经做过这方面的尝试，它通过选择把那些符号作类似于代数那样的运算。当布尔在研究莱布尼兹的著作时，发现用符号不但可以按照固定的规则来处理，而且还能得出合乎逻辑的结果。于是布尔想：如果把这些符号系统起来，像代数符号一样进行运算岂不是更好。接下来，布尔就沿着这个目标开始深入研究。