20/05/02 12:01:35 saXlBmv+.net
>>514
いやSSだけじゃさすがにあれ。望月レポート込みと、後ショルツのブログの初期コメントはSSの補足として必要
SSレポート自体はtautological inconsistentencyの話で、望月はそれを単純化として批判した
SSは単体では十分な反証ではない、というDupuyらの主張は正しいだろうが、要点は論争パッケージ込みでも
証明はされてないというSSの表題自体はやはり正しいだろうってことだな
個人的には上の誰かと同じで、スリムな遠アーベル圏で望月の狙いを実現できるかがそもそも怪しいと思うけど
できる、というのが望月予想として、逆にショルツは圏が狭すぎるのではないかと疑ってる感じだよね
勿論、とは言ってもそれがIUTの屋台骨なわけだから、簡単に修正できないって言い方になる