c5d822d96d1c014

http://nhiro.org.s3.amazonaws.com/1/1/11c1c00ed19996b536c2749968d78f81.jpg https://gyazo.com/11c1c00ed19996b536c2749968d78f81

(OCR text)

ポアンカレ

出直し法*(proof by recurrence)による加算の

結合性の証明を実例として紹介

「物理的な帰納法は我々の外にある秩序への

信念に基いているので、不正確。一方、数学

的な帰納法(出直し法)はそうではない」

「両者は異なる基礎に基づくが、同じ向き、

特殊から一般へと進んでいる。」

* 今で

言う数学的帰納法は、パスカルによる出直し法が起源

14年8月7日木曜日

15