20/04/23 07:33:25.38 /do61ABJ.net
>>244
1つ補足をしておくと
下記 naf says みたいな話があって、2013年当時、Cor3.12の証明がしっかり書けていなかった可能性があるってこと
下記 naf says みたいな議論は、IUT過去スレの中でもあった（探したがすぐ見つけられなかったので 引用はスルー）
で、SSの議論の2018年当時も同じ状況だったかも知れない
ここは、自分の目で確かめた訳では無いのだが
そして、2020年のいまは、Cor3.12には約10ページほどの証明が付いているってこと
最初から、2020年のCor3.12の約10ページほどの証明が付いていれば、どういう議論になったかは分からないが
思うに、SS二人とは、Cor3.12の証明がしっかり書けていない状況で、議論のすれ違いになった可能性が大かな？（＾＾；
（参考）
URLﾘﾝｸ(www.math.columbia.edu)
Not Even Wrong Why the Szpiro Conjecture is Still a Conjecture Posted on April 18, 2020 by woit
(抜粋)
naf says:
April 18, 2020 at 2:44 pm
I myself devoted most of three months way back in 2013 to going through the papers and it was a shock, on reaching Corollary 3.12, to realise that nothing is really proved.