準厳密数学
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/27 00:46 UTC 版)
ドロン・ザイルバーガー(英語: Doron Zeilberger)は、コンピューターが大変強力になるので、数学で優勢な問題が証明することからそれを解くのにどれだけ費用がかかるか決めることに変わる時を考える:「大きな同一性のクラスとして、そしてたぶん定理のまさに別の種類のクラスは、定型処理的に証明できるようになる、私たちは、私たちがどうやって証明(もしくは反駁)を見つけるかを知ることができるものについての沢山の結果を目撃するかもしれない、しかし、そのような証明の発見についての支払いを、私たちはできないか、もしくは望まない、なぜならほとんど確実 (英: almost certainty)はそれだけ安価になりうるからである。私は、次のように読める、おおよそ2100の、ある論文の要約を見ることができる:「ある一定の精度の意味で、ゴールドバッハの予想は0.99999以上の確率をもって正しいこと、そしてそれの完全な真実には100億ドルの予算をもって決定できるだろうことを、私たちは示す。 」
※この「準厳密数学」の解説は、「数学の未来」の解説の一部です。
「準厳密数学」を含む「数学の未来」の記事については、「数学の未来」の概要を参照ください。
- 準厳密数学のページへのリンク