14/01/11 13:26:39.07
>>297-298
乙す
思うに、一人の人間の中では
大きな構想と哲学で証明のあらすじから作って→細かいところは後から手直し→手直し可 or 否
一方
証明は細かい論理の積み上げ→複数の人が個別に行う→ここまでは確かだ→その上にさらに一歩を積む
ABC予想にしても、望月が予想から証明までの全てを行ったわけではない
かつチェックは、細かい論理の積み上げで行う
だか、錯覚してはいけない
大きな構想と哲学で証明のあらすじがあるということを忘れてはいけない
14/01/11 13:26:39.07
>>297-298
乙す
思うに、一人の人間の中では
大きな構想と哲学で証明のあらすじから作って→細かいところは後から手直し→手直し可 or 否
一方
証明は細かい論理の積み上げ→複数の人が個別に行う→ここまでは確かだ→その上にさらに一歩を積む
ABC予想にしても、望月が予想から証明までの全てを行ったわけではない
かつチェックは、細かい論理の積み上げで行う
だか、錯覚してはいけない
大きな構想と哲学で証明のあらすじがあるということを忘れてはいけない