Javaさんのお部屋・改

Javaさんのお部屋です。引っ越しました。詳しくは「はじめに」を読んでね。スマホ版は全体像が見えにくいから、PC版と切り替えながら見てね。

不完全性定理

著者:ゲーデル 訳・解説:八杉満利子 林晋
評価:B

【評】
ゲー出るくらい難解。
ヒルベルトを中心に19世紀末~20世紀前半の数学史・数学基礎論を解説。
門外漢には解説すらよくわからないという悲劇。
もはや哲学ですわ。