下の方に、付記を書きました(11月24日) 来月に刊行される新書を書くためと、ゲーム理論の研究のためとで、ずっと数理論理の勉強をしてきた。このブログでも、何冊かの数理論理の本を紹介してきた(例えば、ゲーデル本食い歩き - hiroyukikojimaの日記など）。そんな中、最近読んだものの中に、お勧めの本が2冊見つかったので、今回はそれを紹介しようと思う。 一冊目は、鹿島亮『数理論理学』朝倉書店だ。 数理論理学 (現代基礎数学) 作者: 鹿島亮出版社/メーカー: 朝倉書店発売日: 2009/10/01メディア: 単行本購入: 11人 クリック: 367回この商品を含むブログ (5件) を見るこの本は、序文に「千葉大学の古森雄一先生とディスカッションして書いた」というようなことが書いてあったので、信頼できる本だろうという予想の下で購入することとしたのだ。(古森先生については、ロックバンドZF
読み終わったので感想です。他の方々からも良書だ、良書だと勧められましたが、結論から言うとやはり買いです。 論理と計算のしくみ 萩谷 昌己 西崎 真也 前半は論理学から話を初めてゲーデルの不完全性定理までを論じます。後半はλ計算と型理論についての内容です。カリー・ハワード対応がわからなくてもいいのであれば、後半のλ計算の部分だけ読むこともできます。 読み切れば、例えば、本物のプログラマはHaskellを使うの連載に出てくる次のような単語の意味は理解できるようになるでしょう。 reduction call-by-name call-by-value Weak Head Normal Form 型推論 依存型 多相型 他にも以下のような聞いたことあるけどなんだろこれって知識が補完されます。 命題論理、述語論理、様相論理、時相論理、直観論理 ゲーデルの不完全性定理 チューリングマシンの停止性問題
教科書など 準備 数理論理学を習得するためには、その前に、数学の言葉を操り数学の考え方を駆使できるようになる必要があります。数理論理学は数学の一分野ですので、それについては数学の他の分野と変わることはありません。 幸い、数学の言葉と数学の考え方を学ぶことに特化して使える教科書が出版されています。目についたものを並べてみます。おそらく、他にもあるでしょう。 個人的に特に気にいっているもの 嘉田勝：論理と集合から始める数学の基礎，日本評論社, 2008. (版元による紹介) 鈴木登志雄：例題で学ぶ集合と論理, 森北出版, 2016. (版元による紹介) その他 渡辺治・北野晃朗・木村泰紀・谷口雅治：数学の言葉と論理, 朝倉書店, 2008. (版元による紹介) 中島匠一：集合・写像・論理—数学の基本を学ぶ—, 共立出版, 2012. (版元による紹介) 石川剛郎：論理・集合・数学語, 共立出版
論理学の良いところは、トレーニングの効果が絶大なところだ。 たとえれば、論理学は一種の「高地」トレーニングなので苦しいが、これによって思考の「心肺機能」がアップする。 思考が「息切れ」しにくくなる。そして「登坂力」が増す。 微細な違いに気付く力や、筋が混み入った話への感受性も高まる。 学術書の類や、日本語とは思えない悪文を読むのに、きつい坂道を上るような苦しさを感じている人は、最もその効果を実感できるだろう。 しかし論理学を学ぶ人はあまり多くない。 独習は不可能ではない。 というより、自分で問題を解かないことにはどうにもならないので、習うにしろ、自分一人で取り組まなくてはならない時間が多い。 科学哲学者の内井惣七氏は、論理学の学習について、次のように言っている。 ・問題を山のように解かないと、論理学が身に付くはずがない。ぼーっと、本を眺めてマスターできるのは、フォン・ノイマンみたいな悪魔だ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く