18/12/04 07:20:13.52 A3rIbbR5.net
と、実際にその捏造とかも記事で読んでない(ソースはあふぃはアフィまとめ)ウヨ爺さんでした
51:132人目の素数さん
18/12/04 08:49:32.21 F/ICLurM.net
>>47
組織的に朝日新聞の報道を利用しているので、
朝日のとばしとは言えない。>>7
52:132人目の素数さん
18/12/04 11:42:58.89 5WhT70IU.net
せめて飛ばし記事がなければもう少し穏便に忘れられる可能性もあったよなこれ
RIMSスタッフの自業自得としか
53:132人目の素数さん
18/12/04 13:16:02.39 lRkgeSgV.net
誰がリークしたのかが気になるね
普通に考えて五年で査読が大まかに終わっていたら、朝日の記事に合わせて
通してしまったほうが楽でしょう
それが通せなかったというのはよほどの事だと言える
擁護気味の中立のように見えて、俺も来年のアクセプトも厳しいと予想するんだけども
54:132人目の素数さん
18/12/04 13:26:34.13 71J5JdNZ.net
確かに「いつになったら載るの?」っていうのはあるよね
自分もどちらかというと擁護側だけど
55:132人目の素数さん
18/12/04 14:54:15.31 ESsKTLkD.net
組織的なリークがない限り、一般紙に掲載なんてあり得ないだろ。フェルマーとは違い、abcは一般ウケしないし。
56:132人目の素数さん
18/12/04 15:54:49.09 eUKpshHu.net
>>52 つか、いつの間に「掲載受理=正しいことの証明」みたいになったんだよ。
投稿から5年以上もかかってるんだから、
「よくわからんところもあるけど、興味深いから掲載」でいいだろ。
57:132人目の素数さん
18/12/04 16:12:53.74 71J5JdNZ.net
査読が通らないと載らなかったんじゃないっけ
間違ってたらごめん
58:132人目の素数さん
18/12/04 16:22:33.06 71J5JdNZ.net
なんか日本語が変になった
査読が通らないと載らないんじゃなかったっけ
59:132人目の素数さん
18/12/04 16:23:37.99 lRkgeSgV.net
>>55
数学は基本的にそう
勿論査読を通過する=完全に正しい、ではない
IUTが素人にすら怪しく思われる実質理由というのは、論文の自立した可読性が疑わしいこと
印象として密教みたいになってるわけね
60:132人目の素数さん
18/12/04 16:27:27.38 5YJ0CGJ8.net
>>30
知らないクセに知ったかぶりするな。
GPSの相対論補正は、速度でなく地球の重力による補正だよ。
61:132人目の素数さん
18/12/04 16:29:02.92 lRkgeSgV.net
ちなみに山下氏の言うリーマン予想の1/2というのは、別にIUT特有の議論から出てきたものではない
だったらとっくに世界中の数論で話題になってますが、なってません
62:132人目の素数さん
18/12/04 17:14:05.36 YqUhfdGq.net
まぁ正しいなら載っけんのは大いに結構なんだけどね。
問題は載っけた後ヤッパリ間違いでしたってなった場合。
小保方女史の件ではかなり責任が限局されてたけど、この状況で掲載して間違いが後で確定したら、もはやその責任は執筆者、査読者だけですまなされないよ。
何せ日本が世界に誇る京都大学の歴史に泥水浴びせたんだから。
大丈夫なんかねぇ?
63:132人目の素数さん
18/12/04 17:15:58.07 IFW5mADr.net
>>54
横だが、
>よくわからんところもあるけど、
興味深いから掲載
査読の必要がないarxivへ投稿するよ
64:132人目の素数さん
18/12/04 17:23:29.67 lRkgeSgV.net
権威のある他のジャーナルに投稿して受理されたら関連論文をPRIMSで出して貢献で良かったんだがな
大問題を解決する場合に一番賢いのは、準備論文を普通に出す→本論文を(可能ならば)権威あるジャーナルと
Arxivに出す、というものだ
身内に近いジャーナルに出してしかも論文の可読性が低いのでは、自ら詰まれに行くようなものだ
65:132人目の素数さん
18/12/04 18:43:46.88 Vt0CjE2I.net
>>7 の現況調査表によれば
RIMSは査読付き論文のみ評価している。
↓
数理解析研究所( RIMS)
【資料2:発表論文数】
所員の発表論文数
※査読付き論文のみ
66:132人目の素数さん
18/12/04 21:14:21.23 Q/MIRkCR.net
>>46
2015年から全然知識がアップデートしてない人ですか
事態は正反対
誰一人望月理論なんか理解していないし、2012年以来何の収穫も発展もない。
あなたは知らないようだけど、ショルツという人に証明の不備を指摘されて、
世界中で、IUT理論はほぼ誤りというところでコンセンサスができつつあるよ。
たぶんこのまま忘れられてしまうだろう。アティヤの「リーマン予想証明」と同じように。
67:132人目の素数さん
18/12/04 21:41:42.27 lRkgeSgV.net
詳しくない人に誇張を吹き込む輩w
68:132人目の素数さん
18/12/04 21:44:47.60 xAbM+Ztz.net
ショルツもよく理解できてないみたいだからカントールコースもありうるんだよね
69:132人目の素数さん
18/12/04 22:13:58.87 Q/MIRkCR.net
ショルツ以上に望月自身が理解できていない。
望月はかつて自分の理論は普通の数学者が半年研究すれば容易に理解できるといった。今は180度違う事を言っている。
こんな風にまるで違う事を言うという事は、自分自身が何をやっているか理解できていない証拠。自分で論証ステップを追えていない。だから2012年以来一切研究がすすめられない。
ショルツはIUT理論に数学的実態がないと見抜いているだけまし。
70: ̄ ̄|/ ̄ ̄ ̄ ̄
18/12/04 22:36:44.41 3cWbp0n+.net
_____
/::::::::::::::::::::::::::\ _
/::::::::::::::::::::::::::::::::::::::\ /  ̄  ̄ \
|:::::::::::::::::|_|_|_|_| /、 ヽ
|;;;;;;;;;;ノ /,, ,,\ ヽ |・ |―-、 |
|::( 6 ー─□─□ ) q -´ 二 ヽ | はあ?いいから働けウンコ製造機
|ノ (∵∴ ( o o)∴) ノ_ ー | |
/| < ∵ 3 ∵> \. ̄` | /
::::::\ ヽ ノ\ O===== |
:::::::::::::\_____ノ:::::::::::\ / |
71:132人目の素数さん
18/12/04 22:37:09.32 lRkgeSgV.net
ざっくり言うとbp抜きの所から遠アーベルを作るって話は深谷氏か中島氏だかの
インタビューにも確か出てきたが、それは多分できるでしょうって話なんだよね
IUTは間違いなのか?間違いだとすれば何処が間違いなのか?
全てが間違いでナンセンスだっていうのはちょっといくらなんでも雑過ぎ
ショルツが言ってるのは、あくまでもABC予想には役に立ちませんよ、という見解
72:132人目の素数さん
18/12/04 22:54:27.63 lRkgeSgV.net
俺の考えでは、IUTは意味的には正しい。というのは、プラトニズム的な意味で正しい直観を掴んでいる
しかし、ちょっと記述的なショートカットをしてしまったのではないか、と思っている
これは経路積分に似ていて、経路積分は物理だから許されたけど、数学では認められない。足りない
間違いかもしれないが、俺は今はそう考えている
73:132人目の素数さん
18/12/04 23:14:59.20 3tOJrnTY.net
>>67
誰かがこう言ってるからどうだ。
ではなくてさ、自分の意見を書こうぜ。
正直見苦しいぞ。
74:132人目の素数さん
18/12/04 23:53:27.47 B5UXOTuk.net
>>69
それは朝日新聞にリークしたのは間違いだったし、
さっさと査読通過を諦めた上で>>7と報告した件についてもごめんなさいする必要がある、
ということだがそれでいいの?
75:132人目の素数さん
18/12/05 00:06:25.02 yIt2n4Pc.net
加藤和也の学生の鈴木貴士がIUT4に間違いがあるってよ
76:132人目の素数さん
18/12/05 00:22:13.46 YaP/Isub.net
>>74
詳細きぼんぬ
77:132人目の素数さん
18/12/05 00:34:31.79 2J+s/FnY.net
RIMSの現況調査表 >>7だが、
資料2は 査読付き論文のみ評価している。
事例4は 査読中だが 概要の解説文を根拠に、
ABC予想はIUTより肯定的に解決、
と高く評価している。
RIMSの論文評価は一貫しておらず、
IUTを特別視している。
PRIMSへ IUT論文の掲載可否を決めるPRIMS
編集者は 既に IUTよりABC予想が肯定的に
解決 としたRIMS教授たちだね。
78:132人目の素数さん
18/12/05 00:51:25.60 SyueTvdc.net
>>75
特別視する価値観も一つの立場としてアリだよ
むしろはっきりと表明しているのは好ましい
下手に客観性を装うほうが胡散臭いことになる
潔くて好きだね
79:132人目の素数さん
18/12/05 08:16:46.36 E7fbYplN.net
Quanta magazine
September 20, 2018
Calegari wrote a blog post decrying
the situation as “a complete disaster,”
to a chorus of amens from prominent
number theorists.
' We do now have the ridiculous situation
where ABC is a theorem in Kyoto but
a conjecture everywhere else,”
Calegari wrote
京大報告書のRIMS現況調査表では
「ABC予想が解決」だが、
評価結果の現況分析結果では
「ABC 予想に関する論文」で あり
解決が削除された。>>7
80:132人目の素数さん
18/12/05 08:25:36.35 E7fbYplN.net
IUT論文がPRIMSへ掲載されても、
ABC 定理=京大RIMS 限定定理にすぎない
81:132人目の素数さん
18/12/05 08:50:26.27 xQqrM2is.net
驚くべき事に2012年に大学入学レベルの数学力しかなくても真面目にやればIUTを議論出来るレベルまで学習する時間が経った事だな
にも関わらず普及がすすまないというのは深刻だ
早くアクセプトしないと本当に埋もれるぞ
82:132人目の素数さん
18/12/05 09:06:06.77 E7fbYplN.net
アクセプトしてもABC定理は
京都市左京区北白川追分町 の定理だな
83:132人目の素数さん
18/12/05 09:12:32.90 3qb4Hv2e.net
白河以北の左京大夫の方がマシだな。
84:132人目の素数さん
18/12/05 12:41:27.90 J3X8D3at.net
来年春までに世間の注目を浴びる出来事が起こる。
学問云々ではなく、また野次馬が増えそうなことだが。
85:132人目の素数さん
18/12/05 12:51:06.26 kjvXRrby.net
俺は全くの門外漢だが、森重文はりかいしてんの?
86:132人目の素数さん
18/12/05 12:51:21.82 oTFQhKjy.net
何人か解雇されるの?
87:132人目の素数さん
18/12/05 13:55:02.31 D+kDCRRR.net
>>72
そうだね
議論したい事柄は正しい部分を捉えてるけど、理論は十分な数学ではないというのが俺の意見
何故そう思うかを書くのは恥ずかしすぎるから書かないけど、実際経路積分が数学的に正しい何かを
捉えてるが正しい数学でないのと同じようなものかな
88:132人目の素数さん
18/12/05 14:09:51.43 1tt3lnaO.net
リーマン予想を解決したっていう人の話もそんな感じじゃなかったっけ
89:132人目の素数さん
18/12/05 14:24:25.33 Zh2nEhUF.net
>>84 間違ってたら解雇とかやってたら、
既存の研究をみみっちく進展させる研究者しか残れなくなるぞ。
大胆で斬新な研究には、当初は間違いを含んでることが多いわけだし、
間違ってても斬新な道へと冒険する研究者に残って欲しいものだ。
90:132人目の素数さん
18/12/05 15:46:40.39 qTY3h0Ol.net
でもIUTは大胆で斬新とは言えないよね。もう何年も経ってて進展がないわけだし。
91:132人目の素数さん
18/12/05 18:09:52.81 Dv5hlQPm.net
疑問を呈されても強情を張り続けてるだけだし
それは責任問題なのでは
92:132人目の素数さん
18/12/05 18:10:13.29 D+kDCRRR.net
重たい理論なんだけど望月氏がやってきたツールで色々計算できるはず、「十分ならば」
テータ関数も幾何学的に計算できたわけだから
曲線にしか使えないとかは当面は言い訳にもならない
私見ではとっくに出ているべき類�
93:翌フ定理がいくつか出ていない。名前は出さないけども ヒューリスティックな計算ですらそういうのが出せないなら、ユーザビリティも低いんじゃないか
94:132人目の素数さん
18/12/05 20:03:51.64 /6Bg3zQt.net
>>74
だろうね。
3.12以降はばかばかしいから誰も検討しないだけで、
それ以降に誤りがないという事ではもちろんなくて、論証の穴は3.12以降にもあるという話は前からあった。
望月も取り巻きも結局自分たち自身がきちんと論証ステップを追えていないと思う。
IUTはもうグタグタだね。
95:132人目の素数さん
18/12/05 20:05:26.58 /6Bg3zQt.net
上は>>73へのレスね
96:132人目の素数さん
18/12/05 21:39:26.30 WnrFM4Bx.net
妄想おつー
97:132人目の素数さん
18/12/05 22:08:14.59 /6Bg3zQt.net
>>79
正しくないから普及しない。
正しくないからアクセプトできない。
98:132人目の素数さん
18/12/05 22:10:58.23 mbA6lkgu.net
現実逃避おつー
99:132人目の素数さん
18/12/05 23:08:45.92 tYhvyMOa.net
11月にアクセプト(
100:132人目の素数さん
18/12/06 06:06:30.78 Fr/sj4F7.net
>>91
>3.12以降はばかばかしいから誰も検討しないだけで
最初から間違いと決めつけてかかってるのが丸わかりな態度じゃん。
アンタは>>94で、
>正しくないから普及しない。
って言ってるけど、自分で考えずに正しくないと決めつける人間相手に、
普及はせんわな。
101:132人目の素数さん
18/12/06 07:27:59.36 P1dFbYKP.net
また具体論がなない単発よ擁護君か
いわゆる批判派でなくともあんたらの態度はワケワカンネエよ
102:132人目の素数さん
18/12/06 07:32:23.78 WRI1v/pS.net
進化論と同じで、いまさら間違ってましたとは言えないんだろ
103:132人目の素数さん
18/12/06 07:59:01.37 RgCHH8TS.net
>>99
こないだ相対論は間違いとか言ってた人?
104:132人目の素数さん
18/12/06 08:45:41.73 FnPfajKF.net
>>98
もう擁護派は「読まずに語るな」っていう理屈に逃げるしかないからな。
これ自体がIUTの検証に他人の時間を割かせるものでお話にならないわけだけど。
105:132人目の素数さん
18/12/06 11:37:43.14 ZA59yUDi.net
経路積分は特に 素粒子と物性の物理分野
で発見法的 有効的な道具として使われる。
数学から見ると 測度などに難点があり
ノルムや代数解析 等 より正当化する研究
もある。
しかし、経路積分は 数学として曖昧で
「数学もどき」のIUTとは無縁です
念のため
106:132人目の素数さん
18/12/06 11:39:50.19 ZA59yUDi.net
Quanta maGazine
September 20, 2018
In the meantime, Scholze said,
”I think this should not be considered
a proof until Mochizuki does some
very substantial revisions and explains
this key step much better.
”Personally, ” he said, “I didn’t really
see a key idea that would get us closer
to the proof of the abc conjecture.”
107:132人目の素数さん
18/12/06 14:00:16.57 BRJ8/UsK.net
「自分は中立だけど擁護派は」って議論は、
「自分はネトウヨじゃないけど、パヨクは」って
言ってるのと同じくらい滑稽だわな
誰しも自分は偏向していないと考えている中で、
相手こそが偏ってるという前提の言葉選びをするのは、
社会を俯瞰できていない証拠。赤ん坊かよ
108:132人目の素数さん
18/12/06 14:26:19.20 KxxGPYCk.net
偏ってると言われるのにはそれなりの理由があるのに、皆自分は中立だと思っているとかいう
雑な平等化で全て濁そうとするのはただの馬鹿だろw
赤ん坊とか他人を罵倒しても誤魔化せない
109:132人目の素数さん
2018/12/0
110:6(木) 14:31:04.45 ID:KxxGPYCk.net
111:132人目の素数さん
18/12/06 14:43:38.01 FnPfajKF.net
Wikipediaなんかだとその論法を最初から拒否してて、
カルト理論を平等に扱う必要はないとしてるよね。
112:132人目の素数さん
18/12/06 16:22:15.81 w2tmS5Sl.net
今年もモッチーは紅白ネタでブログを書くのだろうか?
113:132人目の素数さん
18/12/06 17:03:08.23 5b2iUB6v.net
あの日
114:132人目の素数さん
18/12/06 17:38:36.07 KxxGPYCk.net
>>106に自己レスだが
勿論逆に、実質的なアンチが中立とは単なる擁護に過ぎない、と決めつけているにしても同じことだ
まあ俺が到底擁護しているとは言えないのは明らかだが
何故いきなり変形理論からBSDみたいな大きな話が出てきて、もっと先決で簡単なはずの
古典定理の拡張が論文にならないのか、不思議で仕方ない
ABC予想から一旦逃げてでも理論の適用を試すべきなのにだ
115:132人目の素数さん
18/12/06 20:15:14.18 d+hx8SiR.net
もうIUT解散でいいんじゃないか?
116:132人目の素数さん
18/12/06 20:56:27.26 KxxGPYCk.net
>>102
汎用性と実用性を考えたら、確かに経路積分よりも悪いかもしれない
いずれにせよ、何がやりたかったのか、理論は何が正しくて何がおかしいのか、を
明らかにすることは良い演習だよ
ショルツはちょっと極端だと思う。まあ彼の批判の切り口を考えたらあれくらい厳しく言わざるを得ないの
かもしれないけど
117:132人目の素数さん
18/12/06 22:03:52.19 JArrXxqq.net
超関数とか経路積分の方がもっとナイーブというかプリミティヴというか直観的には単純明快だろ。
そしてなにより実用に迫られた系の計算技術だし。
118:132人目の素数さん
18/12/06 23:13:27.33 +yAPhWmx.net
物理の場合は最後は実験という神様にお伺いをたてられるからなぁ。
論拠に少々怪しいとこがあってもそっから出てきた数値が合ってりゃそれでいいし、むしろそれこそ全てな考えもありうるのかもしれない。
しかし数学はそうはいかんからなぁ。
119:132人目の素数さん
18/12/07 00:44:14.43 eHAUjScV.net
気違い扱いされそうだが、実は経路積分とIUTは結構考え方は似てるんだよ。直接的な意味ではないけど
IUT問題が興味深いのは、遠アーベル幾何学を一般化して数論に応用するというアプローチはどう見ても
正しそうなのに、何で同じ遠アーベルの専門家にまでナンセンスと言われる羽目になったのか、ということ
細かい誤りとかの問題じゃない。まあ、トートロジカルに結果を先取りしてからお釣りを頂くなどという
よくわからない本人の着想の説明に既に論理的懸念が見られるようにも見えるw
俺の考えでは遠アーベル幾何学的な証明自体は可能なはずなんだが、
結果何でこういう枠組みになったのか、「宇宙際計算」というのは本当に不可欠なものなのかには疑問がある
まさにそこが疑われてる部分の根幹だと思うので
擁護をしたいならそういう構造的な必然性を説明してもらいたいものだ
120:132人目の素数さん
18/12/07 01:12:27.11 eHAUjScV.net
まあ白状すると、疑問があると言いながら実は理解できる、と未だに思ってる
あえて左右に揺さぶって残る確信が大事だ
擁護するならば何故宇宙際である必要があるのか、批判するならば何が似非数学なのか
はっきり言えなきゃ意味がない
数学的な内容で言ったら、Stixの遠アーベル幾何学と望月らの絶対遠アーベル幾何学が大分違うのもポイントだ
来年までは完全外野で様子を見たい
121:132人目の素数さん
18/12/07 02:06:15.9
122:1 ID:vqBgmr4U.net
123:132人目の素数さん
18/12/07 07:34:29.19 LaNLfF4s.net
>気違い扱いされそうだが、
実は経路積分とIUTは結構考え方は似てるんだよ
↑
crazy そのものだね。
経路積分は物理体系の中の物理のツール。
IUTは「数学もどき」かつ 京大RIMSが
血税収奪のためのオカルト ツール。
124:132人目の素数さん
18/12/07 07:48:01.59 o09VzXw8.net
どっちもガウス積分と密接に関連しているな
125:132人目の素数さん
18/12/07 08:11:36.25 LaNLfF4s.net
味噌と糞を一緒にするな
126:132人目の素数さん
18/12/07 08:27:40.74 LaNLfF4s.net
確率→中心極限定理→ガウス分布→ガウス積分
お、、確率はオカルトIUT 由来となるのか?w
127:132人目の素数さん
18/12/07 08:47:22.74 8vkHZzkD.net
そんな適当な「方向性は正しい」という話なら、
古代ギリシャの自然哲学は全部近代科学ということになってしまうだろう。
128:132人目の素数さん
18/12/07 14:20:05.78 Yz7iVAVN.net
>>117
タクローに迷惑がかかるだろw
129:132人目の素数さん
18/12/07 14:50:00.64 gMoEprkE.net
経路積分は物理的結果と結び付いてるしなあ
シュワルツ以前のデルタ函数みたいなもんでしょ
人類には数学的基礎づけがくっそ難しいだけで
130:132人目の素数さん
18/12/07 17:13:33.87 ugEHjHz9.net
経路積分はただの形式計算じゃない?
そもそも量子論自体が方便なわけだし
131:132人目の素数さん
18/12/07 18:08:54.96 ey9KHuWT.net
IUT方便
132:132人目の素数さん
18/12/07 21:48:23.05 6jn6aOk4.net
結局証明は出来てなかったってことでいいのか?
133:132人目の素数さん
18/12/07 21:53:52.91 afj3Bcmx.net
IUTはアジア的数学です。
毛唐の奴隷にはわからない崇高な数学なんです。
134:132人目の素数さん
18/12/07 22:22:46.28 LIN5MaB6.net
>>127
いいでーす
135:132人目の素数さん
18/12/07 23:29:50.00 Rj1YLDPl.net
ダメならダメで本人のコメントほしいわ
頭下げる必要なんて当然ないし
今さらちょっとつまずいただけで経歴に傷がつくレベルでもない
136:132人目の素数さん
18/12/08 00:00:58.72 2PI43P3u.net
学部レベル云々に関しては謝罪の必要があるんじゃない?
137:132人目の素数さん
18/12/08 00:06:28.47 Y0zDTmyh.net
>>131
最初に失礼な態度をとったのはSSだし。
138:132人目の素数さん
18/12/08 01:55:31.84 kn8gvZpG.net
>>131
まったく必要無い
139:132人目の素数さん
18/12/08 08:07:15.98 xv1hFvIZ.net
森重文 京大 RIMS名誉教授 の申し出に より
PS JSが 京大 RIMSへ行った。
140:132人目の素数さん
18/12/08 09:06:36.91 PnyPv2Kq.net
前スレで院生がIUTの間違いを指摘したってことは、
国内的にももうダメだということなのだろうな。
そうでないなら就職に関係するから言わないはず。
141:132人目の素数さん
18/12/08 09:30:50.86 ILFZ5lNM.net
仮にABC予想の証明も間違ってて、IUTから今後何も生まれないとすれば、
大勢の人が引っかかった壮大な無駄理論だったってことで、傍目には結構
面白いけどね。
本人や支持者はものすごく落ち込むだろうけど、彼らを貶す気にはならん。
142:132人目の素数さん
18/12/08 09:31:01.95 A1xosAP1.net
望月さん、どっかの私大に転出かな。
143:132人目の素数さん
18/12/08 09:51:08.69 QPV4ORp9.net
謝罪ってもどっから謝罪すればいいかわからんよなこれ
昔の検証報告書とかも喧嘩売ってるような書き方だし
144:132人目の素数さん
18/12/08 10:19:23.32 ktHKtnZB.net
>>136
大勢引っかかってるのか、これ?
IUTを「正しい」と主張してたのってほんと一部だけで、
大半は「間違ってると思うからさっさとリジェクトするなりなんなりしてくれ、
万が一アクセプトされたら読むよ(ただアクセプトした以上は分かってるだろうな?)」って感じだと思うんだけど。
で、RIMSがいつまで経ってもなにも言わないから御大が事実上の外部審査させたわけだろ。
145:132人目の素数さん
18/12/08 10:33:38.64 7s/F+/XB.net
もし間違っていたとしても、謝罪とか辞職とか研究費の返還はいらないが
科学史に残る失敗にはなるだろう
今後新しい世界を切り開くような研究を行う人が受け入れにくくなるかも
付いて来た若い人は辛いだろうが間違いを見抜けずサーベイ書いたりしてたのだから
その点は自分の責任だな
間違いを数学的に正して受け入れられる論文を書くのが一番良い
146:132人目の素数さん
18/12/08 10:33:45.36 mHGcAaX/.net
>>135
他大学から来た教授の間違いを指摘したばっかりに
大学の研究室に残る道を閉ざされて民間企業に就職せざるを得なかった人もいるんだぜ
まあそういうことになるから言わないってことだろうが
147:132人目の素数さん
18/12/08 10:43:09.62 QPV4ORp9.net
>>141
何それひどい
さすがに可哀想だわ
148:132人目の素数さん
18/12/08 11:35:18.57 ILFZ5lNM.net
>>140
>科学史に残る失敗にはなるだろう
それを汚点とは考えないことが大事なんだと思うよ。
失敗の繰り返しの中から何かが生まれてくるんだから、面白い大失敗
だったと前向きに捉えるべき。
149:132人目の素数さん
18/12/08 12:24:44.11 QPV4ORp9.net
この件の教訓として言えるのは、新しい理論を世に認められたければ
啓蒙活動は怠らずきちんとして、海外からの招聘にもしっかり対応して
批判されたら自明などと言わずに噛み砕いて真摯に回答しましょうということだよな
そうしてれば証明に不備があったとしても1年で気付いただろうに
一連の流れを振り返ると理論の内容以前に望月教授の対応がまずかったってことの方が目立つわ
RIMS側がそれをとがめられなかったことにも問題がある気もする
150:132人目の素数さん
18/12/08 14:36:19.49 N463hsl8.net
500ページもある論文読んで時間を無駄にしなくてよかった♪
151:132人目の素数さん
18/12/08 14:40:12.74 7s/F+/XB.net
>>143
>>144の方が述べているが
「新しい試み」をすること自体は問題ないし失敗を責める人はあまりいない
この6年間に望月氏がやったこと(むしろやらなかったこと)が問題だったと思う
152:132人目の素数さん
18/12/08 16:26:01.16 xOfD0rQU.net
なんでこんなに否定派ばかりいるんだろう?
研究集会とかでは肯定的な意見が増え出しているというのに
153:132人目の素数さん
18/12/08 16:43:39.96 wHSznpJf.net
このスレで、数学として曖昧なIUT論文
を書き直せ、と言われてた。
今年 2020年 RIMSプロジェクトIUTの拡大
が決定。
過去の経緯を調べたら RIMSは>>7 >>8の
状況から突っ走っていた。
まあ、日本数論界はブラックだな
154:132人目の素数さん
18/12/08 17:21:56.91 sPLxyHo/.net
恫喝罵倒と否定が原因
155:132人目の素数さん
18/12/08 17:31:07.32 e8RTcY/j.net
>>147
>研究集会とかでは肯定的な意見が増え出しているというのに
へぇー、そーなの?
156:132人目の素数さん
18/12/08 17:37:51.02 7s/F+/XB.net
>>148
F藁の虚偽申請の後始末を間違えたのも遠因だろうな
ああまた数論かというイメージ
157:132人目の素数さん
18/12/08 17:44:28.35 1XhbbBkR.net
というか、F藁は虚偽申請の責任をとったのか?
十年たっても修正論文が出そろっていないだろ。
一方でPDEの連中もごく一部以外は数学をわかっていないし。
158:132人目の素数さん
18/12/08 17:48:16.08 xOfD0rQU.net
>>150
少なくとも若手中堅は肯定してる人多いよ
和也先生は「望月先生の仕事には、ワイルズさんと違って正しそうだという証拠がないんですよぉ~」ってUSい先生と喋ってたし、まだ否定してそうだけど
159:132人目の素数さん
18/12/08 19:25:42.88 QEv6AnAD.net
その肯定派とやらはどうSSに数学的に反論できるわけ?
結局そこだけなんだと思うが
160:132人目の素数さん
18/12/08 19:50:43.35 ppnkW7Zd.net
S・Sらがフェルマー=ワイルズの中核論理を用いて論文の
有意性を否定したのにどう反証するかだな
肯定派はそこがわかってない
kimやDupuyによる検証はどうなった?
不利な情報はとことん開示しないんだな
161:132人目の素数さん
18/12/08 20:01:46.91 1XhbbBkR.net
S・Sを数学的に反論したところで、望月論文が肯定されるわけじゃないよ。
証明がきちんと示されていないことに変わりない。
162:132人目の素数さん
18/12/08 21:04:29.18 7s/F+/XB.net
周辺の人は「理解」「肯定」じゃなくてIUT使って新しい結果を出さないと
普通の研究の世界では難解な理論を勉強しただけでは評価されない
研究者ではないjinらにはこの基準は理解できない
163:132人目の素数さん
18/12/08 21:19:09.24 luTcv4hz.net
白旗上げるなら早いほうがいいと思うんだよな
いくら粘ってみたところで評判下がるだけだし
164:132人目の素数さん
18/12/08 21:25:44.39 RJwW4mpK.net
そう、なにがなんでも論文取り下げを避けたところに廃院が
165:132人目の素数さん
18/12/08 21:26:19.49 uOXXQfYc.net
IUT中止するにしても
2020年以降の”広がり”という風呂敷を”広げた”から
畳み方を悩んでるんじゃね
科研費については正直数学の分野のちょっとした不正なんて
マスコミ的にも面白くもないから取り上げられない
うやむやで進めることも可能
166:132人目の素数さん
18/12/08 21:51:33.41 VGcZwqF4.net
>>157
個人的には遠アーベル幾何学的な枠組みに拘る必要を感じないから、そういう方向で再整理するのも
一つだと思う。勿論具体的に何らかの良い定理を出したいけど
安易に駄目と言っている人よりは、IUTの合理性や面白さを分析したと自分では思ってるが
何がもやもや感の根源なのかも同時にわかってきた
167:132人目の素数さん
18/12/08 22:08:29.34 VGcZwqF4.net
>>154
論文の解釈を用いた反論というより、付加理論を付けるべきだと思う
そういうことをできる人材がいるのか様子見
168:132人目の素数さん
18/12/08 22:12:55.36 wzDqiPbw.net
なぜ単純に書き下すという選択肢がないのか。
この時点でうさんくさい。
169:132人目の素数さん
18/12/08 22:14:35.45 VGcZwqF4.net
>>136
連投で悪いけど、その辺は非常に微妙であって、最悪でも100%見当違いとは言われないと断言する
「動機」については非公式に海外の研究者で理解を示している人間がいる
致命的に間違ってるのか、それとも記述的な不備の補填で済むかどうかは近い内にまた分析してみたい
170:132人目の素数さん
18/12/08 22:14:42.78 7s/F+/XB.net
>>161
そうそう,新しい結果でなくてもIUT論文のある部分を簡略化しましたとか
見通しをよくしましたでも良い
昔は難解だった理論も後になるといろんな人が工夫して勉強しやすくなることが多い
171:132人目の素数さん
18/12/08 22:32:27.69 hZE886W1.net
簡略化論文は不必要でしょ。
ステップが飛んでいるというのが批判の要点なのだから、
短くしてどうするのよ。
172:132人目の素数さん
18/12/08 22:39:00.37 vVnnQH/X.net
ABCの証明(と称する)ところまではだいたい追えていて、
意味不明だって言ってる人はいないんだよね。
意味がない(なにも新しい知見が出てこない)って意見はあるけど。
で、ABCの証明は証明になってないと言われている。
それ以降は3.12の証明がないのだから読む必要はない、と。
だからIUTの要約を出されてもなにも解決になってないのでは?
173:132人目の素数さん
18/12/08 23:01:24.23 7s/F+/XB.net
>>166
理論の組み立てを変えてわかりやすくするのが
現状では最善でしょう
それができれば。。。という話だがw
174:132人目の素数さん
18/12/08 23:05:44.49 vVnnQH/X.net
>>168
批判されてるのは組み立てじゃなくて定義から明らかの省略なわけで。。。
175:132人目の素数さん
18/12/08 23:05:56.80 RJwW4mpK.net
>>164 だからそもそも勘違いなんだって
> 最悪でも100%見当違いとは言われないと断言する
2+3^10·109=23^5 q=1.6299 を基底2か3もしくは23として説明してみて
不等式評価が幻想そのものなんじゃないの
176:132人目の素数さん
18/12/08 23:27:20.56 myY2W5pN.net
正しいと思い込んだ人は皆検証不能に陥いる論文。
177:132人目の素数さん
18/12/09 02:21:13.17 o96n/11y.net
擁護派の底の浅さ
178:132人目の素数さん
18/12/09 06:41:13.04 A8PbhGdM.net
取り巻き連中も実際には理解できたフリをしていたわけだ
179:132人目の素数さん
18/12/09 08:42:07.12 XOBCebey.net
>>157
>普通の研究の世界では難解な理論を勉強しただけでは評価されない
それはそうだろうが、
それ故に研究者って努力に比して利益の少ない商売だなと思うわ。
就職できない危険性も高いし。
180:132人目の素数さん
18/12/09 08:46:21.48 m+Zbl6nv.net
>>153
こういうのが典型的な擁護派の書き込みなんだよな。
何ら根拠もなしに「理解が広がっている」というまことしやかな嘘。
まともな証明を提示しないくせに
こういう手口で「IUT理論は正しそうだ」という雰囲気づくりばかりに熱心だった擁護派のペテンぶりが、
目立つのがIUT騒動の本質
181:132人目の素数さん
18/12/09 08:56:58.65 m+Zbl6nv.net
IUT理論はもはや完全なる敗北だよ、敗北
俺が興味があるのは、SSによって、理論の根本からナンセンスといわれているのに、
なんで検証チーム(星・山下・Saidi・ブンゲン)は「数学的誤りはない」と結論し、
朝日が「このほど証明が正しいとみとめられ」と報じられるほどだったのか、だ。
SSが「いいところまで行ったが、惜しくも詰めが甘かった」というのならわかるよ。
もう完全に、180度違う結論じゃないかw
一体検証チームは何を見てたのかという問題になる。
人間の認知能力って、こんなものなんだろうか。
182:132人目の素数さん
18/12/09 09:23:33.41 m+Zbl6nv.net
望月の言っていることも180度変わってるよなw
望月は、星や山下がb自分の証明をあっさり理解したのをみてとって、
「普通の数学者なら半年もあれは理解できる」といった
つまり
「星や山下が理解できる」⇒「普通の数学者なら半年あれば理解できる」
といった。
いま望月は後ろの命題を完全に否定している。
ということは星や山下も理解していないという事だw
SSにいわせれば星と望月は論文理解において同反応だという。
という事は望月だって理解してないんだろうw
I
183:132人目の素数さん
18/12/09 09:25:15.15 ihXGOlMl.net
否定派も断定的な否定が多いからどちらもどちらに見える
184:132人目の素数さん
18/12/09 09:27:36.06 sCIAd064.net
前から言ってるけど、数学の証明なんだから肯定否定じゃなくて、
証明がなかったら終わり。
185:132人目の素数さん
18/12/09 09:28:20.44 sCIAd064.net
で、今回問題になってるのは数学的側面以外もなんだから、
そういうごまかしをしようとしても無駄だよ。
186:132人目の素数さん
18/12/09 10:39:46.59 ihXGOlMl.net
証明は出してるけど多くの人が理解出来ないという場合もあるだろうし
間違っている場合、正しいけど説明が不十分な場合などいろいろあるでしょう
これも前から言ってて同じやり取りの繰り返しだけど
断定的に決めつけてしまってはダメ
ごまかしとかではなくてね
いろいろと良くないと考えられる要素が多いのは同意
187:132人目の素数さん
18/12/09 11:02:45.68 LptkXub9.net
>>176
SSを根拠に言ってるがSSが正しいという裏は取れてるのか?
188:132人目の素数さん
18/12/09 11:18:05.22 HQl/c7Sn.net
ではどこが間違ってるか数学的に示さないとねえ
189:132人目の素数さん
18/12/09 11:29:03.71 0mLg64HP.net
>>182
はやくPRIMSに載せろよバーカwwwwwwwwww
190:132人目の素数さん
18/12/09 11:45:29.25 sCIAd064.net
>>181
そこが混同なのよ。
この件でIUTを擁護しているひとは、
命題Aは肯定的に解決できるか、それとも否定されるか
という問題(今回の件だとabc予想)と、
命題Aを肯定的・否定的に証明できているか
という問題(今回の件だとIUT)を混同している。
前者は「真偽不明」というのがあるが、
後者は周囲に理解されなかったり不十分なら「失敗」。
証明が中途半端だけど正しいのかもしれない、という状態はない。
191:132人目の素数さん
18/12/09 11:48:51.27 sCIAd064.net
たとえ話で言うと、
東京から大阪まで完走ルートは存在する(orしない)
というのがabc予想で、IUTは、
自分は東京から大阪まで完走した
と称していて、してないんだよ。
これに対して「東京-大阪間の完走ルートは存在するのかもしれない」
なんて言ったところでなにも弁明になっていない。
前の問題と後ろの問題をごちゃごちゃにしている。
192:132人目の素数さん
18/12/09 12:29:16.68 uQI4e5Aj.net
>>184
IUTは数学なの?
193:132人目の素数さん
18/12/09 12:33:56.43 zb3ZpVRS.net
186ほんとそれ
新しい数学とか拡がりとかで誤魔化して時間稼ぎしてるだけ
194:132人目の素数さん
18/12/09 13:28:29.23 shaUjFaf.net
このアイデア よく気付いたな
195:132人目の素数さん
18/12/09 14:21:31.89 bt+CaUJG.net
>>186
なんか、意味不明なたとえ話だな。失敗だよ。
完走したという証拠があるかどうかって話ならわからんでもないが。
証拠がないからといって、完走してないとは限らないみたいな。
196:132人目の素数さん
18/12/09 14:33:09.22 XBDa4Qqk.net
証拠がなくても完走したかもしれないという可能性を考えてくれるなら、
言いたい放題じゃん。つーかそれ奇数の完全証明スレのスレ主の理屈だぞ。
197:132人目の素数さん
18/12/09 14:34:13.31 ihXGOlMl.net
>>185
あなたの言いたいこともよく分かるけど
「証明が中途半端なのかどうか」というのも未確定じゃないかな
何年も経っているのに理解者が少ない
異議を唱えた者を説得出来なかった
などのことからそのように考えるのは分かるけどね
上で書かれてる
「『若手中堅には理解している人が多い』という話は嘘だ」というのも決めつけ
「こんな話が出ているが怪しい」「嘘の可能性がある」というのが正解
ここに対して突っ込んだだけだよ
198:132人目の素数さん
18/12/09 14:36:24.03 ymsFptNN.net
>何年も経っているのに理解者が少ない
>異議を唱えた者を説得出来なかった
>などのことからそのように考えるのは分かるけどね
まさにIUTのことだと思うんですが、それは・・・
199:132人目の素数さん
18/12/09 14:37:58.54 ihXGOlMl.net
>>192
当然の話だが望月氏の証明に不十分な点があれば補足や修正が必要になるだろうね
あるいは普通に間違っているという可能性もある
いろんな例を挙げただけの話だけど
200:132人目の素数さん
18/12/09 14:38:06.92 o+5n6iNr.net
そろそろ神がいないという証拠はない論法になってきたな
201:132人目の素数さん
18/12/09 14:38:44.81 ihXGOlMl.net
>>193
もちろんIUTの話ですよ
202:132人目の素数さん
18/12/09 14:39:45.73 o+5n6iNr.net
>>194
まず聞きたいんだけど、数学の証明というのは不完全な場合は間違いであり、
部分的に正しいというグレーゾーンはない、という初歩は押さえてある?
203:132人目の素数さん
18/12/09 14:43:38.28 ihXGOlMl.net
神がいないという証拠はない、まさにその通りでしょう
神がいないと断定するのは科学者として正しい態度だとは思えません
まあ望月氏は証明の論文を出しているのだから、宗教の話と同じにするのはどうかと思いますが
後はその内容が正しいのかどうか、内容を理解出来る人がいるのかどうかの話ですね
204:132人目の素数さん
18/12/09 14:45:21.62 ihXGOlMl.net
>>197
確かにそうなるのでしょうね
ただフェルマーの最終定理をワイルズが証明した際にも過程においてそのようなことはあったようですが
それと上でも書いたようにあくまでも様々な可能性の一例を出しただけです
205:132人目の素数さん
18/12/09 14:48:09.63 o+5n6iNr.net
>>199
ワイルズの場合はミスがあったから修正したわけだけど、
あれは前の証明が正しくてそれが補完されただけ、ではないんだよ。
新作が正しい証明で、まえのものは間違っている。
この点を誤解すると、IUTは正しい可能性がある、
という変な話をし始めることになるし、
それにしか逃げ道がないのに関係者がああいう態度を取るなら、
不誠実極まるとしか言いようがないね。
206:132人目の素数さん
18/12/09 14:55:26.75 ihXGOlMl.net
>>200
>新作が正しい証明で、まえのものは間違っている。
そこは理解しています
その場合はそういうことになるのでしょうね
私はIUTがそうだと断定している訳ではなく様々な可能性の中にそういうことも有り得るだろう、と
懐疑派や否定派が出てくることも状況的に十分理解出来ますし
「IUTによってABC予想が証明された」などとも断言出来ません
出来るだけの立場も理解力も無いですし
ただ上のような「まことしやかな嘘だ」という断定に対して疑問を呈しただけです
否定派の一部の中には結論(IUTは間違いである)を固定して根拠なく断定する論調があるのではないでしょうか
207:132人目の素数さん
18/12/09 15:07:17.60 o+5n6iNr.net
>>201
きみもそうだけど、ほんとに論点を毎回すり替えるね。
IUTに対する説明をしないなら間違いと断定せざるをえない、
なぜなら本人たちにギャップを埋める気がないのだから、
現状を最終段階にしないといけないからだ、
そしてそれをしないのに検証完了だのなんだの言うのは不誠実だ、
という部分は必ず省いて反論してくるのはわざと?
208:132人目の素数さん
18/12/09 15:46:50.14 ihXGOlMl.net
>>202
自分も懐疑派や否定派が出てくることは理解出来る状況だ、という文は読めませんか?
検証完了だと言ってしまうのは、自分としてもどうなのかという部分はあります
身内の数学者の間で理解者が複数人出たことを以てそう判断したのかもしれませんが
ギャップを埋める努力も必要だと思いますが、それと間違いだと断定することはイコールではありませんね
懐疑派の中でも疑いながらも最終的な判断を下していない方もいる中で、間違いだと断定するのは早計でしょう
209:132人目の素数さん
18/12/09 15:51:42.84 uQI4e5Aj.net
数学の証明には 、正しい 、間違っている、
間違ってすらいない、の3パターンが ある。
210:132人目の素数さん
18/12/09 15:51:58.74 ihXGOlMl.net
ショルツ氏らに否定された部分に関しても
望月氏側としては「その記述で十分」ということなのでしょうし
水掛け論の感は否めません
個人的には他の数学者に理解されるように努力すべき、というここの意見に同意ですが
211:132人目の素数さん
18/12/09 16:06:40.87 wZjYKHdA.net
裁判のように当事者より上位の存在が判定をしないといつまでたっても解決しない
212:132人目の素数さん
18/12/09 16:07:14.08 2rd99fqS.net
お前ら暇人やな
213:132人目の素数さん
18/12/09 16:11:25.54 o+5n6iNr.net
>>203
それが論点ずらしだと言っている。
今問題になっているのはIUTを理論的に肯定するか否定するかではなく、
研究倫理としておかしい、という話。
倫理的非難に対してそこをごまかして「理論は正しい可能性がある」
なんて神学論争に逃げ込むのが不誠実であり、やってることが望月たちと一緒ということ。
214:132人目の素数さん
18/12/09 16:13:26.99 Vckp+h9P.net
査読を通過していないものを研究成果として報告した(マスコミ報道付き)、
しかも弁明も一切なし、という時点で詰んでるからね。ここはマジで言い訳のしようがない。
215:132人目の素数さん
18/12/09 16:24:28.47 ihXGOlMl.net
>>208
だから「研究倫理としておかしい点があるのではないか」と意見は私は否定は
216:しません そのような意見が出ることは理解出来ます ただその他の点でいろいろと断定的に言っていたのでそこに疑問を感じただけです
217:132人目の素数さん
18/12/09 16:32:38.85 JFfNTUko.net
IUTが正しいかどうか以前に、動機自体が理解されてないんだよね
何故それでABC予想の理論が可能だと思ったのか、宇宙際幾何学と絶対遠アーベル幾何学の必然的な
関連性は何か。この辺を殆どのトップレベルの数論幾何学者が読めてない
これは完全に望月さんの失敗だと思う
理論的な捕捉をして、既成の圏論と一線を引くべきことも当然なんだが
218:132人目の素数さん
18/12/09 16:33:08.97 NfYSoMYS.net
要するにさ、否定派は納得させられてないわけよ
一方で、肯定派も納得させられていない
私個人でいえば否定派が金の問題を持ち出したり組織論を持ち出したり倫理を持ち出したりしてるのには共感しないね
219:132人目の素数さん
18/12/09 16:45:03.28 JFfNTUko.net
あと、某海外の研究者が動機について理解を示してるのは事実なんだが
国内の若手に肯定的な意見が広がった、というのは自分のアンテナとは違うんだが
それは動機とか論法でしょ?十分に論文が正しいと納得してる人は殆どいないんじゃないか
まあ本論文も結構努力はしてるよ。変異系列は関手と全く同じものではない、と書いてるわけだしね
身内外からしたら、じゃあ何なのって冷たく見られるけどw
自分の意見としては、基本アイデアを改めて圧縮して問うべき。勿論駄目だったら諦めるしかない
220:132人目の素数さん
18/12/09 17:09:36.76 4ZxQ1smP.net
正しい正しくないは別にして、IUTには面白みが欠けるんだよ
岡潔の情操数学じゃないが、情緒のかけらもない数学ではなぁ
221:132人目の素数さん
18/12/09 17:54:18.72 DA3R9eX5.net
リーマン予想は 京大 RIMSの基準により、
アティヤ氏が肯定的に解決した。
アティヤ講演が行われた、
概要の解説文が配布された、
主要なマスメディアが報道した、
参照 >>7 >>8
222:132人目の素数さん
18/12/09 18:00:48.40 JFfNTUko.net
普通は数学って解釈では揉めないから困るよな
ショルツと望月の齟齬は、やはり記述的な問題でもあるんだけど
当の論点について論文もレポートも一応労は払ってるという点を所謂アンチさん達は知らないからなあ
極端な話、全ての数学がモノイドのトートロジーに過ぎないかと言ったらそうじゃないだろ
所謂充満多重同型についても問題は同様なんだが、ホッジシアター間の壁についてこんなに揉めるとはな
ちなみに望月さんが「群論的ソフトウェア」と言ってることとブログの「心の壁と対話」みたいな話は
さりげなく遊びで理論のアナロジーの話をしてるんじゃないかな
223:132人目の素数さん
18/12/09 18:09:14.51 DA3R9eX5.net
アティヤ氏も独自理論を構築した結果、
リーマン予想を肯定的に解決した、、らしい
224:132人目の素数さん
18/12/09 18:47:45.86 boMIj8Cd.net
私も懐疑派だけど間違ってるとまでは断定できないなぁ。
なんせ一行も読んでないし。
あくまで疑ってるのはABC予想の解決という画期的な理論なのに、理解した、正しそうだという意見がちっとも盛り上がってきてなさすぎる点。
もちろん単に望月先生が強情すぎてちっとも加筆してないだけだからという可能性もあるんだろうけど、やっぱり埋められないなんかのギャップがある可能性を疑ってしまう。
でも、そう断定できる立場にはないし。
読んでないからww
ま、でもやっぱり加筆しないとダメでしょ?
研究ジャンルの近い研究者の支持がもそっと集まるように。
現状一度ケチついちゃったので普通読む気起こらないよ。
間違ってたらその時間無駄になっちゃうんだから。
大幅改訂しました、ぐ
225:っと読みやすくなってるはずです的な何か出さないと、もう読んですらもらえないと思う。
226:132人目の素数さん
18/12/09 20:36:42.41 m+Zbl6nv.net
アティヤだって「間違ってました宣言」をだしたわけではないし、
彼が正しい証明を得ている可能性は「ないとは断言できない」
要するに望月のケースと同じだ。
望月が正しいという可能性は、少なくとも外形論理的にはアティヤが正しいという可能性と同じだろう。
227:132人目の素数さん
18/12/09 20:42:15.52 G5e8RNff.net
このスレの擁護派の「内部リーク」がとことん空振りなのがイタイ。
228:132人目の素数さん
18/12/09 21:06:58.39 ihXGOlMl.net
外形的には同じでも人によって発言の信用性も異なれば中身も当然異なる
まあ可能性という意味ではアティヤが正しいという可能性ももちろんあるだろうが
IUT以上に信じる人が少ないだろう、ということは置いておいて
229:132人目の素数さん
18/12/09 21:25:01.68 HTUfs2CT.net
このスレには、ルサンチマンしか感じない。
色々あったんだろうな。数学の真理は絶対だ。
だからこそ異常なまでに人を狂わす。罪が深い学問だ。
数学を学ぶ人は、心の解毒剤として、一緒に宗教か何か、
メンタルを安定させることを実践した方がいいと思う。
230:132人目の素数さん
18/12/09 21:27:44.38 JFfNTUko.net
>>222
つまりIUTは正しいと?
>>221
バリバリの現役とジジイじゃ比較にならんからね。その割には着眼点がいいのだが
若い頃から考えてたアプローチなんだろう
231:132人目の素数さん
18/12/09 21:35:27.64 HTUfs2CT.net
>>223
柳は緑、花は紅。
232:132人目の素数さん
18/12/09 21:40:30.80 JFfNTUko.net
KedlayaとKimがはっきり立場を表明したら、ひとまずは収束するだろうにな
他の大御所もなかなか口を出さない通り、公に真偽を断言するのはとっても勇気がいる
適当な俺でも色々三ヶ月意見交換するまでは控えるレベル
233:132人目の素数さん
18/12/09 21:59:49.31 7kvey/Tk.net
>>223
横だが、
バリバリの現役とはRIMSのトンデモのこと?
234:132人目の素数さん
18/12/09 22:06:34.99 JFfNTUko.net
>>226
そうは言ってもグロタンディーク予想を解決して30でAMSから単著も出してるからな
Colloquiumほどじゃねーがなかなか単著出せねーんだぞAMSからは
235:132人目の素数さん
18/12/09 22:08:34.23 7kvey/Tk.net
>>227
で、トンデモに転落したの?
236:132人目の素数さん
18/12/09 22:14:20.81 JFfNTUko.net
>>228
まあ来年までは待とうやw
237:132人目の素数さん
18/12/09 22:21:23.76 7kvey/Tk.net
>>229
PS流にいえば
アティヤの方には 証明に近づく
かもしれない面白いアイデアがある。
238:132人目の素数さん
18/12/09 22:43:45.85 rgYdvFoz.net
このスレ半年くらい沈めておけよ
何にもない時期になんでそんなハッスルしてんの
239:132人目の素数さん
18/12/09 22:47:37.26 2rd99fqS.net
物理かぶれがコンプ撒き散らしてるだけやろ
240:132人目の素数さん
18/12/09 22:49:42.90 dgnPivRt.net
>>213
変異系列って何ぞ
241:132人目の素数さん
18/12/09 22:51:10.63 7kvey/Tk.net
トンデモらに 都合が悪い事実 発覚
242:132人目の素数さん
18/12/09 23:16:13.59 EPBCzC42.net
IUTは5chにたくさん話題を提供してくれたという意味では面白ネタなんだけど
あとはRIMSが証明されてないと名言するかとプロジェクト研究がどうなるかぐらいか
そろそろ終了みたいですね
243:132人目の素数さん
18/12/09 23:30:36.04 aDdiRsas.net
たしかにプロジェクト研究くらいか、今後変化ありそうなのは。
現状で進めるのはいくらなんでも無理があるし、
ほかの審査員が通さないだろうけど、これ以外で資�
244:煌l得できるめどがあるのか。
245:132人目の素数さん
18/12/09 23:51:56.34 JFfNTUko.net
来年まではここも持たせるべきだが
春頃に顕著な動きまたは通らなかったら実質断念に近いのではないか
批判論文から半年経つ頃だしな
246:132人目の素数さん
18/12/10 00:06:35.19 HyX0FyKT.net
>>232
英語をよめますか?
>>18
247:132人目の素数さん
18/12/10 00:10:49.23 Rr55JUVB.net
宇宙広杉
ーーーーーーーー
Ob(C)はその性質から、集合より広いレベルの概念となり、クラス(class)と呼ばれる。
クラスは「全ての集合の集合」のような集合論では定義できないようなものも含むことができ、
そのような場合は真のクラスという。Ob(C)が真のクラスではなく集合であるような場合は小さな圏という。
クラスよりさらに広いレベルのものは宇宙(universe)と呼ばれる。
宇宙は例えば集合論で考えられる操作全てを内部に包括するような概念である。
ある数学を構成する一つの世界といっても差し支えないだろう。
宇宙際タイヒミュラー理論に代表される宇宙という言葉はこれのことを指す。
248:132人目の素数さん
18/12/10 02:31:28.47 jmXvNsr6.net
宇宙より広い世界はもうないの?
すべての宇宙を集めて合併させるとどうなる?
249:132人目の素数さん
18/12/10 03:00:47.78 LVTNg4za.net
それを求めてやろうとしたのが宇宙際幾何学なんですがね
250:132人目の素数さん
18/12/10 03:31:11.99 cFult/4B.net
IUTT論争に関しては2つの解釈があると思っている
①Mは最終節で述べられたZFCG、mutation、observable(s)を最初から前提として使用している
しがたって、この基礎論的な部分を最初に「詳しく丁寧に」記述し、論証を展開する必要がある
要するに、全面的に書き直す必要がある
②Mは好き放題に似非理論を構築しているに過ぎない。S・Sはそのことを見抜いており、この似非理論を展開すると、
救い難い内部矛盾に陥ると結論付けている
S・Sは、Mが最終節以前では説明することなく用いているZFCG、mutation、observable(s)などの使用が滅茶苦茶だと思っており、
わざわざそれに言及せず、無意味・不必要として初めから相手にしてなかったと思う
このS・Sが無視した部分については、Mの反論レポートとロバーツの改訂版PDFを比較すればよく分かる
充満多重同型、ラベル、圏論における普遍性の問題なんだけどね
俺は②が正しいと思っている。①のように書き直してもABC予想は証明できないと思う
長文すみません
251:242
18/12/10 03:41:50.58 cFult/4B.net
補足を忘れていました
この同型、充満多重同型、histories of operations、mutationの問題は理論の一意性or多意性の問題になる
ブルバキが半世紀も前に書いていた事柄である
もう個人的にはIUTTはバカバカしくて読むに堪えんよ
可能性もへったくれもない
252:132人目の素数さん
18/12/10 11:42:53.59 9Ma1x+nn.net
数学の宇宙でも 困ったら更に拡張して
仮定を増やし 定義する。
この操作を続けると 間違いは形式的に
解消するだろうが
物理では 複雑怪奇なこの操作を批判している。
物理理論 は測定の作業仮説であり
複雑怪奇な理論は 実験予測がないどころか
何を測定すればよいかも不明だ
253:132人目の素数さん
18/12/10 12:29:12.28 wFQ0YGCf.net
Nスペでこの顛末が放送されるて噂、ほんまなん?
254:132人目の素数さん
18/12/10 13:12:5
255:7.46 ID:s5JFsDMr.net
256:132人目の素数さん
18/12/10 13:27:57.76 vqsi9o56.net
>>245
マジか
どこからの情報?
本当にやるならめっちゃ面白そうだけど
257:132人目の素数さん
18/12/10 14:25:45.02 PEPazNYX.net
この時点で結末って、NHK RIMSに喧嘩売る気かね?
258:132人目の素数さん
18/12/10 14:29:25.21 PcX1aQd2.net
どーせ>>245の脳内妄想
259:132人目の素数さん
18/12/10 14:41:52.63 St7dN5W6.net
>>248
RIMSは >>7 >>8をきちんと公に説明する
べきだね。
できるならば
260:132人目の素数さん
18/12/10 15:14:16.27 s5JFsDMr.net
ガセの可能性もあるけど
「また世間を騒がせることがある」ってこのことなのかな
261:132人目の素数さん
18/12/10 16:08:55.84 BeHBYILr.net
>>242
一番目は、最終節が辻褄合わせの出鱈目なのか再定式かってことだけど、論文の内容を踏まえたら後者しか
ありえない。それで本人はあまり認めてないようだけど、基本的にその辺の議論は明らかに
絶対遠アーベル幾何学から来る観察に殆どを負っている
Stixは望月の絶対遠アーベル幾何学とは違うことをやってるので、そこは理解の困難が生じる可能性がある
二番目の可能性についてはノーコメントw
262:132人目の素数さん
18/12/10 16:29:37.12 BeHBYILr.net
通常のスキーム論を一般化しないとABC予想は恐らく解決できないので、少なくとも数論幾何学に
真剣に関わる人間は、この理論をどう見るか、本当は避けて通れないんだよな
もし間違いだとしても、少なくとも「悪意」はないだろう。それを似非と言っていいのかどうか
焦点は最終的には「エタールテータ関数の構造の位置付け」にあると言っても良い
ここに注目するとショルツらの批判と望月の弁護が、実は微妙に食い違うことがわかる
どちらが正しいように見えるかは俺は書かない
263:132人目の素数さん
18/12/10 16:38:36.98 BeHBYILr.net
>>242さんが何処までフォローしているかはわからないけど、この論争は基本的な問題に関わりつつ
かなり判断に高度な思慮を要すると言っていい
IUTの構想自体はハイレベルな文脈を持っているので、たとえ問題が単純でも一旦は全体を理解しなきゃ
ならないのが厄介なんだな。一種のゲシュタルトというか
264:132人目の素数さん
18/12/10 16:42:38.30 aEmGpdSm.net
全体を理解しないといけないなんてトンデモの常套句じゃないか。
ってかこれ前(前スレ?前々スレ?)も出たけど段階分けできない理論っておかしいでしょ。
265:132人目の素数さん
18/12/10 17:19:53.07 fGJCndzJ.net
げしゅたるとよいひんとだ
266:132人目の素数さん
18/12/10 17:24:43.61 vqsi9o56.net
星さんの入門ペーパーですらぶっちゃけ何が言いたいのか良く分からんわ
実態があるのか無いのかわからないものの上に成り立ってるというか
高度な思慮っても順を追って説明できてないものをどうやって外野が思慮するんだって感じだけど
267:132人目の素数さん
18/12/10 17:26:30.82 VOd3Leev.net
☆君もわかったフリはマズかったんじゃないか?
268:132人目の素数さん
18/12/10 17:55:48.77 BeHBYILr.net
>>255
通常は理論を部分に分解できるといっても、非常に広い対象についての構造を考えるのはおかしいことじゃない
テレンスタオの言ったように、階層的なシステムについて考えているので、部分的な構成や大まかな戦略が
正しくても、パズルを嵌めてようやくおかしいということはありうる
269:132人目の素数さん
18/12/10 17:58:40.04 BeHBYILr.net
>>258
ゲシュタルト的な誤りがある場合、色々な視点から見て「大体正しく見える」ことはありうる
パズルの図柄の一部分だけおかしいとか、ウォーリーを探せのケースを考えて欲しい
勿論、数学では全体が整合しなかったらアウトなんだが
270:132人目の素数さん
18/12/10 18:14:48.60 vqsi9o56.net
>>259
その説で行くと概念を抽象化、拡張して大きな理論体系を作ったけど
元の体や環の性質につき合わせるところで全然機能しなくてまったく無駄だった
つまり大まかな戦略が間違ってたっていうオチもあるんじゃないの?
271:132人目の素数さん
18/12/10 18:20:07.96 BeHBYILr.net
非常にややこしいのは、文元の言うように、ショルツらが本当にIUTの有意味な部分全体を咀嚼したのか、
あの批判論文だけだとわかりにくいこと
なので、望月レポートではその点について不満を噴出させたのだ、と言える
勿論この部分は実際には肝心の論点とはあまり関係ない
しかも更にややこしいのは、望月レポートは一応ショルツの指摘についても一見尤もらしい反論はしていること
この辺りからも異様にややこしい状況を推察していただけると思う
272:132人目の素数さん
18/12/10 18:25:32.39 BeHBYILr.net
>>261
おっしゃる通り
環構造を解体して復元することと、テータ関数の埋め込みを同時に行い、それらをまとめて実ガウス積分を行う
これをFrobenioidとAnabelioidを行い実現するわけだが、完全に理論を構成しなくても
何処かで気付ける余地はあった。理論が複雑過ぎるために一部不整合を見落とした可能性が高いと思われる
灯台もと暗し
しかし、ショルツが言う、全くアイデアがない、という指摘には俺は同意しない
半分くらいは正しい戦略だった
273:132人目の素数さん
18/12/10 19:11:54.93 St7dN5W6.net
>望月レポートは一応ショルツの指摘について
も一見尤もらしい反論はしていること
>>18 なんだよね
274:132人目の素数さん
18/12/10 19:18:31.75 BeHBYILr.net
単なる圏論的なミスとも言い切れないのが難しいところだ
絶対遠アーベル幾何学特有の論法があって、しかもそれが幾何学的射よりも抽象的な理論と言われるとね
最終的に誤りだとしても、前代未聞のハイレベルな誤りだよ、これは
専門家ですら迷うのはよくわかる
275:132人目の素数さん
18/12/10 19:42:13.62 St7dN5W6.net
圏論や定義を問うことは論理構造を
整理するために使っていると思います。
絶対遠アーベル幾何学特有の論法ですか?
最後の出口は不等式でしょ、
スティックスのコメントも味わい深いと思った
276:132人目の素数さん
18/12/10 19:55:16.22 x+SLRKrM.net
相変わらずチンパンジーがキーキー鳴いてるわ
鳴き声に数学用語はふくまれるが内容はない
277:132人目の素数さん
18/12/10 20:02:34.20 a9OrTtFp.net
2008年 12808万人 + 5万 △
2009年 12803万人 - 5万 ▼
2010年 12806万人 + 3万 △
2011年 12780万人 -26万 ▼▼▼ ▼▼▼▼▼▼
2012年 12752万人 -28万 ▼▼▼ ▼▼▼▼▼▼
2013年 12730万人 -22万 ▼▼▼ ▼▼▼▼
2014年 12709万人 -21万 ▼▼▼ ▼▼▼▼
URLリンク(blog.goo.ne.jp)
移民政策の本当の本音は、原発事故が原因による人口減少を隠して、
「原発事故では被害がなかった」と正当化するための統計的整合性を確保したいのだと私は考えている。
東海アマブログentry-376.html
278:132人目の素数さん
18/12/10 20:03:58.20 s5JFsDMr.net
そういう書き方はIUTとか擁護派の印象自体を悪くするから辞めた方が良いかと
279:132人目の素数さん
18/12/10 21:07:40.97 pYwl4GBR.net
いちばん単純で一番明瞭に指摘できる箇所に絞ってピンポイントに提示している感がハンパない
280:132人目の素数さん
18/12/10 21:32:20.97 BeHBYILr.net
>>267ってjinなのかね。擁護にしても何か違和感あるんだけど
何か集会がどうこう言ってた人もいるけど、本当にそんな勢力があるなら、ショルツらの批判の
何が的外れなのか書いたらいいと思うんだが
281:132人目の素数さん
18/12/10 21:41:02.13 dU17xl7V.net
>>267は京都大学の職員。アイちゃんの世話してる。
282:132人目の素数さん
18/12/10 21:48:40.96 BeHBYILr.net
coric-description of non-coric objectsっていう話が出てくるんだけど、論争の問題点はここでもある
奇妙な表現だと思いませんか、これ。これが見方によってはどっちも正しいんじゃないかと思えてしまうんだが
multi-radial algorithmについての批判はこの妙な表現にも関わってる
283:132人目の素数さん
18/12/10 21:53:59.20 PEPazNYX.net
>>273
kwsk
284:132人目の素数さん
18/12/10 22:19:37.57 BeHBYILr.net
>>274
受理の是非が確定するまでは内容についてあれもこれもとは
もしかしたら魔法のアルゴリズムが認められるかもしれないし
285:132人目の素数さん
18/12/10 23:24:39.25 p297T2Sl.net
数学は妄想の科学領域に達しました
286:132人目の素数さん
18/12/10 23:40:06.37 h+mb+XlA.net
まあ、jinが匿名で暴れているんだろうな
あの手のばあさんがおとなしくできるわけない
twitterがおとなしいってことはその分ここで暴れているんだろう
287:132人目の素数さん
18/12/10 23:52:23.11 ylaxb81I.net
マントヒヒならぬマンコヒヒ
288:132人目の素数さん
18/12/11 00:28:43.22 S072gwOM.net
Nスペ話のリークもおばさんだろうな
289:132人目の素数さん
18/12/11 01:56:42.36 h7NydyA2.net
でもNスペでこの時点でやるなら、否定的報道なわけないんじゃね?
間もなくアクセプトとまでは行かずとも中立よりずっと擁護側のような報道になる希ガス。
290:132人目の素数さん
18/12/11 02:21:51.50 EzB5aqHG.net
アクセプト以外のシナリオでやるわけがないw
デマだろう
291:132人目の素数さん
18/12/11 02:27:07.53 h7NydyA2.net
まぁ近日中にアクセプトの可能性が全くの0とまでは言えないからなぁ。
そうなったらホントに大丈夫なのかすんごい不安はあるけど。
292:132人目の素数さん
18/12/11 03:35:16.42 AB3xIuDT.net
URLリンク(blog.goo.ne.jp)
↑これおもろいw、コメント読んでみて。
出来たらみんなに広げていってほしいな。
293:132人目の素数さん
18/12/11 07:52:04.33 Vr6TLxnN.net
jinは井口某のリンクなんて張らん方がいいぞ
学者崩れのレイシスト陰謀論者や.
294:132人目の素数さん
18/12/11 08:47:04.81 90w47BjO.net
トンデモ IUTの周りへ
トンデモさん 大集合
295:132人目の素数さん
18/12/11 09:06:57.47 ujD7M0/+.net
IUTの真偽よりも、SSガーって叫んでる否定派と、それに反応する擁護派、どちらも全く生産性のない議論を楽しむスレ。
296:132人目の素数さん
18/12/11 09:10:54.36 90w47BjO.net
トンデモさん こんにちは
297:132人目の素数さん
18/12/11 09:57:15.20 90w47BjO.net
0772 132人目の素数さん
2018/06/04
Edward Frenkel @edfrenkel
返信先: @math_jinさん
Please stop. Otherwise, I will block you.
Thanks.
20:07 - 2018年1月25日
math_jin@math_jin1月26日
返信先: @edfrenkelさん
I'm sorry. I will stop.
---------------------------
298:132人目の素数さん
18/12/11 12:43:07.54 ZMzdqjWO.net
>>280
NHKの報道班は割と日本の組織に批判的な特集も組むからわからんよ
こんなの持ち上げるためにわざわざ番組作るとも思えんし
299:132人目の素数さん
18/12/11 15:34:44.94 dnJH3KZ0.net
リーマン予想は確かに解決してない中でやったけど、今回のは解決されない限りドラマがない
ただただグダグダなだけ。番組にはならない
300:132人目の素数さん
18/12/11 15:58:19.52 zqmcm0Sl.net
今の微妙な状況で、メディアが特集組むわけない。
リーマン予想の特集に出てきたドブランジュは、外国人だからこそネタにできたわけで…
301:132人目の素数さん
18/12/11 16:26:21.24 xcetgyuP.net
>>291
あれな。
同国内のメディアがやったらマズい。
302:132人目の素数さん
18/12/11 17:49:25.52 Geah0GYx.net
事実が大切だね
303:132人目の素数さん
18/12/11 17:53:51.48 dnJH3KZ0.net
しかしjinは役に立たねーな
数学ができないならできないで、国内外の研究者に匿名でもいいから取材すればいいのに
俺の知る範囲だと、本当に精読されてない。サンプルは少ないとは言え、
読んだがよくわからなかったので放置みたいな人ばかりだ
304:132人目の素数さん
18/12/11 17:57:36.26 ZMzdqjWO.net
精読っても何が書いてあるかわからないものは読めないんじゃね?
努力に幅はあるにせよ
行間を埋めなくてもすらすら読めるようなものならとっくに話はついてるだろうし
305:132人目の素数さん
18/12/11 19:01:33.22 Er+Nf/KD.net
だよねぇ。
僕ら一般ピーポーはともかくとして、ある程度以上の実力ある数学者ならある程度以上その気になれば読める程度でないと。
これ読めばABCの証明がわかるという記事ならある程度どころか、相当読む気になるハズなのに。
あってんのかどうだか知らないけど行間広すぎるのは間違いない。
306:132人目の素数さん
18/12/11 20:42:04.45 nHjSGGPt.net
思いて学ばざれば
デンジャラス
307:132人目の素数さん
18/12/11 22:24:29.76 uysIQOl8.net
白黒ついてない状態でNスぺなんかあるわけない。
308:132人目の素数さん
18/12/11 22:24:43.70 qLRn3efl.net
もし行間が 多重に分岐し
もし行間が 常に もやっとしていて
もし行間が クラインのつぼならば、
あのひとたちは「あたらしい数学」
というのだろう
309:132人目の素数さん
18/12/11 22:37:32.36 9hW3imYt.net
それがあるんだなぁ
310:132人目の素数さん
18/12/11 22:48:02.34 dnJH3KZ0.net
素人もプロも優柔不断さについてはあまり変わらないが、論争についてショルツの圧勝とか
思ってる人はあまりいないんじゃないかと感じる。でも好意的とまではいかないような
それとも気を遣って悪く言わないのかは知らない
遠アーベル幾何学的な文脈からすれば確かに望月の反論はかなり妥当
これ、本当に凡ミスとかじゃないんだよ。昨日見落としって書いちゃったけど
考え方によっては新しい数学の新しい論理に身を懸けたとも言えるのね
前も書いたけど、Stixの遠アーベルと望月、星の遠アーベルは違う。そこの戦いでもある
311:132人目の素数さん
18/12/11 22:50:25.91 YZmi0qE1.net
クラインの壷って実際に作れるんだよね?どこかで作れないって聞いたような気がするんだけど、あれ普通に作れるじゃんね?
312:132人目の素数さん
18/12/11 22:54:27.24 lHkYogTE.net
IUTみたいなのと同列に扱うなよ。遠アーベルの評判が悪くなるだろ。
313:132人目の素数さん
18/12/11 22:54:46.16 dnJH3KZ0.net
要するにショルツの指摘が破れてるとしたら、その論拠は完全に新しい数学による
つまり、スキーム宇宙を超えた記述レベルが例の格子図式でできているのかどうかによる
2020年のプロジェクトを考えたら、来年こそは京都は決断しなければならない
314:132人目の素数さん
18/12/11 23:00:06.13 ZMzdqjWO.net
6年経っても真偽が定まらない理論とか科学ドキュメンタリーの格好の題材なんだよなぁ
教授のふるまいやら数学コミュニティの反応やらRIMSの査読、予算といろいろ背景も興味深いし
ちゃんと作れば海外にも映像売れそう
315:132人目の素数さん
18/12/11 23:09:07.85 wgwoFn2l.net
あまりの進展のなさに最近はついにjinも飽き気味らしい。ツイートしなくなったな。
316:132人目の素数さん
18/12/11 23:09:24.06 N+ttfAQM.net
まぁ一度外部の人間の目が入った方がいいというのはその通りかもね。
査読は実際にはどの程度終わってるのか、本当に中立的な立場の人がある程度以上の誠意を向けて、質的にも量的にもある程度以上の目でなされているのか、なされたのか。
基本数学の世界は性善説で外部の目がなくともそれらがなされていると見なしてるけど、キチンと外からの目を入れてもらうのもいいかもしれない。
長い目で見ればそれがPRIMSの信頼向上につながっていいかもしれない。
317:132人目の素数さん
18/12/11 23:10:01.71 dnJH3KZ0.net
現況をまとめるが、自称中の人がいたら間違いは訂正してもらって構わない
・既成の数学から見たらショルツの指摘は自然である
・ウィキペディアに書いてあるように、望月の反論の論拠はIUF特有、特に絶対遠アーベル幾何学を用いた
IUF特有の構造である
・コミュニティに想定以上に理解されていないのでアクセプトを決定するのが恐らく躊躇されている
この膠着状態を脱するには、前にも書いたがFaltingsかBombieri界隈の幾何学者を納得させるしかないだろう
外圧を逆利用するしかないのだ
318:132人目の素数さん
18/12/11 23:15:27.49 9hW3imYt.net
>>305
かなり良質なものらしい
319:132人目の素数さん
18/12/11 23:18:27.50 sWrCPOfH.net
>>301 >>303
これについては>>303が正しいな。
もっちーのabsolute anabelianの論文までは遠アーベル内部での理解者も多い。
iutを遠アーベルの範疇でとらえるのはおかしいし、もっちー自身もそんなこと言ってないし。
320:132人目の素数さん
18/12/11 23:20:03.96 qLRn3efl.net
Nスペ 予想
ドキュメンタリー
「ホラー
京都市左京区北白川追分町 限定定理 は 実在
した」
321:132人目の素数さん
18/12/11 23:22:40.14 WSbs0vAR.net
>>286
生産性のないのはIUT理論そのものだろ。
いったい2012年からどんな進展があったというんだよ。
支持者フェセンコにいわせれば、そこから何百という新しい結果が導き出されるんじゃなかったのか。
なんの結果も出ないこと自体が、望月たちの脳内が混乱して議論が進められなくなってる証拠だろ
きちんとした論証のないままに、比喩とイメージだけで論を進めた挙句、数学的実態のない空疎なものになっている。
322:132人目の素数さん
18/12/11 23:30:15.60 WSbs0vAR.net
>>307
何をいまさらw
星・山下・Saidi・ブンゲンによる内部の査読が外部では全く信用されず、
外部の人間であるショルツ先生に事実上の査読を依頼したら、
「理論の根本がナンセンス」というきつい評価をいただいて、
望月もRIMSがそれを素直に受け止められず立ち往生しているというのがこの1年の出来事でしょ。
望月自身の見解が180度変わるなど、理論そのものを彼ら自身理解できていない実態が暴露されている有様。
323:132人目の素数さん
18/12/11 23:44:52.16 qLRn3efl.net
>>304
新しい?
>>244 参照のこと
324:132人目の素数さん
18/12/12 00:14:59.17 2Z+dwFrZ.net
軽い捕捉
何が最大の齟齬か
→記述レベルが違う。絶対遠アーベル幾何学的な高レベルのパターンにラベルを付け区別をしている
指摘された欠陥は低レベルな記述に依存した際の性質に過ぎない
その際、IUTは狭義の点集合やそれらの射とは異なる対象を扱っている。つまり、既成の数学とは異質
こうした異質な記述による論理的識別を認めるか否かが問題になっている
人によっては異論はあるだろうしまとめすぎと思われるだろうが、勝手なまとめなので容赦を
325:132人目の素数さん
18/12/12 00:48:14.65 5wR7QujC.net
Nスペよりドラマ向き
古畑でフェルマーの最終定理にちなんだ殺人事件の話があったけど
あれみたいに今回の件のパロディ作れば良い
326:132人目の素数さん
18/12/12 00:48:53.25 2Z+dwFrZ.net
更に捕捉
本当にそんな抽象的な記述レベルの話と件の不等式に関係があるのか?
→あると言ってよいだろう。実際、「定義より自明」という表現はこの問題を踏まえれば
そんなにおかしな表現ではない。特に第三論文p126参照(勿論ここだけ読んでもわかりません)
327:132人目の素数さん
18/12/12 00:54:34.80 2Z+dwFrZ.net
>>314
だからこそ、FrobenioidとAnabelioidという構造的な縛りを入れた上で、その範囲で幾何学的射や点集合よりも
根源的なレベルの、もはや単なる幾何学ですらない理論を展開したわけだ
まあ来年までは決着はお預けだよ
328:132人目の素数さん
18/12/12 04:24:31.40 AJzBQpK2.net
> 京都は決断しなければならない
決断の問題だった
329:132人目の素数さん
18/12/12 06:32:41.53 Y2OUmdPH.net
> 根源的なレベルの、もはや単なる幾何学
ですらない理論
IUTは 血税を使い、なんでもありのカルト
やオカルトの類ですね。
オカルトvs 近代科学です
330:132人目の素数さん
18/12/12 07:01:17.62 Y2OUmdPH.net
>FrobenioidとAnabelioidという構造的な縛りを入れた上で
>>18 なんですよ
物理らしき用語を濫用していますね
331:132人目の素数さん
18/12/12 08:21:28.37 xljgTXTP.net
>>296 一般ピーポーが、なんでそんな知ったかぶったことを言えるのやら…
332:132人目の素数さん
18/12/12 08:26:59.64 YG3pOKZS.net
わからないことには沈黙を
333:132人目の素数さん
18/12/12 08:50:06.48 Y2OUmdPH.net
1と2が矛盾していることがわからない
RIMS教授たち。
沈黙中、、
↓
本学(京大) 報告書等 >>7
学部 研究科等の研究に関する現況調査表
数理解析研究所 RIMS
1 【資料2:発表論文数】
所員の発表論文数
※査読付き論文のみ
※括弧内は国際学術誌に掲載された論文数
2
>望月新一による「宇宙際タイヒミューラー
理論」の構築とその結果としての ABC 予想
の解決は、特筆 すべき出来事である。
>当該論文は現在査読中であるが、
望月新一が同理論の概要を解説し た業績
番号1― (2)(2014)が、講究録別冊として
刊行されている。
334:132人目の素数さん
18/12/12 09:47:45.07 nCirm4VM.net
>>302
3次元空間内では、クラインの壺は実現出来ない。
面が交叉したものなら出来る。
335:132人目の素数さん
18/12/12 09:55:32.72 0irO1ekh.net
なんか上のほうでごちゃごちゃ書いてるけど、
なんでこんなデタラメがつらつら並べられるのか分からん。
数学の理論は理論それ自体の構築に意味があるんじゃなくて、
証明のツールであるというのが把握できてないような印象を受ける。
とりあえず数学プロパーじゃないっぽい。
336:132人目の素数さん
18/12/12 10:13:21.77 71AAifBg.net
新しい幾何学なんだよ
337:132人目の素数さん
18/12/12 10:16:06.71 0irO1ekh.net
>>327
それ自体どうでもいい。
証明に使えないなら数学とは無関係だから。
338:132人目の素数さん
18/12/12 11:07:39.91 JYPYHsws.net
Nスペってまじなの?どこから出た情報だよ……
339:132人目の素数さん
18/12/12 11:11:29.72 YG3pOKZS.net
脳内ソース
340:132人目の素数さん
18/12/12 11:57:29.53 0PU5FnjJ.net
かつて収束や発散を曖昧に扱っていたようにIUTでもある種の感覚、解釈に頼った理論展開がなされていてそれが自明という言葉になっちゃってる
ショルツらの感覚、解釈では理論自体が自己矛盾を導いてるように読めてしまう
それを解消するために来年からのプロジェクトで厳密化がなされていくはずだけど時間かかりそう
341:132人目の素数さん
18/12/12 12:24:54.69 71AAifBg.net
もう撮影は終わってるから、編集と査読がどうなるか待ち。来年夏頃か?
342:132人目の素数さん
18/12/12 12:37:44.10 g5+n7u14
343:.net
344:132人目の素数さん
18/12/12 14:48:06.10 K3dWYvit.net
もう撮り終わってる?
査読の結果によってまた内容が変わってくると思うのだが・・・
まあそもそもが真偽不明の話だけど
345:132人目の素数さん
18/12/12 15:08:46.39 g5+n7u14.net
IUT論文の査読結果の前から
PRIMS編集者の結論がでているね
>>7 >>8
↓
事例4
>望月新一による「宇宙際タイヒミューラー
理論」の構築とその結果としての ABC 予想
の解決は、特筆 すべき出来事である。
>当該論文は現在査読中であるが、
望月新一が同理論の概要を解説し た業績
番号1― (2)(2014)が、講究録別冊として
刊行されている。
346:132人目の素数さん
18/12/12 16:36:09.73 PqXYaj7p.net
>>326
君は前からアンチやってる人だからポジショントークだね
論点は不等式なんだよ。まさに証明の最重要ステップだ
347:132人目の素数さん
18/12/12 16:50:36.99 PqXYaj7p.net
歪みの計算はあの不等式に直接関わっている
それで、あの不等式は格子に宇宙を位置付ける記法、計算に依存している
望月がショルツらの指摘が単純だと言ってるのは、突き詰めれば
あたかも普通の点集合の対象と射について話を処理してるように見えるからだよ
IUTが殆ど出鱈目と決め付けてる人間こそプロパー(って何?w)ではないだろ
有意味か否かギリギリの所で論争してるんだぞ
348:132人目の素数さん
18/12/12 16:53:27.21 YG3pOKZS.net
math2.0
349:132人目の素数さん
18/12/12 17:00:05.50 0irO1ekh.net
>>336
だったら証明を提示すればいいだけ。
>>337なんてのはまったく証明の1プロセスにもなっていない。
ただのおしゃべりでしょ。
350:132人目の素数さん
18/12/12 17:00:27.58 PqXYaj7p.net
>>331
厳密には自己矛盾というか、ナンセンスだね。手続き不能な論理に見えるということ
そりゃそうだろう、明らかに通常の集合論とは異質な論法なのだから
重要なのは圏論的な範疇は守っていることだよ
文元が好意的なのも思想的必然だよね
かつてのカントールみたいなもんかもしれないのだから
351:132人目の素数さん
18/12/12 17:01:55.33 0irO1ekh.net
証明になっていないという指摘に対して、
証明を示さずに理論の構想を示すことで反論になってると思ってるのがダメなんだよ。
352:132人目の素数さん
18/12/12 17:06:15.79 wUHF43U6.net
>>326
微分幾何の全体は別の何かを証明するためのツールに過ぎず、フラクタル理論もカオス理論も何か他のものの証明のための単なるツールである
と自称数学プロパーが相変わらず何か物凄いことを述べています wwww
何か偉い先生がお題を出して→それを解く→それが数学であり一番偉いことのはず だって中学高校時代ずっとそれやってきたんだもん
何だよ理論とかー 先生のお題を解いていい点数を上からもらわなけりゃ全く意味ねー
古今の数学者 「数学の数理の、圧倒的な深さ神秘さ、広大さや新しい地平を見たい そういうことで我々はやってきたんだが、自分らはプロとは言えないみたいだな ヒソヒソ」
353:132人目の素数さん
18/12/12 17:10:10.06 PqXYaj7p.net
>>341
ノーノー
IUFの論法が正しいかどうかが論争になっている
認識できれば証明は自動的に論文の通り成り立つ
ちなみに、格子の計算原理は前にも書いたが、二つの既成の数学理論を融合した発想になってるものだ
そうだから、新しい論法だが懸けてみようと思ったんじゃないか
354:132人目の素数さん
18/12/12 17:12:41.22 PqXYaj7p.net
ちなみに、これまで成書でIUTの内容に触れたのは黒川-小山、安福の三人だけ
それで、この三者共部分的な理論の戦略や原理を解説してるが、IUFの論法には殆ど触れていない
賢いっちゃ賢い
355:132人目の素数さん
18/12/12 17:21:35.16 lGPi/8Bz.net
有意義であるかまだ定かじゃないならアクセプトしちゃダメでしょ?
356:132人目の素数さん
18/12/12 17:41:20.25 PqXYaj7p.net
同じ集合論の拡張でも、遠アーベル幾何学的な理論でなければもう少し受容されやすかっただろう
何故そうなのかは微妙なニュアンス
357:がわかる人間でないとわからないから難しいんだが 単にマイナーだからという理由だけではない 全くわだかまりなくこの路線で行くなら、遠アーベル幾何学ではなくより単純な理論を作るべきだと思う でも、こういう状況で通すかどうか自体は非常に興味深い
358:132人目の素数さん
18/12/12 17:51:02.02 tCzugIcJ.net
「論法」なんて数学の概念はないけどね。あるっていうんなら厳密に定義しないと。
〇月にアクセプトされると言ったりNステで報道されると言ってみたり、
もはやIUTはオカルトと香具師の巣窟になってるな。
359:132人目の素数さん
18/12/12 18:02:56.59 fuCSJiJq.net
まだブンゲン書き込んでるのか
いい加減諦めればいいのに
360:132人目の素数さん
18/12/12 19:06:51.66 lUILcS/g.net
>>340
>明らかに通常の集合論とは異質な論法
>>324 >>335 参照のこと
>重要なのは圏論的な範疇は守っていることだよ
文元が好意的なのも思想的必然だよね
>>18 参照のこと
361:132人目の素数さん
18/12/12 20:12:15.81 PqXYaj7p.net
>>349
Robertsもかなりフォローしているのだから、疑問点を論文にするべきだと思うわ
今回ここまで認知的不協和を生んだ主因が、絶対遠アーベル幾何学によって階層性を
表現したことにあるのは確か。レポートを読む限り、本人も十分に自覚できてない
圏論的な構造の範疇にはあるが、通常の圏論の論理的範疇かというと、違う
あらゆる理由から理解されにくくて当然
362:132人目の素数さん
18/12/13 01:01:42.89 x4P5CYZk.net
理解できなくても数学の新しい扉が開くかと
ワクワクしていたのだけどこの1年は逆に閉じてしまった
印象だなあ。
363:132人目の素数さん
18/12/13 02:42:21.93 gMktMhDK.net
バカが娯楽として消費する物語にされてもねえ
364:132人目の素数さん
18/12/13 03:28:26.29 Ro/WaY7S.net
もっちーの代数学賞からIUTの失敗までが映画になったら見たい。ヒットしそう。
365:132人目の素数さん
18/12/13 04:30:10.99 5OMQUvON.net
複数の世界線の実在が証明されて数学どころの話ではなくなる、の流れを予想
366:132人目の素数さん
18/12/13 08:01:19.42 JCy65lAu.net
>>353 そんな、盛り下がってく映画がヒットするわけない
367:132人目の素数さん
18/12/13 08:09:15.09 2WnD5Mo4.net
ホラー
「 ザ リング / 衝突する環 」
202× 年 京都の 大学 廃墟に古井戸があり、、
368:132人目の素数さん
18/12/13 08:21:11.26 e/mUXgYq.net
厳密化した上で再構築しようとしたらEGA.SGAレベルの超大作になりそうだな
望月さん頑張れ
369:132人目の素数さん
18/12/13 08:24:57.12 2WnD5Mo4.net
わ、、
湧いてきた
ガクガクブルブル
370:132人目の素数さん
18/12/13 09:58:06.17 GigRgvS+.net
>>354
地球侵略を目論むフロべニオイドとアナベリオイドが侵攻してくるんだろうなぁ…
371:132人目の素数さん
18/12/13 10:15:00.57 5ZmkbDwB.net
>>350
なんでこんなくだらないものに論文を書かないといけないんだよ。
業績になるわけでもないのに。
STAPのときもそうだけど、検証のために他人に時間を割かせているという罪悪感がないのかね。
372:132人目の素数さん
18/12/13 12:08:00.55 F83zpsdc.net
相対論や量子論と同じで今さら間違ってましたとは口が裂けても言えないんだよ
373:132人目の素数さん
18/12/13 13:09:51.88 CHerrFpC.net
>>361
で、おまえさんは相対論や量子論を間違ってるとでも考えてるのか?
374:132人目の素数さん
18/12/13 14:44:47.98 F83zpsdc.net
>>362
騙されるのは嫌だからね
STAP細胞はあると思ってる
375:132人目の素数さん
18/12/13 14:49:50.40 LCOZA+HC.net
ありまぁす!
376:132人目の素数さん
18/12/13 15:13:35.62 pMsd2EL1.net
>>363
うーんこの小保方
377:132人目の素数さん
18/12/13 15:59
378::54.59 ID:3Vj66JdS.net
379:132人目の素数さん
18/12/13 16:21:01.04 fKg1M+Ef.net
IUTの古井戸から色々と湧いてくるね~
380:132人目の素数さん
18/12/13 16:26:06.36 LCOZA+HC.net
信者アンチ問わずチンパンさんと同レベルの書き込みはご遠慮くださーい
381:132人目の素数さん
18/12/13 17:56:41.66 F83zpsdc.net
論文発表以来、何の進展もないんだからしょうがない
382:132人目の素数さん
18/12/13 18:03:45.53 3Vj66JdS.net
受容が厳しいのは事実だが、論争が世に出たのは進展だ
とにかく来年だな。アクセプトしちゃって論議を後処理する覚悟で行くかどうかだが
保留だとしたら実質的な降伏になる
383:132人目の素数さん
18/12/13 18:07:52.65 fssy/t/Z.net
量子力学が間違っていてSTAP細胞があると思ってる奴が書き込むレベルのスレ
IUT以上に存在価値ないな
384:132人目の素数さん
18/12/13 18:19:14.65 fKg1M+Ef.net
>>371
隠れ擁護派だろうね