c5d822d96d1c020

http://nhiro.org.s3.amazonaws.com/c/0/c0bfb116b3a359323a78ad50ba7ff611.jpg https://gyazo.com/c0bfb116b3a359323a78ad50ba7ff611

(OCR text)

まとめ

. 1654年パスカルが出直し法を発明

これは無限回の演鐸と最後のI回の帰納を組み合わせて自然数

についての証明を行う技法

. 1900年前後、帰納が

使われ

てる数学的帰納法が

数学として正しいのかどうかの議論が盛んに

解決策1:1906年 ポアンカレ「数学の帰納法は

物理の帰納法と違って論理的に正しいんだ」

解決策2:1891年 ペアノ「『自然数』を定義し

て、数学的帰納法の帰納のステップを公理として

認めよう」

14年8月7日木曜日

21