[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59
(1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
232(3): 2025/12/06(土)15:44 ID:baLYhLj0(1) AAS
ABC予想証明の正否、コンピューターで決着か 望月氏が打開策示す
外部ﾘﾝｸ[html]:www.asahi.com
233: 2025/12/06(土)17:16 ID:qakIGKJ2(1/4) AAS
>>232
へぇー
でも証明検証プログラムに掛けられるぐらい形式化できたなら
それを人が読んでも理解できるんじゃないの？？
分からんけど
246(2): 2025/12/06(土)19:53 ID:63QplXU6(1) AAS
>>232
＞望月氏が打開策示す
望月氏の主張は
証明になっていないと主張する側が打開しろ
と言っているに等しい内容ですから
到底打開策とは言えません
証明が理解不能という批判に開き直って
> (NwExp) entirely standard practice in professional
> mathematics for research papers to be written with
> a rather narrowly defined circle of experts in mind.
省17
250: 2025/12/07(日)00:58 ID:gZT9DFKW(1/2) AAS
>>232
石倉朝日記者の望月IUT礼賛記事。
>論文は21年、数学誌に掲載されて「証明」と認められたが、数学界の大半は認めていない状態。
・文科省も関与したIUT論文スキャンダル。>3->8
・不正査読。
京大数理研>9外部評価委員会>13玉川PRIMS特別編集委員長
>12はIUTの構築よりabc予想が解決.abc予想が証明された.と表明した。
省15
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.001s*