献本頂いた数学を生み出す魔法のるつぼ —実験数学への招待を読んだ。これは面白い。まず実験数学ってなんなのかピンと来ないけど、たとえばガウスが素数の分布密度を調べてlogの逆数になることを発見したのが1792年の話。それから100年以上たってその近似式が正しいという証明がなされた。他にも数式はブログばえしないので省略するけども簡単な漸化式の収束する値と、とある積分の値が一致することを発見して、その理由を説明できなかったけども、19世紀になってから楕円モジュラー関数の理論につながっていっただとか。こういうのが実験数学だそうな。 リーマンが1859年にリーマン予想を発表した際、なぜその予想をしたかは論文に書かれていなかったのだけども、ゲッチンゲン大学に寄贈されたリーマンの使った計算用紙からは数値計算をして見つけ出したことが読み取れるとか。 僕Pythonを使い始めた頃に、上限のない整数があること