数学的帰納法 - ＧｓＭＡＴＨ

Blaise Pascal (1623 - 1662) フランス人、ブレーズ・パスカル。「パスカルの三角形」の性質を証明する際、数学的帰納法を現代と同じ考え方で初めて用いた人物。このことは、彼の死後発行された「Traité du triangle arithmétique (算術三角形論, 1655) 」の12番目の系の証明から確認できるようだ。 この記事では、数学的帰納法と、それにまつわる ・数学的帰納法は名前に反して帰納ではないこと ・数学的帰納法の仮定だけでは数学的帰納法自体が成り立つとは言えないこと ・実は数学的帰納法は数学の公理の1つであること の3つのテーマについて書いています。 数学的帰納法 数学的帰納法とは？ 数学的帰納法は帰納ではなく演繹 数学的帰納法は成り立たない？ 仮定と結論の間の壁 数学的帰納法は公理 数学的帰納法 数学的帰納法とは？ 数学的帰納法 $ P$ を自然