2009年11月16日月曜日 数学ガール/ゲーデルの不完全性定理 おすすめ度:★★★★★ 対象:高校生以上推奨。数学を愛する全ての人へ。 数学ガール第3弾。言うまでも無く、最高傑作。 今回のテーマは、ゲーデルの不完全性定理。 論理演算から始まり、公理系、集合論理、極限の概念、形式的体系、連続の概念、対角線論法と無限の概念、ラジアンと、ゲーデルの不完全性定理の証明に必要な数学的知識を一つ一つやさしく解説する。 そうして積み重ねられた数学的体系からゲーデルの不完全性定理の証明へと入っていく。 ゲーデルの不完全性定理を通して、メタ数学の美しさに惹かれること間違いないでしょう。 前作:フェルマーの最終定理と比べれば、高校生でも十分に読みこなせる内容になっているため、さくさく読み進められるようになっていると思います。 個人的には、次作はgoogleのページランクや機械学習を題材とした、離散数学・線形