请帮我总结下方这段话，要求概括在3句话内，尽量使用第三人称：布尔 (George Boole, 1815—1864) 是英国数学家、逻辑学家。他在形式逻辑中引入了数学方法，尤其以提出了布尔代数而著名。布尔代数对于现代电子计算机科学和逻辑研究有重要影响，奠定了电子数字计算机逻辑设计的数学基础。
user
布尔是英国数学家和逻辑学家，以提出布尔代数而闻名。他将数学方法引入形式逻辑，对现代电子计算机科学和逻辑研究产生了深远影响。布尔的工作为电子数字计算机的逻辑设计奠定了数学基础。
assistant