26/07/19 07:48:23.78 nUKgsSja.net
>>287
(引用開始)
できる可能性がある
は
できない可能性がある
でもある、つまり何も言ってないに等しい
(引用終り)
違うだろｗｗ
数学では、しばしば有力な予想が出されて
それが、推進力になる
有名どころでは、ヒルベルト23の問題 URLﾘﾝｸ(en.wikipedia.org)
肯定的に解決された問題も多いし、否定的に解決された問題も多い
（予想という形でない問題もあるが、当時の未解決予想で重要な予想もある）
いま、望月IUT 3.12 の証明において、ある部分で 多くの数学者が”自明”だと、流してきた部分が
Leanによる形式化の過程で 明確になったということだろう
それが >>246の「LANAプロジェクト」中間発表会での結論だね
加藤文元氏は、今後1年検証を続けると 言った
望月IUT一派が、Leanによる形式化に乗せられるように、議論するってことだね
1年で達成できなければ、Leanによる形式化の過程をすべて公表するのだろう
そうなれば、自由競争だが
いまは 望月IUT一派が 詳細情報にアクセスできる優先権がある
さて、上記>>264では ジョルダン曲線定理に例えたが
数学において しばしば自明視された事項が、
実は要証明事項とされてきた歴史がある
それが、数学の進歩というものよ
おわかりかな？ｗｗ