数学ガール

俺のお気に入りシリーズ、数学ガール。
新作のゲーデルの不完全性定理が出た。



俺が好きなのは、数理モデルを使って何かを予測する類のもので
正直なところ、数学基礎論にはあまり魅力を感じないのだが
この本はどうしてなかなかおもしろい。

自然数って正の整数だけど、整数ってどうやって定義されているのだろう
と考えたことがあったので、ペアノの公理についての話はおもしろかった。
当たり前のように存在しているものを改めて定義しなおす過程で
ある条件がないとどのような構造になるのか考えるのは楽しいもんだなぁ。
まだ2章を読み終えたところだけど、今後の展開が楽しみ。
前作、前々作も久々に読み返してみたくなってきた。