古本屋の覚え書き

古い書評&今週の一曲

『ゲーデルは何を証明したか 数学から超数学へ』E・ナーゲル、J・R・ニューマン/林一訳(白揚社、1999年)



ゲーデルは何を証明したか―数学から超数学へ

「数学とは何か」「証明とは何か」をめぐって、数学観に革命的な変革を迫ったゲーデルの破天荒の業績を、「不完全性定理」を中心に分かりやすく解説する。1968年刊「数学から超数学へ」の改訂新版。