数学ガールシリーズを読むのは2冊目になります。「フェルマーの最終定理」同様、終盤の勢いは半端ないですね。だいぶ読み飛ばしました。ゲーデルの不完全性定理の証明は、次々と関数を定義していてプログラミングチックでした。「こういう数学もありか」と感…