martbm https://blog.hatena.ne.jp/martbm/ martingale & Brownian motion https://martbm.hatenablog.com/ 管理 （エイプリルフールにふさわしいネタじゃないですかねｗ） 例えば、数学的帰納法というのがある。Ｒ（１）が成立する。Ｒ（ｎ）が成立するとき、Ｒ（ｎ＋１）が成立する。ならば、すべてのＲ（ｎ）が成立する。これは一見すると、なんの問題もないように思うかもしれない。しかし、よく考えてみると、なにか気持ち悪い感じがしてくる。というのは、このように書いたからといって、別に、すべてのＲ（ｎ）が成り立つことを確認したわけではないからだ。つまり、これは 自然数の定義になっているのか？ がよく分からないのだ。つまり、自然数は「形式化可能なのか」が怪しいと言っているわけである。自然数は定義できるのだろうか？ もちろん、… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmartbm.hatenablog.com%2Fentry%2F20170401%2F1490977561" title="ポストモダンのゲーデル不完全性定理という「黒歴史」 - martingale &amp; Brownian motion" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://images-fe.ssl-images-amazon.com/images/I/31FGVSAGS0L._SL160_.jpg Hatena Blog https://hatena.blog 2017-04-01 01:26:01 rich https://martbm.hatenablog.com/entry/20170401/1490977561 1.0 100%