乔治·布尔

1815–1864, 英格兰林肯, 爱尔兰科克

数学基础代数学

英国数学家和逻辑学家，创立布尔代数，为现代数字逻辑奠定代数基础。

布尔证明逻辑命题可以用代数运算处理。他的《思维定律》连接了逻辑、代数和概率；布尔代数后来成为开关电路、计算机设计和形式逻辑的语言。

工作单位: 科克女王学院

爱尔兰, 英国

贡献，链接到图书馆

图书馆条目命题与逻辑推理布尔代数为逻辑命题提供了代数模型。