[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 49 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
447
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/10/13(火)21:11 ID:Nk0YN5V9(6/11) AAS
>>446
つづき

外部リンク:sites.google.com Sendai Logic Homepage 資料ページ
外部リンク:sites.google.com
Sendai Logic Homepage
ヒルベルトの第10問題 (『ヒルベルトの23問題』(日本評論社 1997)より)
歴史,背景について.
省22
448: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/10/13(火)21:11 ID:Nk0YN5V9(7/11) AAS
>>447

つづき

■ 第10問題と現在の問題
 ディオファントス方程式が実数の範囲で解けるか否かを判定するアルゴリズムは知られている.

どんな体あるいは環でどのようなディオファントス方程式の可解性が判定できるか...
問題は果てしなく広がっている.

 整数の話を戻ると,マチャセビッチが証明した最良の結果は,
省8
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.036s