caguirofie

哲学いろいろ

2011-08-28から1日間の記事一覧

不完全性定理

これは、「そもそも何でこんなことが出てきたのか?」というところから始めないとよくわかりません。数学の証明問題では、ずっと証明していくとどこかで、当たり前すぎて証明できないようなところに当たってしまうことがあります。 パスカルは「誰もが当たり…