[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

528(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/12(火)07:32 ID:SSKfv1SN(1/9) AAS
>>526-527
同意です
下記に、長い証明が 後に短くなった例があります

有名どころでは、”1799 The Abel?Ruffini theorem was nearly proved by Paolo Ruffini, but his proof, spanning 500 pages, was mostly ignored and later, in 1824, Niels Henrik Abel published a proof that required just six pages.”
これは、５次の代数方程式の 代数的解法が存在しないことの定理ですが、Paolo Ruffiniが500ページほど書いて証明したそうですが（ギャップがあったとか）、アーベルが” just six pages”にしたとか

（参考）
外部ﾘﾝｸ:en.wikipedia.org
省9

---

529(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/12(火)07:42 ID:SSKfv1SN(2/9) AAS
>>528
＞・1964 Resolution of singularities Hironaka's original proof was 216 pages long; it has since been simplified considerably down to about 10 or 20 pages.

これは、有名なHironaka先生の特異点解消定理ですが、216 pagesを ”about 10 or 20 pages”に出来たとか
望月先生は、否定するかもしれませんが、短くできる可能性は否定できないでしょう

但し、フェルマーには、おそらく初等的証明がないのと同様に
IUTにも、初等的証明はないと思います

但し、もう少し整理して分り易くとか
省10

---

530(2): 2020/05/12(火)08:06 ID:gmSQkuCI(2/14) AAS
>>528
証明は長くてもいいんですけどね

でも書き込みは短いほうがいいかな

Abelは貧乏だったので印刷代をケチったらしいです

そのせいでGaussに誤解されて論文ポイされたって言われてますね

>>529
タオが「これだけの重大な成果なのに他に成果がないのは奇妙」
省6

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 2.341s*