アトムの物理ノート

最近買って読んだ本を２冊紹介しておきます。一冊目は「無限論の教室」以来すっかりお気に入りになった野矢茂樹著の「入門！論理学」です。スタイルは無限論の教室に似て、読みやすい論理学への入門書という感じでしょうか。（対話形式ではなく、講義形式ですけど）


大学時代に論理学の講義を受けたことがなかった私にとっては、へぇ、へぇの連発で、つまりの所は「数学の基礎みたいなもんだ。」という感想です。それもそのはずで、論理を学問するわけですからかなりの部分が数学にかぶるというか、すべての論理的な思考に関係してくるわけですからね。内容は、たぶん数学の基礎をしっかりとやっている人にとっては特に新しい事はないでしょう。たとえば、最初の方は「かつ＝∧、または＝∨、ならば＝　→」などをどう扱い、それらの否定をどう作るかという話から始まります。基礎的ですが、とてもわかりやすく著者のユーモアが論理学という硬いものを、なにか柔らかで親しみやすいものへと変えて見せてくれるのが楽しい一冊でした。





さて二冊目は、ゲーデルの不完全性定理に関してなにか素人でもわかるような本はないか探した結果見つけた一冊、野崎昭弘著「不完全性定理」（ちくま学芸文庫）です。残念ながら不完全性定理について理解は深まりませんでしたが、読書としては非常に楽しめる一冊でした。特に公理系に関する数学の歴史をここまで丁寧に解説した一般書はなかなかないかもしれません。文庫で１１００円は高いと妻には言われましたが、「こういう理系の本は売れないからこれくらいの値段でないと本を書く人がいないだろう。これでも安いくらいだ！」とかいって何とか納得してもらいました。いや実際、不完全性定理に関する一般向けの講義なんかが１万円くらいであったら喜んで受講費を払うと思います、いや２万出してもいい！？　

とりあえず読み終えましたが、まだまだ理解しきっていない箇所が多く、もう一度じっくり読み返してみたいと思います。ざーと読んだだけでもそれなりに楽しい本だと思うので、お勧め度は高いです。特に数学または公理系などに興味のある人なら文系の人にもわかりやすい一般向け解説書と言えると思います。