2017-05 の勉強計画

5月は論理学をやろうかな

初歩的なやつ。1階述語論理＋ゲーデルの不完全性定理。あと様相論理について概要を知りたいかも

教材は、持ってる以下の本を前半にやって、後半は図書館かKindleでなにかを調達しようと思う

定番

論理学 | 野矢 茂樹 |本 | 通販 | Amazon

きちんとやる

ゲーデルの不完全性定理のさわり

https://www.amazon.co.jp/ゲーデル-不完全性発見への道-双書-大数学者の数学-北田-均/dp/4768703917/

絶対読めないけど、一応目を通す

https://www.amazon.co.jp/ゲーデルの定理-利用と誤用の不完全ガイド-トルケル-フランセーン/dp/4622075695/