[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 49 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
43(1): 2020/04/12(日)14:37:28.69 ID:Q2XpeR4L(2/21) AAS
>>40
論文嫁食らってから2年間放置したのは反IUTの旗艦ショルツなんだが
188(1): 2020/04/12(日)17:13:54.69 ID:AOxj0b7h(9/38) AAS
>>175
ショルツのあの反論がでたときの望月側の反応
なんじゃこりゃ、理解してない！Remark.5は初歩的な間違いしてる！これ指摘したらショルツ赤っ恥だし、どうしよう(薄ら笑)
だったよ
230(3): 2020/04/12(日)17:50:56.69 ID:a5hvY8rg(3/7) AAS
アクセプトまでの経緯こそ内部告発して欲しいわ。
どうせろくでもないやつらが関わってんだろ。
430(2): 粋蕎 ◆C2UdlLHDRI 2020/04/13(月)07:13:02.69 ID:fblTsVTs(2/5) AAS
>>420
故に纏めサイトよりIUTTを語るSNSを立ち上げるのが先。SNSなら人を選べる｡
今井弘一数学塾みたいな「複ベクトル」「行列の商法」なんてトンデモ老齢者を追放できる｡
もはやIUTTはゲーデルやアインシュタインの様な天才の出番を待つ時期は終わった｡
ヒルベルトやボーアと言った舵取りリーダーが必要｡
シュルツ氏はチームを作るべき｡
望月氏も「数学者にとっても読み物になってない論文」を「読み物にする活動」が必要｡
省1
479(1): 2020/04/13(月)11:26:02.69 ID:sx2gcUJv(1/3) AAS
>>471
査読は通過したけど、掲載はやめた、
というのはありなの？
582(2): 2020/04/13(月)17:39:09.69 ID:my5S7sSz(29/32) AAS
>>579
>それなら、反論した後で、記者会見するじゃろ
記者会見は、文系の記者相手で、広報は一般大衆向け
プロ向けには、今年国際会議が予定されているでしょ
そして、秋と春の日本数学会と
そして、2022ICMがあるよ
>ショルツが認めなくても、他の数学者が認めればええじゃろ
省3
842(1): 2020/04/14(火)18:14:01.69 ID:8FhN93Xm(9/10) AAS
>>811
望月がわは、3.12は3.11から自明って言ってるんでしょ。
だから、自明じゃないとかえすか、それを認めるかしないと。
935: 2020/04/14(火)22:42:07.69 ID:gQPOC93+(3/3) AAS
>>919
外部ﾘﾝｸ:www.jstor.org
993(2): 2020/04/15(水)13:26:31.69 ID:LTi2Xsr9(4/5) AAS
>>990
> よって、人間の証明を、人が
>再チェックして、確認することになるだろう
だったら、状況はいまとあまり変わらないんじゃない？
Coqに食わせるのが簡単にできるなら、人のチェックと 平行してやればいいけど
994(1): 2020/04/15(水)13:27:59.69 ID:/g+JzMtk(6/9) AAS
>>992
誤 varidation
正 validation
998(1): 2020/04/15(水)13:39:57.69 ID:/g+JzMtk(9/9) AAS
>>990
Coqによる検証でも、人間によるテストを全部無くすことはできないが
「人間の証明を、人が再チェックして、確認する」
とかいう機械排除の口実は全く存在しない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.044s