乔治·布尔（1815年11月2日－1864年12月8日）是英国数学家和哲学家。他因将逻辑从语言的哲学研究转变为使用二进制值和逻辑运算符的代数方程数学体系而闻名。他发展的布尔代数奠定了逻辑代数传统的基础，并构成了数字电路设计和现代计算机科学的基石。
布尔一生中发表了约50篇文章和若干独立出版物。他的主要著作包括《逻辑的数学分析》（1847年），该书引入了符号逻辑，以及《思维定律》（1854年），其中包含他对布尔代数最完整的阐述。他还撰写了两部系统论著：《微分方程论》（1859年）和《有限差分微积分论》（1860年）。他对数学的贡献为他赢得了多项荣誉，包括皇家学会颁发的首个数学金奖、基思奖章，以及都柏林大学和牛津大学的荣誉学位。
早年生活与教育
布尔于1815年11月2日出生在英格兰林肯郡林肯市，父亲约翰·布尔（1779–1848年）是一名鞋匠，母亲是玛丽·安·乔伊斯。他接受了小学教育并受到父亲的指导，但由于家庭生意严重衰退，他几乎没有进一步的正规学术教育。林肯的书商威廉·布鲁克可能帮助他学习了拉丁语，他可能也在托马斯·班布里奇的学校学过这门语言。他在现代语言方面主要靠自学。当当地一家报纸刊登了他翻译的一首拉丁诗时，一位学者指责他抄袭，认为他没有能力完成这样的作品。
16岁时，布尔成为父母和三个弟弟妹妹的养家糊口者，在唐卡斯特的希格姆学校担任初级教师职位。他曾在利物浦短暂任教。他参与了1833年成立的林肯机械学院，爱德华·布罗姆黑德在那里帮助他获取数学书籍。林肯圣斯威辛教堂的乔治·史蒂文斯·迪克森牧师给了他西尔维斯特·弗朗索瓦·拉克鲁瓦的微积分教材。在没有老师的情况下，布尔花了多年时间才掌握微积分。
19岁时，布尔在林肯自由学校巷建立了自己的学校。四年后，在罗伯特·霍尔去世后，他接管了沃丁顿的霍尔学院。1840年，他搬回林肯，在那里经营一所寄宿学校。他参与了林肯地形学会，担任委员会成员，并提交了一篇题为《论多神教的起源、进展和趋势，尤其是在古埃及人和波斯人中，以及在现代印度》的论文。
数学开端
从1838年起，布尔与英国学术界友好的数学家建立了联系，并更广泛地阅读。他以当时理解的符号方法形式研究代数，并开始发表研究论文。1844年，他的论文《论分析中的一般方法》获得了皇家学会颁发的首个数学金奖。这项工作对早期不变量理论和线性微分方程理论做出了贡献。
1847年，布尔出版了《逻辑的数学分析》，该书引入了符号逻辑。这项工作发展了布尔代数，这是二进制逻辑中的一个基本概念。该系统使用二进制值（真/假，1/0）和逻辑运算符（如AND、OR和NOT），以代数方程形式表达。这为逻辑代数传统奠定了基础。
皇后学院科克分校教授职位
布尔作为数学家的地位在1849年得到认可，他被任命为爱尔兰皇后学院科克分校（现为科克大学学院）的首位数学教授。他主要致力于微分方程和代数逻辑领域。1850年，他在玛丽·埃弗雷斯特拜访其叔叔约翰·赖尔（希腊语教授）时遇到了她，两人于1855年结婚。
布尔与林肯保持联系，与E. R. 拉肯合作开展减少卖淫的运动。1861年，他参与了爱尔兰女王法庭对斯莱戈克雷格豪斯的约翰·休伊特·惠特利的一项判决，涉及400英镑的金额，惠特利在科克郡马汉/马洪的土地权益因此归属于布尔。
1863年3月，布尔租下了科克的利奇菲尔德小屋，与妻子一起居住直到1864年12月去世。他的遗嘱将租约中的全部“遗产期限和权益”留给了妻子。1865年8月，玛丽（当时住在伦敦哈利街68号）将房子转给了科克巴利坦普尔的弗朗西斯·赫德，后者是女王陛下南科克第87团的上尉。
思维定律与布尔代数
布尔最著名的身份是《思维定律》（1854年）的作者，该书包含了他对布尔代数最系统的阐述。在这部著作中，他试图发现概率中的一般方法，重点在于确定与给定概率逻辑相关的事件的后续概率。该书形式化了逻辑代数，展示了逻辑推理如何表达为对二进制变量的代数运算。
布尔代数成为现代数字逻辑的基石。在20世纪30年代，克劳德·香农和维克托·舍斯塔科夫独立地利用布尔代数优化机电继电器系统的设计，从而促成了现代电子数字计算机的发展。这项工作被认为帮助奠定了信息时代的基础。布尔逻辑至今仍是计算机编程和数字电路设计不可或缺的部分。
晚年与荣誉
布尔于1855年获得爱丁堡皇家学会的基思奖章，并于1857年当选为皇家学会会士。他获得了都柏林大学和牛津大学的荣誉法学博士学位。他的工作得到了查尔斯·桑德斯·皮尔士和威廉·斯坦利·杰文斯等学者的扩展，他们进一步发展并推广了布尔代数。
布尔继续参与社会事业，并与林肯保持联系。他是当地学会的活跃成员，并与数学家同行合作。1864年，布尔因肺炎后出现发热性胸腔积液而去世，享年49岁。
遗产
布尔的思想对数学、哲学和计算机科学产生了深远影响。他的二进制逻辑是所有现代数字设备运行的基础，从简单的计算器到复杂的人工智能系统。机器学习和深度学习技术的发展，包括神经网络架构和用于大型语言模型系统的变换器模型，都依赖于数字电路中布尔逻辑的基本原理。
科克大学学院于2015年庆祝布尔诞辰200周年，强调了他对数字时代的重大影响。他的工作至今仍在从计算机科学到哲学等领域得到研究和应用。布尔的遗产在驱动现代计算的数字电路设计中显而易见，他的名字以“布尔”一词在数学和计算机科学中广泛纪念。
个人生活
布尔于1855年与玛丽·埃弗雷斯特结婚。他们育有五个女儿，其中包括艾丽西亚·布尔·斯托特，她后来成为著名的数学家。布尔以对教学的奉献和对社会事业的参与而闻名。他是林肯主教约翰·凯的崇拜者，并参与了当地提前关门的运动。1847年，他与埃德蒙·拉肯等人共同建立了一个建筑协会。他还与宪章派托马斯·库珀交往，库珀的妻子是亲戚。
布尔的个人生活以他的求知欲和对教育的承诺为特征。尽管正规教育有限，他成为了他那个时代的领先数学家。他在逻辑和代数方面的工作产生了持久影响，他的方法如今已融入所有数字电子系统的设计中。