[過去ログ] Inter-universal geometry と ABC 予想 46 (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
238: 2020/04/05(日)12:16 ID:BRLakduE(1/4) AAS
問題の系3.12について引っかかるのが、IUTの他の定理は証明が1ページ未満なのに対し、この系3.12だけは10ページ以上も証明があるって点だ
本来は“系”(corollary)というぐらいだから証明もいらないぐらい自明じゃないといけないはずなのに
315: 2020/04/05(日)17:40 ID:BRLakduE(2/4) AAS
そもそもABC予想の拡張自体が複数種類あるからどれを強いABC予想って呼んでるのかわからん
そもそもフェルマーの最終定理の証明にはK(ε)が一つ求まればよく、ABC予想の拡張版を使う必要はない
320: 2020/04/05(日)18:18 ID:BRLakduE(3/4) AAS
ε=1、K(ε)=1のことを「強いABC予想」って言ってる人がいるみたいだけど、この命題からは通常のABC予想は導かれないから「強い」「弱い」という表し方は間違ってる気がする
328: 2020/04/05(日)18:46 ID:BRLakduE(4/4) AAS
>>311

Mochizuki's approach to diophantine approximation (last update: 28 Dec 17)

2012年に望月真一は、グロタンディークの遠アーベル幾何学の原理から非常に緩やかに派生したエキゾチックなアイデアのコレクションを使用して、これらの推測の証明を発表しました。
(2017年末現在)望月の「宇宙際タイヒミューラー理論」(IUT)に関する4つの論文は受理されたようですが、中心的な概念に関する独立した説明はほとんどなく、ほとんどの専門家(私を含む)は現在この証明を完全に検証済みとして扱っていない。

この行き詰まりを解決することは、緊急の重要性の問題ですが、恒久的な学術的地位を確保するために研究ポートフォリオを確立する必要がある若い研究者にはお勧めできないかもしれません。
潜在的な開始点の1つは、主題の基礎を明確にすることです。議論の性質は、遠アーベル的再構築によって特定の「不確定性の程度」を定量化することでディオファントス不等式を導き出すことであり、
ホモトピー型理論のような現代のツールは、 「再構築」が実際に何を意味するかをより正確に特定するために用いることができるだろう。
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.030s