数学の未来
数学の自然の姿と個別の数学的な問題の将来への進行は広く議論される話題である。―現代数学についての過去の多くの予想は置き誤れるかまたはまったくの間違いであり続けてきた、そうなので今日の多くの予言が似たような経過をたどるかもしれないことを信じる理由がある。しかしながら、その対象はいまだひとつの重要性をもたらしそして多くの著名な数学者によって書かれてきた。典型的には、それらは特定の諸問題について直接的に努力する研究議題を定めるよう欲することにより、あるいは、数学の一般分野へ関係する下位学問分野のところの方法のひとつの明確化、更新、ならびに外挿への欲望により、動機づけられてきた。現在、過去、未来における特別な分野での進歩に対して圧力をかける議題の例は、フェリックス・クラインのエルランゲン・プログラム、ヒルベルトの23の問題、ラングランズ・プログラム、ミレニアム懸賞問題を含む。MSC2020においては、01Axx節 "History of mathematics and mathematicians"（数学と数学者の歴史）内のサブセクションである、01A67 "Future perspectives in mathematics"（数学における将来展望）で扱われる[1]。
数学についての予測の精度は様々な広がりを持つ。そして技術のそれに非常に似たものになる[2]。そうなので、以下の研究者によるその多くの予測が間違いに導くかもしくは真実でない方にひっくり返るかもしれないことを常に心がけることは重要である。
思索に対する動機と方法論
[編集]アンリ・ポアンカレが1908年に書いたもの[3]によれば、「数学の未来の予測の真の方法は、それ自体の歴史ならびに現在の状態の研究にある」[4]。歴史的アプローチは、近い将来の予報の研究ならびに、どれだけ予測が正当かどうかを理解する技法の現在の状態と、それらを比較することからなりたちうる、例えば、ヒルベルトの問題の進歩の観察[5]。どんな数学それ自体の分野の調査でも今不確かである：その分野の逸れた広がりは数学的知識管理（英語: mathematical knowledge management）の問題の発生を与える。
数学全般
[編集]準厳密数学
[編集]ドロン・ザイルバーガー（英語: Doron Zeilberger）は、コンピューターが大変強力になるので、数学で優勢な問題が証明することからそれを解くのにどれだけ費用がかかるか決めることに変わる時を考える：「大きな同一性のクラスとして、そしてたぶん定理のまさに別の種類のクラスは、定型処理的に証明できるようになる、私たちは、私たちがどうやって証明（もしくは反駁）を見つけるかを知ることができるものについての沢山の結果を目撃するかもしれない、しかし、そのような証明の発見についての支払いを、私たちはできないか、もしくは望まない、なぜならほとんど確実 （英: almost certainty）はそれだけ安価になりうるからである。私は、次のように読める、おおよそ2100の、ある論文の要約を見ることができる：「ある一定の精度の意味で、ゴールドバッハの予想は0.99999以上の確率をもって正しいこと、そしてそれの完全な真実には100億ドルの予算をもって決定できるだろうことを、私たちは示す。 」[6]
諸分野
[編集]数学の異なる分野はとても異なった予言をもつ、たとえば、数学のあらゆる分野はコンピューターにより替えられるよう見られるうちに[2]、コンピューターが人間を完全に置き換えるよう予言される幾つかの中で、その他の分野は人間の達成を助けるような技術の利用から利益を得るよう見られる。
純粋数学
[編集]組み合わせ論
[編集]2001年に、ペーター・キャメロン（英: Peter Cameron）は、Combinetorics entering the third millennium[7]のなかで、組み合わせ論の将来についての予言をまとめた：
既存の傾向と将来の方向において幾つかの光をあててみよ。私は理由を四つのグループに分けた：コンピューターの影響力；組み合わせ論の精緻化の増大；それの他の残りの数学への結びつきの強化；社会における幅広い変化。何が明らかであるか、にもかかわらず、組み合わせ論は形式的な明細化において逃れるよう企て続けるだろう。
ベラ・バラバシは書いた：「ヒルベルト、私が思うに、（彼は）或る分野がもし問題の豊富さを有するならば、そのときに限りそれは活発である、と言った。それは確実に組み合わせ論をとても非常に活発にさせるところのものである。私は組み合わせ論が今後百年にわたって存在するだろうことを疑わない。それはまったく異なった分野になるだろう、しかしそれはなお単純に繁栄するだろう、なぜならそれはなお極めて多くの問題を有するから。」[8]
数理論理学
[編集]2000年に、集合論、計算機科学における数理論理学、および証明論を含んだ The Prospect For Mathematical Logic In The Twenty-First Century [9]の中で、数理論理学が議論された。
関連項目
[編集]脚注または引用文献
[編集]- ^ “Mathematics Subject Classification 2020 (MSC2020)”. 2024年1月19日閲覧。
- ^ a b Borwein (2013).
- ^ 英語訳
- ^ Poincaré (1908).
- ^ Yandell (2002).
- ^ Zeilberger (1994).
- ^ Cameron (2001).
- ^ Yu (2010).
- ^ Buss et al. (2001).
ウェブサイト
[編集]- Borwein, Jonathan M. (2013年). “The Future of Mathematics: 1965 to 2065”. 7 February 2019閲覧。
- Buss, Samuel R.; Kechris, Alexander S.; Pillay, Anand; Shore, Richard A. (2001), “The Prospects Mathematical Logic In The Twenty-First Century”, Bulletin of Logic
- Cameron, Peter J. (2001-07), Combinatorics entring the third Millennium, Third draft
- Poincaré, Henri (1908), The Future of Mathematics
書籍
[編集]- Yandell, Ben (2002). The honors class: Hilbert's problems and their solvers. A K Peters Ltd.,. ISBN 978-1-56881-216-8
- Yu, Kiang Leung (2010). Criative Minds, Charmed Lives. World Scientific
雑誌
[編集]- Zeilberger, Doron (December 1994). “Theorems for a Price: Tomorrow's Semi-Rigorous Mathematical Culture”. The Mathematical Intelligencer 16 (4): 11-18.
参考文献
[編集]- Weil, Andre (05 1950). “The Future of Mathematics”. The American Mathematical Manthly (Taylor&Francis, Ltd. ) 57 (5): 295-306. doi:10.2307/2306198.