野崎昭弘『不完全性定理』読了。 ゲーデルが二十五歳で出版した「不完全性定理」（1931）は、当時の数学界の巨匠ヒルベルトが提唱した「形式主義によって超数学を展開しようという計画」に対して、原理的な限界を示す衝撃的な証明だった…。 大学一回生のとき…