26/07/27 22:01:51.54 9NBu0pqC.net
>>577-578
数学シロウトか
はたまた ｗ大数学科初日オチコボレさんか
どちから知らないが
全く説得力ゼロだね
いいか
21世紀の現代数学 は、高度に専門化されているから
分野が違えば、他の分野の人は ことの成否は 正確には判断できないとしたものだ
なので、LANAプロジェクトの中間報告は Lean形式化未達だが
達成できる可能性はあると
そういう報告をした（今後1年かけるとかね）
ところで、今後1年は長い（長過ぎるのでは？）
話を秘密にする理由が希薄だと思うし
もっと、オープンな議論にした方がいいと思うな
そこで自然に
ダメならダメ
やれるならやれると
なると思うぞ