山の上のロジック学園 不完全性定理をめぐる2週間の授業日誌

田中一之(著者), バラマツヒトミ

• 販売会社／発売会社: 日本評論社
• 発売年月日: 2019/12/23
• JAN: 9784535789135

商品レビュー

2020/12/09

見た目とはだいぶ違って内容の濃い本。軽く読み飛ばせると思って読むとえらい目にあいます。
専門書以外の数理論理学関係の本の多くは、入り口としての基礎の解説か、不完全性定理の概略説明か、のどちらかもしくは両方を主眼としたもので、今も現役で発展途上の学問であるという理解を持ちにくい印象がある。この本は、入門講義を受けに来た学生たちとの対話という形式を取ることによって、ちょっとしたエピソードや関連した話に脱線して、トピックのいろんな側面を紹介している。不完全性定理も、紹介してそれで終わりではなく、その後のいろんなものへの応用や発展にふれている。こんなふうに数理論理学への入門をガイドしてくれる本はほとんどないので貴重。
二週間の話になっているが、この日程で理解するのは特に初学者には不可能なので気にしないこと。難しいところは適度に飛ばしつつ、それなりにゆっくり、なんとなれば何回も読む、そういう価値のある本です。