18/10/05 01:32:21.95 FhRzu20l.net
>>866 ほんと、信者は自分の勝手な思い込みですぐにレッテル貼りをしたがるよねえ。。。w
901:１３２人目の素数さん
18/10/05 01:36:18.13 WYU6Fl6w.net
とはいうものの、俺も今や文元のダブスタもあながち理解できなくはない。彼も本気でわからんのでは？
普通の圏論的な観点では確かにリンクが潰れる、と考えるのが妥当のようにも見える
ある種の直観主義的な細かい区別を導入した証明と理解するしかないのだろうか？
まさに、この論争にショルツに全く劣らないVoevodskyが加わって欲しかったものだ
数学の思想からして最も相応しかったのに
902:１３２人目の素数さん
18/10/05 01:39:12.99 WYU6Fl6w.net
だから、そのおかしさを実感している感じがしないからショルツの威を借りてる、と言ってるわけよ
あと、俺は全く信者ではないから。君らと同様に、非常にせこいポジで見物しているだけ
前から書いてるように、少なくとも短期的には受容されない可能性が高いかなと思っている
903:１３２人目の素数さん
18/10/05 01:47:12.18 h1Z8UHfi.net
では擁護派はもっちーの威を借りてると見ていいのかな？
904:１３２人目の素数さん
18/10/05 01:49:42.36 q7/NMpwu.net
全ては自己責任
905:１３２人目の素数さん
18/10/05 01:55:07.06 FhRzu20l.net
>>869 取り巻き以外理解できないと言うのがそもそも異常だからな。
威を借る、というのも随分違和感のある言い方。
906:１３２人目の素数さん
18/10/05 02:08:46.34 KffBOlUP.net
☆は何て言ってるの？
☆が望月の変わりに反論するしかない？
907:１３２人目の素数さん
18/10/05 02:18:13.55 WYU6Fl6w.net
どうでもいいが、肝心の論点に関して興味深いのはむしろStixの存在だと思うんだよな
勿論最初に指摘して目立つのはショルツなんだけど、元々あそこは著者が一番気にしている箇所だった
「何故非線形性の狙いが実質的に死ぬのか」、それを遠アーベル幾何学者のStixが主張しているのが
実は数学的に凄く面白い。俺も視点を変えて二転三転しているけどw、結局は厳しいだろうと
でも今は望月の「self-evident」も、ショルツが「アイデアすらない」と言っている意味もわかる
結局、復元「アルゴリズム」というよりは、「復元」という操作自体が怪しかったのではないかと
まさに全か無か、に近い危機だ。今度こそ「やばいぞ」という意見は当面変わらんだろう
本来は称賛したかったであろうStixが叩くのも無理はない欠陥だ
ここ数日、全く関係ない分野の作業に追われながら夢物語について考えるのは楽しかった
批判側の主張は完全にわかったので、今度は個人的に擁護できないかどうか考えてみるけどね
908:１３２人目の素数さん
18/10/05 02:24:17.11 aIt9dlbb.net
絵に描いた餅ということでいいの？
909:１３２人目の素数さん
18/10/05 02:24:38.81 WYU6Fl6w.net
論争を簡単にかいつまみたい卑怯な人wのために一言で言えば、PS-JSは結局理論自体が壮大な
トートロジーだと言っているのよ
本当だったら「悪夢」なんだけど、確かに尤もらしい議論だから俺も困っている
910:１３２人目の素数さん
18/10/05 02:27:28.01 Oy7lGDCH.net
URLﾘﾝｸ(lh4.ggpht.com)
911:１３２人目の素数さん
18/10/05 02:37:47.74 WYU6Fl6w.net
まあ理論自体は言い過ぎにしても、「理論を用いた証明の戦略」が、だな
「何言ってんだこいつ」と言いたい気持ちはわかるがw、非常に脆弱な論理構造の砂上の楼閣だと
それくらい深刻な欠陥じゃなかったらショルツもあんな言い方はしないだろうし、本意じゃないだろう
あまりに単純な欠陥なので、理論関係者の人がいたら弁護して解説してほしいくらいだよ
912:１３２人目の素数さん
18/10/05 02:39:54.31 aSuxaQWS.net
>>874
同意。（ちょっと昨日はかなり荒れていたので様子見をしていた）
スティックスはたしかオックスフォードのワークショップで講演もしていたと思う
クオンタマガジンで、それぞれの環構造での測定が全体的に見ればエッシャーの階段になってしまうと言っていたのも彼
IUTTに関しては、これができたら面白いな、とは思っている
PS・JSだけど結構脚注のほうが面白い。同型写像を巡る望月氏との認識の違いとかね
酷い言い方をすれば、ゲテモノ数論幾何学者VSパーフェクトイド空間の王子様ってとこかな（ヒドイね）
913:１３２人目の素数さん
18/10/05 02:46:52.44 h1Z8UHfi.net
「ある部分」については正しそうだった、でいいのかな？
だから欠陥がわかり�
914:ﾉくかったと？
915:１３２人目の素数さん
18/10/05 02:51:05.68 WYU6Fl6w.net
今になると、第三論文になってから問題が生じたのも非常に納得がいく
致命的な欠陥はあくまでも「証明の戦略」にあって、構造をいじくってる分には別に平和なんだけどね
控えめに言って宇宙ロケットの発射時の爆発を思い出すような欠陥だよこれは
皆は「はなからショルツを信じてた」から、数日で二転三転するのがアホに見えるだろうけど、
これだけ複雑な理論で証明の体で話が進んでいると、行ったり来たりしないとなかなか腑に落ちない
916:１３２人目の素数さん
18/10/05 02:58:14.25 aSuxaQWS.net
>>876
PS・JSの主張に従えば、トートロジーというより自己矛盾だよね
j~2の件なんてまさにそう
評価をするためにj~2を導入せざるをえないのに、そのj~2がΘpilot object側を潰し、果てはΘリンクそのものを潰す
ポスト構造主義哲学の本を読んでいる人なら分かると思うけど、これってデリダの脱構築だよ（笑）
917:１３２人目の素数さん
18/10/05 03:07:26.88 aSuxaQWS.net
j^2だね（誤変換だった）
俺は望月氏と同世代だから感じるんだけど、この人、かなり70年代後期～90年代初期のポスト構造主義哲学の風潮の影響を受けている気がする
特にドゥルーズ-ガタリの『差異と反復』と『ミル・プラトー』辺りのね
もちろん、数学と現代哲学は違うけど、望月氏の発想と文体は彼らによく似ている
これは笑い話ではなくて、数学ではないがイリヤ・プリゴジンなどのノーベル賞化学者も影響を受けて分厚い本も書いていたよ
918:１３２人目の素数さん
18/10/05 03:26:01.46 M7csmF0B.net
とは言ってもアクセプトだけどな
919:883
18/10/05 03:34:18.50 aSuxaQWS.net
俺が前にこのままでいけば「ソーカル事件」や「東大駒場騒動」みたいになってしまうと書いたのはまさしくこれが念頭にあったから
数学ならば理解してもらえるように論証しなければならない
ファルティングスでも匙を投げているようだし、タオもエレンバーグのブログのコメントでさらっと証明は疑わしいと書いていたよ
俺達に理解できなくても、ラングランズ・プログラム側の第一級の数学者たちに理解してもらえるように書かないとね・・・
920:１３２人目の素数さん
18/10/05 04:27:00.60 n4890E0e.net
復元がナンセンスだったとなるとマジで関係者のしてきたことはなんだったのか
非常にまずいことになる
921:１３２人目の素数さん
18/10/05 07:02:23.69 CfGG3ZCU.net
証明が正しければ、PS-JSの指摘問題は後から振り返ればいいエピソード
922:１３２人目の素数さん
18/10/05 07:44:23.53 TUs06IGP.net
上にも誰か書いてたけどRIMS内部でもっちー以外の誰かがレポート書くだろうからそれでどうなるかじゃね
ここまで引っ張ってるところをみると上手く行ってなさそうだけど
923:１３２人目の素数さん
18/10/05 08:22:33.20 otG/QBv6.net
>>868
これ毎回なんか単語だけ並べて尤もらしく書こうとしてるみたいだけど、
直観主義とかも完全に誤用だし何がしたいのだろうか。
924:１３２人目の素数さん
18/10/05 08:27:35.24 hc2fcyAD.net
>>876
そう
読んでみて思うんだが、望月氏は循環論法に陥ってるんじゃね？て模様なんよ
本人も薄々気付いてるから、あんだけ罵倒しておいて助けてほしいとか言ってるんじゃないかな
ただ、循環論法の理論枠組みって修正は事実上不可能な場合が多いからまあ……
925:１３２人目の素数さん
18/10/05 09:57:56.86 TUs06IGP.net
>>889
そっとしておこう
926:１３２人目の素数さん
18/10/05 10:36:09.22 648RCmRh.net
君たちはまさに公開講座にやってくる知ったかぶりのキチガイ
エッシャー、直感主義、循環論法？ ブルーバックス読んでなさい
927:１３２人目の素数さん
18/10/05 1
928:0:57:17.30 ID:h1Z8UHfi.net
929:１３２人目の素数さん
18/10/05 11:37:50.61 8nSAPQOQ.net
クズレの欠陥
厳密な単語主義なので全体の流れが読めない
従って要約もできない
論理矛盾にも気がつかないので具体的な反論はできない
数学の前に国語や人格を勉強しなさい
どうせ数学は聴講生レベルなんだから
930:１３２人目の素数さん
18/10/05 11:49:03.90 PpDfdfCu.net
英語も読めるようになれよな。
なんか痛ましいわ。
931:１３２人目の素数さん
18/10/05 11:55:39.88 PpDfdfCu.net
>>857
出たアメリカ。で、何なの？
932:１３２人目の素数さん
18/10/05 12:08:32.19 cOin4KDM.net
英語を読めるようになれよ
933:学術
18/10/05 12:35:35.86 EJopf/7a.net
カリキュラム上に数学がない人を成功させるためなら自負に酔ってるべきかな。
数字も自分の分量位を、待遇される側に伝えたり調整したりすればいいわけじゃ。
当たり前のことを言うとな。僕は数学・理系は選択していないから、
いい思い出、口惜しさ、とか刺激のある事感動すること。ばっかりだよ。カリキュラム上は習ったけど。
934:１３２人目の素数さん
18/10/05 12:57:36.66 /+goIwNr.net
まぁ望月新一は超のつく天才だけど、超のつく偏屈人間で幼稚で人嫌いで小心者ってことだね。
どれだけ素晴らしい理論創始しても、人間とまともに交流できないんじゃ、こうなるのも仕方ないわ。
935:１３２人目の素数さん
18/10/05 13:22:27.90 CG7S03pa.net
人は一見、仕事とは無関係と思われる他人と交流して脳が活性化される
抽象化の能力も孤独な勉強のみよりもどうでもいいと思ってたカンファどころか、会話、はたまたパーティで遊んでると
ふと出てきたりする
936:１３２人目の素数さん
18/10/05 14:28:39.01 VPYhzSpX.net
今ちょっと故あって
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
というのを読んでいるんですが、それでフッと思ったんですが、代数体上の楕円曲線の変形の理論って、このレクチャーノートの小平ネロンモデルに該当するものが代数体上の楕円曲線でも構成できるという意味なんですか？
937:学術
18/10/05 15:18:39.51 EJopf/7a.net
プレライベートを詰めてるのか。良いこと聞いたよ。
938:学術
18/10/05 15:19:02.87 EJopf/7a.net
プライベート。
939:１３２人目の素数さん
18/10/05 15:30:30.16 qvff0tWr.net
ちゃんと貼れ
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
940:１３２人目の素数さん
18/10/05 15:42:05.29 VPYhzSpX.net
>>904
アザッス
941:１３２人目の素数さん
18/10/05 15:45:57.68 vUo/2ef4.net
>>899 数学者としての実績は既に認められてるのに、人間関係で躓いてしまうのは惜しまれる。
ただ、若い人は教訓にしないとね。
942:１３２人目の素数さん
18/10/05 15:52:23.05 Job6jxBr.net
>>889
いや、間違ってない。あんたの言ってるのは狭い意味の直観主義論理だろ
単語の羅列に見えるのは単にあなたの理解のブーメランかと
943:１３２人目の素数さん
18/10/05 15:59:29.38 Job6jxBr.net
よりよい言い方を提案する場合を除き、この手の非難はブーメランなんだよな
羅列でしかないならお前が本質を言い直せよと
944:１３２人目の素数さん
18/10/05 15:59:29.41 Job6jxBr.net
よりよい言い方を提案する場合を除き、この手の非難はブーメランなんだよな
羅列でしかないならお前が本質を言い直せよと
945:１３２人目の素数さん
18/10/05 16:03:11.01 BYmsl30I.net
超天才が人間関係に不得意だったりするのはむしろ普通のことだ
何も惜しむことではない
大事なのは周りにいるフォロワーがいかにサポートするかなんであってね
人類史上最高の科学者の一人、ニュートンだって引きこもりの奇人変人だったからね
錬金術師で有名だったしオカルティストだし
聖書研究に血道を�
946:繧ｰてキリストの秘密を追っていた 最高級の科学者がこうなんだから何をか言わんやだよ ニュートンだって業績を徹底して否定するのがいた。しかも学会の中心人物 彼が死ぬまで辛い立場に置かれていた そんなもんだよ 望月氏が辛い立場にいるのはむしろ本物の証だろ ないものねだりをするバカは何も分かって無いよ
947:学術
18/10/05 16:06:01.45 EJopf/7a.net
聖書については研究も大事だけど、何か書いているものを受け売りするより、
人の話を聞いたり交霊するなり自分の人生で検証するなりしないと。
948:１３２人目の素数さん
18/10/05 16:06:25.53 Job6jxBr.net
>>890
循環というかナンセンスに近い
多分abcは忘れ、切り離して理論を研究する感じになるんじゃないか
949:１３２人目の素数さん
18/10/05 16:06:25.78 Job6jxBr.net
>>890
循環というかナンセンスに近い
多分abcは忘れ、切り離して理論を研究する感じになるんじゃないか
950:１３２人目の素数さん
18/10/05 16:24:01.30 e6QkLZEm.net
>>912
現状、他の使い道がない以上、発展は厳しいだろう
951:１３２人目の素数さん
18/10/05 16:38:11.27 SVxOr3qb.net
>>910 しかし仁美をはじめとするバカ連のような連中が取り巻きにいた事例は知らない
952:１３２人目の素数さん
18/10/05 16:40:58.27 n4890E0e.net
落とし所はどうなるだろう
京大もこのまま見て見ぬ振りをするのか
無意味な理論なら金だすのはやめて
他の研究に金使って欲しいんだけど
953:１３２人目の素数さん
18/10/05 16:41:39.76 iW73isIl.net
IUTeichの発展は星さんや山下さんがやってるんじゃないの？
954:１３２人目の素数さん
18/10/05 16:43:00.87 TUs06IGP.net
不等式の部分を削って掲載できるならそれで載せればいいのかもね
abc予想が証明されないことになるけどRIMSとしてはこのまま引っ張るよりよほどいいでしょ
955:１３２人目の素数さん
18/10/05 16:54:19.25 DJKizKBR.net
バカどもは、英語が面倒でも翻訳サイトに突っ込めば大枠はわかるだろうに、
どんなことがあっても絶対に>>749を読まず、バカ丸出しの思い込みを永遠に語ります
その主要部の抄訳
4/5ﾍﾟｰｼﾞ目
残念なことだが、2014年からScholzeは様々な文を公開して、IUTをダウングレードし始めた。私は彼に、IUTの「不具合」が何であるかを正確に伝えるように何度か尋ね、否定的なことを公に言う前に、IUTの作者とコミュニケーションをとったらどうかと提案した。
Scholzeは2015年のOxford IUTワークショップに参加することを拒否した。このワークショップでは、多くの関連事項を学ぶことができたのだが。
Scholzeは2015年の5月に、Mochizukiに非常に漠然とした広範な質問を1つだけ送った。 IUTの著者は長い電子メールで彼に答えた。また、電子メールで議論を行うよう親切に提案した。
Scholzeは、非常に忙しいと答え、電子メールのやり取りを停止した。
（これらの一部は、望月のページで公開されている。すべてのファイルが注目に値する。）
ScholzeはIUTの何かが間違っていると、公に話し続けた。
長い時の後、彼はStixと共に2018年3月に5日間だけ京都に来たが、不具合を示すための証拠の準備が明らかに出来ていなかった。
彼らの短い訪問の終わりまでに、Scholze-Stixは、IUTの過度の単純化に基づいて、IUTの独自の奇妙なバージョンを提供した。
この過度の単純化は、遠アーベル幾何学とIUTにとって完全に不適切であり、この過度の単純化に対する専門家の反応は、報告書の第18章で読むことができる。
この過度の単純化は、数論や圏論の専門家でない者にさえ誤りだとわかるものだ。
Scholze-Stixの立場では、IUTにおける遠アーベル幾何学の使用を�
956:�妙にも否定している。 IUTの少なくとも80％は、高度な遠アーベル幾何学である。それをよく噛み砕かずにIUTの研究をうまく進める方法はない。 複雑な理論を理解する際に間違いを犯すことは問題ではない。 しかし、IUTの「不具合」の有効な証拠を持たずに、このように長い間「不具合」について話すことは、非常に不適切であり、IUTの著者のコメントに答えるための目に見える努力と知識が欠如している。
957:１３２人目の素数さん
18/10/05 16:55:22.48 DJKizKBR.net
Fesenko意見書続き
当初、ScholzeとStixは会議についてのレポートを熱望していた。
しかし、望月の報告書を読んだ後、7月に彼らは完全に心を変え、自分のレポートを投稿する興味を失った。
彼らのレポートをIUTの著者のページに含めることに彼らは最終的に同意したが、2番目のバージョンのレポートは、
最初のレポートでのMochizukiのコメントのほとんどを扱っていず、古典的な高さの理論の失敗などの新しい誤った記述も含まれている。
彼らが自分の間違いを認めないのは謎のままだ。
冒頭
まず重要な事実を要約して挙げる
事実1. IUTの重大な欠陥の具体的な数学的証拠は、これまで誰にも与えられていない。 IUTは非常に頑丈で、さまざまな強力な拡張が可能。
事実2. IUTの専門家になるためには、2年間の連続的な投資をしなければならない。
事実3. IUTの専門家はそれについて否定的な発言をしていない。専門家はIUTに関するインターネット上の議論に参加していない。
IUTに関するほぼすべての否定的な発言は、遠アーベル幾何はおろか数論幾何の実績がない人々、そこから離れた場所で働く非常に少数のグループから来ている。
それらの意見の著者は、彼らが知らない数学について話し、専門家と非専門家を区別できない他の人々を誤解させて無責任に行動している。
IUTに関するインターネットのテキストの中には、非常に不適切なものがある。 彼らは真実と対立する意見を誘導している。
事実4. IUTに関するほとんどすべてのマスメディアの記事は、遠アーベル幾何やIUTの専門家と、研究実績のない人々の意見とをミックスしており、記事は引用した人間の知識の専門性について示していない。
958:１３２人目の素数さん
18/10/05 16:55:46.36 DJKizKBR.net
Fesenko意見書続き
少数の人々によって運営されるインターネットでのキャンペーンは、ネット情報を信じがちな人々に非常に影響を与えることができる。
特定の数学の質問と回答を含むインターネットサイトには、間違った回答が多すぎる。
数学者のための教訓は、適切なピアレビューや専門家の意見としてサポートされていないインターネット上の数学情報を信じてはいけないということである。
2018ウルフ賞受賞者のA. Beilinsonは次のように書いている。
「私たちには時間がないので、証拠や理論のいくつかの部分を理解できれば、何かが正しいと信じがちです。（しかし、とはいえ）私が何かを理解できなければ、私は判断を控えるようにしています。 」
この態度は多くの数学者によって共有されており、大多数の数学者は、研究していない遠アーベル幾何やIUTについては何も述べていない。
コンラッド、大笑いのとばっちり
ここに、自己任命の「専門家」の1つのケースがある。
2015年のオックスフォードIUTワークショップの前に、B..コンラッドは準備をしておらず、かなり簡単な話題で話をしようとした。
ワークショップの間、彼はワークショップのペースを遅くする無思慮で無関係な質問をしばしばした。
彼の質問の多くは、その古典的な部分を除いて、ワークショップの準備ができていないことを示していた。
いくつかの講演者は彼の行動に不満を持ち、ある講演者は話の始めに妨害しないよう警告した。
彼はワークショップの後、ワークショップの主催者と話し合うことなく、エキスパートのフィードバックを求めることもなく、数十の無知なミスをさまざまに含むテキストを公にした。
この無責任で無礼な行動の起源は何だろう�
959:H なぜこれらの少数の数学者は、自分が何の研究業績も持たない分野について彼らの意見を公表することが適切だと思えるのだろう？
960:１３２人目の素数さん
18/10/05 16:56:07.20 DJKizKBR.net
Fesenko意見書続き
IUTを含む数学的理論についての真のコンセンサスは、その分野の専門家からのみ得られる。
すべての数学者は、遠アーベルの幾何学とIUTを真剣に研究し始めることが出来、数学的な新しい問いは歓迎される。
対象分野の研究者になるための真剣な努力をしない人々の漠然とした意見には、価値がない。
中長期的な状況は、より多くの研究者が、私たちの数の理解に素晴らしいブレイクスルーをもたらしたIUTのさらなる発展を担う遠アーベル幾何に精通していけば、より良くなるはずだ。
IUTの専門家の数は増え、IUTの周りには新しく興味深い開拓地がたくさん存在しているだろう。
961:１３２人目の素数さん
18/10/05 17:05:42.42 rxayxnq/.net
更に要約すれば
俺は「宇宙際理論」の専門家だぞ
偉いだろ
962:１３２人目の素数さん
18/10/05 17:09:14.25 69Tv5iVT.net
想像以上にカルト臭くなってきたな
963:１３２人目の素数さん
18/10/05 17:15:01.48 SCkmhGzT.net
フェセンコがおかしいのは今に始まったことじゃないし
GOにも嫌われてるのは笑うけど
964:１３２人目の素数さん
18/10/05 17:28:14.89 otG/QBv6.net
>>925
カルト化した集団だと教祖様のご機嫌を自分が一番取ってるという競争が始まるから、
仲が悪いのはやっぱそういう背景がある気がする。
965:１３２人目の素数さん
18/10/05 17:31:01.92 69Tv5iVT.net
実は、PS-JSは遠アーベル幾何学の使用を否定し、という上の文がポイント
そしてPS-JSは本旨とし「abcの証明「を否定しているのに、
Fは「理論」を擁護しているのもポイント
966:１３２人目の素数さん
18/10/05 17:31:37.72 otG/QBv6.net
それにしてもペレルマンみたいに学術誌に掲載すらしなくても、
有益な情報がある場合は勝手に周囲が理解してギャップも埋めてくれるという状況があるのに、
IUTの専門家でなければIUTについて語れないとかありえないことを言ってしまうのはカルトだよね。
967:１３２人目の素数さん
18/10/05 17:39:01.42 UQUgAuo+.net
だから遠アーベル幾何の専門家がそもそも少ないってのがフェセンコが書いていることだろう
低次元トポロジーの研究と一緒にはできんだろう
968:１３２人目の素数さん
18/10/05 17:40:57.24 otG/QBv6.net
>>929
ペレルマンはトポロジーじゃないが？
969:１３２人目の素数さん
18/10/05 17:42:19.71 otG/QBv6.net
あとフェセンコの主張で正当化できるなら、世界で１人しか研究していない理論（つまり俺にしか分からない理論）
をでっち上げたら無敵くんになっちゃうけど。
970:１３２人目の素数さん
18/10/05 17:48:01.82 aSuxaQWS.net
フェセンコの今回のレポートを読んでそのいくつかが彼自身へのブーメランになっている、ということが何故分からないのかな？
俺がIUTT支持者だったらフェセンコに腹を立てるだろうね
そして望月氏、ワークショップ等を行う組織力がないのかもしれないが、こんな人に頼ってしまうのがなんともね・・・
あとペレルマン、この人は真正のひきこもり数学者。振る舞いも潔い。半端なひきこもりとは比較にならんよ
971:１３２人目の素数さん
18/10/05 17:48:37.88 qvff0tWr.net
>>930
？
972:１３２人目の素数さん
18/10/05 17:51:11.43 otG/QBv6.net
>>930
ポワンカレ予想は問題の提起がトポロジーの文脈で行われたからトポロジーの問題だと思われてたけど、
じっさいにはトポロジーじゃなくても解ける、というのがペレルマンの貢献だって理解してる？
ちなみにこれに気付いた時点ではこの手法を適用したのはペレルマンしかいなかったわけだが、
数学界は受け入れたでしょ。
973:１３２人目の素数さん
18/10/05 17:51:30.17 otG/QBv6.net
すまん>>933だ。
974:１３２人目の素数さん
18/10/05 18:01:04.89 aSuxaQWS.net
ペレルマンはソウル予想とかも解いた微分幾何学者
あとはもうwikiでも読んでて・・・
975:１３２人目の素数さん
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:１３２人目の素数さん
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:１３２人目の素数さん
18/10/05 18:04:49.52 gJpnnR9m.net
ペケルマンは元サッカーコロンビア代表監督だって理解してる？
978:１３２人目の素数さん
18/10/05 18:07:13.32 69Tv5iVT.net
だから、ショルツは大枠に穴があると言ってるんだって
そこで細かい話をしても噛み合うわけがない
979:１３２人目の素数さん
18/10/05 18:14:41.27 69Tv5iVT.net
変形して本人曰くおつりを頂く、はずが実際は借金の返済で帳消しという話
980:１３２人目の素数さん
18/10/05 18:17:24.77 E/GBBprv.net
>>922
やべー、ここまで内容すっからかんで
反論も何もない文ってのを
アカデミアでくっそ久々に見たかも
981:１３２人目の素数さん
18/10/05 18:19:43.25 qvff0tWr.net
>>936
あなたは微分トポロジーと言う分野を知らない人だったのか。
982:１３２人目の素数さん
18/10/05 18:25:08.71 aSuxaQWS.net
>>943
ああ、そういうことね
失礼な書き方をしてすみません
983:１３２人目の素数さん
18/10/05 18:52:26.41 aSuxaQWS.net
閑話休題
昨夜、「復元」に問題が生じているのではないかという意見があったけど、これってIUTTでの「復元」の問題だよね
つまり、遠アーベル幾何ということではなくて、ホッジ・アラケロフ理論と遠アーベル幾何を組み合わせて
望月氏が築き上げたIUTTにおける「復元」の問題
ひとつの大きな環構造の中で復元するのではなく、複数の異質な環構造をΘリンクを使いつつ行う「復元」の問題だと思っているんだけど・・・
984:１３２人目の素数さん
18/10/05 19:08:31.80 69Tv5iVT.net
埋め込みができないとか抽象具象パイロットが区別できてないとか
全て単純で本質的な理由からくる批判だよ
poly-isomorphismの魔法がかからないってことだ
985:１３２人目の素数さん
18/10/05 19:17:20.41 aSuxaQWS.net
>>946
そうなんだけど（＋>>882�
986:ﾋ）、これって遠アーベル幾何に限定しても言えることなのかな 遠アーベルの専門家ではないもんで（笑）、よく分からないんだよね IUTTの問題なんじゃないかと思ってね
987:１３２人目の素数さん
18/10/05 19:21:33.32 aSuxaQWS.net
要するに、スティックスは遠アーベル幾何学をIUTTから救おうとしているのではないか、と失礼なことを俺は思っているんだよね
988:１３２人目の素数さん
18/10/05 19:22:40.44 69Tv5iVT.net
電池死亡w
989:１３２人目の素数さん
18/10/05 19:38:02.42 BYmsl30I.net
ニュートンを徹底的に否定して排斥したやつはこんなやつ
友達が異常に多い
話が上手い
人当たりが良い
サロンの花形
パーティではいつも中心
一方、ニュートンは変態変人奇人偏屈オカルト大好き引きこもり
異常な集中力 異常な没入感 別世界の住人
どっちが歴史に耐えたのかな？
これは決して結果論ではない
サロンの花形なんかに歴史に耐える仕事ができた試しはないからな
990:１３２人目の素数さん
18/10/05 19:54:50.55 aSuxaQWS.net
（ひとりごと）
このスレ、最近jinらしき人が複数IDを使って対立煽りしているような気がするんだが
支持にしろ批判にしろ、あまりに稚拙なレスが目立つ
991:１３２人目の素数さん
18/10/05 19:58:12.80 rPmS+By9.net
あえて言わない区分だが、なんで近世の人を持ってくるんだろうか？
それにニュートンて権力あったし、当時としてはかなりいろんな人とやり合い・やり取りしてる人だったはずだが
あと彼は明確でわかりやすい説明を行って、すぐにアイデアの正しさは受け入れられたと記憶してるが
キャベンディッシュのほうがよっぽど引きこもりにふさわしいよ
しかも彼らは現実の事象による確認というのが非常に大きいから
やっぱり今回の件には当てはまらないような
992:１３２人目の素数さん
18/10/05 19:59:18.58 DGJQsLEK.net
>>951
支持しているの？w
993:１３２人目の素数さん
18/10/05 20:29:08.20 BUc20iqD.net
>>950
フックだったっけバーローだったっけ？。
小松未歩だったっけ江戸川酔歩だったっけ？
994:１３２人目の素数さん
18/10/05 20:46:23.39 l99hKdMV.net
>>940 >>942
俺はぜんぜん分からないけど
>>919の報告書の第18章ってずれた事書いてあるんですか？
995:１３２人目の素数さん
18/10/05 20:46:41.19 0wKRPilq.net
どうでもいいけど、ペレルマンは微分トポロジーの専門家じゃなくてリーマン幾何の専門家だろ。
996:１３２人目の素数さん
18/10/05 21:18:03.62 aSuxaQWS.net
>>955
横レスで失礼するけど、第18節は読まないことをオススメする。個人的には最も読みたくなかった望月氏の文章 orz
数学的なことは書かれていないから簡単に読めるよ
997:１３２人目の素数さん
18/10/05 21:18:36.45 SVxOr3qb.net
>>955
「過度」の単純化が間違ってるというなら数式で指摘しないとねえ
998:１３２人目の素数さん
18/10/05 21:25:36.32 l99hKdMV.net
>>957 >>958
数式で指摘してたら誰も文句言わないよね
学部レベルだったら出来ないはずはないと思うな
999:１３２人目の素数さん
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／ ヽ､ ノ | |
（Ｓ|| | （●） （●） ||| | （●） （●） ||| | （＞） （●） ||| | （＞） （●） ||| | （＞） （●） |
| || | .ﾉ ）||| | .ﾉ ）||| | .ﾉ ）||| | .ﾉ ）||| | .ﾉ ）|
| || |ヽ､＿ ▽ _／| ||| |ヽ､＿ ～'_／| ||| |ヽ､＿ ▽ _／| ||| |ヽ､＿ ～'_／| ||| |ヽ､＿ ▽ _／| |
| || ／￣ 丶 丶 ／￣ 丶 丶 ／￣ 丶 丶 ／￣ 丶 丶 ／￣ 丶 丶 |ﾉ
/ ＼ﾉ / ＼ ﾉ / ＼ ﾉ / ＼ ﾉ / ＼ ﾉ ｎ
│ ＼ ーーー ＼ ーーー ＼ ーーー ＼ ーーー ＼ ーーー┘ヽ
ﾉ ＼＿＿＿＿＿ ＼＿＿＿＿＿ ＼＿＿＿＿＿ ＼＿＿＿＿＿ ＼＿＿＿＿＿
1000: ｝ ／ ／ ／ ／ ／ ／ ／ ／ ／ ／ / / / / ./ / / / ./ / {∴ Ｖ {∴ Ｖ {∴ Ｖ {∴ Ｖ {∴ Ｖ ヽ ヽ二 ヽ ヽ二 ヽ ヽ二 ヽ ヽ二ヽ ヽ ヽ 丶 ヽ 丶 ヽ 丶 ヽ 丶 ヽ 丶 ＼ ｝ ＼ ｝ ＼ ｝ ＼ ｝ ＼ ｝
1001:１３２人目の素数さん
18/10/05 21:32:00.93 aSuxaQWS.net
ちなみに>>844氏が引用している文中の第17章は、PS・JSがIUTTをどれだけ誤解しているかという目録であり、
フェセンコは彼らがこれを読んで逃げたと言うけど、立場によって見方が全く異なると思う
IUTT支持者からすればフェセンコの言う通りになりがちだろうし、
懐疑的・批判的な人たちからすれば、PS・JSは「もうこんな人に付き合ってられない」という感じで望月氏を避けたように思われる
1002:１３２人目の素数さん
18/10/05 21:32:22.12 8nSAPQOQ.net
北方領土占領の正当性の主張みたい
中国や韓国とかわらんな
1003:１３２人目の素数さん
18/10/05 21:34:33.92 SVxOr3qb.net
>>959
専門家がそう言ったから、Ｍ氏がそう言ったから・・アレ？
1004:１３２人目の素数さん
18/10/05 22:01:35.27 aSuxaQWS.net
まあ、「宇宙際幾何学者VSパーフェクトイド空間の達人」という対決は、ある意味で最も両極端な数学者の対決ではないかな？
山下氏も「パーフェクトイド空間を遠アーベル幾何に応用できないか」であり、IUTTに応用とはまだ考えていないようだから、
意外と（？）慎重なのかもしれない
（今日はアホみたいにレスしてしまった・・・orz）
1005:１３２人目の素数さん
18/10/05 22:10:35.97 jj3ihe5e.net
否定派であれ擁護派であれ望月の態度が子供じみていて非生産的だということは同意できるんじゃないかな
SSの人となりは全く知らんが、公開されたコメントだけみてるとそういう感想にならざるをえないかなあ
1006:１３２人目の素数さん
18/10/05 22:17:46.08 P6l2TJWB.net
>>878-879
URLﾘﾝｸ(www.math.uni-bonn.de)
1007:１３２人目の素数さん
18/10/05 22:33:51.94 BYmsl30I.net
>>965
そうだね。そういう人物だから希望を持てるわけだけどね
1008:１３２人目の素数さん
18/10/05 22:41:36.03 BYmsl30I.net
大枠に穴があるとおまえらも考えてるわけ？
穴に見えているかもしれないが実は穴では無いってことは無いの？
1009:１３２人目の素数さん
18/10/05 22:49:18.25 JCNeDK0T.net
実数で簡単に例を出せば済むんだよ
1010:１３２人目の素数さん
18/10/05 23:01:13.05 eMV/W0LZ.net
フェセンコのレポート読んで真に受けるって相当頭悪いんだな。
1011:１３２人目の素数さん
18/10/05 23:17:59.70 eMV/W0LZ.net
ショルツたちの指摘は意味のないものをさも意味があるように取り扱うことで破綻している、と言うものだね。
簡単な例で言えば∞を自然数に含まれていると仮定して、
∞+1=∞、よって1=0、と帰結しているようなものだ。
指摘が正しければ全てが瓦解するものだし、
安易に学部生レベル、 self-evidenceと流すのは慎重さと誠意に欠けるよなあ。
1012:１３２人目の素数さん
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:１３２人目の素数さん
18/10/05 23:18:39.35 DGJQsLEK.net
スティックスの指摘は鋭いしドイツらしい、
フェセンコがブランクを引用した捨て台詞は
敗北宣言としか思えない。
1014:１３２人目の素数さん
18/10/05 23:26:58.59 xOACp2vR.net
噂はほんまやったわ
2020年度RIMSプロジェクト研究
「宇宙際タイヒミューラー理論の拡がり」
1015:１３２人目の素数さん
18/10/05 23:32:40.89 rj7PhCNh.net
関係ないね
複素と微分でなんでも説明できますってのとおなじ
1016:１３２人目の素数さん
18/10/05 23:4
1017:4:38.67 ID:bGi7mTo4.net
1018:１３２人目の素数さん
18/10/05 23:49:56.92 sddNmRRg.net
明確なポシャるの基準なんてないから
モチーの心構えひとつでいくらでも引っ張れる
1019:１３２人目の素数さん
18/10/05 23:56:48.57 l99hKdMV.net
>>972
それじゃ、何も判定できないね
＞Scholzeは2015年の5月に、Mochizukiに非常に漠然とした広範な質問を1つだけ送った。
＞IUTの著者は長い電子メールで彼に答えた。
こっちの内容って公開されてんのかな
1020:１３２人目の素数さん
18/10/06 00:07:14.40 88+xKMI2.net
もう数理解析の研究所ではないかもね。
1021:１３２人目の素数さん
18/10/06 00:15:16.25 t+2EGh0M.net
んー、やっぱ予算対策だったわけでしょ、これ。本人の思惑はともかく。
RIMSはこの状況を放置し続けて予算突っ込んだら、将来的に組織自体が危ういのでは。
1022:１３２人目の素数さん
18/10/06 00:20:39.09 YEE21whM.net
禿藁事件以来の衝撃
数理研存続の危機
トラブルはいつも尊大で居丈高な数論幾何
1023:978
18/10/06 00:22:25.18 pw4C4UQ0.net
訂正
一部は公開されてるんだよね
バカだがドンマイ
＞（これらの一部は、望月のページで公開されている。すべてのファイルが注目に値する。）
で、その注目に値する内容とは？
1024:１３２人目の素数さん
18/10/06 00:23:02.77 0j72//8p.net
役人の掌返しウシシ
1025:１３２人目の素数さん
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:１３２人目の素数さん
18/10/06 00:41:34.02 j19DUsDv.net
>>937
これに関しては禿げドー
早く謝って修正しないと世界で相手にされない
1027:１３２人目の素数さん
18/10/06 00:46:53.11 pw4C4UQ0.net
その全てが注目に値する内容の最大のものは、
>>811の
＞どうもこれ、やはり非可換図式の構造を誤解しているのではないかという感じがするんだけどなあ
＞例えば環とモノイド、乗法群と加法群の圏の区別も含めて、むしろ彼らのが何か釈然としない印象がある
辺りのことが書かれてるんですかね？
1028:１３２人目の素数さん
18/10/06 00:58:26.27 pw4C4UQ0.net
何回も書いてワルイ
>>807で書いてる内容もそうなんでしょうが、その辺どうなんでしょ？
1029:１３２人目の素数さん
18/10/06 01:04:16.99 ry4RhoZR.net
>>951
訳のわからない言いがかりの他人sageについてはjinだけじゃないとは思う
一名か数名かこのスレでよくあるのは、自分からは何も言わずただただ他人のレスをsageて撤退みたいな
手法だけど、自己目的的な煽りであって、攪乱とか深い意味はないと思う
1030:１３２人目の素数さん
18/10/06 01:11:38.27 ry4RhoZR.net
>>986
視点を切り替えると印象が大分変わってしまうからね。そのレスは望月の論文後半を読んだ直後なので
望月寄りの感覚で書いてしまったけど
前に貼られているように、圏論のRobertsも、極限として対象を変えて計算することには納得しているけど
その上でそれらのセットをまとめて考える方法については悩んでいるような書き方をしている
勿論、IUTTが正しいならば何か巧妙な方法で構造的な矛盾を回避しているのだろうけど
この件で一番厄介なのはまさにここで、「自分が理解できないのは何か深遠な真理があって、それは
膨大な時間をかけなければわからない何かであって、従って理解できるまでは批判できない」
という心理が働いてしまうこと。Fesenkoもまるでその洗脳を狙っているような書き方をしている
だが、普通に考えて「圏論やスキーム論を知っている数学者が二年間フルで当たらなければアイデアすら
できない深遠な理論」などというものは、いくら数学でも存在しないと俺は思っているのだが
1031:１３２人目の素数さん
18/10/06 01:18:13.00 e
1032:rgDF3Bf.net
1033:１３２人目の素数さん
18/10/06 01:22:35.18 pw4C4UQ0.net
>>989
その辺はちょっとやそっとじゃ答えられないところなんでしょうな
でも、
＞Scholze-Stixは、IUTの過度の単純化に基づいて、IUTの独自の奇妙なバージョンを提供した。
＞この過度の単純化は、遠アーベル幾何学とIUTにとって完全に不適切であり、この過度の単純化…
と書いてあるなら、そこは明確にきっちりと数式で説明できるってことだよね
それは彼らに書いてもらいたいね
1034:１３２人目の素数さん
18/10/06 01:24:10.01 ry4RhoZR.net
>>958
恐らく「過度の単純化」は大した論点でないとPS-JSは思っているんだけどな
Fesenkoが言うように、そもそも証明の戦略に遠アーベルを使うこと自体が誤りだというレベルの大きな欠陥だ
その欠陥が単純な圏論的議論に関わるので、わざと他の読者にわかりやすくしただけだと彼らは思っているはず
そこに突っ込んでああだこうだ言うのが論点反らしなのか妥当なのかも微妙な所だ
1035:１３２人目の素数さん
18/10/06 01:25:04.69 spuogu/S.net
次スレ
Inter-universal geometry と ABC予想 32
URLﾘﾝｸ(itest.5ch.net)
1036:１３２人目の素数さん
18/10/06 01:25:31.77 E3Fbw+iK.net
>>988
なるほど
>>989
全文に同意するよ。ちょっと異例な事態＝事件となりつつあるよね
ところで、訊かなくても答えはわかってるつもりなんだけど、>>945,>>947,>>948についての意見を聞かせてくれたらありがたい
1037:１３２人目の素数さん
18/10/06 01:27:50.38 ergDF3Bf.net
PS-JSはワイルズのフェルマーの最終定理の中核手法で簡素化したんだろ
ＩＵＴのＡＢＣ証明がフェルマーの最終定理と関係ないならそうかもしれないが、
それはそれでおかしい、系だから
1038:１３２人目の素数さん
18/10/06 01:28:34.91 YEE21whM.net
>>989 ほんま、二年と言う根拠が不明だし、
オウムの修行と同レベルなんだよね、これ。
時間をかけて苦行すれば真理が掴めます、修行の足りない輩の魂は穢れている、。。。ってw
頭の悪い人間はああいうのをカッコいいと思っちゃって騙されるんだろうなあ。
オウムがそうであったようにw
1039:１３２人目の素数さん
18/10/06 01:41:54.11 E3Fbw+iK.net
なんで次スレに俺のレスと相手のレスを貼り付けてんのよ（笑）
誰か知らんけど・・
1040:１３２人目の素数さん
18/10/06 01:41:54.74 ry4RhoZR.net
>>994
そもそも環構造の復元をするとかしないというのがIUTT特有の議論なんじゃないのかね？
もし仮に普通のスキームを上手く一般化してそれに対応するような遠アーベル幾何の一般化を行えば
abc予想をより正攻法で証明する可能性はあると思うけどね
つまり、IUTTとは何か違う意味での、環より一般化された圏についての遠アーベル幾何
その際に環構造の復元という言い方をするべき対象が不可欠なのかはよくわからないね
1041:１３２人目の素数さん
18/10/06 01:46:35.19 E3Fbw+iK.net
>>998
なるほど。サンクス
1042:１３２人目の素数さん
18/10/06 01:52:14.22 spuogu/S.net
1000
1043:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 12日 2時間 48分 21秒
1044:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています