>>59
加藤文元動画は望月レポート及び
「"∧" "∨ "」解説文の参考文献とRIMS
「IUTTの拡がり」のHPにある。
非公開のミーティングの後、
加藤文元動画の解説本の望月推薦
加藤文元本が出版され⑶ 3 ア.
でsimplificationsできない理由が、
「IUT語。IUT理論は、一般的な数学
のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・
概念体系を基盤として構築されている」
と必然的になる。
トマスクーン流パラダイムに位置づけられたIUT語よりabc予想.証明は
成り立つとした。
通約不可能なトマスクーン流パラダイム論はポストモダンと「「知」の欺瞞」
でも批判されている。
abc予想証明のギャップはIUTの歴史や
概要論文や「IUTTの構築よりabc予想が解決」やイメージだけでは決して明らかにならない。
ショルツェがcomputer-assisted proof に成功したことは素晴らしいし
ショルツェは証明方法の超一流の専門家でレビューを書いた。
(今まで非公開のミーティング内容にだんまりの森星にはしらっとみるしかない)