18/10/03 20:51:01.45 tIod93pw.net
>>777
タオが言ってるのは役に立たないんじゃなくて、
ここまで成果が出ないってことはどこかおかしいんじゃないの、
って話だと思うんだが
例えばまったくなんの工具も作れない物理法則（しかも誰も理解できない）
というのに説得力があるのか、という話
814:１３２人目の素数さん
18/10/03 20:56:12.84 xdzGC5qA.net
やっぱりここの人アホやは
815:１３２人目の素数さん
18/10/03 20:56:35.07 xdzGC5qA.net
全員な
816:１３２人目の素数さん
18/10/03 21:02:46.94 HecCCd5s.net
オマエモナ
817:１３２人目の素数さん
18/10/03 21:03:57.81 bkLFIr3R.net
というか逆にこれだけダメ出しされてIUTは役に立つかもって
望月がRIMSの所員っていう権威づけ以外に根拠あるの？って思うんだが
818:１３２人目の素数さん
18/10/03 21:15:31.24 E7jiWGh8.net
超準解析とどっちが使えるの？
819:１３２人目の素数さん
18/10/03 21:16:06.39 OEwtuE/g.net
フェセンコのレポートめっちゃ海外の数論研究者に喧嘩売りまくってるな
今に始まったことじゃないけど
いろいろ理屈付けてるけど劣勢だから逆ギレして誤魔化してるようにしか見えないわ
820:１３２人目の素数さん
18/10/03 21:26:38.06 41UVbUWs.net
ロシアの国家エージェントで各国の研究機関にウイルスを埋め込む役目だったりして
821:１３２人目の素数さん
18/10/03 21:29:05.94 xyy0nV/V.net
abc予想証明できるのは大いに役立ってるのでは
822:学術 クーロンで 遭いましょう。
18/10/03 21:38:13.95 avh6uVCA.net
雅楽。
823:１３２人目の素数さん
18/10/03 21:38:42.48 N5gSAYAy.net
フェセンコ先生がついに動いたか。
さあ、次に続く数学者は誰だろう。
嫉妬と偏見にとらわれず、
真理の大道を歩む真の天才は誰だろう。
824:１３２人目の素数さん
18/10/03 21:42:26.35 IUKVGcnk.net
バカjin帰れ
825:１３２人目の素数さん
18/10/03 22:01:23.70 gGvK8ZAo.net
今日、フェセンコが京都の談話会で講演したはずだけど、IUTTの話もしていた？
アブストラクトだとIUTTは明示的には出てきていないけど。
826:１３２人目の素数さん
18/10/03 22:07:12.76 4hL5jlv3.net
何かにつけて遠アーベル幾何の専門家じゃないと分からないってもっちーもフェセンコも言ってるけど、専門家でも分かってない現状をどう捉えてるんだろ
827:学術 クーロンで 遭いましょう。
18/10/03 22:11:03.60 avh6uVCA.net
吸う学者 プルームテック美味しいよね。
828:１３２人目の素数さん
18/10/03 23:33:58.46 jeAjtGOE.net
遠アーベル幾何の学生を増やしたいだけだろ
829:１３２人目の素数さん
18/10/03 23:39:54.87 SY2Yw4un.net
珍しく仁美がいいことつぶやいてる
しばしば秀才が陥る罠ですが論文に書いてあることがすべて正しいと思い一生懸命知識の吸収に励む
あまり、真の科学的批判精神を失うという若者が少なくありません。
とりまきのことかw
830:１３２人目の素数さん
18/10/03 23:50:41.17 eyhXvh6E.net
数学と科学は違うだろ
後者は現時点での仮説の総体で反証可能性がある
前者は論理的瑕疵がなければ未来永劫正しい
831:１３２人目の素数さん
18/10/04 00:16:17.67 hvMVNx8m.net
実際には不完全性定理があるからそうならないけどね
ZFCだって矛盾が見つかるかもしれない
832:１３２人目の素数さん
18/10/04 00:24:19.54 o8OQ4Osr.net
は？
833:１３２人目の素数さん
18/10/04 00:35:06.50 a+8Fkkon.net
>>782
申し訳ないが、タオの成果云々という話は個人的にはどうでもよくて、このことは望月氏自身も自覚している
2014年報告書の(H4),(T4)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
タオについて言うならば、俺はむしろIUTT論文発表直後にエレンバーグのブログに寄せた多くのコメントに興味がある
URLﾘﾝｸ(quomodocumque.wordpress.com)
ここでタオはモデル理論的な観点から望月氏の方法を考察している
834:１３２人目の素数さん
18/10/04 00:35:31.09 AH8G/dCx.net
>>749
あほくさ
罵倒の怪文書を貼るなよ
835:１３２人目の素数さん
18/10/04 01:08:41.26 tXq/RwIk.net
具体的な結果を求めるなら関数体の楕円曲線の結果を数体に翻訳できるか、という点に尽きる
優しく捉えるならば、多くの表現論的な結果を解釈するのに時間がかかるのかなあということだけども
836:１３２人目の素数さん
18/10/04 01:35:56.46 TvJmURK5.net
論文連ねてジャーゴンの山をきずく才に長けてるからこうなってるわけで
837:１３２人目の素数さん
18/10/04 01:55:18.48 vacnKqyf.net
お前ジャーゴン言いたいだけやろ
838:１３２人目の素数さん
18/10/04 01:58:22.72 tXq/RwIk.net
正直一回ざっと読んでから読む気全く無かったんだが、やはり「非可換図式」が問題だね
最初の直感が大体合ってたのですんなり読めた。てか、やっぱりショルツが引っかかったのは一番重要な
ポイントだったし、望月もそれを完全に自覚していたみたいね
それも、やはり「絶対ガロア群」とラベルに基づく区別が問題だ。ある意味基本群のほうは二の次
鍵は「coricな立場でnon-coricな情報を記述する」という話の通り
歴史とアルゴリズムによって特徴づけるということは、同時に相互理解を実現するものでもある
いわゆる「LTL」では高さ関数に対応する対数殻を場合分けして計算するように図式が構成されている
ショルツがもし誤解をしているというか理解できなかったならば、その非可換図式の意味
同型構造を区別するために望月はラベルを付けてるのに、ショルツはそれを単純化したようだ
集合論的な側面で言ったら、これは「集合に対する選択関数」のように関手を扱うということではないかなと
選択関数も圏の関手も、基本的にはトポス理論的な観点だとすっきりする現象なんで
そういう意味ではトポスによって整理できているのではないかなと
他にも思うことはあるけど、正直あんま語りたくないのでこの辺で
まあここでは肩身が狭いだろうけど、やはり俺は「長期的には成立する」派に立つね
※LTLはlog theta latticeの略
839:１３２人目の素数さん
18/10/04 02:11:17.13 tXq/RwIk.net
あと、>>316の内容は正直いまいちよくわからないんだよねえ
具体的なものって何を指しているんだろうか？
ちゃんと読んだら何か感じるかもしれないが、よくわからないわ。誤解なのか鋭い指摘なのか
840:１３２人目の素数さん
18/10/04 02:47:00.74 zqwRViIm.net
ラベル付けが整数論で彼の分野と整合しないからかな
マックスブランクに問い合わせればいいじゃないの
841:１３２人目の素数さん
18/10/04 02:59:19.62 vOGVOEvL.net
双方がそうしている理由があるんだろうね(謎
842:１３２人目の素数さん
18/10/04 03:33:24.70 tXq/RwIk.net
PS-JSの方を見てみたがｗ、流し読みってレベルではないね。読み込んでるのは確か
ラベルの区別が何のためにあるのか、不等式の条件とか、さすがに認識していないわけでもない
第三者がこの議論をフォローするのはかなりきつい（ある意味両者の立場を理解しなきゃならない）
抽象的なものと具象的なものの区別って議論の意味は何となくわかったんだが
どうもこれ、やはり非可換図式の構造を
843:誤解しているのではないかという感じがするんだけどなあ 例えば環とモノイド、乗法群と加法群の圏の区別も含めて、むしろ彼らのが何か釈然としない印象がある このレベルになると確信を持ってどうこう言うのは難しいけど、何かPS-JSは望月を実際以上に 下げて報告しているような感じがする。特に感情的には望月の肩を持つ気はないんだが、違和感がある 自分が数論代数幾何の人間じゃないのもあるけど、関わる人は大変だなあ
844:１３２人目の素数さん
18/10/04 03:52:52.43 k4q9gWJL.net
それだけならなんで進行形であたふたしてるの？
845:１３２人目の素数さん
18/10/04 04:12:17.33 tXq/RwIk.net
あたふたはしてないと思うけど。強いて言えばちゃんと他人に伝わってるのか不安はあるだろうね
はっきり言って望月氏の論文はわかり辛い。ちゃんと書いてあるのだが、螺旋みたいな読みにくさがある
更に明確に表現するために第三者の意見を取り入れたいんでしょう
相手が相手だし。そこらの院生とかじゃない。要点が伝わってないのではと、不安が出てきたのはあるでしょう
まあ我々は知りませんからね、頑張って下さいって感じでしょう
846:１３２人目の素数さん
18/10/04 04:13:43.76 tXq/RwIk.net
我々ってのは、ここにいる人間含めた第三者のことね
847:１３２人目の素数さん
18/10/04 04:41:54.35 k4q9gWJL.net
うーむ、それだけでフェセンコ氏が雑誌で語った決裂みたいな表現になるのかしら
848:１３２人目の素数さん
18/10/04 05:31:07.48 WPZq7lee.net
もっちーの論文が読みにくいとか発表当初からFaltingsにも言われてたし第三者の意見を云々っても今更感があるな
やたら高圧的な態度だし
数学的な議論が重要だと言ってる側が数学の内容以外の理由で他人を罵倒しまくってるっていう
849:１３２人目の素数さん
18/10/04 05:39:42.44 pN7/ZRkW.net
まあタオが疑問を呈示した通り、アレな状況になったな
850:１３２人目の素数さん
18/10/04 06:24:46.83 iulkvuV5.net
カスペに引っかかる pdf
851:１３２人目の素数さん
18/10/04 06:41:05.40 BLVOa1bQ.net
予想されてた10月の宇宙際イベントは、フェセンコレポートに書いてた「2020宇宙際プロジェクト研究」のことかな？
852:１３２人目の素数さん
18/10/04 09:18:22.88 QLvyCtY3.net
>>798
自分が数学の勉強をしないことの言い訳にしか思えない。
数学を勉強してないから、私は数学科の学生より優れているという歪んだ優越感。
853:１３２人目の素数さん
18/10/04 10:05:52.26 okJRtpeu.net
学部生にもわかるように
説明してくれませんか?
854:１３２人目の素数さん
18/10/04 11:05:06.55 QLvyCtY3.net
説明しているうちにあなたは学部生ではなくなる
855:１３２人目の素数さん
18/10/04 11:48:38.57 rNCvVvgc.net
こんなとこで時間をつぶしてないで勉強せいよ
856:１３２人目の素数さん
18/10/04 13:21:35.61 Ljn/Z6u4.net
フェセンコ、、
こころにひびくことわざがある
いわしのあたまもしんじんから
857:１３２人目の素数さん
18/10/04 13:27:08.77 dIh5sjXL.net
>>811 ショルツさんはマジモンの天才だから議論が正しければ必ず理解するよ。
これだけ彼が徹底検証して内容なし、証明なし、と結論付けたんだからそうなんでしょう。
取り巻きは雰囲気に飲み込まれて肝心なところで甘えや見落としがあり、
フォローできたと勘違いしてるんでしょう。
これもプロの世界でもよくあること。
うっかり一行の曖昧さやごまかしで全てが破綻しうるのが数学の恐ろしさよ。
矛盾からABCは自明に従うからな。
858:１３２人目の素数さん
18/10/04 13:33:16.16 dIh5sjXL.net
>>807 それをself-evidenceというには無理があるし、
学部生レベル。。。？
内容以前に整合性が取れなくなってきてますね。
間違えちゃった、は研究不正じゃないが、
それをひた隠すのは立派な捏造ですよ。
>>811 結局誰よりも正しく内容を理解しているのはショルツさんだよなあ。
取り巻きは彼の言っている問題点すら何が問題なのか理解してないんじゃないか？
だから誰も彼の疑問に答えられず、誹謗中傷とどうでもいい物語でお茶を濁すw
859:１３２人目の素数さん
18/10/04 13:48:05.40 CkYfYtga.net
鰯の頭もself-evident
860:１３２人目の素数さん
18/10/04 14:06:19.04 CnZo/ZlR.net
どうでもいいけどショルツが言ってるからショルツが正しいって
流石に頭悪すぎないか
わざわざレスする価値もないだろ馬鹿馬鹿しい
861:１３２人目の素数さん
18/10/04 14:10:19.09 HuosRx8c.net
多くの数学者は創造力は低いからなw
862:１３２人目の素数さん
18/10/04 14:18:39.36 QLvyCtY3.net
>>827
そこは新-jinで
863:１３２人目の素数さん
18/10/04 14:22:00.91 dIh5sjXL.net
>>828 プロフェッショナルの意見っていうのはそういうもんだから。
それを軽視、無視する方がよっぽど頭が悪いね。
おかしな民間療法にハマるアホと同じよ。
それに彼奴等が有効な反論を何一つできていないのは客観的事実だ。
ワイルズの原証明に問題があることを真に理解している者はどれだけいる？
現行の証明を理解しているのは世界でも数十人もいないだろう。
それでもこれらは真実として広く受け入れられている。
なぜなら問題があれば一人の専門家の意見でそれを叩き潰すことができるからだ。
人の口に戸は立てられぬと昔から言うだろ。
当然批判、反証についても同じことが言える。ショルツの指摘に問題があれば、
有効な反論でそれを封殺することができるはずだが、それに完全に失敗しているのが現実。
864:１３２人目の素数さん
18/10/04 14:37:56.36 fobpgqS4.net
>>826
見る人が見ればわかるってのが嬉しいなあ。それは覆せない。
865:１３２人目の素数さん
18/10/04 14:42:54.06 Wc7vw5ug.net
IUTは妄想が混じっているからな
大物理学者のドイツ人プランクを
付け焼き刃で引用するとは呆れたー
尤も
プランクは古典的なボルツマンのエネルギー
等分配と熱力学から黒体輻射の実験式を
導いた。
元々「離散的」はボルツマンの原子論の
アイデアだ。
アインシュタインはプランクを研究 批判し
マックスウェルの電磁方程式の綻びを
指摘し 真に革命的な量子仮説を唱えた。
離散的な光量子は実在する。
光電効果が示されながらプランクは
量子仮説をなかなか認めなかった。
866:１３２人目の素数さん
18/10/04 16:10:34.08 r4eTfzQe.net
むしろself-evident発言の真意は理解できる
明らかに両者の認識にギャップがあるね。どっちが正しいかはともかく
867:１３２人目の素数さん
18/10/04 16:22:41.41 Y1KqWJjE.net
しかしどうするんだろうね、これ。
国内誌で学者間の政治が通用するところはともかく、
まともな査読誌で今後IUTをベースにしたものは通らないだろう。
ポストでもIUTを専門にしてるのを採用しようとしたら他の教授から問題視されると思うが。
868:１３２人目の素数さん
18/10/04 16:42:14.66 LSadfE6H.net
知識の量と質が異なる2人が数学的に自明となる領域が異なるのは当然
その場合知識の量と質が低い方に合わせて証明を書き下す事が可能であるのがこれまでの数学の在り方だったんだけど今回の望月さんの行為はやはり数学の在り方自体に問題提起をするものだと思ってる
望月さんとショルツなんてどっちも天才なんで実はお互いに主張している事は理解しつつも敢えてイデオロギーを闘わせてるのかもな
869:１３２人目の素数さん
18/10/04 17:20:26.87 5okoGlFx.net
そんな高尚なもんではないとおもう
ショルツは望月の証明には大きな穴があるし論理についていけないといってるが
870:望月曰くself-evident(ｷﾘｯ でお仲間も一切納得のいく説明をできないわけだからねえ 「ABC予想はまだ開かれている。誰にだって証明するチャンスはある」 文字通りこんなもんに付き合ってられんと匙を投げて切って捨ててる展開でしょ
871:１３２人目の素数さん
18/10/04 17:20:44.20 rNCvVvgc.net
前にも出たが、これ、ちゃんと読めよ
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
分かりやすい英語やんか
872:１３２人目の素数さん
18/10/04 17:43:47.46 D7wm/DW4.net
ショルツも基本p進芸人だけどな
とはいえ、フェセンコじゃ不安だなw
873:１３２人目の素数さん
18/10/04 17:54:32.48 qIHjoZox.net
>>837
>>84じゃん
874:１３２人目の素数さん
18/10/04 18:00:32.36 qIHjoZox.net
>>838
>>749の説教は、わかりやすいなあ
875:１３２人目の素数さん
18/10/04 18:09:20.38 Wc7vw5ug.net
JAKOB STIXはおもしろいね～
876:１３２人目の素数さん
18/10/04 18:38:47.74 rNCvVvgc.net
math-jinがどんだけアホかようわかった
877:１３２人目の素数さん
18/10/04 19:12:28.52 WPZq7lee.net
>>837
フェセンコが
Initially, Scholze and Stix were keen to put their report about the meeting online.
However, after reading Mochizuki’s reports, see especially its sect. 17-18 and these comments,
they completely changed their mind already in July and stopped to be interested to post their own report.
って書いてるから決裂したんだろな。
SS側からすれば頑張って疑問点を明確にして説明したのに返答は
物凄い剣幕で指摘は完全に間違っている、論文読めば分かるって言うだけで疑問点を解決する具体的な説明もなかったわけで匙を投げて放置したってことだろう。
ここまでやったら当然海外では怪しい論文扱いだろうし、さすがに近々国内でも問題になってくるだろ。
878:１３２人目の素数さん
18/10/04 19:28:14.75 rNCvVvgc.net
>>844
読めてへんがな。頭大丈夫か？
879:１３２人目の素数さん
18/10/04 19:30:51.97 nXhwHOf+.net
Inter-universal geometry undergraduate-level scholze theory
880:１３２人目の素数さん
18/10/04 19:44:30.50 ggsHBKK6.net
否定側は必要以上のエビデンスを集めなくていいので大人の対応
対して信者は教祖様を守るのに必死でやぶれかぶれｗ
881:１３２人目の素数さん
18/10/04 21:13:35.37 M30SrY3M.net
>>825
>うっかり一行の曖昧さやごまかしで全てが破綻しうるのが数学の恐ろしさよ
ほんとこれ。
いま一松信『四色問題』を読み返してるけど、
その中で、日系人シマモトが１９７０年代初めに問題を解決したと発表した「シマモトの勇み足」事件に触れて、
「数学というものは、大体よさそうだでは全く意味がない」
「シマモトの言うちょっとしたミスは、論旨全体に及ぶ致命的な欠陥だったのである」
と書いている。
IUTにしたって発表から６年余り、RIMSの内部では最初から信じるのが前提で、
批判的な検討など事実上全くされなかったらしい。
やはり日本社会は、自分の師匠や目上の人間の仕事を批判的に見るということは、なかなかできないのだろう。
RIMS内部で唯一ショルツたちと同じ指摘をした越川が
大学院教育をシカゴ大学で受けたのは偶然ではないのかもしれない。
882:１３２人目の素数さん
18/10/04 21:26:14.37 7PJcZXj1.net
ABC予想と４色問題が同値命題であることに気付いたんだけど、詳細聞きたい人いる？
883:１３２人目の素数さん
18/10/04 21:44:12.14 rNCvVvgc.net
>>847
あんた、本気でいうてんの？
884:１３２人目の素数さん
18/10/04 21:48:46.52 rNCvVvgc.net
>>848
よく言うね。すべて伝聞、妄想に生きてるね。
頭大丈夫か？
社会生活できてるか？
885:１３２人目の素数さん
18/10/04 21:49:56.19 rNCvVvgc.net
>>847
そうは読めないけど
886:１３２人目の素数さん
18/10/04 21:58:28.35 rNCvVvgc.net
少ない情報から妄想して頭大丈夫？
ほんまに英語読めんようだが大丈夫？
なんか、これからの人生やっていけるか心配になってくる。
887:１３２人目の素数さん
18/10/04 22:07:46.25 6GKpfxUe.net
自己紹介ご苦労
講演前に騒ぎたてて質問させない雰囲気にするのが奴らの姑息な常套手段
888:１３２人目の素数さん
18/10/04 22:10:08.48 waiwmeuM.net
おいらは 847, 848 が言っていることのほうがまともだと思うよ。
ID:rNCvVvgc は必死すぎ。
889:１３２人目の素数さん
18/10/04 22:10:32.35 fobpgqS4.net
５ーさん、ホントに証明ができてるんですか、とか聞かれたらこまるもんね
890:１３２人目の素数さん
18/10/04 22:29:02.81 z8j5vK2B.net
>>853
決まり文句の罵倒ばかりでなく、
たまには「北白河では証明されています」
と冗談を言って、
冗談ではないね
アメリカでは京都の定理と言われているし
891:１３２人目の素数さん
18/10/04 23:00:57.98 XKwWXWgZ.net
ネット弁慶卒業できない人が集まるスレはここですか？
初等整数論ドヤｗ
892:１３２人目の素数さん
18/10/04 23:09:23.42 ie5BRqze.net
モッチーは自らこさえた大伽藍と添い遂げりゃいいんだろうけど関係者はもうちょっと世間との溝埋める努力くらいせんとまずいだろ
893:１３２人目の素数さん
18/10/04 23:17:07.09 VmTW+2yt.net
>>849
きかせてたもれ
894:１３２人目の素数さん
18/10/05 00:26:39.84 648RCmRh.net
ところで君たち
すこしも数学勉強してないのによくコメントできるね
コメントが公開講座に来るキチガイに似てるよ
895:１３２人目の素数さん
18/10/05 00:44:30.09 Na3p+Yzf.net
オマエガナー
896:１３２人目の素数さん
18/10/05 00:57:21.65 aU7HW6VO.net
「公開講座に来るキチガイ」って言ってるけど、言った本人がRIMSのスタッフだったら辞職ものだと思うわ。
897:１３２人目の素数さん
18/10/05 01:08:40.22 6F3/fbzq.net
論文の一連の処遇と同じく取り巻き連中はズレてる
898:１３２人目の素数さん
18/10/05 01:24:24.32 WYU6Fl6w.net
擁護とか否定とか関係なく、>>858や>>861みたいな言い方してるのはまともな研究者とかではないだろ
ってか、ここもショルツというフィールズ賞受賞者の権威を借る狐みたいな人間が多過ぎない？
エリートが失敗するのを見て喜びたいとかそういう感情もあるのかもしれないけど、何だかなあと
勿論、ショルツがかなり強くIUTTを批判している（アイデアの価値にすら疑義）のは事実だけども
899:１３２人目の素数さん
18/10/05 01:30:05.99 q7/NMpwu.net
失敗をみたいわけではないだろう
おかしいものをおかしいと思わないからおかしいと言ってるだけで
900:１３２人目の素数さん
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:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています