数学を教える人が読んでおきたい論理の本 - hiroyukikojima’s blog
ぼくは、以前から、論理とゲーム理論とをクロスオーバーさせた本を書きたい、というテーマを持っており、それは拙著『数学的推論が世界を変える〜金融・ゲーム・コンピューター』NHKブックスで果たすことができた。 この本を書くために、今まで、けっこうな冊数の数理論理学の教科書を読んできた。その中でめぐりあったのが、ゲンツェンの自然演繹と呼ばれる推論規則のセットであった。推論規則というのは、数学の証明で用いられる推論をできるだけ少ない数でセットにしたもので、おおわくではヒルベルトの体系、ゲンツェンのシークエント計算、ゲンツェンの自然演繹、というのがあって、それぞれの演繹能力は同じだけど、体系自体は異なるので、何をしたいかによって有利不利(向き不向き)がある。この３つの中で、普通の数学の証明で利用されている推論の方法は自然演繹が最も近いものである。 ぼくは自然演繹の体系を、鹿島亮『数理論理学』朝倉書店で
「全ての素数の積は偶数」は正しいか | スラド サイエンス
> また、「すべての自然数の和は-1/12」という例のように、発散する数に対する演算を有限の数どうしの演算と同様に扱ってはいけないという話も出ています。 これまた、誤解を与える文章ですね。 1) 「すべての自然数の和は-1/12」は、「すべての自然数の和は-1/12とみなすこともできる。」とでもすべきでしょう。 2) 発散する数に対する演算を有限の数どうしの演算と同様に扱ってはいけないという話も出ています。 これ自体は数学的に正しいのですが、前段の 「すべての自然数の和は-1/12」とは異なる話なので、 元の記事のように、１つの文章で書くのは、誤解を与えます。 さて、1) について、 まず、前提として、どうひっくり返っても「すべての自然数の和」は正の無限大に発散します(単純にいえば、無限大になる)。 ただ、以下の理由によって、-1/12 とみなすことが可能となります。(詳細は、複素解析の本
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
