{"content":"《数学编年史》· 布尔代数——当思考变成计算\n19世纪·英国/爱尔兰/伦敦 | 公元1847年—1854年\n\n1847年,一位自学成才的英国数学家乔治·布尔(George Boole, 1815—1864)出版了一本薄薄的小书《逻辑的数学分析》,提出了一个革命性的想法:逻辑推理可以像代数方程一样被计算。七年后,他在1854年的《思维规律的研究》中将其发展成完整的体系。\n\n布尔的核心洞察是:逻辑命题可以只用两种状态——“真”和“假”——来表达,并用符号 x、y、z 表示命题,用 AND(×)、OR(+)、NOT(1−)进行组合。这就是今天每个程序员都熟知的布尔代数。\n\n为何这与之前的所有数学都不同?因为布尔创造的不是关于数与空间的数学,而是关于思维本身的数学。在布尔之前,逻辑学属于哲学范畴,亚里士多德的逻辑学统治了两千年;在布尔之后,逻辑学变成了可计算的代数系统,为机器思维铺平了道路。\n\n布尔代数的真正力量在近一个世纪后才完全展现。1937年,克劳德·香农在他的硕士论文中证明:布尔代数可以直接映射到继电器开关电路——二进制0和1就是布尔代数中的“假”与“真”。这意味着任何逻辑推理都可以用电路来实现。这篇论文被后世誉为“信息时代最重要的一篇硕士论文”。\n\n从CPU的算术逻辑单元到搜索引擎的布尔查询,从编程语言的条件分支到数字电路的逻辑门设计——每一次计算机运行,都是在物理世界中执行布尔代数的运算。\n\n布尔的墓碑上刻着:“让思想本身成为数学的领域”。他实现了这一点,而且远超自己的想象。\n\n(明日续:黎曼——弯曲空间中的几何革命)","contentType":"text/plain;utf-8","attachments":[],"quotePin":""}