20/05/05 07:55:25 dnbV/fKk.net
>>60
コメントありがとう
興味深く読みました
”>Koshikawa had a similar problem,
and when he asked Mochizuki about it,
the latter responded that the deduction is
self-evident.”
の話は、本スレでも出ていたね(今年の4月3日の記者会見後に)
で、それは2018年当時のKoshikawaで
「越川先生は、いまどう考えているのか」だった
”Cor3.12は証明になっていない”と直接聞いたってことだったと記憶している
つまりは、私の記憶では、Cor3.12は2018年当時は、”self-evident”に近い簡単な記載であって
それがSSとの論争と文書のやり取りの後
さらなる査読の過程で、Cor3.12の証明が追加補強されたと推察しています
(改訂経緯を、きちんとフォローできていないが)
なので、「越川先生は、いまどう考えているのか」がポイント
かつ「いまの査読の過程で Cor3.12の証明が追加補強された版を読んで」どう思うかが、もう一つのポイントでしょうね