乔治·布尔

乔治·布尔(生于1815年11月2日,林肯,林肯郡,England-died 12月8日,1864年,Ballintemple,科克,爱尔兰),英国数学家曾帮助建立现代化的象征逻辑和代数的逻辑,现在叫布尔代数基本的设计数字计算机电路。

布尔给他的第一堂课数学受他父亲,一位商人,他也教他做光学仪器。除了他父亲的帮助,几年在当地的学校,然而,布尔是自学的数学。当他父亲的业务下降,乔治不得不工作养家糊口。从16岁开始他教村里的学校在约克郡的西区,他开设了自己的学校20岁时在林肯。在缺乏空闲时间他读数学期刊在林肯的力学研究所。在那里,他也读艾萨克·牛顿的原理,皮埃尔西蒙拉普拉斯的行程de mecanique天蓝色,约瑟夫·路易斯·拉格朗日的Mecanique analytique并开始解决高级的问题代数。

布尔提交的原始文件剑桥数学杂志从1841年开始,与他的“研究的理论分析转换。“这些论文微分方程线性变换的代数问题,强调不变性的概念。1844年,在一篇重要的论文英国皇家学会哲学学报分析的一般方法,“他被授予英国皇家学会对数学的第一枚奥运金牌,他讨论了如何结合代数和微积分的方法。布尔很快就看到他的代数也可以应用于逻辑。

开发新颖的想法在符号推理逻辑方法和自信他来自数学调查,他在1847年出版了一本小册子,逻辑的数学分析,一篇文章对演绎推理的微积分中,他令人信服地指出逻辑应该与数学结盟,而不是哲学。他赢得了赞赏的英语逻辑学家奥古斯都•德•摩根发表形式逻辑同年。的基础上他的出版物,布尔在1849年被任命为皇后学院的数学教授,科克(现科克大学),尽管他没有大学学位。1854年,他发表的调查的法律思想,建立逻辑与概率的数学理论,他被视为一个成熟的声明他的想法。明年他娶了玛丽珠穆朗玛峰,侄女的乔治爵士珠穆朗玛峰,对他们来说,山命名。bool有五个女儿。

的第一个英国人写的逻辑,布尔代数之间的类比指出符号和那些能代表逻辑形式和三段论,显示数量的符号可以分开的操作。与布尔代数在1847年和1854年开始的逻辑,或者是现在被称为布尔代数。布尔的原始和非凡的通用符号逻辑推理的方法,全面规定法律的思想(1854),使一个,给出任何命题涉及任何数量的计算,得出的结论中包含的逻辑前提。布尔深奥的推理导致他从未梦寐以求的应用例子,电话交换和电子计算机使用二进制数字和逻辑元素依赖于布尔逻辑的设计和操作。他还试图概率的一般方法,将有可能从任何系统的给定概率的事件来确定的概率任何其他事件的逻辑与给定的事件。

布尔在1857年当选为英国皇家学会会员。有影响力的论述微分方程出现在1859年,明年之后的续集,论述了差分演算。用作教科书多年,这些作品体现一个细化的布尔更重要的发现。

布尔感染肺炎后离家步行三英里的皇后学院在暴雨11月24日1864年。他于12月8日死亡。