「ABC予想」の証明理論、欠陥見つけたら1.4億円 (890ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
131(2): 2023/07/11(火)07:28 ID:fqtgOaLR(1/3) AAS
逃げたのはIUT一派でしょ
woitのブログでも大きな論争があったとき
実名（に準ずるもの）でscholzeを支持した数学者は
幾人かいたけど、IUT支持派はdupuyとjoshiだった
その二人にしても望月論文が証明になっていないことを認めている
川上氏が本当に正否を知りたいというのなら
研究所を作ったり100万ドルの懸賞金を出すのでなく
省1
136: 2023/07/11(火)08:35 ID:RUY/xjoS(1/2) AAS
>>131
>>川上氏が本当に正否を知りたいというのなら
>>研究所を作ったり100万ドルの懸賞金を出すのでなく
>>人を雇って証明支援系による検証を行うべきでしょう
その選択肢が眼中になかったらしいことが
一切を物語っている
141: 2023/07/11(火)12:32 ID:jeqyKcET(1) AAS
>>131
証明支援系で検証できるの？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s