13/12/03 19:29:56.74
弱いsbc予想でもフェルマー予想の別証明が出来るのか。
強いのも証明しようと思えば出来るんだったら、証明したら良いと思うんだが。
ワイルズもフェルマ予想の証明はしたが、谷山・志村予想の証明はしなかった。
谷山・志村予想を証明すればフェルマー予想を証明したことになるのに
フェルマ予想だけを証明した。
谷山・志村予想を証明しようと思えば証明出来ただろう。
後に、リチャード・テイラーらが谷山・志村予想を証明した。
数学的には、谷山・志村予想＞フェルマー予想 だろうに。