Javaさんのお部屋（サム・ジーヴァ帝国図書館）

ゲーデル 不完全性定理 (岩波文庫) [文庫]著者：ゲーデル 訳・解説：八杉満利子 林晋評価：B【評】ゲー出るくらい難解。ヒルベルトを中心に19世紀末～20世紀前半の数学史・数学基礎論を解説。門外漢には解説すらよくわからないという悲劇。もはや哲学ですわ。