bragelone https://blog.hatena.ne.jp/bragelone/ caguirofie https://bragelone.hatenablog.com/ ゲーデルの不完全性定理をお教えください。 https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1410933224 これは、「そもそも何でこんなことが出てきたのか？」というところから始めないとよくわかりません。数学の証明問題では、ずっと証明していくとどこかで、当たり前すぎて証明できないようなところに当たってしまうことがあります。 パスカルは「誰もが当たり前だと思う”真”であること」を公理としました。 「証明問題は、この公理から始めるべきで、公理自身は証明できない」としました。ところが、数学が発展してくると、負の数や虚数などが出てき… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbragelone.hatenablog.com%2Fentry%2F20170407" title=" - caguirofie" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/b/bragelone/20160722/20160722045857.jpg Hatena Blog https://hatena.blog 2017-04-07 00:00:00 rich https://bragelone.hatenablog.com/entry/20170407 1.0 100%