25/11/02 23:29:20.37 PmfdHnoP.net
>>945
>>谷山-志村にはグロタンディークの代数幾何の理論が必要
>それホント？眉唾
そう言われてもね
池上大祐氏>>944の受け売りだからな ；ｐ）
池上大祐氏にお手紙書くか
身近な フェルマーの最終定理に詳しい数学者に聞いておくれ
ひょっとして
「グロタンディーク宇宙と到達不可能基数は不要」が証明できたら
論文になるかもね
>>946
>>グロタンディーク宇宙（それは圏論の一部）
>圏論にはグロタン宇宙は不要よ
圏論一般には グロタン宇宙は不要だが
問題は、フェルマーの最終定理の証明に使う部分で どうかだ