在众多为计算机事业做出杰出贡献的科学家中，有位科学家终身没有接触过计算机，但他的研究成果却为现代计算机设计提供了重要的理论根据。他就是英国数学家布尔。他所创立的布尔代数或称逻辑代数理论现在是，以后也仍将是计算机专业的必修课程。
布尔出身于一个手工业者的家庭，家境不十分宽裕。他原是一位中学教师，后来通过刻苦钻研，自学成才当上了大学教授。他对研究人类思维规律的逻辑学有着浓厚的兴趣。逻辑学当时在西方很受器重。古希腊著名哲学家和思想家亚里士多德在两千多年前就对逻辑学有过深刻研究，发展了演绎法，为形式逻辑奠定了基础。但是两千多年来，逻辑学在理论上的进展却很缓慢。著名数学家莱布尼兹在逻辑学上也做出过贡献，他提出了形式逻辑中重要的“充足理由律”。他还试图建立一种普遍方法，把一切正确的逻辑推理归结为数学演算，可惜没有最后获得成功。
1854 年，布尔发表了著作《思维规律研究》，成功地将形式逻辑归结为一种代数运算，这就是布尔代数。布尔代数产生于 19 世纪中叶，当时被认为“既无明显的实际背景，也不可能考虑到它的实际应用”，可是一个世纪后它却在计算机的理论和实践领域放射出耀眼的光彩。布尔代数在后来的机电计算机及电子式计算机的各类逻辑部件和程序的设计中都是不可缺少的数学
工具。
布尔代数与普通的代数不一样，布尔代数中的量只有两个值名词解释：1 和 0。“1”表示命题为真，“0”表示命题为假。这个结果很自然地与“接通”和“断开”两种状态联系起来，因此，布尔代数特别适合于电路系统的分析与综合。1910年荷兰学者埃伦菲斯特利用布尔代数建立了分析与设计继电器和电子电路的系统方法。这是后来机电式计算机和电子计算机研制成功必不可少的先决条件。