ゲーデルに挑む証明不可能なことの証明

「不完全性定理」を完全に理解したい読者のために——．原論文の日本語訳とともにその内容について徹底解説．ロジック初心者にも配慮し，記号の定義などの基本から，ていねいに説明をしていく．ノートとペンを用意して，原典の論理展開を味わってみよう．

詳細はこちらから

ゲーデルに挑む 証明不可能なことの証明