[過去ログ]
Inter-universal geometry と ABC予想 (応援スレ) 49 (1002レス)
Inter-universal geometry と ABC予想 (応援スレ) 49 http://rio2016.5ch.net/test/read.cgi/math/1600350445/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
447: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/10/13(火) 21:11:23.41 ID:Nk0YN5V9 >>446 つづき https://sites.google.com/site/sendailogichomepage/files/ref Sendai Logic Homepage 資料ページ https://sites.google.com/site/sendailogichomepage/files/ref/ref_05 Sendai Logic Homepage ヒルベルトの第10問題 (『ヒルベルトの23問題』(日本評論社 1997)より) 歴史,背景について. (抜粋) ■ はじめに “n 個の未知数を含む整数係数の多項式 P(x1,x2,..., xn) に対し, 方程式 P(x1,x2,...,xn) = 0(ディオファントス方程式または不定方程式と呼ぶ)が整数解を持つか否かを有限的に判定する方法をみつけよ” というのがヒルベルトの第10問題である. 原文でもそれ以上の説明はなく,23の問題の中で一番短い設問である. ヒルベルトは全体の前書きで, 「道で初めて出会った人にも明確に説明できる」のが良問であると言っているが, その意味でこれは最良の問題の1つであろう. また,前書きなどに語られているヒルベルトの数学観 (数学全体を1つの大きな有機体と見,それに関する真理は必ず有限的な手段で把握できるという信念) を端的に表す出題でもある. そして,もう一つ重要な点は, この問題にはその半世紀後に興る計算機科学の萌芽が感じられることである. 第10問題そのものは,1970年に否定的に解決されたが, その周辺には現在も未解決で,しかも数論や計算機科学の重要問題と関連する話題がたくさんある. ■ フェルマー・ワイルスの定理と第10問題 フェルマーの予想はようやく最近ワイルスによって正しいことが証明されたが, しかしこのように解の有無がわかるディオファントス方程式はむしろ例外的である. 一般に3変数以上のディオファントス方程式を解く有力な方法はまったく見つかっておらず, たとえば, x^3 + y^3 + z^3 - 3 = 0 が (1, 1, 1), (4, 4, -5)とその並び換え以外の整数解を持つかどうかはわかっていない. つづく http://rio2016.5ch.net/test/read.cgi/math/1600350445/447
448: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/10/13(火) 21:11:48.60 ID:Nk0YN5V9 >>447 つづき ■ 第10問題と現在の問題 ディオファントス方程式が実数の範囲で解けるか否かを判定するアルゴリズムは知られている. どんな体あるいは環でどのようなディオファントス方程式の可解性が判定できるか... 問題は果てしなく広がっている. 整数の話を戻ると,マチャセビッチが証明した最良の結果は, 9変数のディオファントス方程式の可解性が判定できないというものである(文献 [3]). これを3変数に限ってもやはり判定できないだろうという予想があるが, もう10年以上進歩が見られずデッドロック状態にある. 2変数についてはベーカーたちが多くの肯定的結果を出しているが, それでもすべての2変数多項式の可解性が決定したわけではない(文献 [2]). 最後に,MRDP定理と計算量理論の関係について簡単に触れておこう. (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1600350445/448
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.046s