作者: 竹内薫
※WebIDからdアカウントへ移行すると、dポイントをためる・つかうことができます。詳しくは こちら
正しくても常に証明できるとは限らない。「証明」を深く考察した「不完全性定理」は真な命題は必ず証明できるはずだと考えていた数学界に、大きな衝撃を与えました。しかし「証明が不可能であることを証明する」ことは数学者にとっても難題です。この難題を、二人の天才はどのように解決したのでしょうか。(ブルーバックス・2013年4月刊) + 続きを読む
カートに入れる
現在N巻まで配信中
表示切替 :