乔治·布尔

乔治·布尔林肯生于1815年11月2日，林肯郡他于1864年12月8日在英国巴林坦普尔郡去世软木塞英国数学家，他帮助建立了现代符号学逻辑他的代数逻辑，现在被称为布尔代数，是设计的基础数字计算机电路．

布尔的第一堂课是在数学他的父亲是个商人，父亲还教他制作光学仪器。然而，除了他父亲的帮助和在当地学校学习了几年之外，布尔的数学是自学的。当他父亲的生意衰落时，乔治不得不工作来养家糊口。从16岁开始，他在约克郡西里丁的乡村学校教书，20岁时，他在林肯开办了自己的学校。在有限的闲暇时间里，他在林肯力学研究所阅读数学杂志。他还读到艾萨克·牛顿的原理，皮埃尔西蒙拉普拉斯的Traité de mécanique céleste,约瑟夫·路易斯·拉格朗日的Mecanique analytique并开始解决先进的问题代数．

布尔向《纽约时报》提交了一系列原创论文剑桥数学杂志从1841年开始，他的《论。分析转换。”这些文件都在微分方程代数问题线性变换，强调不变性的概念。1844年，在一篇重要的论文中皇家学会哲学汇刊《论分析的一般方法》，他因此获得了诺贝尔奖英国皇家学会他讨论了如何运用代数和数学方法微积分可能是合并的。布尔很快发现他的代数也可以应用于逻辑。

他对逻辑方法产生了新颖的想法，并对他从数学研究中得出的符号推理充满信心，他于1847年出版了一本小册子，逻辑的数学分析，是一篇演绎法的论文在书中，他令人信服地指出，逻辑应该与数学结盟，而不是哲学．他赢得了英国逻辑学家的赞赏奥古斯都·摩根，他出版了形式逻辑同年。基于他的出版物，布尔在1849年被任命为数学教授皇后大学他当时在科克郡(现在的科克大学学院)工作，尽管他没有大学学位。1854年，他出版了论逻辑和概率的数学理论所依据的思维规律，他认为这是对自己思想的成熟陈述。第二年，他娶了玛丽·埃佛勒斯，她是乔治·埃佛勒斯爵士这座山就是以他的名字命名的。布尔一家有五个女儿。

布尔是最早写逻辑学的英国人之一，他指出了逻辑学类比代数符号与逻辑形式和三段论之间的区别，说明了量的符号如何与运算的符号分开。布尔在1847年和1854年开始了逻辑代数，也就是现在所说的布尔代数。布尔独创的、卓越的逻辑的一般符号方法推理，全文载于思维法则(1854)，使一个人，给定任何命题涉及任何数量的术语，得出结论，逻辑上包含在前提．布尔深奥的推理导致了他从未梦想过的应用——例如，电话交换和电子计算机使用二进制数字和逻辑元素，这些逻辑元素依赖于布尔逻辑进行设计和操作。他还尝试了一种概率论的方法，可以根据任何事件系统的给定概率来确定结果概率与给定事件有逻辑关联的任何其他事件。

1857年布尔被选为皇家学会会员。有影响力的《微分方程论》这本书于1859年出版，第二年又出版了续集，有限差分微积分论．这些作品被用作多年的教科书体现对布尔更重要发现的详细阐述。

1864年11月24日，布尔在暴风雨中从家中步行三英里到女王学院后感染了肺炎。他于12月8日去世。