2007-11-30 やっぱりさっぱり 本 前半はゲーデルの論文の訳、後半は解説。前半は読んでもさっぱりなので華麗にスルー(ぉ 後半は主に不完全性定理の歴史とか。ヒルベルトプログラムの話とかはヒルベルトの挑戦よりはだいぶ読みやすい気がした。 しかしやっぱり数理論理学というか数学基礎論的な話は難しいな。 ランキング→ 1 2 3