フリードマンの壮大な予想とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > フリードマンの壮大な予想の意味・解説 

フリードマンの壮大な予想

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/05/20 10:10 UTC 版)

初等関数算術」の記事における「フリードマンの壮大な予想」の解説

ハービー・フリードマンの壮大な予想grand conjecture)は多く数学定理例えフェルマーの最終定理が、EFAなどの非常に弱い体系において証明可能であることを含意する。 Friedman (1999)にあるように本来の予想主張次のようである: "Annals of Mathematicsにおいて出版されており、有限的な数学的対象だけを扱うような(すなわちロジシャンいうところの算術的言明)、いかなる定理EFAにおいて証明可能である。EFAペアノ算術の弱い断片であり、 0 , 1 , + , × , exp {\displaystyle 0,1,+,\times ,\exp } に関する基本的な量化子のない公理と、全ての量化子有界である論理式対す帰納法公理図式からなる。" 標準モデルで真であるがEFA証明不能あるような、人工的な数学的言明簡単に構成できる。フリードマン予想ポイントそのような自然な例は稀であるということである。幾つかの自然な例としてはロジックにおける無矛盾性を示す文や、ラムゼイ理論関連する幾つかの命題例えばSzemerédi補題グラフマイナー定理素集合データ構造対すタージャンアルゴリズムなどが含まれる

※この「フリードマンの壮大な予想」の解説は、「初等関数算術」の解説の一部です。
「フリードマンの壮大な予想」を含む「初等関数算術」の記事については、「初等関数算術」の概要を参照ください。

ウィキペディア小見出し辞書の「フリードマンの壮大な予想」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「フリードマンの壮大な予想」の関連用語

フリードマンの壮大な予想のお隣キーワード
検索ランキング

   

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



フリードマンの壮大な予想のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの初等関数算術 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS