数学を教える人が読んでおきたい論理の本 - hiroyukikojima’s blog
ぼくは、以前から、論理とゲーム理論とをクロスオーバーさせた本を書きたい、というテーマを持っており、それは拙著『数学的推論が世界を変える〜金融・ゲーム・コンピューター』NHKブックスで果たすことができた。 この本を書くために、今まで、けっこうな冊数の数理論理学の教科書を読んできた。その中でめぐりあったのが、ゲンツェンの自然演繹と呼ばれる推論規則のセットであった。推論規則というのは、数学の証明で用いられる推論をできるだけ少ない数でセットにしたもので、おおわくではヒルベルトの体系、ゲンツェンのシークエント計算、ゲンツェンの自然演繹、というのがあって、それぞれの演繹能力は同じだけど、体系自体は異なるので、何をしたいかによって有利不利(向き不向き)がある。この３つの中で、普通の数学の証明で利用されている推論の方法は自然演繹が最も近いものである。 ぼくは自然演繹の体系を、鹿島亮『数理論理学』朝倉書店で
新著の目次＋様相論理のお勧め本 - hiroyukikojima’s blog
今週の後半から、新著『数学的推論が世界を変える〜金融・ゲーム・コンピューター』NHK出版新書が書店に並ぶはずなので、今日は、先んじて目次を紹介しようと思う。んで、おまけとして、前回(お勧めの数理論理の本を２冊＋新刊の予告 - hiroyukikojimaの日記)に引き続いて、数理論理学の本をもう一冊、お勧めする。 数学的推論が世界を変える 金融・ゲーム・コンピューター (NHK出版新書) 作者: 小島寛之出版社/メーカー: NHK出版発売日: 2012/12/10メディア: 新書購入: 48人 クリック: 1,233回この商品を含むブログ (26件) を見るこの本の目次立てと各章のアイテムを簡単に紹介すると、次のようになっている。 『数学的推論が世界を変える〜金融・ゲーム・コンピューター』の目次 まえがき −数学的推論で時代を見通す− 第１章 数学でマネーを稼ぐ人たち −ギャンブルからアル
書評（数理論理学）
教科書など 準備 数理論理学を習得するためには、その前に、数学の言葉を操り数学の考え方を駆使できるようになる必要があります。数理論理学は数学の一分野ですので、それについては数学の他の分野と変わることはありません。 幸い、数学の言葉と数学の考え方を学ぶことに特化して使える教科書が出版されています。目についたものを並べてみます。おそらく、他にもあるでしょう。 個人的に特に気にいっているもの 嘉田勝：論理と集合から始める数学の基礎，日本評論社, 2008. (版元による紹介) 鈴木登志雄：例題で学ぶ集合と論理, 森北出版, 2016. (版元による紹介) その他 渡辺治・北野晃朗・木村泰紀・谷口雅治：数学の言葉と論理, 朝倉書店, 2008. (版元による紹介) 中島匠一：集合・写像・論理—数学の基本を学ぶ—, 共立出版, 2012. (版元による紹介) 石川剛郎：論理・集合・数学語, 共立出版
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
