不完全性定理とはなにか (ブルーバックス)

不完全性定理とはなにか (ブルーバックス)
  • 竹内薫
  • 講談社 - Kindle版 - 2013/06/07
「不完全性定理とはなにか (ブルーバックス)」をAmazonで購入する
amazon.co.jp 詳細ページへ

商品の紹介

正しくても常に証明できるとは限らない。「証明」を深く考察した「不完全性定理」は真な命題は必ず証明できるはずだと考えていた数学界に、大きな衝撃を与えました。しかし「証明が不可能であることを証明する」ことは数学者にとっても難題です。この難題を、二人の天才はどのように解決したのでしょうか。(ブルーバックス...