2010-11-07 『ゲーデルは何を証明したか 数学から超数学へ』E・ナーゲル、J・R・ニューマン/林一訳(白揚社、1999年) 書籍情報 「数学とは何か」「証明とは何か」をめぐって、数学観に革命的な変革を迫ったゲーデルの破天荒の業績を、「不完全性定理」を中心に分かりやすく解説する。1968年刊「数学から超数学へ」の改訂新版。 ゲーデル