の～みそ、こねこね「数学ガール／ゲーデルの不完全性定理」脳がコンパイルされる読書。面白くて辛いスゴ本。普段と違うアタマの部位がカッカしていることが自覚され、ちょっと気味わるい。 「数学ガール」とは、高校二年の「僕」が数学好きの美少女たちに翻弄される熱血恋愛バトル――というのはウソで、著者の言を借りるなら、「理系にとって最強の萌え」を目指した読みもの。ちょこっとラブ入りの物語ベースで、ガッコで学んだ数学とは一味も二味もちがう。 今回のテーマは、「ゲーデルの不完全性定理」――とはいうものの、いきなり斬り込むのではなく、準備として攻略ポイントを解説する。「ウソつきのパラドクス」や「0.999…は1に等しいか」、「数学的帰納法」あたりは楽しく読めたが、「ペアノの公理」「イプシロン・デルタ論法」あたりになると、ついていくのがやっとで、メインテーマである第10章「ゲーデルの不完全性定理」は理解できなかった。 もちろん、「何をやっているのか」は、登場人物の会
