960:132人目の素数さん
18/10/05 16:56:07.20 DJKizKBR.net
Fesenko意見書続き
IUTを含む数学的理論についての真のコンセンサスは、その分野の専門家からのみ得られる。
すべての数学者は、遠アーベルの幾何学とIUTを真剣に研究し始めることが出来、数学的な新しい問いは歓迎される。
対象分野の研究者になるための真剣な努力をしない人々の漠然とした意見には、価値がない。
中長期的な状況は、より多くの研究者が、私たちの数の理解に素晴らしいブレイクスルーをもたらしたIUTのさらなる発展を担う遠アーベル幾何に精通していけば、より良くなるはずだ。
IUTの専門家の数は増え、IUTの周りには新しく興味深い開拓地がたくさん存在しているだろう。
961:132人目の素数さん
18/10/05 17:05:42.42 rxayxnq/.net
更に要約すれば
俺は「宇宙際理論」の専門家だぞ
偉いだろ
962:132人目の素数さん
18/10/05 17:09:14.25 69Tv5iVT.net
想像以上にカルト臭くなってきたな
963:132人目の素数さん
18/10/05 17:15:01.48 SCkmhGzT.net
フェセンコがおかしいのは今に始まったことじゃないし
GOにも嫌われてるのは笑うけど
964:132人目の素数さん
18/10/05 17:28:14.89 otG/QBv6.net
>>925
カルト化した集団だと教祖様のご機嫌を自分が一番取ってるという競争が始まるから、
仲が悪いのはやっぱそういう背景がある気がする。
965:132人目の素数さん
18/10/05 17:31:01.92 69Tv5iVT.net
実は、PS-JSは遠アーベル幾何学の使用を否定し、という上の文がポイント
そしてPS-JSは本旨とし「abcの証明「を否定しているのに、
Fは「理論」を擁護しているのもポイント
966:132人目の素数さん
18/10/05 17:31:37.72 otG/QBv6.net
それにしてもペレルマンみたいに学術誌に掲載すらしなくても、
有益な情報がある場合は勝手に周囲が理解してギャップも埋めてくれるという状況があるのに、
IUTの専門家でなければIUTについて語れないとかありえないことを言ってしまうのはカルトだよね。
967:132人目の素数さん
18/10/05 17:39:01.42 UQUgAuo+.net
だから遠アーベル幾何の専門家がそもそも少ないってのがフェセンコが書いていることだろう
低次元トポロジーの研究と一緒にはできんだろう
968:132人目の素数さん
18/10/05 17:40:57.24 otG/QBv6.net
>>929
ペレルマンはトポロジーじゃないが?
969:132人目の素数さん
18/10/05 17:42:19.71 otG/QBv6.net
あとフェセンコの主張で正当化できるなら、世界で1人しか研究していない理論(つまり俺にしか分からない理論)
をでっち上げたら無敵くんになっちゃうけど。
970:132人目の素数さん
18/10/05 17:48:01.82 aSuxaQWS.net
フェセンコの今回のレポートを読んでそのいくつかが彼自身へのブーメランになっている、ということが何故分からないのかな?
俺がIUTT支持者だったらフェセンコに腹を立てるだろうね
そして望月氏、ワークショップ等を行う組織力がないのかもしれないが、こんな人に頼ってしまうのがなんともね・・・
あとペレルマン、この人は真正のひきこもり数学者。振る舞いも潔い。半端なひきこもりとは比較にならんよ
971:132人目の素数さん
18/10/05 17:48:37.88 qvff0tWr.net
>>930
?
972:132人目の素数さん
18/10/05 17:51:11.43 otG/QBv6.net
>>930
ポワンカレ予想は問題の提起がトポロジーの文脈で行われたからトポロジーの問題だと思われてたけど、
じっさいにはトポロジーじゃなくても解ける、というのがペレルマンの貢献だって理解してる?
ちなみにこれに気付いた時点ではこの手法を適用したのはペレルマンしかいなかったわけだが、
数学界は受け入れたでしょ。
973:132人目の素数さん
18/10/05 17:51:30.17 otG/QBv6.net
すまん>>933だ。
974:132人目の素数さん
18/10/05 18:01:04.89 aSuxaQWS.net
ペレルマンはソウル予想とかも解いた微分幾何学者
あとはもうwikiでも読んでて・・・
975:132人目の素数さん
18/10/05 18:01:53.81 SCkmhGzT.net
数論幾何のお偉いさんもこう言ってる
abc予想を証明したと認められたいのならせめてSSにはもう少しまともな対応すべきだったな
And that, says Faltings, is a problem. “It's not enough if you have a good idea: you also have to be able to explain it to others.”
Faltings says that if Mochizuki wants his work to be accepted, then he should reach out more.
“People have the right to be eccentric as much as they want to,” he says.
“If he doesn't want to travel, he has no obligation. If he wants recognition, he has to compromise.”
URLリンク(www.scientificamerican.com)
976:132人目の素数さん
18/10/05 18:04:31.68 QZP2XSOG.net
フェセンコは事実を隠している
>Shigefumi Mori, Mochizuki’s colleague
at Kyoto University and a winner
of the Fields Medal, wrote to Scholze offering to facilitate a meeting between him and Mochizuki.
→ 森重文がショルツへ来京都を提案した。
ショルツがサービスで京都へきた。
>Though only 30, Scholze has risen
quickly to the top of his field.
He was awarded the Fields Medal, mathematics’ highest honor, in August. Stix, meanwhile, is an expert in Mochizuki’s particular area of research, a field known as anabelian geometry.
→Stixは遠アーベル幾何学のエキスパート
URLリンク(www.quantamagazine.org)
977:132人目の素数さん
18/10/05 18:04:49.52 gJpnnR9m.net
ペケルマンは元サッカーコロンビア代表監督だって理解してる?
978:132人目の素数さん
18/10/05 18:07:13.32 69Tv5iVT.net
だから、ショルツは大枠に穴があると言ってるんだって
そこで細かい話をしても噛み合うわけがない
979:132人目の素数さん
18/10/05 18:14:41.27 69Tv5iVT.net
変形して本人曰くおつりを頂く、はずが実際は借金の返済で帳消しという話
980:132人目の素数さん
18/10/05 18:17:24.77 E/GBBprv.net
>>922
やべー、ここまで内容すっからかんで
反論も何もない文ってのを
アカデミアでくっそ久々に見たかも
981:132人目の素数さん
18/10/05 18:19:43.25 qvff0tWr.net
>>936
あなたは微分トポロジーと言う分野を知らない人だったのか。
982:132人目の素数さん
18/10/05 18:25:08.71 aSuxaQWS.net
>>943
ああ、そういうことね
失礼な書き方をしてすみません
983:132人目の素数さん
18/10/05 18:52:26.41 aSuxaQWS.net
閑話休題
昨夜、「復元」に問題が生じているのではないかという意見があったけど、これってIUTTでの「復元」の問題だよね
つまり、遠アーベル幾何ということではなくて、ホッジ・アラケロフ理論と遠アーベル幾何を組み合わせて
望月氏が築き上げたIUTTにおける「復元」の問題
ひとつの大きな環構造の中で復元するのではなく、複数の異質な環構造をΘリンクを使いつつ行う「復元」の問題だと思っているんだけど・・・
984:132人目の素数さん
18/10/05 19:08:31.80 69Tv5iVT.net
埋め込みができないとか抽象具象パイロットが区別できてないとか
全て単純で本質的な理由からくる批判だよ
poly-isomorphismの魔法がかからないってことだ
985:132人目の素数さん
18/10/05 19:17:20.41 aSuxaQWS.net
>>946
そうなんだけど(+>>882�
986:ヒ)、これって遠アーベル幾何に限定しても言えることなのかな 遠アーベルの専門家ではないもんで(笑)、よく分からないんだよね IUTTの問題なんじゃないかと思ってね
987:132人目の素数さん
18/10/05 19:21:33.32 aSuxaQWS.net
要するに、スティックスは遠アーベル幾何学をIUTTから救おうとしているのではないか、と失礼なことを俺は思っているんだよね
988:132人目の素数さん
18/10/05 19:22:40.44 69Tv5iVT.net
電池死亡w
989:132人目の素数さん
18/10/05 19:38:02.42 BYmsl30I.net
ニュートンを徹底的に否定して排斥したやつはこんなやつ
友達が異常に多い
話が上手い
人当たりが良い
サロンの花形
パーティではいつも中心
一方、ニュートンは変態変人奇人偏屈オカルト大好き引きこもり
異常な集中力 異常な没入感 別世界の住人
どっちが歴史に耐えたのかな?
これは決して結果論ではない
サロンの花形なんかに歴史に耐える仕事ができた試しはないからな
990:132人目の素数さん
18/10/05 19:54:50.55 aSuxaQWS.net
(ひとりごと)
このスレ、最近jinらしき人が複数IDを使って対立煽りしているような気がするんだが
支持にしろ批判にしろ、あまりに稚拙なレスが目立つ
991:132人目の素数さん
18/10/05 19:58:12.80 rPmS+By9.net
あえて言わない区分だが、なんで近世の人を持ってくるんだろうか?
それにニュートンて権力あったし、当時としてはかなりいろんな人とやり合い・やり取りしてる人だったはずだが
あと彼は明確でわかりやすい説明を行って、すぐにアイデアの正しさは受け入れられたと記憶してるが
キャベンディッシュのほうがよっぽど引きこもりにふさわしいよ
しかも彼らは現実の事象による確認というのが非常に大きいから
やっぱり今回の件には当てはまらないような
992:132人目の素数さん
18/10/05 19:59:18.58 DGJQsLEK.net
>>951
支持しているの?w
993:132人目の素数さん
18/10/05 20:29:08.20 BUc20iqD.net
>>950
フックだったっけバーローだったっけ?。
小松未歩だったっけ江戸川酔歩だったっけ?
994:132人目の素数さん
18/10/05 20:46:23.39 l99hKdMV.net
>>940 >>942
俺はぜんぜん分からないけど
>>919の報告書の第18章ってずれた事書いてあるんですか?
995:132人目の素数さん
18/10/05 20:46:41.19 0wKRPilq.net
どうでもいいけど、ペレルマンは微分トポロジーの専門家じゃなくてリーマン幾何の専門家だろ。
996:132人目の素数さん
18/10/05 21:18:03.62 aSuxaQWS.net
>>955
横レスで失礼するけど、第18節は読まないことをオススメする。個人的には最も読みたくなかった望月氏の文章 orz
数学的なことは書かれていないから簡単に読めるよ
997:132人目の素数さん
18/10/05 21:18:36.45 SVxOr3qb.net
>>955
「過度」の単純化が間違ってるというなら数式で指摘しないとねえ
998:132人目の素数さん
18/10/05 21:25:36.32 l99hKdMV.net
>>957 >>958
数式で指摘してたら誰も文句言わないよね
学部レベルだったら出来ないはずはないと思うな
999:132人目の素数さん
18/10/05 21:28:00.33 plPqnDCJ.net
/  ̄`Y  ̄ ヽ /  ̄`Y  ̄ ヽ ./  ̄`Y  ̄ ヽ /  ̄`Y  ̄ ヽ ./  ̄`Y  ̄ ヽ
/ / ヽ/ ./ ヽ/ / ヽ/ ./ ヽ/ / ヽ
,i / // / i i l ヽ/ // / i i l ヽ/ // / i i l ヽ/ // / i i l ヽ/ // / i i l ヽ
| // / l | | | | ト、 | // / l | | | | ト、 | // / l | | | | ト、 | // / l | | | | ト、 | // / l | | | | ト、 |
| || i/ .⌒ ⌒ | ||| i/ .⌒ ⌒ | .|| i/ .⌒ ⌒ | ||| i/ .⌒ ⌒ | || i/ ヽ、 ノ | |
(S|| | (●) (●) ||| | (●) (●) ||| | (>) (●) ||| | (>) (●) ||| | (>) (●) |
| || | .ノ )||| | .ノ )||| | .ノ )||| | .ノ )||| | .ノ )|
| || |ヽ、_ ▽ _/| ||| |ヽ、_ ~'_/| ||| |ヽ、_ ▽ _/| ||| |ヽ、_ ~'_/| ||| |ヽ、_ ▽ _/| |
| || / ̄ 丶 丶 / ̄ 丶 丶 / ̄ 丶 丶 / ̄ 丶 丶 / ̄ 丶 丶 |ノ
/ \ノ / \ ノ / \ ノ / \ ノ / \ ノ n
│ \ ーーー \ ーーー \ ーーー \ ーーー \ ーーー┘ヽ
ノ \_____ \_____ \_____ \_____ \_____
1000: } / / / / / / / / / / / / / / ./ / / / ./ / {∴ V {∴ V {∴ V {∴ V {∴ V ヽ ヽ二 ヽ ヽ二 ヽ ヽ二 ヽ ヽ二ヽ ヽ ヽ 丶 ヽ 丶 ヽ 丶 ヽ 丶 ヽ 丶 \ } \ } \ } \ } \ }
1001:132人目の素数さん
18/10/05 21:32:00.93 aSuxaQWS.net
ちなみに>>844氏が引用している文中の第17章は、PS・JSがIUTTをどれだけ誤解しているかという目録であり、
フェセンコは彼らがこれを読んで逃げたと言うけど、立場によって見方が全く異なると思う
IUTT支持者からすればフェセンコの言う通りになりがちだろうし、
懐疑的・批判的な人たちからすれば、PS・JSは「もうこんな人に付き合ってられない」という感じで望月氏を避けたように思われる
1002:132人目の素数さん
18/10/05 21:32:22.12 8nSAPQOQ.net
北方領土占領の正当性の主張みたい
中国や韓国とかわらんな
1003:132人目の素数さん
18/10/05 21:34:33.92 SVxOr3qb.net
>>959
専門家がそう言ったから、M氏がそう言ったから・・アレ?
1004:132人目の素数さん
18/10/05 22:01:35.27 aSuxaQWS.net
まあ、「宇宙際幾何学者VSパーフェクトイド空間の達人」という対決は、ある意味で最も両極端な数学者の対決ではないかな?
山下氏も「パーフェクトイド空間を遠アーベル幾何に応用できないか」であり、IUTTに応用とはまだ考えていないようだから、
意外と(?)慎重なのかもしれない
(今日はアホみたいにレスしてしまった・・・orz)
1005:132人目の素数さん
18/10/05 22:10:35.97 jj3ihe5e.net
否定派であれ擁護派であれ望月の態度が子供じみていて非生産的だということは同意できるんじゃないかな
SSの人となりは全く知らんが、公開されたコメントだけみてるとそういう感想にならざるをえないかなあ
1006:132人目の素数さん
18/10/05 22:17:46.08 P6l2TJWB.net
>>878-879
URLリンク(www.math.uni-bonn.de)
1007:132人目の素数さん
18/10/05 22:33:51.94 BYmsl30I.net
>>965
そうだね。そういう人物だから希望を持てるわけだけどね
1008:132人目の素数さん
18/10/05 22:41:36.03 BYmsl30I.net
大枠に穴があるとおまえらも考えてるわけ?
穴に見えているかもしれないが実は穴では無いってことは無いの?
1009:132人目の素数さん
18/10/05 22:49:18.25 JCNeDK0T.net
実数で簡単に例を出せば済むんだよ
1010:132人目の素数さん
18/10/05 23:01:13.05 eMV/W0LZ.net
フェセンコのレポート読んで真に受けるって相当頭悪いんだな。
1011:132人目の素数さん
18/10/05 23:17:59.70 eMV/W0LZ.net
ショルツたちの指摘は意味のないものをさも意味があるように取り扱うことで破綻している、と言うものだね。
簡単な例で言えば∞を自然数に含まれていると仮定して、
∞+1=∞、よって1=0、と帰結しているようなものだ。
指摘が正しければ全てが瓦解するものだし、
安易に学部生レベル、 self-evidenceと流すのは慎重さと誠意に欠けるよなあ。
1012:132人目の素数さん
18/10/05 23:18:22.68 uPSZdt4d.net
>>955
Yes! Yes! Of course, I completely agree that the theory that you are discussing is completely absurd and meaningless, but that theory is completely different from IUTch!
こんなん
1013:132人目の素数さん
18/10/05 23:18:39.35 DGJQsLEK.net
スティックスの指摘は鋭いしドイツらしい、
フェセンコがブランクを引用した捨て台詞は
敗北宣言としか思えない。
1014:132人目の素数さん
18/10/05 23:26:58.59 xOACp2vR.net
噂はほんまやったわ
2020年度RIMSプロジェクト研究
「宇宙際タイヒミューラー理論の拡がり」
1015:132人目の素数さん
18/10/05 23:32:40.89 rj7PhCNh.net
関係ないね
複素と微分でなんでも説明できますってのとおなじ
1016:132人目の素数さん
18/10/05 23:4
1017:4:38.67 ID:bGi7mTo4.net
1018:132人目の素数さん
18/10/05 23:49:56.92 sddNmRRg.net
明確なポシャるの基準なんてないから
モチーの心構えひとつでいくらでも引っ張れる
1019:132人目の素数さん
18/10/05 23:56:48.57 l99hKdMV.net
>>972
それじゃ、何も判定できないね
>Scholzeは2015年の5月に、Mochizukiに非常に漠然とした広範な質問を1つだけ送った。
>IUTの著者は長い電子メールで彼に答えた。
こっちの内容って公開されてんのかな
1020:132人目の素数さん
18/10/06 00:07:14.40 88+xKMI2.net
もう数理解析の研究所ではないかもね。
1021:132人目の素数さん
18/10/06 00:15:16.25 t+2EGh0M.net
んー、やっぱ予算対策だったわけでしょ、これ。本人の思惑はともかく。
RIMSはこの状況を放置し続けて予算突っ込んだら、将来的に組織自体が危ういのでは。
1022:132人目の素数さん
18/10/06 00:20:39.09 YEE21whM.net
禿藁事件以来の衝撃
数理研存続の危機
トラブルはいつも尊大で居丈高な数論幾何
1023:978
18/10/06 00:22:25.18 pw4C4UQ0.net
訂正
一部は公開されてるんだよね
バカだがドンマイ
>(これらの一部は、望月のページで公開されている。すべてのファイルが注目に値する。)
で、その注目に値する内容とは?
1024:132人目の素数さん
18/10/06 00:23:02.77 0j72//8p.net
役人の掌返しウシシ
1025:132人目の素数さん
18/10/06 00:23:22.11 YEE21whM.net
Yes! Yes! Of course, I completely agree that the theory that
you are discussing is completely absurd and meaningless,
but that theory is completely different from IUTch!
1026:132人目の素数さん
18/10/06 00:41:34.02 j19DUsDv.net
>>937
これに関しては禿げドー
早く謝って修正しないと世界で相手にされない
1027:132人目の素数さん
18/10/06 00:46:53.11 pw4C4UQ0.net
その全てが注目に値する内容の最大のものは、
>>811の
>どうもこれ、やはり非可換図式の構造を誤解しているのではないかという感じがするんだけどなあ
>例えば環とモノイド、乗法群と加法群の圏の区別も含めて、むしろ彼らのが何か釈然としない印象がある
辺りのことが書かれてるんですかね?
1028:132人目の素数さん
18/10/06 00:58:26.27 pw4C4UQ0.net
何回も書いてワルイ
>>807で書いてる内容もそうなんでしょうが、その辺どうなんでしょ?
1029:132人目の素数さん
18/10/06 01:04:16.99 ry4RhoZR.net
>>951
訳のわからない言いがかりの他人sageについてはjinだけじゃないとは思う
一名か数名かこのスレでよくあるのは、自分からは何も言わずただただ他人のレスをsageて撤退みたいな
手法だけど、自己目的的な煽りであって、攪乱とか深い意味はないと思う
1030:132人目の素数さん
18/10/06 01:11:38.27 ry4RhoZR.net
>>986
視点を切り替えると印象が大分変わってしまうからね。そのレスは望月の論文後半を読んだ直後なので
望月寄りの感覚で書いてしまったけど
前に貼られているように、圏論のRobertsも、極限として対象を変えて計算することには納得しているけど
その上でそれらのセットをまとめて考える方法については悩んでいるような書き方をしている
勿論、IUTTが正しいならば何か巧妙な方法で構造的な矛盾を回避しているのだろうけど
この件で一番厄介なのはまさにここで、「自分が理解できないのは何か深遠な真理があって、それは
膨大な時間をかけなければわからない何かであって、従って理解できるまでは批判できない」
という心理が働いてしまうこと。Fesenkoもまるでその洗脳を狙っているような書き方をしている
だが、普通に考えて「圏論やスキーム論を知っている数学者が二年間フルで当たらなければアイデアすら
できない深遠な理論」などというものは、いくら数学でも存在しないと俺は思っているのだが
1031:132人目の素数さん
18/10/06 01:18:13.00 e
1032:rgDF3Bf.net
1033:132人目の素数さん
18/10/06 01:22:35.18 pw4C4UQ0.net
>>989
その辺はちょっとやそっとじゃ答えられないところなんでしょうな
でも、
>Scholze-Stixは、IUTの過度の単純化に基づいて、IUTの独自の奇妙なバージョンを提供した。
>この過度の単純化は、遠アーベル幾何学とIUTにとって完全に不適切であり、この過度の単純化…
と書いてあるなら、そこは明確にきっちりと数式で説明できるってことだよね
それは彼らに書いてもらいたいね
1034:132人目の素数さん
18/10/06 01:24:10.01 ry4RhoZR.net
>>958
恐らく「過度の単純化」は大した論点でないとPS-JSは思っているんだけどな
Fesenkoが言うように、そもそも証明の戦略に遠アーベルを使うこと自体が誤りだというレベルの大きな欠陥だ
その欠陥が単純な圏論的議論に関わるので、わざと他の読者にわかりやすくしただけだと彼らは思っているはず
そこに突っ込んでああだこうだ言うのが論点反らしなのか妥当なのかも微妙な所だ
1035:132人目の素数さん
18/10/06 01:25:04.69 spuogu/S.net
次スレ
Inter-universal geometry と ABC予想 32
URLリンク(itest.5ch.net)
1036:132人目の素数さん
18/10/06 01:25:31.77 E3Fbw+iK.net
>>988
なるほど
>>989
全文に同意するよ。ちょっと異例な事態=事件となりつつあるよね
ところで、訊かなくても答えはわかってるつもりなんだけど、>>945,>>947,>>948についての意見を聞かせてくれたらありがたい
1037:132人目の素数さん
18/10/06 01:27:50.38 ergDF3Bf.net
PS-JSはワイルズのフェルマーの最終定理の中核手法で簡素化したんだろ
IUTのABC証明がフェルマーの最終定理と関係ないならそうかもしれないが、
それはそれでおかしい、系だから
1038:132人目の素数さん
18/10/06 01:28:34.91 YEE21whM.net
>>989 ほんま、二年と言う根拠が不明だし、
オウムの修行と同レベルなんだよね、これ。
時間をかけて苦行すれば真理が掴めます、修行の足りない輩の魂は穢れている、。。。ってw
頭の悪い人間はああいうのをカッコいいと思っちゃって騙されるんだろうなあ。
オウムがそうであったようにw
1039:132人目の素数さん
18/10/06 01:41:54.11 E3Fbw+iK.net
なんで次スレに俺のレスと相手のレスを貼り付けてんのよ(笑)
誰か知らんけど・・
1040:132人目の素数さん
18/10/06 01:41:54.74 ry4RhoZR.net
>>994
そもそも環構造の復元をするとかしないというのがIUTT特有の議論なんじゃないのかね?
もし仮に普通のスキームを上手く一般化してそれに対応するような遠アーベル幾何の一般化を行えば
abc予想をより正攻法で証明する可能性はあると思うけどね
つまり、IUTTとは何か違う意味での、環より一般化された圏についての遠アーベル幾何
その際に環構造の復元という言い方をするべき対象が不可欠なのかはよくわからないね
1041:132人目の素数さん
18/10/06 01:46:35.19 E3Fbw+iK.net
>>998
なるほど。サンクス
1042:132人目の素数さん
18/10/06 01:52:14.22 spuogu/S.net
1000
1043:1001
Over 1000 Thread.net
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 12日 2時間 48分 21秒
1044:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています