24/06/16 10:52:30.18 wC4NQTMu.net
>>398
四色問題やケプラー問題の顛末は
あの種の問題と証明法や検証のあり方について
数学のコミュニティーが経験を積んだという点では意味がある
四色問題は10年近く経って検証をはっきりさせた報告集が出版されて
その一部には日本人の貢献もある
有限単純群の分類も似た話だがマシュー群やモンスター群の応用が多いので
数学全体への波及力が違うし今もなんか出版中だな
ABCもまあ査読システムの経験値だろうな経験が生きるのか知らんけど
24/06/16 10:52:30.18 wC4NQTMu.net
>>398
四色問題やケプラー問題の顛末は
あの種の問題と証明法や検証のあり方について
数学のコミュニティーが経験を積んだという点では意味がある
四色問題は10年近く経って検証をはっきりさせた報告集が出版されて
その一部には日本人の貢献もある
有限単純群の分類も似た話だがマシュー群やモンスター群の応用が多いので
数学全体への波及力が違うし今もなんか出版中だな
ABCもまあ査読システムの経験値だろうな経験が生きるのか知らんけど