Augustus De Morgan（1806 - 1871） イギリス人、オーガスタス・ド・モルガン。ド・モルガンの法則を命題論理の法則として厳密な形で表した人物。数学的帰納法の定式化にも貢献した。 ド・モルガンの法則 命題論理のド・モルガンの法則 述語論理のド・モルガ…

Blaise Pascal (1623 - 1662) フランス人、ブレーズ・パスカル。「パスカルの三角形」の性質を証明する際、数学的帰納法を現代と同じ考え方で初めて用いた人物。このことは、彼の死後発行された「Traité du triangle arithmétique (算術三角形論, 1655) 」の…