ゲーデル『不完全性定理』 - ぐだぐだ日記−読書と食の秋−読書, めも以下めもゲーデル 不完全性定理 (岩波文庫)作者: ゲーデル, 林晋, 八杉満利子出版社/メーカー: 岩波書店発売日: 2006/09メディア: 文庫岩波文庫にしては珍しく、解説豊かで分かりやすい（というか分かりやすすぎの）良書。本書の構成は、ゲーデルの不完全性定理（を扱っている論文：ブリンキピア・マテマティカおよび関連した体系の形式的に決定不能な命題について）の翻訳部と、不完全性定理についての解説の二部構成になっている。とりわけ、解説部はすばらしい出来で文系の人でもすいすい読めるような内容になっている。不完全性定理を歴史的な観点から−ヒルベルトプログラム、数学基礎論論争−説明したり、一方では基礎論を専門にしている人用に、論文の中身を丁寧かつ数学的に説明していたりと、いろんな読者を想定して書かれている良書である。＊＊＊ということで、自分はその解説部を斜め読みしたので軽くめもしと
