述語論理の本を借りてきましたサラリーマンのすらすらIT日記IT関連を中心とした日々を綴ります。2013/02/21述語論理の本を借りてきました昨日「代数学の基本定理」と一緒に借りてきたのが、「数理論理学の基礎・基本」と「述語論理入門」です。学生時代からごく最近まで、論理学関連の本を探したことがなかったので、数学書のコーナーへ行ってもこの分野の本の置き場所がよくわかっていなかったのですが、昨日やっとその場所がわかり、わかりやすい本がたくさん見つかりました。これを借りることに決めてから、気がついたのが「数理論理学の基礎・基本」。こちらの方がわかりやすく、読みやすい。後者の本は、100頁程度で値段も¥1,400と安く、基礎を習得するのにぴったりの本のようです。二冊とも「完全性定理」が紹介されています。よると多くの書物ではヘンキンによる証明を紹介しているとのこと。この定理にも別証があるんですね。「数理論理学の基礎・基本」から読んでいきます。プロフィールAuthor:sookibizviz仕事の内容やソフトの紹介を交えながら、日々の悪戦苦闘を綴っていきます。