| 布尔 George Boole1815—1864 英国数学家、逻辑学家，布尔代数经典理论的开拓者。依靠自学而成为数学家。1849年起任爱尔兰科克城女王学院(今爱尔兰国立大学科克大学学院)数学教授。1857年当选为英国皇家学会会员。对微分方程和概率论等数学分支颇有研究，但其主要贡献是创立了逻辑代数。意识到形式系统的语法和语义之间的联系与区别。指出符号代数系统的有效性不依赖于符号的解释，而只依赖于符号的组合规律，同一系统可以有不同的解释而不影响其有效性。应用代数方法研究逻辑问题，并从外延的观点考虑逻辑关系，从而成功地构造了逻辑代数系统，精确地表现了逻辑关系与某些数学运算之间的对应关系。相当数量的普通代数运算在该系统中仍然有效。认为逻辑是代数的一部分。对自己的代数系统给出四种解释：一种是类演算的、一种是概率演算的、另两种是命题演算的。布尔系统的建立，实现了莱布尼茨关于建立逻辑演算系统的设想。该系统对于传统逻辑所承认的推理形式给了代数的表示，解决了许多以往的逻辑学说极难处理的复杂问题，推动了现代形式逻辑的发展。其代数系统经改进现今称为布尔代数。布尔的观点还被成功地应用于计算机线路的设计。由于正式提出改革传统逻辑的主张与具体方案，被认为是继莱布尼茨之后的数理逻辑的创始人之一。主要论著有《关于分析中的一个普遍方法》(1844)、《逻辑的数学分析：论演绎推理的演算法》(1847)、《对于奠定逻辑和概率的数学理论基础的思维规律的研究》(1854)等。 |