布尔

---

【生卒】：1815—1864

【介绍】：

英国数学家、逻辑学家。他的最大贡献是把莱布尼兹以来，曾设想用数学运算的方法研究逻辑思维程序变成了现实，建立了逻辑代数，也称做“布尔代数”。他是数理逻辑奠基人之一。他的数理逻辑代表作是《逻辑的数学分析——论演绎推理的演算法》和《思维规律研究》。在这两部著作中，他系统地解释了数理逻辑的“类演算”、“命题演算”和“概率演算”，统称之为“布尔代数”。