[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 30 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
882(2): 2018/09/23(日)00:53 ID:QIiFk6mn(1/4) AAS
>>866>>869>>879>>880
数論幾何学で慶大院生2人が小学校でも教えれるシンプルな三角形の新定理（ただ1組の三角形ペア）を証明
2chｽﾚ:math
このスレによると、2004年にIBMに出題された問題と同じ問題であって、
2004年の時点で解の一意性まで含めて初等的に完全解決していた模様
pdfもダウンロードできる
初等的なので頑張れば読めるが、いかつい計算が並んでいて読む気にならん
省1
888: 2018/09/23(日)02:10 ID:QIiFk6mn(2/4) AAS
>>886
証明のやり方は違うから、車輪の再発明というより牛刀鶏肉という感じかな
最初に難しい証明が発見されて、その後に初等的な証明が見つかった
ということなら歴史的意義はあるが、先に初等的な証明があるのに
後から難しく証明しなおしても牛刀鶏肉でしかなく…
重要な定理だったら、別証明がたくさんあった方がいいけど、
これはそういう定理でもなさそうだし
890: 2018/09/23(日)02:22 ID:QIiFk6mn(3/4) AAS
あと、証明ごとに何かしらの洞察が含まれてるならいいけど、この定理の場合は、
少なくとも初等的証明の方は、AIが出力したかのようなイカツイ計算が並んでいて、
問題を解くためだけの力づくの解法という感じがする
難しい方の証明は、難しすぎて俺にはお手上げだが、もしこれも
問題を解くためだけの力づくでしかないなら、論文の意義がほとんどなくなる
最新の数学で素朴な未解決問題が解けた、というのが論文のウリの1つだったはずで、
でもそれは2004年に解けてるからウリにならなくて、じゃあ何が残るのかっていう…
891: 2018/09/23(日)02:23 ID:QIiFk6mn(4/4) AAS
>>889
ごめん、もう控えるわ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.578s*