20/05/03 09:49:20 tLzMucQK.net
>>671
> 1.、2.の現状は私も理解してますよ
> 3.、4.の雑談氏の考えも承知しております
>ただ、どれもこれも理由じゃないですよね
「理由」の定義が問題では?(後述)
>雑談氏は、IUTにABC予想解決のニュースをいつ聞かれました?
>>673に書いた通りです。結構早かったと思いますよ
>そのときから今まで、IUTに対する見方って変化しました?
当然変わっていますよ。IUT論文だって、どんどん書き直されているしw(^^;
>初めに知ったときの意見と、変化があれば変化の内容
>そしてそれぞれの理由を教えていただけますか?
変化について
最初は、IUT論文のIVが出来上がって望月サイトにアップされて、ABC予想が解決できるとされたことを知りました(それだけ)
当時から、正しい判断とされるのに、数年かかると言われていました
2012年の発表直後に、Vesselin Dimitrov氏が IUT IVの問題点を指摘して、IUTは弱いバージョンに後退しました
その後、山下氏がIUT論文の解読に取り組んだという話が出た。山下氏は豊田中央研究所だったのを、退職してRIMSに移って、IUTを研究するようになりました
最初の京都でのIUTの会議でも、なにかIUT解読について発表されていまいたね
あと、何回か海外でもIUTの研究集会が開かれて、IUTは決着しないという流れになりました
2017年の末だったかに、朝日新聞スクープで、IUT審査が終わって受理されたという報道が流れた
多分それを受けて(海外から「どうなっているんだ」の声で)、森先生が動いて、2018年3月のSS vs 望月・星の議論になったと思います
そのウワサは、IUTの本スレの過去ログにもあると思います。SSに反論を送ったが返事がないとか、文書を公開するというも、「まってくれ」と言われた(フィールズ賞受賞前)とか
そして、多分審査は一度2017年で完了のところ、追加で2年審査して、やっぱり大丈夫となって、今年の4月3日のRIMS記者会見でしょう
理由?
上記に 別に理由など、ありません。新しい事実が分かるつど、新しい事実を組み入れて、”IUTを取り巻く世界情勢w” がどうなっているかを、判断しています
2020年5月時点の判断は、かたく見てIUTの信頼度99%だということです
つづく
767:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 09:56:22 tLzMucQK.net
>>677
つづき
>「理由」の定義が問題では?(後述)
「理由」ってなんでしょうか?
1.証明?
では聞く。ワイルズやペレルマン氏を上げられていますが、まさか証明を読んで「正しい」という理由したってないでしょう?w(^^
2.結局は、数学の専門家の解説を読んで、正しそうだというから が理由でしょう
3.いま、IUTについては、確かに見解は割れています。正しいという人と、正しくないという人と
4.その中で、上記1と2除いて判断しよとすれば、全体的な判断をするしかないでしょう? それが私の理由ですよ
5.さらに、付け加えれば、できるだけ「事実」と「現実」に基づいて、根拠を持って、成否を判断しようとしています
(書いたものを見て貰えれば、できるだけ判断の根拠を示すようにしていることがお分かり頂けると思います(^^ )
以上
768:132人目の素数さん
20/05/03 10:01:09 vVCZgnBw.net
>>673
>4月3日のRIMS発表では、玉川先生の口から
>「SSの間違いで、望月先生が正しい」
>という趣旨のことでした
雑談氏が「SSの間違いで、望月先生が正しい」と思ってることは承知してますが
記者会見でのコメントは以下だったと思います
「ショルツ等の指摘に対して、望月氏が返答し、ショルツ氏側からの回答がなかった」
玉川氏自身がショルツ氏の指摘の誤りを具体的に指摘したコメントはないですね
>>671の質問に戻りますが
・雑談氏が「IUTは正しい」と判断したのはいつですか?
例:2017年の報道後?今年の記者会見後?別の時期?
・雑談氏が「IUTは正しい」と判断した理由は何ですか?
例:RIMSが論文をacceptしたから?記者会見に柏原氏が出席したから?他の理由?
素人の判断の一例として興味があるのでぜひ回答いただけますでしょうか?
所詮素人の判断ですから、例えばショルツや他の人が
IUTの矛盾を証明する論文を発表してひっくり返されても
咎められるようなことではない、と思ってますので
769:132人目の素数さん
20/05/03 10:10:07 vVCZgnBw.net
>>677
>「理由」の定義が問題では?
申し訳ありませんが、定義は示せません
単純に、>>668-669は理由とは思えなかっただけです
私の場合、素人なので、自分の理解による判断は無理と諦めてます
したがって、専門家の判断を観察することになりますが、
私の見たところでは、他の専門家全体の賛同が得られていないと考えます
(別に総員の賛同を求めているわけではないですが)
雑談氏がいかなる判断基準に基づいているのか
あるいは判断基準以前にいかなる感情に基づいて判断しているのか
それが知りたいと思っています
770:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 10:13:28 tLzMucQK.net
>>676
沢山書いたので、重複しているように思いますので簡単に
>状況の違いとは?
>京都の国際会議と、ショルツとの議論の間に何かありましたか?
京都の国際会議ではなく、海外の国際会議も含めて
海外の国際会議も含めて、その状況は、簡単に言えば「わからん」でしょう
ショルツ氏の議論は「わかったけど、ここがおかしい」です
両者の状況は、決定的に違いますよね
>>短期ならばね
>しかし、あまりにも長期です
ここでいう短期は、通常の数学の議論の短期
即ち、普通はその議論の中(5日間討議したというから、普通はお互い納得してブレークになるはず)
もし、時間切れでも、数回やり取りすれば、論点は絞られているから、普通はわかり合えるはずですよね
今回は、以上に長いということ
>現状では、望月氏と他の数学者(ショルツだけでなく)の溝は埋まってませんね
>デュピュイ氏ですら、証明が追えないといってますから、深刻ですよね
・RIMSの記者会見無視ですね、その見解は。事実誤認でしょ? 玉川先生は? 査読者は? サーベイの山下氏は? などなど、証明をちゃんと追った人はいますよ
・「デュピュイ氏ですら、証明が追えないといってますから」って じゃあ、Hilado氏のDR論文危ういでしょ。もし私が、DR論文の審査やるなら、アウトにしますよ
(例えば、あるarXive の論文で Cor3.xxという命題があったとします。その Cor3.xx から、”Probabilistic Szpiro, Baby Szpiro, and Explicit Szpiro”が出るというDR論文が出されたとします
審査する人はいう。arXive の論文ってだれ書いたの? M氏? だれですか? その Cor3.xx って正しいの? もし、 Cor3.xx が間違っていたら? 無価値? そういう論文書きたいなら、リーマン予想とか数学界で認められた予想をDR論文テーマにしましょうね。The end!ですねw(^^; )
771:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 10:19:47 tLzMucQK.net
>>680
>したがって、専門家の判断を観察することになりますが、
>私の見たところでは、他の専門家全体の賛同が得られていないと考えます
>(別に総員の賛同を求めているわけではないですが)
はい
同意ですが
数学でも専門があります。基礎論の論文に、専門外の人の判断は、あまり参考にならない
IUTについては、遠アーベルの専門家と、それ以外を分けましょう
SSで、Stix氏は遠アーベルの専門家ですが、ショルツ氏は遠アーベルの論文を1つも書いていない。だから門外漢と見ました
(天才であり、遠アーベルも相当理解していることまでは、認めますがね)
つまり、遠アーベルの専門家で、4月3日以降、IUTに公式に反論する人皆無ですよ
>雑談氏がいかなる判断基準に基づいているのか
>あるいは判断基準以前にいかなる感情に基づいて判断しているのか
>それが知りたいと思っています
いままで書いたので、それに質問があれば、どうぞ
772:132人目の素数さん
20/05/03 10:21:16 9jUO25pO.net
自分は中立だけど、批判してる人は
アカデミアは欧米支配というのをわかってないよな。
生理的反発で拒否してる人もいると思うのも遅い理由。
これがアメリカで出てたら多分もう明確に成否でてる。
773:132人目の素数さん
20/05/03 10:28:03 vVCZgnBw.net
>>679
>「理由」ってなんでしょうか?
>1.証明?
それはないですね
誠に失礼ながら、雑談氏がIUTを理解できるほど数学に通じているとは思えません
これは別に蔑んでいるわけではなく、私も全く同様ですので、お気になさらないで下さい
>2.結局は、数学の専門家の解説を読んで、正しそうだというから が理由でしょう
専門家の解説に対して、素人が
「これは正しい」「これは誤りだ」
と判断しますか?
申し訳ないですが、専門家のいうことは
理解の有無にかかわらず、とりあえず
受け入れるのではないですか?
>3.いま、IUTについては、確かに見解は割れています。
>正しいという人と、正しくないという人と
正しくは
「証明された、という人と、証明されてない、という人と」
命題の真偽に対する賛否ではないですね
それはともかく、専門家の意見が割れているのは確かです
>4.その中で、上記1と2除いて判断しよとすれば、
まず、1も2も自分の理解に基づく判断なので、
私なら、素人として諦めます
素人が専門家よりよい判断ができるとは考えないので
>全体的な判断をするしかないでしょう?
全体的な判断とは?
私なら、専門家の総意を「全体的な判断」とします
つまり、専門家の意見が割れているなら、なんとも言えない
ここで証明というのは、形式的には判定可能である筈ですが
実際にはそのような方法は実現できてないので、
数学者の総意によって認められざるを得ず、
したがって、総意が得られないなら証明でない
と判断せざるを得ない、と思います
雑談氏の「全体的な判断」では
「総意が得られない場合にも証明だと認められる」
ということなので、それはいかなる理由によるのか
を尋ねてます
774:132人目の素数さん
20/05/03 10:38:14 vVCZgnBw.net
脇道ですが
>>681
>(国際会議での反応は)簡単に言えば「わからん」でしょう
>ショルツ氏の議論は「わかったけど、ここがおかしい」
「わかった」とは言ってませんね
わからんので、自分の前提を追加したと思ってます
>両者の状況は、決定的に違いますよね
実は大して違ってません
「何が何やらわからん」のと
「何がわからんのかわかってきた」くらい
の違いですね
775:132人目の素数さん
20/05/03 10:44:51 vVCZgnBw.net
>>682
>IUTについては、遠アーベルの専門家と、それ以外を分けましょう
それは恣意的な区別なので同意できませんね
>遠アーベルの専門家で、4月3日以降、IUTに公式に反論する人皆無ですよ
雑談氏のいう「遠アーベルの専門家」は結局IUTの賛同者という定義になりませんか?
なぜ雑談氏はそこまでIUTが正しいと思いたがるのですか?
理由があるんでしょう?それをお答え願えますか?
776:132人目の素数さん
20/05/03 10:52:46.75 vVCZgnBw.net
>>683
>批判してる人は
何を?IUTを、ですか?
>アカデミアは欧米支配
陰謀論ですね
でも、事実に反しますね
欧米支配なら、日本人が3人もフィールズ賞とれないし
日本人がアメリカの大学でポストを得ることもできませんよ
少なくとも数学に関しては、野球やサッカーよりも開けてます
ただ、それはともかく、IUTは正しい、という主張の根底に
そういう感情があるというなら、理由となるでしょうね
そういうことですか?雑談氏
777:132人目の素数さん
20/05/03 10:59:52.00 vVCZgnBw.net
>>683
>生理的反発で拒否してる人もいると思う
それはないと思いますが
>これがアメリカで出てたら多分もう明確に成否でてる。
アメリカ人だとしても 出ないんじゃないですか?
ギャップがある場合はね
ギャップがなければ皆に受け入れられるし
反例があれば明確に否定される
ただ、それ以外の場合はね・・・
778:132人目の素数さん
20/05/03 11:08:42.50 vVCZgnBw.net
>>682
>いままで書いたので、それに質問があれば、どうぞ
書かれていないことが知りたいので、
ちょうど9jUO25pO氏の書き込み>>683があった関係で質問します
1.雑談氏が「IUTが正しい」と考える理由は
望月新一氏が日本人だからですか?
2.もし、IUTを考えたのがショルツで、それに対して
異議を申し立てるのが望月氏だとして、
それでも「IUTが正しい」といいますか?
それとも全く逆ですか?
779:132人目の素数さん
20/05/03 11:29:21 QRkFmCqL.net
>>681
「RIMSの記者会見無視ですね、その見解は。事実誤認でしょ? 玉川先生は? 査読者は? サーベイの山下氏は? 」
RIMSが記者会見を開いても、証明にはまだ懐疑的な意見が専門家の間からでているようです。
woitのブログを見てもわかるとおりショルツが納得していないようです。
彼を納得させるような説明が、どこかでされているのですか?
専門家の間から疑義が出ている限り、記者会見とか関係なく、数学の証明としては、まだ完成していないと思いますが
「SSで、Stix氏は遠アーベルの専門家ですが、ショルツ氏は遠アーベルの論文を1つも書いていない。だから門外漢と見ました」
ショルツ氏は遠アーベルの論文を1つも書いていないかもしれないが、ショルツが理解できているところで、ギャップが見つけられれば、
証明に対するちゃんとした指摘になっているのでは?
780:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 11:35:01 tLzMucQK.net
>>689
回答します
Q1.雑談氏が「IUTが正しい」と考える理由は
望月新一氏が日本人だからですか?
A1
・日本人とか関係無いです
・が、日本語で書�
781:ゥれた補足があるのはありがたいですが ・望月新一氏が日本人というのは、1割くらいあるかも。一方で、数学では外国人でえらい人沢山いますよ Q2.もし、IUTを考えたのがショルツで、それに対して 異議を申し立てるのが望月氏だとして、 それでも「IUTが正しい」といいますか? それとも全く逆ですか A2 ・当然、状況がいまの通りでしたら、IUTをショルツ氏が書いて、望月氏がフィールズ賞を取った若者として 状況が同じなら、「望月さん、あなた遠アーベル分かってないんじゃない?」って言いますよ
782:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 11:40:14 tLzMucQK.net
>>690
どうもレスありがとう
>RIMSが記者会見を開いても、証明にはまだ懐疑的な意見が専門家の間からでているようです。
遠アーベルの専門家は? 皆無ですね
>woitのブログを見てもわかるとおりショルツが納得していないようです。
一方で、ショルツ氏もDupuy氏その他IUT擁護派をなっとくさせられなかったのです(^^;
>彼を納得させるような説明が、どこかでされているのですか?
本来は、今年の国際会議の場でしょうね
でも、中止になったから、代わりにどこかでやるはず
なお、彼を納得はもういらない。遠アーベルの専門家達が納得すれば、それが全てです
>ショルツ氏は遠アーベルの論文を1つも書いていないかもしれないが、ショルツが理解できているところで、ギャップが見つけられれば、
>証明に対するちゃんとした指摘になっているのでは?
「証明に対するちゃんとした指摘」になっていないというのが、望月側の主張ですし、WoitブログでのDupuy氏の主張でもありますよね(^^;
783:132人目の素数さん
20/05/03 11:41:52 vVCZgnBw.net
蛇足ですが
脇道ですが
>>681
>Hilado氏のDR論文危ういでしょ。
Cor 3.12を前提とした論文を書くことに問題はないと思います
もちろん、Cor 3.12から矛盾が導かれた時点で、
結論には意味がなくなりますが
証明自体が正しければ、問題ないでしょう
>もし私が、DR論文の審査やるなら、アウトにしますよ
>Cor3.xx って正しいの? もし、 Cor3.xx が間違っていたら? 無価値?
選択公理を前提して導かれた結論に対して
選択公理が証明されてないからアウト
という教授はいないと思いますが
>そういう論文書きたいなら、リーマン予想とか
>数学界で認められた予想をDR論文テーマにしましょうね。The end!
リーマン予想から矛盾が導かれれば、結論は無意味ですが
そのことをもってアウトというのは、おかしな判断でしょうね
784:132人目の素数さん
20/05/03 11:45:09 vVCZgnBw.net
>>691
>Q1.雑談氏が「IUTが正しい」と考える理由は
> 望月新一氏が日本人だからですか?
>A1
>・日本人とか関係無いです
本当ですか?(念押し)
>・望月新一氏が日本人というのは、1割くらいあるかも。
1割ですか? 実は9割くらいそうだったりしませんか?
正直にお答えいただければありがたいです
785:132人目の素数さん
20/05/03 11:50:08 vVCZgnBw.net
>>691
>Q2.もし、IUTを考えたのがショルツで、それに対して
> 異議を申し立てるのが望月氏だとして、
> それでも「IUTが正しい」といいますか?
> それとも全く逆ですか
>A2
>・当然、状況がいまの通りでしたら、IUTをショルツ氏が書いて、
> 望月氏がフィールズ賞を取った若者として状況が同じなら、
>「望月さん、あなた遠アーベル分かってないんじゃない?」
> って言いますよ
で、雑談氏のいう状況とは具体的に以下の2点ですか?
・身内もしくは近い分野の研究者が賛同する
・記者会見に有名な賞の受賞者が出席する
後者は明らかに権威主義ですね
ただそういう判断は往々にして失敗すると思います
STAP細胞の件などいい例だと思いますが
前者については別途書きます
786:132人目の素数さん
20/05/03 11:57:19 QRkFmCqL.net
URLリンク(digital.asahi.com)
787:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 12:09:39 tLzMucQK.net
>>696
投稿ありがとう
1.その朝日の記事で、遠アーベルの専門家と遠アーベルの専門家でない人(例えばWoitとか)の発言を分けましょう
2.遠アーベルの専門家であれば、学会で議論するべきであって、雑誌の発言で終わらせるべきではない
3.2018年3月より以前と以降と、分けましょう
2018年3月以前は、漠然と読めないとか、証明になっていないということだった
一方、2018年3月以降は、SS論点を出したので、まずはSS論点を潰しましょう。もし、ここでIUTがドボンならそれで終り
もし、SSがドボンなら さらにIUTの証明論に進めば良い
788:132人目の素数さん
20/05/03 12:20:52 vVCZgnBw.net
>>697
>遠アーベルの専門家と遠アーベルの専門家でない人の発言を分けましょう
分野のタコツボ化は、誤りを見つけにくくする点で悪手
ショルツは数論幾何学者だから、望月の研究と近いし
望月の先生のファルティングスですら正当性を疑う状況は
はなはだ憂慮すべき
フェセンコは強気なようだが、自分から説明する気はないらしい
これではこの人もどれだけ理解しているのか疑わしい
789:132人目の素数さん
20/05/03 12:27:20 vVCZgnBw.net
>>697
>2018年3月より以前と以降と、分けましょう
>まずはSS論点を潰しましょう。
では、ショルツの設定に対して、
IUTの正しい設定でどう変わるか
具体的に説明するべき
望月氏の反論はその点が欠如していたので無効と判断された
有効な反論をどうぞ
望月氏でなくても他の誰でもいいから
>もし、SSがドボンなら さらにIUTの証明論に進めば良い
790:証明論という言葉は別の意味があるので 素人が安易に使用すべきではない 仮に、ショルツ等の指摘があたってなかったとしても Cor 3.12の証明のギャップは依然として存在するので 望月氏にとって状況は全く好転していない したがって、2018年3月より以前と以降と分ける意味はほぼない
791:132人目の素数さん
20/05/03 12:32:36.16 9jUO25pO.net
望月アンチが数学わからないのになぜそこまでこだわるか謎。
いずれにせよ出版されても成否はあと五年くらいかかると思うよ。
プロでも少し分野ズレるとわからないというのはよくある。
792:132人目の素数さん
20/05/03 12:32:52.15 vVCZgnBw.net
Math GenealogyでIUT関係者の師弟関係を調べた結果
■望月新一
├■星裕一郎
└■南出新
□加藤和也
├□斎藤毅
│├■志甫淳
│└■山下剛
├■栗原将人
└■田口雄一郎
■は「IUTの広がり」組織委員
加藤文元氏、玉川安騎男氏は、DBに無かったので不明
793:現代数学の系譜 雑談
20/05/03 12:33:15.55 tLzMucQK.net
>>695
どうも、レスありがとう
>で、雑談氏のいう状況とは具体的に以下の2点ですか?
>・身内もしくは近い分野の研究者が賛同する
数学では、身びいきはないと思っています
そんなん、数学では無理ですよ。逆にぼこぼこにされるだけ
>・記者会見に有名な賞の受賞者が出席する
有名な賞ではなくて
柏原先生は、過去ログにもあるけれども、グロタンディークの数学を理解消化して、佐藤スクールの重鎮として活躍された人ですよ。だからです
玉川先生は、2012年以前はあまり知らなかったが、IUTの論文発表後に調べると、
玉川先生と中村博昭と共同で、”代数曲線の基本群に関するGrothendieck予想”を解決した これが多分2000年になる前
で、遠アーベルの専門家として十分信頼に足ると思っています
URLリンク(www.kurims.kyoto-u.ac.jp)
望月 論文
URLリンク(www.kurims.kyoto-u.ac.jp)(ronsetsu).pdf
代数曲線の基本群に関するGrothendieck予想 - RIMS
中村博昭, 玉川安騎男, 望月新一
>STAP細胞の件などいい例だと思いますが
"STAP細胞"の例は、全く不適合ですよ
数学以外の科学の分野で、実験系に属する論文は検証が困難なものがあります
そういうのは、ねつ造とか、虚偽の論文がありえます
数学で皆無とは言わないが、極めてまれで
意図して、"STAP細胞"と同じことができると考えるなど、数学のド素人だけですよ
794:132人目の素数さん
20/05/03 12:38:40.42 vVCZgnBw.net
>>700
数学分からない素人が、なぜ望月氏を熱狂的に支持するかも謎
9jUO25pO氏にお尋ねしますが
ギャップがあろうが誤りだろうが、とにかく査読を通して掲載してしまえば
成果となるから日本国にとって重大な利益になる、と思ってますか?
私はまったく逆ですけどね
もしIUTが受け入れられないなら今回のIUT論文アクセプトは
日本の数学界にとって重大な「過失」であり損失だと思いますが
795:現代数学の系譜 雑談
20/05/03 12:39:15.02 tLzMucQK.net
>>701
レスありがとう
>□加藤和也
>├□斎藤毅
ああ、加藤和也先生と斎藤毅先生とは、学年で10年違うのか
知らなかったな
(参考)
URLリンク(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6%E8%80%85)
加藤 和也(かとう かずや、1952年(昭和27年)1月17日 - )は日本の数学者。
URLリンク(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6%E8%80%85)
斎藤 毅(さいとう たけし、1961年9月11日 - )は、日本の数学者。
796:132人目の素数さん
20/05/03 12:39:39.04 cxdwLTb+.net
などと、分離閉包も
797:知らないコピペbotのド素人が書き込んでおります
798:現代数学の系譜 雑談
20/05/03 12:45:10.27 tLzMucQK.net
>>700
どうも
>望月アンチが数学わからないのになぜそこまでこだわるか謎。
数学ルサンチマンじゃないでしょうか?(下記)
(参考)
URLリンク(ja.wikipedia.org)
ルサンチマン(仏: ressentiment、 (フランス語発音: [r?s??tim??]) )は、主に弱者が強者に対して、「憤り・怨恨・憎悪・非難」の感情を持つことをいう。「ル」をフランス語の定冠詞 le と誤解して「ル・サンチマン」と表記する者がいるが、誤りである(le sentimentでは単なる「感情」の意味になる)。
デンマークの思想家セーレン・キェルケゴールが想定した哲学上の概念である。フリードリヒ・ニーチェの『道徳の系譜』(1887年)でこの言葉が使用(再定義)され、マックス・シェーラーの『道徳の構造におけるルサンチマン』(1912年)で再度とり上げられて、一般的に使われるようになった。
(引用終り)
>いずれにせよ出版されても成否はあと五年くらいかかると思うよ。
まあ、時間はかかっても、議論すべきですね
>プロでも少し分野ズレるとわからないというのはよくある。
同意
いまのIUTの状況がまさにそれですね
799:132人目の素数さん
20/05/03 12:46:34.28 vVCZgnBw.net
>>702
>数学では、身びいきはないと思っています
>そんなん、数学では無理ですよ。逆にぼこぼこにされるだけ
ええ、現に今ボコボコにされてますね
>柏原先生は、グロタンディークの数学を理解消化して、
>佐藤スクールの重鎮として活躍された人ですよ。だからです
雑談氏は>>697で
「遠アーベルの専門家と遠アーベルの専門家でない人の発言を分けましょう」
といいましたが、なぜ柏原氏だけ例外扱いするんですか?
柏原氏よりショルツのほうがよっぽど望月氏の研究分野に近いですけど
聞こえてますか?
800:132人目の素数さん
20/05/03 12:50:43.56 vVCZgnBw.net
>>706
>ルサンチマンは、主に弱者が強者に対して、「憤り・怨恨・憎悪・非難」の感情を持つことをいう。
望月氏よりショルツのほうがいまや強者じゃないですかね
むしろ、望月氏を支持する人のほうが、欧米に対するルサンチマンを抱いているみたいだけど
801:現代数学の系譜 雑談
20/05/03 12:53:38.92 tLzMucQK.net
>>699
どうも、レスありがとう
>では、ショルツの設定に対して、
>IUTの正しい設定でどう変わるか
>具体的に説明するべき
あるでしょ、それ
望月のレポートを出しているし
具体的な間違い箇所も指摘も(下記など)
(参考)
URLリンク(plaza.rakuten.co.jp)
Re[1]:宇宙際タイヒミューラー理論(IUTeich)の論文を巡る現状報告: 「数学界に出現している悲惨なブラックホールの物語」(01/05) 新一0329 さん
veiさんへ
The essential mathematical content of this
blog article in Japanese may be found in
my survey on IUTeich ?[Alien],? §3.11, (iv)
--- cf., especially, ??[Alien], Example
3.11.4.
This survey is available at the following URL:
URLリンク(www.kurims.kyoto-u.ac.jp) (2020.01.07 07:55:43)
(引用終り)
>仮に、ショルツ等の指摘があたってなかったとしても
>Cor 3.12の証明のギャップは依然として存在するので
>望月氏にとって状況は全く好転していない
>したがって、2018年3月より以前と以降と分ける意味はほぼない
それこそ、あなたのド素人判断でしょ
玉川先生を筆頭に、査読の数学者達(複数)は、ギャップなしの判断です。これが事実ですよ
802:132人目の素数さん
20/05/03 12:56:52.39 vVCZgnBw.net
ちなみにフランス語ressentimentは英語resentmentで
意味は(長く続くまたはうっせきした)憤り、立腹
憤りの理由の一つとして
「弱者が強者に踏みつけられること」
はあるでしょうが本来の意味はそれだけに
限定されるものではない
私はニーチェとか読まないので知りませんが
803:現代数学の系譜 雑談
20/05/03 12:58:18.41 tLzMucQK.net
>>708
>
804:望月氏よりショルツのほうがいまや強者じゃないですかね >むしろ、望月氏を支持する人のほうが、欧米に対するルサンチマンを抱いているみたいだけど 1.まず、ルサンチマンに適合するのは、主にこの5chのアンチIUTの人達です 2.2018年の3月時点では、ショルツ氏はフィールズ賞受賞前でしたよ もっとも、ショルツ氏とも望月氏とも、ルサンチマンとは無関係に純粋に数学の議論をしていると思います 但し、ショルツ氏の指摘が、IUTにおいて望月先生が一番苦労したところの無理解から来ているようなので、「もっと勉強してから来い」という気持ちは表れているようですね(^^;
805:132人目の素数さん
20/05/03 13:00:37 vVCZgnBw.net
>>709
>>IUTの正しい設定でどう変わるか
>>具体的に説明するべき
>あるでしょ、それ
>望月のレポートを出しているし
>具体的な間違い箇所も指摘も
ないですよ
専門家が「説明になってない」というんだから
素人の雑談氏が反論できるわけないじゃないですか
806:132人目の素数さん
20/05/03 13:04:37 QRkFmCqL.net
>>711
ABC予想をwikiで調べたのですが、
他の言葉では望月氏の証明は否定的な
記載が多いのですが、これらについては
どう思われますか?
英語
2020年4月3日、日本の数学者2人が望月の主張する証明が望月が編集長である数理科学研究所(RIMS)の出版物に掲載されることを発表しました。
この発表は、キラン・ケドラヤとエドワード・フレンケルによって懐疑的に受け取られ、ネイチャーからは
「多くの研究者を望月のキャンプに移動させる可能性は低い」と説明された。
スペイン語
2012 年に 望月伸一は500ページを超えるデモを提案しましたが、2018年には他の数学者によって拒否されました。
フランス語
この推測のさまざまなデモンストレーションが主張されていますが、今日まで、数学的コミュニティーによって受け入れられたものはありません。
韓国語
望月の証明が正しいのかは、まだ学界で論議がおきている。
特に論文の主要な争点を貫通する内部局所タイヒ・ミュラー定義の証明が込められた3.12の説明が短すぎる圧縮されており、これに対する論議が多い。
ポルトガル語
2012年8 月、数学者望月晋一[ 3 ]は、abc予想[ 4 ]のデモンストレーションを得たという深刻な主張を含む4つのシリーズの記事を発表しました。3年後の2015年、望月の証明は数学的な不確定さのままであり、より広いコミュニティによって否定も受け入れもされていません。
中国語
2018年8月、ピートシュルツェ氏とヤコブスティックス氏は、望月の証明紙の推論3.12が、最後の推論の行に修復不能な欠陥があることを証明したと指摘しました。
ドイツ語
2015年12月に別の5日間のワークショップを開催しました。しかし、その発行から6年たっても、ほとんどの専門家を説得できなかったため、
著名な数学者はその正しさを疑っています。
807:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 13:04:44 tLzMucQK.net
>>707
>ええ、現に今ボコボコにされてますね
されていません
平気の平左でしょう。びくともしない
>といいましたが、なぜ柏原氏だけ例外扱いするんですか?
>柏原氏よりショルツのほうがよっぽど望月氏の研究分野に近いですけど
距離位相の入れ方ではw(^^;
私の定義では、玉川先生は明らかに近い
そして、ショルツ先生はIUTに遠い。柏原先生は、もう少し遠いが、ショルツ先生と似たようなものと思います
(つまり、確かに研究分野だけならそうでしょうが、ショルツ先生の知らないことで 知っていることが 柏原先生には沢山あると思いますよ。特に、玉川・望月両先生が身近にいて、査読の先生方とも話をしているでしょうからね(^^ )
808:132人目の素数さん
20/05/03 13:05:05 vVCZgnBw.net
>>711
5chの話は一切していませんよ
>ショルツ氏の指摘が、IUTにおいて望月先生が一番苦労したところの無理解から来ているようなので、
>「もっと勉強してから来い」という気持ちは表れているようですね
自分が、他者に対して成果を認めてもらう立場なのに
他者に勉強を求めるのは傲慢じゃないですか?
809:132人目の素数さん
20/05/03 13:10:11 vVCZgnBw.net
>>714
>>ええ、現に今ボコボコにされてますね
>されていません
>平気の平左でしょう。びくともしない
なんで雑談氏が答えるんですか?おかしな人ですね
所詮素人の他人なんだから、平気なのは当たり前じゃないですか
>>柏原氏よりショルツのほうがよっぽど望月氏の研究分野に近いですけど
>距離位相の入れ方ではw
810: 素人が専門用語で冗談を書くのは痛々しいだけだからやめたほうがいいですよ 私の見たところでは、柏原氏はやむなく担ぎ出されただけで IUTの内容に関しては承知していないと思いますよ まあ、STAP細胞のときの野依さんのような「もらい事故」はあるかもしれませんね 森氏が記者会見に出なかったのは賢明でした
811:132人目の素数さん
20/05/03 13:12:06 QRkFmCqL.net
>>697
「当の望月教授はどう考えているのか。取材を拒み、会見にも現れなかった望月教授だが、
メディア向けの解説文でIUT理論を計算機のプログラムに例えて説明した。
「個々の行は単純な優しい内容だが、何万行、何十万行からなるプログラムを
解読するように、順を追って解読する忍耐が要求されます」]
「個々の行は単純な優しい内容」なら、その行にあるギャップの指摘は、
遠アーベルの専門家でなくともできるのではないでしょうか?
812:132人目の素数さん
20/05/03 13:12:37 vVCZgnBw.net
>>713
これだけはいいたいと思います
これを反日ととらえるのは間違ってると思います
もし同様のことをアメリカのプリンストン高級研究所や
フランスのIHESがやっても同じように書かれた筈ですから
813:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 13:13:09 tLzMucQK.net
>>713
>ABC予想をwikiで調べたのですが、
ああ、あそこは、よく利用しますが、IUTについてはあまり正確ではないようですね
>この発表は、キラン・ケドラヤとエドワード・フレンケルによって懐疑的に受け取られ、ネイチャーからは
マスコミ情報だけからの判断でしょうね
>「多くの研究者を望月のキャンプに移動させる可能性は低い」と説明された。
状況は変わりますよ
あと、各国語の話も同じ
あと繰返しますが、「ABC予想が解決されて定理になるかも」、「Explicit Szpiro from Mochizuki’s Corollary 3.12」となると
数論分野での影響が大き過ぎなので、潰すか成立か、そういう動きになると思いますよ
例えば、だれかのDR論文で、ABCを別の方法でアタックする研究などで、論文出来たところで、IUTの二番煎じでは悲しいですよね
だから、IUTの全く影響しないところに研究テーマをおくかですが
でも、ABC使って簡単に言える話は、まだまだ沢山あるかもね
そう考えると、影響が大きすぎる
814:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 13:15:42 tLzMucQK.net
>>715
どうもレスありがとう
> 5chの話は一切していませんよ
私はしています
>自分が、他者に対して成果を認めてもらう立場なのに
>他者に勉強を求めるのは傲慢じゃないですか?
議論の最低レベルはあるでしょ
中学生が来てIUT議論したいというなら、ちゃんとそれなりの勉強してきて下さいみたいなことでしょう
まず、遠アーベルの専門家内で認知されるのが先でしょうね
もうすぐそうなります
815:132人目の素数さん
20/05/03 13:22:00 04epL35S.net
3月の宿題で(1)のみ正解の数弱@shukudai_sujaku
昨年度の大学への数学(大数)での勝率は、
学コンBコースが 1/1 = 100% ,
宿題が 3/10 = 30% でした!
宿題の勝率が低すぎると思うので、
これからは一層精進していきたいです!
URLリンク(twitter.com)
(deleted an unsolicited ad)
816:132人目の素数さん
20/05/03 13:49:22 vVCZgnBw.net
>>720
>> 5chの話は一切していませんよ
>私はしています
私はしていません
では本題
>>自分が、他者に対して成果を認めてもらう立場なのに
>>他者に勉強を求めるのは傲慢じゃないですか?
>議論の最低レベルはあるでしょ
>中学生が来てIUT議論したいというなら、
>ちゃんとそれなりの勉強してきて下さいみたいなことでしょう
そのたとえが傲慢じゃないですか
議論の最低レベルとは、相手に分かる言葉で説明することでしょう
中学生が中学の数学で質問しても勉強しろ!で終わりですか
それじゃ中学校の先生は勤まりませんよ
>まず、遠アーベルの専門家内で認知されるのが先でしょうね
デュプュイすら理解できてない現状じゃ大変だね
フェセンコは本当に理解できてるのかな?もう齢みたいだし
少なくとも何も説明できない時点で理解できてないと言われても仕方ない
817:132人目の素数さん
20/05/03 13:52:52 vVCZgnBw.net
>>719
>ABCを別の方法でアタックする研究などで、
>論文出来たところで、二番煎じでは悲しいですよね
そういう風にしか思えない残念な人は、
数学やらなくていいんじゃないですか?
一番じゃないと意味がない、って人は
数学しないほうがいいですね
数学は徒競走じゃないんで
818:132人目の素数さん
20/05/03 14:02:53.59
819: ID:9jUO25pO.net
820:現代数学の系譜 雑談
20/05/03 14:05:07.67 tLzMucQK.net
>>723
話は逆じゃないですか?
>論文出来たところで、二番煎じでは悲しいですよね
日本では、過去そういうのが結構ありました
欧米の論文を、殆ど解説したいみたいな
で、欧米の大論文にちょっと小さな系を付け加えて論文書いて、大学教授ですと
>一番じゃないと意味がない、って人は
>数学しないほうがいいですね
そうじゃなくて
未解決の大問題に果敢に挑戦する気概も必要でしょ?
大定理の隅の方をほじくって、くそ論文量産するのではなく
過去に日本人数学者で
名前が残る人沢山いますよ
岩澤先生、内田先生、淡中先生などなどね
小平先生もよく出てくる
821:132人目の素数さん
20/05/03 14:09:23.09 vVCZgnBw.net
>>724
揉むだけなら、査読通す必要ないんですけどね
arXivに上げればいいだけだから
ペレルマンはそうしたでしょ
arXiv、御存知ですよね?
822:現代数学の系譜 雑談
20/05/03 14:12:35.85 tLzMucQK.net
>>724
どうも、レスありがとう
>査読通ってたら載せてそこから揉んでいけばいいんじゃない。
同意です
かつ、IT時代だから、紙雑誌掲載前から議論すれば良い。
雑誌掲載前提でね
>専門家意外は追えない理論が載る時代の例が来た
>だけでモッチーの他にもこれからどんどん出ると思うよ。
>リーマン予想とかもそうなるかも。
私もそう思います
そして、物理は物理の実験なり観測データで成否が決まるけど
数学は、専門外の人に分かるようってのが求められる時代になった気がする
つまり
1.レベル1:専門家で近い人に分かる
2.レベル2:専門家でない近い人に分かる
3.レベル3:専門外の数学者に分かる
4.レベル4:数学科DR生に分かる
5.レベル5:数学科学部生に分かる
過去、佐藤・テイト予想とか、レベル4ないし5くらいの解説書でていますよね
IUTも、もうすぐそうなるでしょう(^^
823:132人目の素数さん
20/05/03 14:14:22.81 cxdwLTb+.net
>>724
まあそうだと思う
だけど、それでもし間違っていたら、RIMSの評価が下がる
国内トップクラスの研究機関でそういうことが起こると、多くの人が困る
特に日本はSTAPの先例があるから、海外から見れば「また日本か」ということになりかねない
824:132人目の素数さん
20/05/03 14:15:15.79 vVCZgnBw.net
>>725
>未解決の大問題に果敢に挑戦する気概も必要でしょ?
>大定理の隅の方をほじくって、くそ論文量産するのではなく
「二番煎じ」の読解が間違ってますね
大定理を利用した系の証明は、二番煎じじゃなく、
私にいわせればコバンザメですね
二番煎じというのは定理の別証明です
しかし、別証明が新たな見方を提供するのであれば
元の証明よりもはるかに価値があるかもしれません
そういうことですよ
言葉の意味に忠実に読解していただけませんか?
知らない言葉の意味は辞書で確認してくださいね
825:132人目の素数さん
20/05/03 14:15:31.65 9jUO25pO.net
>>726
査読者がokと判断したなら載せるべき。
826:132人目の素数さん
20/05/03 14:19:22.28 vVCZgnBw.net
>>728
>日本はSTAPの先例があるから、
>海外から見れば「また日本か」
>ということになりかねない
そうですね
身内に甘くして間違いが生じたら結局損をするので
そういう意味でも甘い査読で通したらダメだと思いますよ
ただ、お国自慢をしたいだけの人は
そういうことがわからないみたいだけど
827:132人目の素数さん
20/05/03 14:20:12.33 vVCZgnBw.net
>>730
査読者が自ら正当性を説明できないならrejectすべき
828:現代数学の系譜 雑談
20/05/03 14:23:05.41 tLzMucQK.net
>>726
>揉むだけなら、査読通す必要ないんですけどね
>arXivに上げればいいだけだから
>ペレルマンはそうしたでしょ
>arXiv、御存知ですよね?
横で悪いけど
1.ペレルマンは超例外で、前例にすべきではない(フィールズ賞受取らないし、クレイの賞金1億円も辞退とか。おれに回してくれと言いたいよ、ほんとw(^^; )
2.ペレルマンには、米国に元同僚の田剛(ガン・ティアン(Gang Tian))が居て、ロシアに戻ったペレルマンと連絡を取って、米国での講演会を企画したり、検証チームを立ち上げたりした
そして、3年くらいだったかかけて、正しいことを証明したが、田剛がいなかったら、検証はずっと遅くなったでしょうね
3.数学論文としての作法は、arXivはあくまで優先権の日付確定のためで、論文はちゃんと投稿して 査読をしてもらうべしですよ
URLリンク(ja.wikipedia.org)
ポアンカレ予想
ペレルマン論文に対する検証が複数の数学者チームによって試みられた。原論文が理論的に難解でありかつ細部を省略していたため検証作業は難航したが、2006年5?7月にかけて3つの数学者チームによる報告論文が出揃った。
・ジョン・モーガンと田剛、Ricci Flow and the Poincare Conjecture(2006年7月)
ペレルマン論文をポアンカレ予想に関わる部分のみに絞って詳細に解明・補足
これらのチームはどれもペレルマン論文は基本的に正しく致命的誤りはなかったこと、また細部のギャップについてもペレルマンの手法によって修正可能であったという結論で一致した。これらのことから、現在では少なくともポアンカレ予想についてはペレルマンにより解決されたと考えられている。
URLリンク(ja.wikipedia.org)
田 剛(でん ごう、ティエン・ガン、1958年11月24日 - )は中華人民共和国江蘇省南京出身の数学者。専門分野は微分幾何学、幾何解析など。中国科学院の院士。アメリカ合衆国などではガン・ティアン(Gang Tian)などと呼ばれる。
829:132人目の素数さん
20/05/03 14:27:20.00 4BNymABG.net
コロナで延期されたけどワークショップが成功するかどうかだろうね
830:132人目の素数さん
20/05/03 14:27:32.79 9jUO25pO.net
>>732
査読ってそういうもんじゃないからね。
その領域のプロが匿名で見て可否出すだけ。
今の時点で査読okならokで出す。
間違えて反例あればそれも出す。
日本以外でも普通に色々ミスあるし別に日本の権威失墜どうこうとか考えすぎ。
831:132人目の素数さん
20/05/03 14:31:05.07 MAAXTS1W.net
日本の権威云々はたんなる建前で単にIUT嫌いでケチつけたいだけだもんな
832:132人目の素数さん
20/05/03 14:31:42.62 vVCZgnBw.net
>>733
>ペレルマンは超例外で、前例にすべきではない
何故?
ペレルマンは今の数学界のシステムにいろいろ不信感があるんでしょう
査読も、賞も、定理の命名も
・正しいかどうかは結局みんなが見て判断するんだから
査読なんて意味がないと思ってる
・みんなが認めれば定理だから賞なんか別にほしくないと思ってる
・定理の証明も結局いろんな人のいろんな定理を使ってるから
最後の一人の名前だけが残るなんて理不尽だと思ってる
いちいちごもっともですね
>賞金1億円も辞退とか。おれに回してくれと言いたいよ
金が欲しいんなら、数学よりもっとてっとりばやく
稼ぐ方法があるんじゃないですか
おすすめはしませんけどね
>数学論文としての作法は・・・
まず、他人に分かるように書くのが第一だと思いますがね
そういう意味で、望月氏の論文は作法に反してると
数学者たちは思ってるでしょうね
833:132人目の素数さん
20/05/03 14:33:37.73 vVCZgnBw.net
>>735
あなたがいわれたことはすべて査読制度の問題点なんですけどね
なんでそんなも
834:の有難がるの?
835:132人目の素数さん
20/05/03 14:37:06.74 vVCZgnBw.net
>>736
まあそうひねくれないで
IUTが正しいなら正々堂々と指摘に対して
相手が理解するまで回答してくださいよ
そうしないからいろいろ疑われることを理解しましょう
836:132人目の素数さん
20/05/03 14:39:14.02 9jUO25pO.net
>>738
問題があるけど論文は常にこのプロセスで掲載される。
掲載されることはその時点の歴史において意味がある。
間違いならそれをまた掲載するべき。
あなたが査読制度批判したいのか何を批判したいのかよくわからないけど。
837:132人目の素数さん
20/05/03 14:41:25.56 vVCZgnBw.net
>>734
そもそも、ワークショップ、実現できるのかな?
いままでちょうちん持ちしてくれた朝日新聞も今日の記事で
「ABC予想「証明は本当か?」 欧米で論文に異議相次ぐ」
なんて書いちゃうくらいだからね
ま、4/3の記者会見で、いずれこうなるとは思ってたけどね
838:132人目の素数さん
20/05/03 14:44:10.18 SSTHgT6i.net
>>741
本来一般紙が食らいつくネタじゃない
やはり何らかの陰謀が
839:132人目の素数さん
20/05/03 14:44:48.25 vVCZgnBw.net
>>740
既に2012年以来、公開査読が行なわれていて
しかもそこで全然同意が得られていない状況で
査読OK、といいだしたのがチグハグってことです
どうせ査読OKで出版するつもりなら、非公開のまま
いきなり出版すればよかったんじゃないですか?
いいたいのはそういうことですよ
840:132人目の素数さん
20/05/03 14:47:08.85 vVCZgnBw.net
>>742
そもそも2017年の時点で、朝日のI記者に
アクセプトの情報を漏らした人がいるんじゃない?
陰謀っていうんなら、まずそこじゃない?
841:132人目の素数さん
20/05/03 14:48:12.30 bqaIyPqZ.net
今回は、専門以外の数学者からも異論が出ているんだから、無理筋じゃないの。
(それなりの教養のある大卒程度の)一般人見たら、数学のイメージはロジックでスパッと勝負がつくと思っている。
著名な数学者より待ったがかかっている状態では、一般人には納得されないよ。
842:132人目の素数さん
20/05/03 14:52:41 vVCZgnBw.net
今確かめたら2017/12/16の朝日新聞の記事
数学の超難問・ABC予想を「証明」 望月京大教授
書いたのは同じI記者だね
「国際的な数学の専門誌に掲載される見通し」とあるけど
誰がこの情報を吹き込んだかが問題
843:132人目の素数さん
20/05/03 15:05:18 9jUO25pO.net
>>743
同意してる人もいるからいいんじゃない。
査読okなら判断含めて記録に残るからやればいいだけ。
844:132人目の素数さん
20/05/03 15:15:52 2M32vaJJ.net
>>745
wwww
相対性理論は間違っている! 専門家以外の素人が異論を出しているんだから、相対性理論はやはり無理筋なんじゃないの
何言ってんだこいつw
量子論は間違っている! 専門家のアインシュタインも専門家以外の素人も異論を出しているんだから、量子論はまったく無理筋なんじゃないの
845:132人目の素数さん
20/05/03 15:24:06 vVCZgnBw.net
相対論や量子論は、IUTほど専門家に理解されない理論ではなかったと思うけどな
846:132人目の素数さん
20/05/03 15:29:24 bqaIyPqZ.net
量子論と相対性理論と並べてわかる、賛同者の少なさ。
847:132人目の素数さん
20/05/03 15:34:42 vVCZgnBw.net
どうせなら数学の理論を出してほしかったな
フレーゲ:算術の基本法則
→ラッセルがパラドックスでひっくり返す
ヒルベルト:算術の無矛盾性証明計画(ヒルベルト・プログラム)
→ゲーデルが不完全性定理でひっくり返す
重要なのは両者とも、もともとその気はなかったけど
つい発見してしまったというところ
848:132人目の素数さん
20/05/03 15:36:29 2M32vaJJ.net
ともかく
「望月の数十ページに渡る再反論コメント、懇切な説明に対して、ショルツは1年以上に渡って正式な再々反論をしていない 出来なかった」
これで勝負が完全についたという急所を頭に置けよバカは 学問的に正当で常識的な
負け犬の遠吠えまるだしを繰り返して恥の上塗りをしてるんじゃないわ
849:132人目の素数さん
20/05/03 15:45:18 vVCZgnBw.net
雑談氏が、「IUT不成立だろHiladoの学位論文が・・・」といってるけど
ゲーデルの不完全性定理によって、
アッカーマンの学位論文である原始帰納的算術の無矛盾性証明が
原始帰納的算術以外の前提(ω^ω^ωの超限帰納法)を使ってる
ことが露見した、という逸話もある
(「ゲーデル 不完全性定理」岩波文庫 p228-231)
850:132人目の素数さん
20/05/03 15:46:49 bqaIyPqZ.net
なんだろ…10年近くたつのに
もっちースゲーよ、ABC証明したよ!という立会人がバンバン現れてくるという展開がないのよね。
なんで?これが素人にはわからん。
数学ってそんな世界なの?他の証明って結構すげースゲーいいよいいよって騒がれてじゃん。
851:132人目の素数さん
20/05/03 15:47:24 vVCZgnBw.net
>>752
>望月の数十ページに渡る再反論コメント、懇切な説明
しかし肝心のCol 3.12の証明はなし
数十ページも何も懇切説明したんだろうか?
852:132人目の素数さん
20/05/03 15:52:42 W7JjUhjN.net
賛成か反対かと聞かれても、誰もが分かることしか判断できませんね。
数学者の総意はあるの? 皆が違う考えで、何割かは意見は同じでない。
Dupuyも基礎までは分からない、と言ってますね。
今の論議は俯瞰すると、様々な賛成/反対が論議されてますね。
従来の環論で成立しない理論 ⇔ 従来数学で分からない、書き直せと言われる。
遠アーベルの組合せ理論 ⇔ SSが理論を単純化。類体論のDuply、Fesenkoが理論モデルの単純化は不適当と反対。
遠アーベル基礎論で立脚 ⇔ 手掛ける人が数少ない(査読orIUT集会)から内輪と言われる。Stixはノーコメント(&IUT招待講演の不参加)。
先ず「従来数学で書き直せ」は、自分は不賛成。
>>666の通り「logは環構造(やGrobalなF)と両立しない。従ってスキーム(環)の幾何の中では扱えないが、
Galoisと両立するため、先ほどの定理により、絶対遠アーベルの幾何の枠組みの中では扱える。」
その理由を否であり「スキーム(環)の幾何の中で扱える」のであれば、誰かが書き直せば良い。
次に、遠アーベルの組合せ論をSSがコメントで「理論を単純化すれば誤り」との意見は、
理論が正なら「そのままで雑誌掲載」で良く、否なら「再反論のレポートを出せ」ば良いと思う。
この論議の過程は、
・理論が正であると著者が反論、再反論はなかった、という応対である
・「単純化のモデル変更」が不適当な理由が「遠アーベル基礎論の前提から誤り」の理由が主張されている。
・2年の査読延長で、SSレポートの指摘は「問題ない」との判断
最近の「査読で問題なしとされた理由」を示せ、というのは混乱した意見だと思う。
聞かなくても「IUTは修正され無い」のだから、SSレポートとその反論で、反論が認められたのだから。
それに不服な対応は、IUTの反論コメントが明示されており、
「単純化は誤りの反論」が誤りであることを、再反論でレポートを明示すれば良い。
自分は手順として「査読の意味を問う」などは不賛成で、
「再反論があるなら公表」するという順であれば賛成するよ。
853:132人目の素数さん
20/05/03 15:54:09 vVCZgnBw.net
>>753
補足しておくと
・アッカーマン自身はもちろん気づいてなかった
・ヒルベルトも回りの人達も気づいてなかった
・ゲーデルの論文が出たあとで、見直した結果
ω^ω^ωの超限帰納法が、理論内の帰納法では
導けないことに気づいた
・アッカーマンの仕事は後のゲンツェンの仕事に
つながる
854:点で意味があった
855:132人目の素数さん
20/05/03 16:02:27 vVCZgnBw.net
>>756
「遠アーベル基礎論」って何ですか?
>再反論のレポートを出せ
反論にもなんにもなってない無内容な返答を書き散らかして
相手がうんざりして黙れば、認めたとみなしてアクセプト
まるで893のやり口ですね
856:132人目の素数さん
20/05/03 16:02:58 mxBmFSb2.net
>>754
補題3.12が証明されてないから褒め称える立会人が出ない
当然といえば当然の流れ
857:132人目の素数さん
20/05/03 16:05:23 vVCZgnBw.net
もし、Scholzeが査読者だったら、望月氏の誠意のない返答に対して
「理解不能なのでreject」というだろうね
今回、査読者はacceptしたんだから、
Scholzeの異議に対して説明し切れる筈だね
できなければ何を査読したんだってことになるね
だんまりは不誠実 それでも数学者?
858:132人目の素数さん
20/05/03 16:09:58 W7JjUhjN.net
>>758
違うと思うよ。
SSが再反論でレポートを出すか、皆は見ていると思う。
応援とか関係なく、
単純に、出せるのか?、出せないのか?
それだけ。
859:132人目の素数さん
20/05/03 16:11:54 bqaIyPqZ.net
もしかして、IUT理論って、このスレの住人、その一部しか支持者いないんじゃないの…
860:132人目の素数さん
20/05/03 16:12:20 9jUO25pO.net
これは数学に限らず査読者が執筆者差し置いてピント外れたコメントにわざわざ実名で答えるとかないからな。
出版された後に名前出してやるのはあり。
861:132人目の素数さん
20/05/03 16:13:22 vVCZgnBw.net
>>761
あなたは見てるかもしれないけど、皆はそうでもないと思うよ
そもそもショルツの指摘が妥当でなくても、それでOKとはいえないし
結局 他人に理解されない論文をアクセプトした時点で
「何やってんの?RIMSは」って言われるよね
それだけ
862:132人目の素数さん
20/05/03 16:14:10 9jUO25pO.net
いずれにせよ査読制度の限界。
現代数学はプロにとっても難しくなりすぎ。
ただ査読okなら出して進めて残すべき。
863:132人目の素数さん
20/05/03 16:15:48 vVCZgnBw.net
>>763
ペレルマンが論文を査読付き雑誌じゃなくてarXivに上げた理由がよくわかる
匿名性に守られた査読者なんて信用してないんだなあ
864:132人目の素数さん
20/05/03 16:20:01 vVCZgnBw.net
>>765
査読OKでわざわざRIMSが泥かぶるのは馬鹿げてる
正当性を説明できないんでしょ?無意味じゃない?
望月氏がarXivに上げればいいだけだと思う
読者の指摘も全て望月氏一人で対応すればいいだけだと思う
いやなら数学者やめて山でトマトでも作ってればいいと思う
865:132人目の素数さん
20/05/03 16:42:39.14 7CTgNnrT.net
>>767
別にRIMSも泥かぶるとか考えすぎ。
論文は査読okなら載せる。そういうもの。
間違いならそれも報告するだけ。
モッチーに恨み持ちすぎ。
20人くらいコミュニティあって掲載して間違えてるならしゃーない。
その時考えればよいしそういうもんよ。
866:現代数学の系譜 雑談
20/05/03 16:44:24.33 tLzMucQK.net
>>767
どうも、レスありがとう
だけど、バイアス(偏見)ありすぎでしょ、あなたの その意見ってw(^^;
1.”査読OKでわざわざRIMSが泥かぶるのは馬鹿げてる”って、IUT論文がショルツ氏の言う通りで、「どうしようもないクソ論文」を仮定して、立論していますね
ですが、”IUT論文がショルツ氏の言う通りで、「どうしようもないクソ論文」”かどうかが未確定
2.かつ、IUTは曰く付きの論文で、2018年にショルツ氏が、IUTは「どうしようもないクソ論文」と指摘された後、2年かけて検証した結果、しかも複数人での という事実を無視している
そんな、2年前に、”IUTは「どうしようもないクソ論文」”とSSレポートが出て、2年後に査読OK出して、この後例えば半年なり1年で「やっぱりクソ論文でした」はw、それは 無いのでは?ww(^^;
3.なので、RIMSのOKは、少なくとも ”査読軽微な瑕疵はあったとしても、論文として成立している”と判断すべきなのです。もし、証明の瑕疵を指摘すれば、それは指摘した人の手柄です
>正当性を説明できないんでしょ?無意味じゃない?
1.貴方や私にできる説明はない。朝日新聞とかそのたマスコミ記者に対してまたも同じ。また、プロ数学者相手でも 遠アーベルに相当詳し�
867:「人以外には、今はまだ 説明は無理では? 2.だけど、遠アーベルの論文をバリバリ書く人には、説明は可能と思います。というか、さすがにそうでないと、「もっと分かるように書け」と差し戻すべきでしょう
868:現代数学の系譜 雑談
20/05/03 16:45:05.65 tLzMucQK.net
>>768
全く同意
かぶったな>>769
869:132人目の素数さん
20/05/03 16:46:39.65 vVCZgnBw.net
>>768
望月氏にも彼の弟子や同僚たちにも何の恨みはないよ
ただただ不誠実だと感じてるだけ
2012年に発表してもう8年もこの状況
今はじまったことならともかく
8年そのままならこの先何年たっても同じ
結局研究費が欲しいから業績盛ったのかな
そういうあさましいことしてほしくなかったな
870:132人目の素数さん
20/05/03 16:50:36.17 vVCZgnBw.net
>>769
「どうしようもないクソ論文」とはいってませんよ
有用なアイデアはきっと沢山あるんでしょう
ただ肝心の証明にギャップがあるのに
さも証明できたかのごとく書くのはダメでしょう
これは軽微な瑕疵ではありません、重大な瑕疵です
まずここで切ります
871:132人目の素数さん
20/05/03 16:54:13.66 MAAXTS1W.net
思い込みで人を恨むモンスターみたいな人だなあ
872:132人目の素数さん
20/05/03 16:59:35 vVCZgnBw.net
>>769
>>正当性を説明できないんでしょ?無意味じゃない?
>貴方や私にできる説明はない。
素人への内容の説明は求めてませんよ
>朝日新聞とかそのたマスコミ記者に対してまたも同じ。
開き直るんですね 893ですね
>また、プロ数学者相手でも
>遠アーベルに相当詳しい人以外には、
>今はまだ 説明は無理では?
どうしてもショルツを切り捨てたいみたいですね
>だけど、遠アーベルの論文をバリバリ書く人には、説明は可能と思います。
そうは思えませんね
望月氏以外の誰もIUTについて説明できないし、IUTを利用した成果もあげてない
デュピュイがCor 3.12を証明できないとツィートしたのを見て
近い人でもこんなんなの?と驚いた これは異常な状況だよ
>というか、さすがにそうでないと、「もっと分かるように書け」と差し戻すべきでしょう
ええ、だからrejectすべきだった、といってますよ
実際、全然説明できてないじゃないですか
差し戻しの条件はそろってますよ
雑談氏はなぜこの事実から目をそらすんですか?
そんなに偽りの成果で日本人は素晴らしいと自慢したいですか?
日本人ってそんなにみっともないんですか?
私は日本人として実に恥ずかしいですけどね
873:132人目の素数さん
20/05/03 17:00:51 vVCZgnBw.net
MAAXTS1W
外国人を恨んでるのはあなたじゃないの?
874:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 17:01:18 tLzMucQK.net
>>762
>もしかして、IUT理論って、このスレの住人、その一部しか支持者いないんじゃないの…
それは無い
かつ、問題の所在はそこではない
RIMSが査読OKの記者会見(これは異例だが)をした以上
問題は、「ABCが定理かどうか?」「Explicit Szpiro は定理か」・・などなど 看過するには 影響が大きすぎる
これから、もっと専門家に俎上に乗せられて、根掘り葉掘り状態になるはずです
>SSが再反論でレポートを出すか、皆は見ていると思う。
同意です
私も、注目して見ています
が、出ないと見ました
その理由は、Woitブログで最後”I’m happy to continue any further discussions by e-mail.”
で、Dupuyは一歩も引かない
だから、ショルツ先生が納得する形で終わる可能性大と思います
どれくらい時間がかかるか不明ですが
(参考)
URLリンク(www.math.columbia.edu)
Peter Scholze says:
May 1, 2020 at 4:42 pm
Dear Taylor,
I’m happy to continue any further discussions by e-mail.
875:132人目の素数さん
20/05/03 17:04:57 9jUO25pO.net
>>771
メディアがabcに反応してて騒いでるだけ。
世界で20人くらいしか研究理解してない分野とかが
論文出す場合はどういうことが起きるかというのを見る上でオモロイけど。
876:132人目の素数さん
20/05/03 17:07:53 9jUO25pO.net
けいさいでもめてるのはただ単にabcだからでしょ。
877:132人目の素数さん
20/05/03 17:09:48 vVCZgnBw.net
ショルツがIUTの矛盾を証明する論文を書けば、
確実にIUTはひっくり返るでしょう
しかし、それは無理だと思います
というのは、そもそも
878:IUTが明確でないから 皆が読めないというのは、難しいからではなく 肝心なことが書いてないからでしょう 書いてないことは理解できません 難易度以前の問題です Cor 3.12の証明が証明になってないのであれば、結局は予想に過ぎません 予想の提示にも意味はありますが、ABC予想の解決とは異なります そこを明確にした上で論文を全面的に改訂していただきたいですね 日本人の恥をさらさないでいただきたい 政治だけでなく数学もか、なんていわれるのは真っ平御免
879:現代数学の系譜 雑談
20/05/03 17:19:04.77 tLzMucQK.net
>>774
どうも、コメントありがとう
>望月氏以外の誰もIUTについて説明できないし、IUTを利用した成果もあげてない
1.知る限り3つある
・Kirti Joshi 改訂版が出ました。これ多分ショルツ先生も了解でしょう
URLリンク(arxiv.org)
arXiv:2003.01890 [pdf, ps, other] math.AG math.NT
On Mochizuki's idea of Anabelomorphy and its applications
Authors: Kirti Joshi
Submitted 23 April, 2020
(>>612より woitブログ 要点抜粋)
URLリンク(www.math.columbia.edu)
Not Even Wrong Latest on abc Posted on April 3, 2020 by woit
(抜粋)
joshi氏:改訂版はScholze氏にも見てもらう
kirti joshi says:
April 8, 2020 at 10:15 am
In our correspondence Scholze has agreed (mostly) with all the changes in the new version and we (i.e. Scholze, Hoshi and myself) continue to correspond to resolve any persisting issues (of which there are very few).
(引用終り)
・URLリンク(www.uvm.edu)
[ Taylor Dupuy's Homepage]
Probabilistic Szpiro, Baby Szpiro, and Explicit Szpiro from Mochizuki's Corollary 3.12, (with A. Hilado)
があり
・南出新氏による、IUTeichにおける明示的な不等式に関する講演のスライドを掲載(November 2, 2018 東工大講演)
URLリンク(www.kurims.kyoto-u.ac.jp)(in%20progress).pdf
>デュピュイがCor 3.12を証明できないとツィートしたのを見て
>近い人でもこんなんなの?と驚いた これは異常な状況だよ
”貴方には”説明できないですよ
少なくとも、Hilado氏はDR論文の審査員には、説明できないといけませんよね
(説明できないなら、米国のDR論文審査通らないでしょう?「ワケワカ論文書いて、Hiladoおまえ何考えているんだ? ”from Mochizuki's Corollary 3.12,”って論文で書いて、Cor 3.12の説明できないで論文通すつもりか? 勉強し直してこい!!」でしょうね(^^; )
880:132人目の素数さん
20/05/03 17:24:06.46 9jUO25pO.net
>>779
日本の恥とか考えすぎ。
研究の軋轢とはこういうもんよ。
日本の政治とか関係ないしw
881:132人目の素数さん
20/05/03 17:27:04.45 vVCZgnBw.net
>>780
>知る限り3つある
あなたがそう思い込んでるだけで、違いますよ
>>デュピュイがCor 3.12を証明できないとツィートしたのを見て
>>近い人でもこんなんなの?と驚いた これは異常な状況だよ
>少なくとも、Hilado氏はDR論文の審査員には、説明できないといけませんよね
Cor 3.12を前提とするだけなら、
Cor 3.12の「証明」を説明する必要はないでしょう
なにおかしなこといってるんですか?
>(説明できないなら、米国のDR論文審査通らないでしょう?)
そんなことないでしょう?
なにおかしなこといってるんですか?
>Cor 3.12の説明できないで論文通すつもりか?
ステートメントの説明ができればいいのであって
証明の説明をする必要はありませんね
なにおかしなこといってるんですか?
雑談氏こそ論理を一から勉強して出直してきたほうが
よろしいのではないですか?
882:132人目の素数さん
20/05/03 17:29:10.61 vVCZgnBw.net
>>781
>研究の軋轢とはこういうもんよ。
よっぽどいい加減な研究してるんですね
捏造
883:が露見したらクビになりますよ
884:現代数学の系譜 雑談
20/05/03 17:29:43.21 tLzMucQK.net
>>780
>(説明できないなら、米国のDR論文審査通らないでしょう?「ワケワカ論文書いて、Hiladoおまえ何考えているんだ? ”from Mochizuki's Corollary 3.12,”って論文で書いて、Cor 3.12の説明できないで論文通すつもりか? 勉強し直してこい!!」でしょうね(^^; )
<蛇足だが、ここを説明しておく>
1.リーマン予想とか、有名な予想命題を成立前提で推論を進めて、論文にするのはありでしょうが
2.しかし、わけわらん 例えば arXive のわけわからん Cor3.xx の成立を前提として、論文が粗製濫造できるなら
数学ではいくらでもクソ論文可能。つまり、知人に arXive にわけわからん論文で Cor3.xx で、” Explicit Szpiro”が導ける命題を書いてもらう
そのCor3.xxで、” Explicit Szpiro”出ました~!って書けば、論文一丁上がりです(^^
3.もしそんなことを許せば、数学雑誌は、数学故に、いくらでもクソ論文が粗製濫造できますよ
そんな論文は、レフェリーが排除すべきだし、実際に排除すると思いますよ(そもそも、プロ数学者でそんな論文を書く人いないだろうが(みえみえでしょw )w(^^; )
885:132人目の素数さん
20/05/03 17:31:40.98 9jUO25pO.net
>>783
捏造しているというのはあんたの思い込みでしょ。
いい加減な研究というか査読通ってたら掲載されるのは通常の手続きでそれ以下でもそれ以上でもない。
886:132人目の素数さん
20/05/03 17:33:02.18 7CTgNnrT.net
日本の政治とか出てきて狂っとるなしかし。
887:132人目の素数さん
20/05/03 17:33:24.10 vVCZgnBw.net
>>784
リーマン予想とCor 3.12を区別する理由はないけど
>いくらでもクソ論文が粗製濫造できますよ
じゃ、書いてみたら?
なんかいってることがチグハグですね
IUTは正しいと思ってるんでしょう?
だったら、Cor 3.12も重要な補題でしょ
(注:IUTが残念な状態でも、Cor 3.12が無意味、とは言えない)
888:132人目の素数さん
20/05/03 17:34:43 vVCZgnBw.net
>>785
あなたの口ぶりから軽薄さしか感じないな
889:132人目の素数さん
20/05/03 17:36:06 vVCZgnBw.net
>>786
日本の政治云々は脱線ですが、マスク二枚で誤魔化そうっていう態度は残念
890:132人目の素数さん
20/05/03 17:36:43 9jUO25pO.net
草生える展開wwwwww
891:132人目の素数さん
20/05/03 17:37:23 9jUO25pO.net
>>789
銀河鉄道級の脱線やでw
892:132人目の素数さん
20/05/03 17:37:31 vVCZgnBw.net
>>790
荒らしですか?
893:132人目の素数さん
20/05/03 17:38:38 9jUO25pO.net
>>792
査読通ってたなら掲載でいいじゃんという意見なだけよ。
科学論文とはそういうもんだから
あなたは少し感情的。
894:132人目の素数さん
20/05/03 17:38:58 JS4Kfs0C.net
もうチーンしたんやから喧嘩すんなよ
895:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 17:39:15 tLzMucQK.net
>>782
コメントありがとう
>Cor 3.12の「証明」を説明する必要はないでしょう
ほいよ >>784
>>Cor 3.12の説明できないで論文通すつもりか?
>ステートメントの説明ができればいいのであって
>証明の説明をする必要はありませんね
DR論文と普通の論文の区別が出来ていませんね
DR論文の審査は、普通の論文よりもはるかに厳しいのです
というか、大学によりますが、米国の大学の審査は厳しいと言われます
DR論文の審査というより、Hilado氏がDRの学位を授けるだけの勉強をしたかどうか、口頭試問でそれが問われる
当然、自分の書いたDR論文の意味とか価値とかを自分の言葉で説明できないと行けません
Cor 3.12をブラックボックスにして、Cor 3.12はワケワカといったら、DR論文もワケワカと言ったに等しい
もし、これがリーマン予想とかであれば、「リーマン予想はご存知のように100年以上解かれていない難問なので、リーマン予想成立を前提として、何が言えるかを研究することは、大いに価値があります」という説明ができる
Cor 3.12が説明できないなら、「あほか、やり直しだ!」でしょうねw(^^;
896:132人目の素数さん
20/05/03 17:39:24 vVCZgnBw.net
>>791
脱線ついでに
維新の支持者ですか?
897:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 17:43:56 tLzMucQK.net
>>787
コメントありがとう
>リーマン予想とCor 3.12を区別する理由はないけど
ほいよ>>795より
"もし、これがリーマン予想とかであれば、「リーマン予想はご存知のように100年以上解かれていない難問なので、リーマン予想成立を前提として、何が言えるかを研究することは、大いに価値があります」という説明ができる
Cor 3.12が説明できないなら、「あほか、やり直しだ!」でしょうねw(^^;"
898:132人目の素数さん
20/05/03 17:45:05 vVCZgnBw.net
>>795
>Cor 3.12をブラックボックスにして、
ブラックボックスという言葉で何をいいたいのかわかりませんが
>リーマン予想とかであれば、
>「リーマン予想はご存知のように100年以上解かれていない難問なので、
> リーマン予想成立を前提として、何が言えるかを研究することは、
> 大いに価値があります」という説明ができる
そんな説明でいいのなら、簡単ですけどね
「Cor 3.12は、望月氏のABC予想解決論文において提示された重要な補題であって、
今だ証明されたと認められていないが、これを前提として、何が言えるかを
研究することは、大いに価値があります」
これで文句がつけられるんなら、リーマン予想でも同じことですけどね
899:132人目の素数さん
20/05/03 17:45:34 mxBmFSb2.net
査読が通ったなら載せるべきとは全く思わないな
「科学」論文であれば、政治や商業的な裏の力が働いて査読が通ったものを載せる「べき」ではないな
掲載されることを止められるかは別にしてね
900:132人目の素数さん
20/05/03 17:47:34 QRkFmCqL.net
>>781
いや政治とまったく関係なくはないですよ
数学の真偽の話だけにとどまらず
次世代幾何学研究センターはIUTの進捗によって
文部科学省から予算がついているわけだし
901:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 17:48:01 tLzMucQK.net
>>781
>日本の恥とか考えすぎ。
>研究の軋轢とはこういうもんよ。
同意です
査読OKの記者会見が出た
あとは、「IUTを潰してやるぞ!」という人は チャレンジすれば良い
「IUTの証明ギャップを見つけてやるぞ!」という人は チャレンジすれば良い
それは、やった人の手柄ですよ
それだけのこと
902:132人目の素数さん
20/05/03 17:50:58 vVCZgnBw.net
>>799
まあ、そもそも査読が通っちゃった時点で十分恥ずかしいですけどね
「論理的に理解できるが非常識すぎる」
という論文を通すのはいいと思う
常識に縛られるべきではないから
しかし
「そもそも論理が分らん」
という論文を通すべきではない
903:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 17:51:45 tLzMucQK.net
>>777-778
>メディアがabcに反応してて騒いでるだけ。
>けいさいでもめてるのはただ単にabcだからでしょ。
同意です
abcからみで、影響大で、看過できないから、騒ぐのですね(^^;
904:132人目の素数さん
20/05/03 17:54:18 vVCZgnBw.net
>>800
なんかSTAP細胞の件と似てきましたね
あのとき理研も特定国立研究開発法人に指定される筈だったが
STAPの件でいったんポシャりましたよね
905:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 17:54:27 tLzMucQK.net
>>771
どうも
> 2012年に発表してもう8年もこの状況
> 今はじまったことならともかく
> 8年そのままならこの先何年たっても同じ
「8年そのままならこの先何年たっても同じ」に証明がないw(^^;
というか、8年間の変化があなたに見えていないだけでしょう
906:132人目の素数さん
20/05/03 17:57:56 vVCZgnBw.net
>>801
>「IUTを潰してやるぞ!」
そんな人いるんですか?w
なんか根本的に誤解しているようですけど
私は証明にギャップがあるのにないかのごとく装うのがダメだと云ってるだけ
ギャップを無くせるというんならやってみせてください
みんなそう望んでいるのにやってくれないからこんなことになってるんで
雑談氏も偽りの成果で自慢したくないでしょ? 恥ずかしいだけだからね
907:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 17:57:58 tLzMucQK.net
>>766
>ペレルマンが論文を査読付き雑誌じゃなくてarXivに上げた理由がよくわかる
>匿名性に守られた査読者なんて信用してないんだなあ
ここも、重箱の隅だが、違うよ
普通 arXivに上げて後(あるいは 平行して)雑誌投稿ですよ
ペレルマンが雑誌投稿しなかっただけ
望月先生は、arXivに上げるのをせず、自分のサイトにだけ上げた(これは結構異例と思いますよ)
908:132人目の素数さん
20/05/03 18:02:03 vVCZgnBw.net
>8年間の変化があなたに見えていないだけでしょう
雑談氏にも見えてないでしょう。
「ほいよ」とかいってIUT論文の変更リストを
漫然を出すのは無意味だから止めてくださいね
中身の説明できないんでしょ?
専門家から見たら、8年の間に根本的な変化はなかったでしょう
論文のバージョンについてとやかく言わない時点で明らかです
これは正直言って酷いと言わざるを得ません
909:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 18:02:04 tLzMucQK.net
>>764
>結局 他人に理解されない論文をアクセプトした時点で
これも重箱の隅だけど
”理解”のレベルをどこにおくかの問題で
その分野の先端研究の数人(査読者含む)が理解できれば、取り敢ずOKでしょ(今回のIUTはそれを満たし査読者からOK出た)
専門外の数学者が理解できるようにとなると、専門家には分かりきったことから書かないといけないってなるよね(^^
それは ないわな
910:132人目の素数さん
20/05/03 18:05:25 vVCZgnBw.net
>>809
>その分野の先端研究の数人(査読者含む)が理解できれば、取り敢ずOKでしょ
雑談氏は、IUT論文の査読を依頼された専門家から
「これは意味不明だから、査読できない
(誰が見ても同じだから)rejectしたほうがいいと思うよ」
といわれた件を無視してますね
つまり、あなたのいう条件を満たしてるかどうかすら怪しいということです
911:132人目の素数さん
20/05/03 18:06:37 cxdwLTb+.net
個人的には、掲載すること自体は賛成
もしアクセプトしたのに掲載取り止めなんてことになったら、ジャーナルが外圧に屈したことになる
これはよくない(例えば、政治的な理由で検閲された論文が掲載できなくなるよう�
912:ネことが考えられるから) また、「個人のWebページ」上で公開された不確かな論文がfinal versionになることも今後の議論にために重要 しかしながら、 アクセプトした時点で詰みであり、もう手遅れ 業界関係者は迷惑を被るかもしれないけど、仕方がない 公開査読状態だったのにアクセプトを止められなかったことが一番の問題 RIMSの権威は無事に失墜することだろう
913:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 18:11:35 tLzMucQK.net
>>808
コメントありがとう
>> 8年間の変化があなたに見えていないだけでしょう
>雑談氏にも見えてないでしょう。
「見えている、見えていない」の定義があいまいだがw
それはおいといて
8年間の変化を知りたいなら
IUTスレの1からざっと読んでみたらどう?
私は、だいたい1からフォローしています
Cor3.12について言えば
記憶では、SSとの討論の2018年3月では、しっかり書かれていなかったと思う
そして、2020年のいま、Cor3.12には 証明が約10ページ強書かれました
2020年のいま
Cor3.12の証明に文句いうなら
証明を読んだ上で
約10ページのここがおかしいと
具体的に指摘すべきでしょう
あるいは、もう自分で論文書いて、ぶつける時期かもね(自分の手柄になる)
914:132人目の素数さん
20/05/03 18:13:16 vVCZgnBw.net
>>811
印刷代と製本台が無駄なのでお薦めしないな
(その費用、私にくださいとはいいませんw)
>アクセプトしたのに掲載取り止めなんてことになったら、
>ジャーナルが外圧に屈したことになる
そもそもアクセプト自体、不正行為の臭いがするんですがね
まあ、もし不正行為が明るみに出たら
次世代幾何学研究センターは無くなるでしょうね
そうなっても仕方ありません 自業自得ですから
915:132人目の素数さん
20/05/03 18:14:01 MAAXTS1W.net
このアンチ君は論文の内容をねつ造してまでIUTを叩いてたのに、よく誠実性がどうとか言えるよな
中身が空っぽなんだろうなと思う
916:132人目の素数さん
20/05/03 18:16:24 vVCZgnBw.net
>>812
>>> 8年間の変化があなたに見えていないだけでしょう
>>雑談氏にも見えてないでしょう。
>「見えている、見えていない」の定義があいまいだがw
言い出したのは雑談氏ですがw
>それはおいといて
なら、最初から云わなければよかったですね
>8年間の変化を知りたいなら
結構です 実質的には無いですから
917:132人目の素数さん
20/05/03 18:18:16 vVCZgnBw.net
>>812
>Cor3.12について言えば、記憶では、SSとの討論の2018年3月では、
>しっかり書かれていなかったと思う
記憶は都合よく改ざんされるものなので無意味です
どうしても主張したいのなら2018/3以前の版のpdfを提示してください
できないなら、最初から言わないほうがいいですよ
恥ずかしいだけですから
918:132人目の素数さん
20/05/03 18:19:45 QRkFmCqL.net
>>804
似ていると思います
小保方氏は、最初、STAP細胞の存在に確信があったかとは思いますが、
もともと存在しないものなので、STAP細胞をねつ造したわけです
今回は、数学をねつ造しているのではないか?という疑惑は排除できません
919:132人目の素数さん
20/05/03 18:19:58 vVCZgnBw.net
>>814
MAAXTS1Wは、外国人嫌いなだけでなく妄想家でもあるようだ
920:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 18:20:16 tLzMucQK.net
>>811
コメントありがとう
(引用開始)
アクセプトした時点で詰みであり、もう手遅れ
業界関係者は迷惑を被るかもしれないけど、仕方がない
公開査読状態だったのにアクセプトを止められなかったことが一番の問題
RIMSの権威は無事に失墜することだろう
(引用終り)
これ、前提が荒唐無稽すぎ
<前提>
1.IUTがクソ論文で
2.2018年にSSのレポートで指摘されていたのに、それを査読者と玉川先生とが理解できず、逆の結論(アウトのところをセーフに)
前提が荒唐無稽すぎる
じゃ、7年間の査読って何やってたの?
なんで、SS文書の指摘をきちんと取り上げなかったの?
話は逆で
1.7年間の査読で、ちゃんとチェックしました
2.2018年のSSのレポートの指摘は、ちゃんと考慮しました
3.その結果、自信を持って RIMSはIUT論文OKの結論を下しました!
でしょ
記者会見をした意味は!!(^^
921:132人目の素数さん
20/05/03 18:23:22 vVCZgnBw.net
>>817
望月氏が初めから意図的に空疎な理論をデッチ上げたとは思いません
ただ、粗削りで未完成なものを完成品であるかのごとく見せかけた疑惑はあります
もちろん、どこまで意図的だったかなんて立証はできませんが
問題になるのは、査読に関して望月氏がど�
922:黷セけ力を行使したか?ですね これは場合によっては不正行為にあたるでしょう
923:132人目の素数さん
20/05/03 18:27:55 vVCZgnBw.net
>>819
>7年間の査読で、ちゃんとチェックしました
>2018年のSSのレポートの指摘は、ちゃんと考慮しました
また脱線だが、安倍内閣の閣僚がよく使う言葉に「しっかり」があるそうだ
「ちゃんと」と4文字で済ませるなら子供でもできる
疑惑を払拭するには何をどう査読したのか明らかにする必要がある
無理だと思いますが
>その結果、自信を持って RIMSはIUT論文OKの結論を下しました!
玉川氏が記者会見で「査読過程は墓場まで持っていく」と云ったそうだが
自信があるならそんなこと言わないだろうと思った
924:132人目の素数さん
20/05/03 18:28:00 QRkFmCqL.net
>>819
「じゃ、7年間の査読って何やってたの?
なんで、SS文書の指摘をきちんと取り上げなかったの?」
これらの疑問は、解消されたわけではなくて
これから次のステップにおいて追求されることになるのではないでしょうか
925:132人目の素数さん
20/05/03 18:31:02 cxdwLTb+.net
>>819
俺の前提は、
<前提>
1. Cor 3.12の証明にはギャップがあり、恐らくIUT理論からは直接導くことができない
2. 査読者と玉川先生は、SSのレポートの指摘の「意味」を理解できなかった
>1.7年間の査読で、ちゃんとチェックしました
これは結局、査読を引き受けてくれた人(恐らく身内)がちゃんと「チェック」しただけだろう
PRIMSがリジェクト勧告があったことを無視したことはすでにご存じの通り
>記者会見をした意味は!!(^^
不明
2月にアクセプトが決まったことを4月に報告する意味は全く分からない
しれっと掲載しちゃえばよかったのに
926:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 18:32:31 tLzMucQK.net
>>817
どうも
コメントありがとう
>もともと存在しないものなので、STAP細胞をねつ造したわけです
>今回は、数学をねつ造しているのではないか?という疑惑は排除できません
数学を知らないのでしょうか?(^^
数学で”STAP”のようなことが、意図して可能と考えるプロ数学者皆無でしょうね
例えばもし、”STAP”のようなことをしたとして
<想定されること>
1.すぐバレる
2.同僚や知人の数学者から「おまえ、なにやってんだ? まさか数学で”STAP”か?」
3.「ふざけんじゃね~! バカか!」てなって、ドボンでしょう
苦労の割に合わない結末がすぐ見える
だったら、重箱の隅でも、なんか小さい結果出して、それで「論文1本」ってする方がまし
それだと、同僚や知人の数学者から「おまえ、論文稼ぎか? おれもやるけどw」って言われるかもしれないが、まだましw(^^;
927:132人目の素数さん
20/05/03 18:33:10 MAAXTS1W.net
>>818
だって君さ、
URLリンク(5ch-ranking.com)
の427でしょ
愛国がどうのこうの言ってる文体と、異様なレス数から分かるんだけど
ここで望月論文では∈の無限降下列があって間違いとかいう悪意をもって嘘ついてたよね?
そんな人がどの面を下げて、不誠実なのが許せないとか軽薄とか言えるの?
全部自分のことだよね?
928:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 18:35:17 tLzMucQK.net
>>823
どうも
コメントありがとう
(引用開始)
俺の前提は、
<前提>
1. Cor 3.12の証明にはギャップがあり、恐らくIUT理論からは直接導くことができない
2. 査読者と玉川先生は、SSのレポートの指摘の「意味」を理解できなかった
(引用終り)
その前提は、自分の力では否定できないね
というから、それは これから徹底的に追求されるべき!!
これぞ、数学だと思うよw(^^;
929:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 18:37:24 tLzMucQK.net
>>823 追加
> 2月にアクセプトが決まったことを4月に報告する意味は全く分からない
>しれっと掲載しちゃえばよかったのに
全く同意です
というか、9月か10月かに国際会議の後で、アクセプトにしても良かったと思うのですが
予想より、ずっと早く かつ 思い切った判断だと思いましたね(^^
930:132人目の素数さん
20/05/03 18:38:18 9jUO25pO.net
まさかここで日本維新の会が出てくるとはw
宇宙の取り替えだなまさにw
931:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 18:41:46 tLzMucQK.net
>>825
コメントありがとう
(引用開始)
だって君さ、
URLリンク(5ch-ranking.com)
の427でしょ
愛国がどうのこうの言ってる文体と、異様なレス数から分かるんだけど
(引用終り)
そうかもね
おサルさん、「Inter-universal geometry と ABC予想 否定派 」スレに書かなくなったからねw(^^;
932:132人目の素数さん
20/05/03 18:46:32 8T2W0o3/.net
なるほど
IUTは黒を白という弁護士ディベート
なんだな
まったく新しい数学だわ
933:132人目の素数さん
20/05/03 18:46:42 QRkFmCqL.net
>>824
朝日の記事に、
「望月教授の米プリンストン大時代の指導教授でフィールズ賞受賞者のゲルト・ファルテ
934:ィングス氏ですら、 「もし証明を主張するなら、もっと分かりやすく説明する努力をすべきだ。私もABC予想が証明されたか確信を持っていない」と話す。」 何年間も数学者が読み込んでも結局理解不能な論文をねつ造することはあり得るのではないのでしょうか?
935:132人目の素数さん
20/05/03 18:53:07.19 17Vrvfm0.net
>>830
このスレみて何をなるほどするってんだ?
936:132人目の素数さん
20/05/03 18:59:14.00 QRkFmCqL.net
>>824
たしかに「ねつ造」の定義が不正確でしたね
ねつ造○
事実でないことを事実のようにこしらえること
本人は事実ではないことを認識している
ねつ造×
事実でないことを事実のようにこしらえること
本人は事実と勘違いしている
↑
今回
937:132人目の素数さん
20/05/03 19:10:12 bqaIyPqZ.net
白黒つかないのは予想。白黒つけるのが証明。
白黒つかない証明は流石に困るw
938:132人目の素数さん
20/05/03 19:16:44 8T2W0o3/.net
>>832
>まさかここで日本維新の会が出てくる
とはw
宇宙の取り替えだなまさにw
939:132人目の素数さん
20/05/03 19:17:50 cxdwLTb+.net
>>831
師匠から否定的なコメントが出るって相当だよね
仲が悪かったのかな
940:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 19:19:35 tLzMucQK.net
>>834
>白黒つかないのは予想。白黒つけるのが証明。
>白黒つかない証明は流石に困るw
1.白黒つけるのは、数学者たちの仕事である
2.素人たちが、「白黒つかない証明」とかいっても、そんな証明IUT以外にも山ほどあるでしょ?w(^^;
3.でもね、”素人たちが、「白黒つかない証明」”でも
プロ数学者、あるいは、サイエンスライターが
なんとなく納得できる解説を書いてくれて
そういうので、証明は正しそうとなる
4.IUTは、加藤文元本しかなく、これは数学科生には、大分不満でしょうね
それを補うものを期待しています
941:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 19:22:02 tLzMucQK.net
>>836
>師匠から否定的なコメントが出るって相当だよね
>仲が悪かったのかな
2つ可能性があって
1.ゲルト・ファルティングス氏のいうとおり
2.あまりにも革新的で、ゲルト・ファルティングス氏でさえ、理解できなかった
さてどちら
私は、2と見ています(^^;
942:132人目の素数さん
20/05/03 19:23:32 8T2W0o3/.net
加藤文元本こそまったく新しい数学
IUTの本質を表している。
943:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 19:27:12 tLzMucQK.net
>>833
どうも、コメントありがとう
(引用開始)
ねつ造×
事実でないことを事実のようにこしらえること
本人は事実と勘違いしている
↑
今回
(引用終り)
そうですね
数学で意図して”ねつ造”論文=「意図して成立していない命題を、証明したように書く」って無理でしょ
つーか、そんな才能と時間があるなら、真っ当な研究をして、まっとうな論文を書けるはず
その方が、よほどましですよね(^^;
944:132人目の素数さん
20/05/03 19:28:01 bqaIyPqZ.net
証明の検証中ってことになるんだろうけど、そんな時間がかかるものかね。
ブラックホールみたいに物理現象で確認が必要となれば、予算も金もかかりそうだけど
数学だと、ロジカルに紙とペンだけでなんとかなりそうな気がするんだが、
何で時間がかかっているの?
945:132人目の素数さん
20/05/03 19:58:47 agSE6EeK.net
>>824
数学なんて書いてあることが全てな気がしますよね
不正するとしたら他人様のをパクるか他人様を口止めするくらいで
研究の過程自体全部書いてあるレベルだから
掲載されたあと間違いが見つかっても「それみたことか、お前らバカか」で終わる話
(いや、大問題かも知れないけど)
書いてある内容をごまかしまくってたSTAPとはまるっきり違いますよね
まあSTAPについては発表段階で小保方氏自身はどこまで分かってたかなあってのはありますが
(とりまきは分かってたと思いますが)
オボちゃん、私学にAO入試組だしなあ確か
946:132人目の素数さん
20/05/03 19:59:01 vVCZgnBw.net
>>825
MAAXTS1W
妄想ですね
947:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 20:02:02 tLzMucQK.net
>>841
どうも、コメントありがとう
>証明の検証中ってことになるんだろうけど、そんな時間がかかるものかね。
同意です。でも、ペレルマンのポアンカレ予想解決の論文審査には3年懸かったと言われています。
しかし、何年もは異例かも。
ワイルズ先生のフェルマーの論文はどうだったかな?
審査で引っ掛かって、修正に1年かかったけど、「解決できた~!」というニュー�
948:Xはすぐ流れて いつ、審査パスしたかは、記憶に残ってないな(^^; >何で時間がかかっているの? 1.大論文で、IUT I~IVの4編 計600ページもある 2.少しでもギャップがあると不味いと、1行1行確認していくと、時間かかるのでしょうねぇ(^^;
949:132人目の素数さん
20/05/03 20:03:17 vVCZgnBw.net
>>842
今回、望月氏は新しい数学の可能性を開いたのかもしれませんね
・・・あまりいい方向ではないかもしれませんが
950:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/03 20:05:06 tLzMucQK.net
>>843
>MAAXTS1W
>妄想ですね
やっぱ
おまえ
おサルだったかw(^^
頭隠して尻隠さず~!
おサル馬脚を現すの巻~!! (形容矛盾だがねw(^^; )
951:132人目の素数さん
20/05/03 20:05:22 KcND5Qxt.net
>>843
君本当に言葉が軽いよね
自分の書いたことに一切責任持たず、過去の書き込みについては別人ですとかさ、誰からも信用されないよ?
952:132人目の素数さん
20/05/03 20:11:01 vVCZgnBw.net
>>847
勝手な思い込みですね
953:132人目の素数さん
20/05/03 20:14:03 vVCZgnBw.net
>>846
雑談氏の悪い癖が出ましたね
日本人だから日本人を無条件で信じるという悪い癖
直さないと騙されますよ
954:132人目の素数さん
20/05/03 20:15:41 LWxkcBtz.net
欧米の数学者「ABC予想は証明できていない」 京大・望月教授の論文を批判
スレリンク(news板)
955:132人目の素数さん
20/05/03 20:20:18 vVCZgnBw.net
>>850
見なかったことにします
956:132人目の素数さん
20/05/03 20:29:22 vVCZgnBw.net
静かになりましたね
957:132人目の素数さん
20/05/03 20:34:28 vVCZgnBw.net
>>701でも書きましたが、
IUT関係者の師弟関係を調べたら
狭い範囲でまとまってしまったので
驚いています
■望月新一
├■星裕一郎
└■南出新
□加藤和也
├□斎藤毅
│├■志甫淳
│└■山下剛
├■栗原将人
└■田口雄一郎
■は「IUTの広がり」組織委員
加藤和也氏や斎藤毅氏がIUTについて
どう考えているのかお尋ねしたいところです
958:132人目の素数さん
20/05/03 20:36:25 KcND5Qxt.net
>>848
本当につまんねえ奴だな
自分の書き込みに対してそれは別人ですていう奴が、よく人のことを不誠実だとか言えるな
まあどうせ君は認めないからいいけどさ、これが仮に他人の話だったらどう思う?
匿名であることをいいことに適当なことを書きまくって、いざそのことについて責められると別人ですっていう奴について、君はやっぱり不誠実だと思うかな?
959:132人目の素数さん
20/05/03 20:38:21 vVCZgnBw.net
実は以前から数学の細分化が進むと、
そのうち仲間内だけ、そしてしまいには
自分だけが分かるとかいうレベルに
いってしまうのではないかと
危惧していました
そうなったら数学の行き止まりなんでしょうね