Inter-universal geometryとABC予想(シン応援スレ) 92 (434ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
429(1): 07/22(水)20:31 ID:T9Q165NM(1/3) AAS
下記(参考)引用
「 Interuniversal geometry とABC 予想61 」からだが
これは いい話だね
思うに
１）望月＆星氏は 加藤氏のLANAプロジェクトに 現状のLeanコードを公開すべきだろう
２）そして、問題点を明らかにして オープンな議論を惹起すべし
３）望月＆星氏は 今回の加藤氏のLANAプロジェクト中間発表について コメントを出すべきだろう
４）その上で、今後どうしていくのかのロードマップを公表すべきだ
要するに
衆知を集めて 遠アーベル関係者みなで議論して 解決策を模索するべし！だね
省31
430: 07/22(水)20:35 ID:T9Q165NM(2/3) AAS
>>429 タイポ訂正
１）望月＆星氏は 加藤氏のLANAプロジェクトに 現状のLeanコードを公開すべきだろう
↓
１）望月＆星氏は 加藤氏のLANAプロジェクトに 現状のLeanコードを公開要請すべきだろう
補足
いまどき
Leanコードでの証明未達では
世間では通用しないことは
明白
査読を通って 掲載されてしまった論文だから
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.022s