ジョージ・ブール

ジョージ・ブール（George Boole, 1815年11月2日 - 1864年12月8日）は、イギリスの数学者・哲学者。多くの実績があるが、コンピュータ科学の分野の基礎的な理論のひとつであるブール代数（ブール論理）が現代では広く知られている。
生涯.
ジョージ・ブールの父であるジョン(John Boole)は零細の自営業者であり、教育熱心でもあり、学問、特に数学にも関心を持っていた。息子に最初に教育を行ったのも父である。父を教師にして、ラテン語やギリシア語を学んだ。ジョージは、幼少の頃は数学ではなく古典に興味があった。16歳の時にドンカスターにある私立学校のアシスタント教師になり、学者として自活するようになった。数学は独学であった。その後、リンカーン、ワディントンなどを経て、1849年にアイルランドのコークにあるクイーンズ・カレッジ（現在のユニバーシティ・カレッジ・コークで、その功績から図書館に名前が冠されている）の数学教授となり、1855年には（ジョージ・エベレストの姪）と結婚した。メアリは後に夫ブールの理論についていくつかの教育的に有用な仕事をしている。
ブールは難解な数学の機関誌をはじめ、三つから四つの出版物に執筆を行っている。早期に寄稿したものとしては1839年に(Cambridge Mathematical Journal)での「解析変換の法則」(Theory of Analytical Transformations)があり、これは同誌で編集人をしていた(D.F. Gregory)との交流につながり、これは1864年の彼の死まで続いた。ブールの研究論文と寄稿誌については、双方が論理学ならびに数学に関して執筆されたものであるが、王立協会発行の科学研究論文の目録(Catalogue of Scientific Memoirs)、また(Isaac Todhunter)編集の微分方程式に関する分冊にその多くが記載されている。ケンブリッジ数学誌は成功し、ケンブリッジならびにダブリンの数学誌においてブールは22に及ぶ寄稿を行った。また哲学雑誌の第三と第四シリーズでも、16の寄稿が見つかっている。王立協会では哲学の会報に関する6の重要な研究論文を発行、さらに少数の研究論文が、エディンバラ王立協会(Royal Society of Edinburgh)ならびにアイルランド王立アカデミー(Royal Irish Academy)の会報、1862年のサンクトペテルブルクアカデミー(Bulletin de l'Académie de St-Pétersbourg)の報告、クレレ誌(Crelle's Journal)で発見されている。これらのリストは論理に関する数学的基礎についてのもので、1848年のメカニクス・マガジン(Mechanic's Magazine)で出版されたものである。このように、ブールは50もの記事を書き散らすとともに、いくつかの出版物を出している。
数学に関する理路整然とした二つの論文はブール存命中に書き上げられている。微分方程式に関する良く知られた論文は1859年に書かれ、翌1860年には差分法に関する論文が、前のものの続編として役に立つように計画された。これらの貢献は数学の問題の重要な一分野として価値のある寄稿で、ブールは、これらを構成し、改善の余地がある厳しい方法で哲学の命題について深い研究を行い、基本解明として結合させた。これにより、より重要な発見がなされ、分野の範囲が広がった。微分方程式の論文の16と17章においては、例えば一般的な記号演算の明快な説明はブールの主要な発見から導出された大胆で熟練した仕事から、また記号演算の解析については、元は1844年にフィロソフィカル・トランザクションズ(Philosophical Transactions)に掲載された著名な研究論文に拠る。ブールは、記号の操作は計算の明白な要素として取り扱うことができ、その数量から切り離すことができると理解した、最も顕著な者の一人である。彼の主な特徴は、優先される法律や立場、またしばしば匹敵するもののない、結果から描いた能力と力、などと調和する記号の扱いにより、結果として完璧な信用を得ることだった。
最晩年のブールは休暇の一部を使って、王立協会と大英博物館の蔵書に貢献した。そして残りの時間を、微分方程式に関する論文を初版より完璧にするため、改訂版の執筆拡充を目指した。だが、この改訂版は完成することはなかった。ブールの死後、トドハンターは未完成のブールの遺稿を集め改訂版の出版を計画したものの、元の論文の改訂版の出版が不可能であることが判明し、1865年に元の論文の補充分として遺稿を印刷した。