オーガスタス・ド・モルガン
詳細情報
- 生誕
- 死没
- 業績
- ド・モルガンの法則、数学的帰納法
- 国籍
- イギリス
条件を反転させるたびに、プログラマーが無意識に使っている二つの法則の主。エイダ・ラブレスの数学の家庭教師でもあった。
1806年にインドのマドゥライで生まれ、1828年、21歳で新設のユニバーシティ・カレッジ・ロンドンの初代数学教授に就いた。大学が人事で宗教上の配慮をどう扱うかをめぐり、信条に基づいて二度辞職している。原則をどこまで文字通りに受け取っていたかがわかる。
ド・モルガンの法則は、論理積の否定は否定の論理和であると述べる。NOT (A AND B)は(NOT A) OR (NOT B)に等しく、その双対も成り立つ。コードでは!(a && b)から!a || !bへの書き換えで、条件式が読めなくなったときに開発者が手作業で行い、最適化コンパイラが断りなく行うものだ。彼は1838年に「数学的帰納法」という用語を導入して現代的な形を与え、1840年からはエイダ・ラブレスに通信で数学を教え、ほとんど誰も支持しなかった時期のジョージ・ブールの仕事を擁護した。