布尔代数

布尔1854年创立逻辑代数，以代数运算刻画推理，奠基数理逻辑。

时代: 19世纪
文明 / 地域: 欧洲

背景

传统逻辑自亚里士多德以来以语言范畴研究推理。19世纪，数学家试图把逻辑代数化，使推理像算术一样可计算，实现莱布尼茨”普遍字符”的梦想。

详细描述

乔治·布尔（George Boole，1815–1864）在《思维规律的研究》（1854）中建立”逻辑代数”：以符号 $x,y$ 表示类（或命题），用乘法 $xy$ 表示交、加法 $x+y$ 表示（互斥）并，并满足规律如幂等 $x^2=x$ 、分配律等。他引入方程刻画逻辑推理，使三段论化为代数运算。布尔代数后来被公理化：满足交换律、结合律、分配律及补元律

$(x')'=x,\quad x+x'=1,\quad xx'=0$

的格，其中 $0,1$ 分别为最小元与最大元。

求解过程 / 影响

布尔代数首次将人类推理转化为可机械演算的代数系统，成为数理逻辑与集合论的先导。20世纪它被应用于电路设计（香农，1938），是数字计算机与信息论的基石；在公理化集合论、格论与理论计算机科学中居核心地位。布尔的工作使”以计算代替争论”成为可能，深刻塑造了现代逻辑学与计算机科学的面貌。