教育部《重編國語辭典修訂本》

人名。（西元1815～1864）英國著名的數學家和邏輯學家，終身致力於近代符號邏輯的建立，是近代邏輯代數的開拓者。西元一八四四年在皇家學會哲學學報上發表一篇有關代數與微積分方法的論文，其後在一八四七年出版的《邏輯學的數學分析》一書中，更將數學與邏輯學結合在一起，進而提出布爾代數，為邏輯代數開創一個新的里程碑。