スマリヤン 数理論理学 述語論理と完全性定理

村上祐子(訳者), 高橋昌一郎

• 販売会社／発売会社: 丸善出版
• 発売年月日: 2014/12/01
• JAN: 9784621087855

商品レビュー

2016/07/28

抽象的すぎて今の自分にもは飲み込みにくかった。いろんな概念が出てくると、どうしても「何にどう役立つのか」「なぜこの概念が必要なのか」がわからないと納得できない。もちろんその概念は証明とかには使われるのだが、より具体的にその必要性がわからないとアタマに入らないというか… 読んでいる間ずっと、どうも上滑りして宙を飛んでるかんじがぬぐえなかった。もうちょっと数理論理学がわかったら再度挑戦、ですかな。