「ABC予想」の証明理論、欠陥見つけたら1.4億円 (890レス)
「ABC予想」の証明理論、欠陥見つけたら1.4億円 http://rio2016.5ch.net/test/read.cgi/math/1688704076/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
131: 132人目の素数さん [] 2023/07/11(火) 07:28:58.29 ID:fqtgOaLR 逃げたのはIUT一派でしょ woitのブログでも大きな論争があったとき 実名(に準ずるもの)でscholzeを支持した数学者は 幾人かいたけど、IUT支持派はdupuyとjoshiだった その二人にしても望月論文が証明になっていないことを認めている 川上氏が本当に正否を知りたいというのなら 研究所を作ったり100万ドルの懸賞金を出すのでなく 人を雇って証明支援系による検証を行うべきでしょう http://rio2016.5ch.net/test/read.cgi/math/1688704076/131
136: 132人目の素数さん [] 2023/07/11(火) 08:35:45.31 ID:RUY/xjoS >>131 >>川上氏が本当に正否を知りたいというのなら >>研究所を作ったり100万ドルの懸賞金を出すのでなく >>人を雇って証明支援系による検証を行うべきでしょう その選択肢が眼中になかったらしいことが 一切を物語っている http://rio2016.5ch.net/test/read.cgi/math/1688704076/136
141: 132人目の素数さん [] 2023/07/11(火) 12:32:42.11 ID:jeqyKcET >>131 証明支援系で検証できるの? http://rio2016.5ch.net/test/read.cgi/math/1688704076/141
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.587s*