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