はてなブックマーク

書評（数理論理学） 書評と関連文書 教科書など 付値か名前か おまけ 田崎さんの問いかけへの回答案 一般解説書など おまけ ダメ本の見分け方 似た活動をされている方々（外部リンク） 数理論理学の参考書 (Mathpedia) 【備忘録】数理論理学・数学基礎論の本（Sokratesさんの備忘録ないし雑記帳） 数理論理学を初めて学ぶ人へのブックガイド （Nishimura Yuki's Website） 書評のトップページ 鴨 浩靖

一般解説書など 結城浩：数学ガール／ゲーデルの不完全性定理, ソフトバンククリエイティブ (2009) (はてなダイアリーの記事に加筆修正して転載) 本書は、数学の定理の解説としてはきわめてまっとうな、ゲーデルの不完全性定理の解説本である。普通なら、まっとうであることは評価の最低基準であって、それだけで高評価になるものではない。しかし、不完全性定理に限ってはそうはいえない。ちまたにあふれる不完全性定理に関わる言説にはまっとうでないものがあまりにも多い。そのため、不完全性定理の解説本はまっとうであるだけで高い評価を得てしまう。 まっとうであるために第一に必要なことは、内容に初歩的な間違いがないことである。当たり前のことだが、その当たり前が実現できていない不完全性定理本は多い。肝心の「不完全」の定義を間違えているものすら珍しくない。その点、本書は正しく記述しているのみならず、ちまたによくある濫

おまけ どの分野にも、一般に広く信じられている間違いがあります。この手の間違いは、ちゃんと体系的に学べば間違いであることが一目瞭然だけど、聞きかじりでわかったつもりになっているだけの人はよくひっかかります。初学者はそれを逆手にとってうまく利用しましょう。一般向け解説書にその手の間違いがあったら、その本の著者が聞きかじりで書いているだけでちゃんと調べていないことの状況証拠です。安心してその本をゴミ箱に捨てる（あるは仲間うちの笑いのネタにする）ことができます。 ただ、初学者自身が「よくある間違い」リストを作ることは、普通は無理でしょう。そんなリストを作ることができる人は、すでに初学者ではありません。そこで、すでに初学者でない人が協力してリストを作らなくてはなりません。その一環として、ここにリストの一部になるであろう項目を並べることにします。 先行して同様のリストを作成されている方がいらっしゃっ

教員をやっていると、学生さんから本の推薦を求められることがよくあります。よく尋ねられることについては、資料としてまとめておいたほうが、学生さんにとっても教員にとっても効率的なので、WWWに載せることにしました。というわけで、本来は内部資料なのですが、機密性はないので、学外からも見えるようにしています。 注：ディレクトリ構成を予告なく大幅に変更する可能性が高いので、リンクを張る方は、個々のページにではなくこのページに張るのが無難でしょう。なお、リンクを張るのに連絡は不要です。 数理論理学などに関する本 プログラミングに関する本 ついでに数学マンガの（網羅的でない）リストを作りました。 数学マンガ 鴨 浩靖