bragelone https://blog.hatena.ne.jp/bragelone/ caguirofie https://bragelone.hatenablog.com/ 社会 これは、「そもそも何でこんなことが出てきたのか？」というところから始めないとよくわかりません。数学の証明問題では、ずっと証明していくとどこかで、当たり前すぎて証明できないようなところに当たってしまうことがあります。 パスカルは「誰もが当たり前だと思う”真”であること」を公理としました。 「証明問題は、この公理から始めるべきで、公理自身は証明できない」としました。ところが、数学が発展してくると、負の数や虚数などが出てきました。こうなると「誰もが当たり前だと思う”真”であること」というのが非常に怪しくなってきました。そこで、20世紀初頭にヒルベルトなどの学者が、「公理というのは単なる基本ルールであ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbragelone.hatenablog.com%2Fentry%2F20110828%2Fp1" 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> Hatena Blog https://hatena.blog 2011-08-28 00:00:00 rich https://bragelone.hatenablog.com/entry/20110828/p1 1.0 100%