Inter-universal geometry と ABC 予想 46

[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 46 (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

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

458(2): 2020/04/06(月)09:35 ID:LIbx70F0(1/9) AAS
>>455
この証明は証明自体もすごいけど、
そのツールがすごいんでしょ。
いわゆる微分とかの開発と似たような感じ。

だから、関心の対象になってる。
できたら理解してみたいけどなあ。時間ない。

459: 2020/04/06(月)09:37 ID:LIbx70F0(2/9) AAS
>>457
ABC予想は、数学者の多くが解こうとしている難題で、
だから、検証に大きなリソースが裂かれてる。

468: 2020/04/06(月)11:01 ID:LIbx70F0(3/9) AAS
数学と医学を一緒にされても
数学者の人数は簡単に増えないよ。

469(1): 2020/04/06(月)11:09 ID:LIbx70F0(4/9) AAS
>>461
ワイルダーみたいに何年もかかりっきりでとく方が普通でね。
数学の場合。

470: 2020/04/06(月)11:13 ID:LIbx70F0(5/9) AAS
ワイルズだった。

474(1): 2020/04/06(月)11:19 ID:LIbx70F0(6/9) AAS
>>466
査読するのに8年かかってるのだから、
理解するのも同じくらいかかるでしょ。
当然。

475(1): 2020/04/06(月)11:22 ID:LIbx70F0(7/9) AAS
>>472
証明が成功してるなら、まったく、新しい風景は提示されてんじゃん。
見れる人が少ないだけでしょ。

482: 2020/04/06(月)11:36 ID:LIbx70F0(8/9) AAS
>>479
コンピューターによる証明はアルゴリズムを見て判断するだろ。
これとは性質が違う。
くだらねえなあ。

483(1): 2020/04/06(月)11:37 ID:LIbx70F0(9/9) AAS
外在的な観察いくらしても、証明の成功不成功とは関係がない。