書評（アルゴリズム）書評（プログラミング） アルゴリズム ここで紹介した本が入手困難になりましたので、再検討中です。 一つ上に戻る 書評のトップページ 鴨 浩靖
書評（数理論理学）
一般解説書など 結城浩：数学ガール／ゲーデルの不完全性定理, ソフトバンククリエイティブ (2009) (はてなダイアリーの記事に加筆修正して転載) 本書は、数学の定理の解説としてはきわめてまっとうな、ゲーデルの不完全性定理の解説本である。普通なら、まっとうであることは評価の最低基準であって、それだけで高評価になるものではない。しかし、不完全性定理に限ってはそうはいえない。ちまたにあふれる不完全性定理に関わる言説にはまっとうでないものがあまりにも多い。そのため、不完全性定理の解説本はまっとうであるだけで高い評価を得てしまう。 まっとうであるために第一に必要なことは、内容に初歩的な間違いがないことである。当たり前のことだが、その当たり前が実現できていない不完全性定理本は多い。肝心の「不完全」の定義を間違えているものすら珍しくない。その点、本書は正しく記述しているのみならず、ちまたによくある濫
書評（数理論理学）
教科書など 準備 数理論理学を習得するためには、その前に、数学の言葉を操り数学の考え方を駆使できるようになる必要があります。数理論理学は数学の一分野ですので、それについては数学の他の分野と変わることはありません。 幸い、数学の言葉と数学の考え方を学ぶことに特化して使える教科書が出版されています。目についたものを並べてみます。おそらく、他にもあるでしょう。 個人的に特に気にいっているもの 嘉田勝：論理と集合から始める数学の基礎，日本評論社, 2008. (版元による紹介) 鈴木登志雄：例題で学ぶ集合と論理, 森北出版, 2016. (版元による紹介) その他 渡辺治・北野晃朗・木村泰紀・谷口雅治：数学の言葉と論理, 朝倉書店, 2008. (版元による紹介) 中島匠一：集合・写像・論理—数学の基本を学ぶ—, 共立出版, 2012. (版元による紹介) 石川剛郎：論理・集合・数学語, 共立出版
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
