予想と証明（信じる行為と理性の関係について その３） 2008年04月08日 思索 「きみの意見では、いくつかの楕円方程式はモジュラー形式に関連づけられるというんだね。」 「いえ、そうではありません。いくつかの楕円方程式ではなく、すべての楕円方程式です。」 フェルマーの最終定理を証明する際に重要な鍵となった谷村＝志村予想を発表した志村五郎とある高名な数学者とのやりとり。 谷村＝志村予想とは、１９５５年に発表された理論で、無限の対称性を持つモジュラー形式…続きを読む
