実験数学とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 実験数学の意味・解説 

実験数学

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/07/12 04:35 UTC 版)

実験数学(じっけんすうがく、英語: experimental mathematics)は、数学的対象を調査し、特質や規則を発見するために計算を使用する数学へのアプローチである[1]。それは、「数学の一分野で、実験的(ガリレオ的、ベーコン的、アリストテレス的、あるいはカント的)な方法で、予想やよりくだけた信念を探求し、その過程で得られたデータを慎重に解析することによって、究極的には数学界に洞察を成文化し発表することに関心を持つもの。」であると定義されている[2]

ポール・ハルモスは次のように述べている[3]。「数学は演繹的な科学ではない-それは決まり文句だ。定理を証明しようとするとき、ただ仮定を並べ推理するのではない。試行錯誤、実験、推測をするのだ。その点では、実験技師の仕事と似ている。」

歴史

数学者は常に実験数学を実践してきた。バビロニア数学のような初期の数学の記録は、代数的恒等式を説明する数値例のリストで構成されているのが一般的である。しかし、17世紀に始まる近代数学では、結果を最終的に形式的かつ抽象的に発表する伝統が発達した。そのため、数学者が一般的な定理を導き出したと思われる数値例は発表されず、忘れ去られてしまった。

20世紀になって、電子計算機が発明され、それ以前の数学者たちとは比較にならないほどの速さと精度で、実現可能な計算の幅が大きく広がったため、実験数学は独立した研究分野として再浮上してきたのである。実験数学の重要な節目と成果は、1995年に発見された π二進数に対するベイリー=ボールウェイン=プラウフの公式である。この公式は、形式推論ではなく、コンピュータ上での数値探索によって発見され、その後、厳密な証明がなされた[4]

目的および用途

実験数学の目的は、「理解と洞察を生み出すこと、予想を生み出し確認または比較すること、そして一般的に、専門の研究者と初心者の両方にとって数学をより具体的に、活発に、楽しくすること」[5]である。

実験数学の用途は以下のように定義されている[6]

  1. 洞察力と直観力を身につける。
  2. 新しいパターンや関係性を発見する。
  3. グラフ表示を使って数学の基本原理を示唆する。
  4. 予想を検証し、特にその誤りを示す。
  5. 可能性のある結果を探求して、それが正式な証明に値するかどうかを確認する。
  6. 形式的な証明のためのアプローチを提案する。
  7. 長時間の手作業による導出をコンピュータによる導出に置き換える。
  8. 解析的に導出された結果を確認する。

道具と技術

実験数学では、積分無限級数の近似値を計算するために数値解析を用いる。これらの値を高精度(通常100桁以上の有効数字)に設定するために、任意精度演算がしばしば用いられる。そして、これらの値と数学定数との関係を探索するために、整数関係アルゴリズムが使用される。高精度の値を用いることで、数学的な偶然の一致を真の関係と見誤る可能性を低くすることができる。予想される関係の形式がわかれば、形式的な証明は容易に見つかることが多い。

反例を求める場合、あるいは大規模な網羅的証明を試みる場合には、分散コンピューティング技術を利用して複数のコンピュータで計算を分担することもある。

一般的な数学ソフトウェアや、高効率が要求される問題の攻略のために書かれた特定分野のソフトウェアが頻繁に使用される。実験用数学ソフトウェアには通常、ハードウェアやソフトウェアのエラーによって結果が無効になる可能性を最小限に抑えるために設計された誤り検出訂正メカニズム、完全性チェック、冗長計算が含まれている。

応用と例

実験数学の応用や例としては、以下のようなものが存在する。




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  
  •  実験数学のページへのリンク

辞書ショートカット

すべての辞書の索引

「実験数学」の関連用語

実験数学のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



実験数学のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの実験数学 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS