kocho-3 https://blog.hatena.ne.jp/kocho-3/ 毎日1冊、こちょ!の書評ブログ https://kocho-3.hatenablog.com/ 数学で言う不完全性定理、ゲーテル、チューリング、チャイティンの3名の名前が挙がる。 セクシーな数学―ゲーデルから芸術・科学まで本書はチャイティンの講演、エッセイ集。 1930年ゲーテルの不完全性定理 形式公理的数学理論では解が存在しない場合がある。例としては嘘つきのパラドックスとして知られたものである。 「私は嘘つきである」が真なら、それは偽だということになり、偽ならばその内容は真ということになり正誤の判断ができない。同様に「私は嘘つきでない」が偽なら、それは真ということになり、真ならば内容から偽ということになり同様に正誤の判断ができない。(wiki) チューリングのコンピュータ停止問題 チュ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkocho-3.hatenablog.com%2Fentry%2F2013%2F12%2F18%2F085306" title="セクシーな夢、数学からみたランダム性 - 毎日1冊、こちょ!の書評ブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2013-12-18 08:53:06 rich https://kocho-3.hatenablog.com/entry/2013/12/18/085306 1.0 100%