■http://anond.hatelabo.jp/20090515115428

e^(ix) = cos(x) + i sin(x)

これの証明したらいいじゃん。

うん。そこまでの証明は追った。この時点で既にむずむずするが誤りは発見できなかった。で，更にxにπを代入すると気持ち悪さがロケットで突き抜ける。

数学を推論ゲームでなく世界の射影としてとらえようとしている

これの意味がわからないので解説してほしい。

われわれ（と複数人称を使うことを許して欲しい）が数学に初めて触れるとき，そこに示されている記号は現実と対応するものとして把握されるでしょう。2はりんご2個，和算は合計，負数は借金の額などなど。だんだん抽象度が高まっていっても，現実世界とどこかで対応していることを期待してしまう。虚数のように一見ありえないような概念であっても，それが例えば電磁気学で使用されているさまを見ると安心する。数学は現実世界をモデル化したものであり，数学で真と証明されたことは現実においても真となる。そういう素朴な期待がある。

でも現代的な解釈はそうじゃないらしい。正当と仮定された公準から，正当と仮定された推論規則にのっとった操作を有限回数くりかえすことで，任意の命題の真理値を導出するゲーム。別にこの公準が現実世界と対応している必要はないし，推論規則も常識と一致する必要はない。もちろんゲームとしての出来の良し悪しはある。ある命題について真と偽の両方を導出できてしまうことを許すような公準・推論規則は矛盾をはらむ「悪いゲーム」だし，多くの命題について真とも偽とも導出できないようなゲームはつまらない。われわれのもつ数学もこうしたゲームのひとつで，わりと現実に似せて公準と推論規則を定めてはあるが，常に現実と対応することを保証するものではない。ゲームの品質についても実は無保証で，矛盾があるかもしれないし証明不可能な命題をもっているかもしれない（とゲーデルが言ってる）。

私に与えられた公準と推論規則からオイラーの公式が真と証明できた。よろしい。でもその公式が現実世界の何ごとかを示しているものと信じて対応づけを探すことには根拠がない。どうの剣とかわの盾を使ってスライムベスを倒せたというのと同じ。ただ上に述べたように私は素朴な信仰を捨てきれないので，対応づけを求めてむずむず感がとまらないのであるなあと。理系マジヤバイ。

Permalink | 記事への反応(4) | 12:43

ツイートシェア