equinescience https://blog.hatena.ne.jp/equinescience/ 日常を綴る https://equinescience.hatenadiary.jp/ 『不完全性定理っていうのは、普通の数学をちょっと外れている定理なんですよね。 「数学に対する数学的な考察」なんです。(中略) 不完全性定理の場合には「数学の全体が矛盾しないということを、 数学的に証明することはできない」というのが一つの結論なんです。(中略) 見方によれば好ましくないし、否定的な結果でもある。 だからこれを無視するといった態度に出る方も、もちろんいると思います。 でも僕はそれほど否定的なものだとは思っていなくて。(中略) 「数学は矛盾しているという結論じゃない。数学にもできないことがある、 とわかっただけ」』 『不完全性定理の解釈の一つとして「単に機械的な計算をしても、数学はで… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fequinescience.hatenadiary.jp%2Fentry%2F2021%2F05%2F02%2F011613" title="5/2雑記 - 日常を綴る" 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-na.ssl-images-amazon.com/images/I/51dBOeXZRkL._SX329_BO1,204,203,200_.jpg Hatena Blog https://hatena.blog 2021-05-02 01:16:13 rich https://equinescience.hatenadiary.jp/entry/2021/05/02/011613 1.0 100%