ブールの解説 - 小学館 大辞泉

[1815~1864]英国の数学者。代数学を使って論理的推論を展開するブール代数を完成、記号論理学の基礎を築いた。また、不変式論を確立した。