ジョージ・ブール
George Boole, (born November 2, 1815, Lincolnshire, England-died December 8, 1864, Ballintemple, County Cork, Ireland), イギリス数学者、現代の記号論理の確立を支援、現在ブール代数はデジタルコンピュータ回路の設計に基本であるとされている。
ブールは商人であった父親から初めて数学を教わり、光学機器の製作も教わった。 彼の父の援助と地元の学校で数年間を除いて、しかし、ブールは、数学の独学だった。 父の商売が傾くと、ジョージは家計を支えるために働かなければならなかった。 16歳からヨークシャーのウェストライディング地方の村の学校で教え、20歳の時にリンカーンに自分の学校を開いた。 わずかな余暇を利用して、リンカーンの機械工学会で数学雑誌を読んだ。 また、アイザック・ニュートンの『プリンキピア』、ピエール=シモン・ラプラスの『Traité de mécanique céleste』、ジョセフ=ルイ・ラグランの『Mécanique analytique』を読み、代数の上級問題を解き始めた。
Boole 1841年に彼の “Researches on theory of Analytical Transformations” から始まる一連のオリジナル論文を新しいケンブリッジ数学雑誌に提出した。 これらの論文は、微分方程式と線形変換の代数学的問題についてで、不変性の概念を強調したものであった。 1844年、王立協会の哲学論文誌に掲載された重要な論文「解析の一般的方法について」で、王立協会初の数学用金メダルを授与され、代数学と微積分の方法をいかに組み合わせるかについて論じた。 論理的方法に関する新しいアイデアを発展させ、数学的調査から得た象徴的推論に自信を持ったブールは、1847年にパンフレット『論理の数学的分析、演繹的推論の微積分に向けたエッセイ』を出版し、論理は哲学ではなく、数学と連携すべきことを説得的に論じた。 彼はイギリスの論理学者オーガスタス・デ・モーガンの賞賛を受け、同年『形式論理学』を出版した。 1849年、ブールはその出版物をもとに、大学の学位を持っていなかったにもかかわらず、コーク郡にあるクイーンズ・カレッジ(現コーク大学)の数学の教授に任命された。 1854年には、『論理と確率の数学的理論を基礎づける思考の法則に関する研究』を出版し、自分の考えを成熟させたと評価された。 翌年には、山名の由来となったジョージ・エベレスト卿の姪、メアリー・エベレストと結婚した。 4901>
論理学について書いた最初のイギリス人の一人であるブールは、代数的記号と論理形式やシロギスを表すことができる記号との類似性を指摘し、量の記号が操作の記号からいかに分離できるかを示しました。 1847年と1854年のブールによって、論理学の代数学、すなわち現在ブール代数と呼ばれているものが始まった。 ブールの独創的かつ卓越した一般記号論的論理推論法は、『思考の法則』(1854年)で完全に述べられており、任意の数の項を含む命題が与えられると、その前提に論理的に含まれる結論を導き出すことが可能である。 例えば、電話交換機や電子計算機には2進数や論理要素が使われており、その設計や動作にブール論理が用いられている。 彼はまた、確率の一般的な方法を試み、あらゆる事象のシステムの与えられた確率から、与えられた事象に論理的に関連する他の事象の結果的な確率を決定することを可能にした。 1859年には影響力のある「微分方程式論」が発表され、翌年にはその続編である「有限差分に関する論考」が発表された。 1864年11月24日、暴風雨の中、自宅からクイーンズ・カレッジまでの3マイルを歩いた後、肺炎に罹患した。 12月8日に死去
。
Leave a Reply