もうすぐ、ぼくの論理学の本が刊行されます！ - hiroyukikojima’s blog
明けましておめでとうございます。昨年は、当ブログをご愛読くださりありがとうございました。 今年の初エントリーは、もうすぐ、1月11日に刊行されるぼくの新著の紹介をさせていただきましょう。(一部の書店では既に販売されているようです)。 本のタイトルは、小島寛之『証明と論理に強くなる〜論理式の読み方から、ゲーデルの門前まで』技術評論社。これは、ぼくの長年の論理学との格闘から生まれた本。ある意味では、宿願とも言える刊行である。 証明と論理に強くなる 論理式の読み方から、ゲーデルの門前まで （知の扉シリーズ） [ 小島寛之 ] ジャンル: 本・雑誌・コミック > 科学・医学・技術 > 数学ショップ: 楽天ブックス価格: 1,922円刊行までまだ10日ほどあるので、今回は、目次だけをさらすこととしよう。次のようになっている。 『証明と論理に強くなる〜論理式の読み方から、ゲーデルの門前まで』目次 序章
数学を教える人が読んでおきたい論理の本 - hiroyukikojima’s blog
ぼくは、以前から、論理とゲーム理論とをクロスオーバーさせた本を書きたい、というテーマを持っており、それは拙著『数学的推論が世界を変える〜金融・ゲーム・コンピューター』NHKブックスで果たすことができた。 この本を書くために、今まで、けっこうな冊数の数理論理学の教科書を読んできた。その中でめぐりあったのが、ゲンツェンの自然演繹と呼ばれる推論規則のセットであった。推論規則というのは、数学の証明で用いられる推論をできるだけ少ない数でセットにしたもので、おおわくではヒルベルトの体系、ゲンツェンのシークエント計算、ゲンツェンの自然演繹、というのがあって、それぞれの演繹能力は同じだけど、体系自体は異なるので、何をしたいかによって有利不利(向き不向き)がある。この３つの中で、普通の数学の証明で利用されている推論の方法は自然演繹が最も近いものである。 ぼくは自然演繹の体系を、鹿島亮『数理論理学』朝倉書店で
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
