18/12/06 06:06:30.78 Fr/sj4F7.net
>>91
＞３．１２以降はばかばかしいから誰も検討しないだけで
最初から間違いと決めつけてかかってるのが丸わかりな態度じゃん。
アンタは>>94で、
＞正しくないから普及しない。
って言ってるけど、自分で考えずに正しくないと決めつける人間相手に、
普及はせんわな。
101:１３２人目の素数さん
18/12/06 07:27:59.36 P1dFbYKP.net
また具体論がなない単発よ擁護君か
いわゆる批判派でなくともあんたらの態度はワケワカンネエよ
102:１３２人目の素数さん
18/12/06 07:32:23.78 WRI1v/pS.net
進化論と同じで、いまさら間違ってましたとは言えないんだろ
103:１３２人目の素数さん
18/12/06 07:59:01.37 RgCHH8TS.net
>>99
こないだ相対論は間違いとか言ってた人？
104:１３２人目の素数さん
18/12/06 08:45:41.73 FnPfajKF.net
>>98
もう擁護派は「読まずに語るな」っていう理屈に逃げるしかないからな。
これ自体がIUTの検証に他人の時間を割かせるものでお話にならないわけだけど。
105:１３２人目の素数さん
18/12/06 11:37:43.14 ZA59yUDi.net
経路積分は特に 素粒子と物性の物理分野
で発見法的 有効的な道具として使われる。
数学から見ると 測度などに難点があり
ノルムや代数解析 等 より正当化する研究
もある。
しかし、経路積分は 数学として曖昧で
「数学もどき」のIUTとは無縁です
念のため
106:１３２人目の素数さん
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:１３２人目の素数さん
18/12/06 14:00:16.57 BRJ8/UsK.net
「自分は中立だけど擁護派は」って議論は、
「自分はネトウヨじゃないけど、パヨクは」って
言ってるのと同じくらい滑稽だわな
誰しも自分は偏向していないと考えている中で、
相手こそが偏ってるという前提の言葉選びをするのは、
社会を俯瞰できていない証拠。赤ん坊かよ
108:１３２人目の素数さん
18/12/06 14:26:19.20 KxxGPYCk.net
偏ってると言われるのにはそれなりの理由があるのに、皆自分は中立だと思っているとかいう
雑な平等化で全て濁そうとするのはただの馬鹿だろw
赤ん坊とか他人を罵倒しても誤魔化せない
109:１３２人目の素数さん
2018/12/0
110:6(木) 14:31:04.45 ID:KxxGPYCk.net
111:１３２人目の素数さん
18/12/06 14:43:38.01 FnPfajKF.net
Wikipediaなんかだとその論法を最初から拒否してて、
カルト理論を平等に扱う必要はないとしてるよね。
112:１３２人目の素数さん
18/12/06 16:22:15.81 w2tmS5Sl.net
今年もモッチーは紅白ネタでブログを書くのだろうか？
113:１３２人目の素数さん
18/12/06 17:03:08.23 5b2iUB6v.net
あの日
114:１３２人目の素数さん
18/12/06 17:38:36.07 KxxGPYCk.net
>>106に自己レスだが
勿論逆に、実質的なアンチが中立とは単なる擁護に過ぎない、と決めつけているにしても同じことだ
まあ俺が到底擁護しているとは言えないのは明らかだが
何故いきなり変形理論からBSDみたいな大きな話が出てきて、もっと先決で簡単なはずの
古典定理の拡張が論文にならないのか、不思議で仕方ない
ABC予想から一旦逃げてでも理論の適用を試すべきなのにだ
115:１３２人目の素数さん
18/12/06 20:15:14.18 d+hx8SiR.net
もうIUT解散でいいんじゃないか？
116:１３２人目の素数さん
18/12/06 20:56:27.26 KxxGPYCk.net
>>102
汎用性と実用性を考えたら、確かに経路積分よりも悪いかもしれない
いずれにせよ、何がやりたかったのか、理論は何が正しくて何がおかしいのか、を
明らかにすることは良い演習だよ
ショルツはちょっと極端だと思う。まあ彼の批判の切り口を考えたらあれくらい厳しく言わざるを得ないの
かもしれないけど
117:１３２人目の素数さん
18/12/06 22:03:52.19 JArrXxqq.net
超関数とか経路積分の方がもっとナイーブというかプリミティヴというか直観的には単純明快だろ。
そしてなにより実用に迫られた系の計算技術だし。
118:１３２人目の素数さん
18/12/06 23:13:27.33 +yAPhWmx.net
物理の場合は最後は実験という神様にお伺いをたてられるからなぁ。
論拠に少々怪しいとこがあってもそっから出てきた数値が合ってりゃそれでいいし、むしろそれこそ全てな考えもありうるのかもしれない。
しかし数学はそうはいかんからなぁ。
119:１３２人目の素数さん
18/12/07 00:44:14.43 eHAUjScV.net
気違い扱いされそうだが、実は経路積分とIUTは結構考え方は似てるんだよ。直接的な意味ではないけど
IUT問題が興味深いのは、遠アーベル幾何学を一般化して数論に応用するというアプローチはどう見ても
正しそうなのに、何で同じ遠アーベルの専門家にまでナンセンスと言われる羽目になったのか、ということ
細かい誤りとかの問題じゃない。まあ、トートロジカルに結果を先取りしてからお釣りを頂くなどという
よくわからない本人の着想の説明に既に論理的懸念が見られるようにも見えるw
俺の考えでは遠アーベル幾何学的な証明自体は可能なはずなんだが、
結果何でこういう枠組みになったのか、「宇宙際計算」というのは本当に不可欠なものなのかには疑問がある
まさにそこが疑われてる部分の根幹だと思うので
擁護をしたいならそういう構造的な必然性を説明してもらいたいものだ
120:１３２人目の素数さん
18/12/07 01:12:27.11 eHAUjScV.net
まあ白状すると、疑問があると言いながら実は理解できる、と未だに思ってる
あえて左右に揺さぶって残る確信が大事だ
擁護するならば何故宇宙際である必要があるのか、批判するならば何が似非数学なのか
はっきり言えなきゃ意味がない
数学的な内容で言ったら、Stixの遠アーベル幾何学と望月らの絶対遠アーベル幾何学が大分違うのもポイントだ
来年までは完全外野で様子を見たい
121:１３２人目の素数さん
18/12/07 02:06:15.9
122:1 ID:vqBgmr4U.net
123:１３２人目の素数さん
18/12/07 07:34:29.19 LaNLfF4s.net
>気違い扱いされそうだが、
実は経路積分とIUTは結構考え方は似てるんだよ
↑
crazy そのものだね。
経路積分は物理体系の中の物理のツール。
IUTは「数学もどき」かつ 京大RIMSが
血税収奪のためのオカルト ツール。
124:１３２人目の素数さん
18/12/07 07:48:01.59 o09VzXw8.net
どっちもガウス積分と密接に関連しているな
125:１３２人目の素数さん
18/12/07 08:11:36.25 LaNLfF4s.net
味噌と糞を一緒にするな
126:１３２人目の素数さん
18/12/07 08:27:40.74 LaNLfF4s.net
確率→中心極限定理→ガウス分布→ガウス積分
お、、確率はオカルトIUT 由来となるのか?w
127:１３２人目の素数さん
18/12/07 08:47:22.74 8vkHZzkD.net
そんな適当な「方向性は正しい」という話なら、
古代ギリシャの自然哲学は全部近代科学ということになってしまうだろう。
128:１３２人目の素数さん
18/12/07 14:20:05.78 Yz7iVAVN.net
>>117
タクローに迷惑がかかるだろｗ
129:１３２人目の素数さん
18/12/07 14:50:00.64 gMoEprkE.net
経路積分は物理的結果と結び付いてるしなあ
シュワルツ以前のデルタ函数みたいなもんでしょ
人類には数学的基礎づけがくっそ難しいだけで
130:１３２人目の素数さん
18/12/07 17:13:33.87 ugEHjHz9.net
経路積分はただの形式計算じゃない？
そもそも量子論自体が方便なわけだし
131:１３２人目の素数さん
18/12/07 18:08:54.96 ey9KHuWT.net
IUT方便
132:１３２人目の素数さん
18/12/07 21:48:23.05 6jn6aOk4.net
結局証明は出来てなかったってことでいいのか？
133:１３２人目の素数さん
18/12/07 21:53:52.91 afj3Bcmx.net
IUTはアジア的数学です。
毛唐の奴隷にはわからない崇高な数学なんです。
134:１３２人目の素数さん
18/12/07 22:22:46.28 LIN5MaB6.net
>>127
いいでーす
135:１３２人目の素数さん
18/12/07 23:29:50.00 Rj1YLDPl.net
ダメならダメで本人のコメントほしいわ
頭下げる必要なんて当然ないし
今さらちょっとつまずいただけで経歴に傷がつくレベルでもない
136:１３２人目の素数さん
18/12/08 00:00:58.72 2PI43P3u.net
学部レベル云々に関しては謝罪の必要があるんじゃない？
137:１３２人目の素数さん
18/12/08 00:06:28.47 Y0zDTmyh.net
>>131
最初に失礼な態度をとったのはSSだし。
138:１３２人目の素数さん
18/12/08 01:55:31.84 kn8gvZpG.net
>>131
まったく必要無い
139:１３２人目の素数さん
18/12/08 08:07:15.98 xv1hFvIZ.net
森重文 京大 RIMS名誉教授 の申し出に より
PS JSが 京大 RIMSへ行った。
140:１３２人目の素数さん
18/12/08 09:06:36.91 PnyPv2Kq.net
前スレで院生がIUTの間違いを指摘したってことは、
国内的にももうダメだということなのだろうな。
そうでないなら就職に関係するから言わないはず。
141:１３２人目の素数さん
18/12/08 09:30:50.86 ILFZ5lNM.net
仮にABC予想の証明も間違ってて、IUTから今後何も生まれないとすれば、
大勢の人が引っかかった壮大な無駄理論だったってことで、傍目には結構
面白いけどね。
本人や支持者はものすごく落ち込むだろうけど、彼らを貶す気にはならん。
142:１３２人目の素数さん
18/12/08 09:31:01.95 A1xosAP1.net
望月さん、どっかの私大に転出かな。
143:１３２人目の素数さん
18/12/08 09:51:08.69 QPV4ORp9.net
謝罪ってもどっから謝罪すればいいかわからんよなこれ
昔の検証報告書とかも喧嘩売ってるような書き方だし
144:１３２人目の素数さん
18/12/08 10:19:23.32 ktHKtnZB.net
>>136
大勢引っかかってるのか、これ？
IUTを「正しい」と主張してたのってほんと一部だけで、
大半は「間違ってると思うからさっさとリジェクトするなりなんなりしてくれ、
万が一アクセプトされたら読むよ（ただアクセプトした以上は分かってるだろうな？）」って感じだと思うんだけど。
で、RIMSがいつまで経ってもなにも言わないから御大が事実上の外部審査させたわけだろ。
145:１３２人目の素数さん
18/12/08 10:33:38.64 7s/F+/XB.net
もし間違っていたとしても、謝罪とか辞職とか研究費の返還はいらないが
科学史に残る失敗にはなるだろう
今後新しい世界を切り開くような研究を行う人が受け入れにくくなるかも
付いて来た若い人は辛いだろうが間違いを見抜けずサーベイ書いたりしてたのだから
その点は自分の責任だな
間違いを数学的に正して受け入れられる論文を書くのが一番良い
146:１３２人目の素数さん
18/12/08 10:33:45.36 mHGcAaX/.net
>>135
他大学から来た教授の間違いを指摘したばっかりに
大学の研究室に残る道を閉ざされて民間企業に就職せざるを得なかった人もいるんだぜ
まあそういうことになるから言わないってことだろうが
147:１３２人目の素数さん
18/12/08 10:43:09.62 QPV4ORp9.net
>>141
何それひどい
さすがに可哀想だわ
148:１３２人目の素数さん
18/12/08 11:35:18.57 ILFZ5lNM.net
>>140
＞科学史に残る失敗にはなるだろう
それを汚点とは考えないことが大事なんだと思うよ。
失敗の繰り返しの中から何かが生まれてくるんだから、面白い大失敗
だったと前向きに捉えるべき。
149:１３２人目の素数さん
18/12/08 12:24:44.11 QPV4ORp9.net
この件の教訓として言えるのは、新しい理論を世に認められたければ
啓蒙活動は怠らずきちんとして、海外からの招聘にもしっかり対応して
批判されたら自明などと言わずに噛み砕いて真摯に回答しましょうということだよな
そうしてれば証明に不備があったとしても１年で気付いただろうに
一連の流れを振り返ると理論の内容以前に望月教授の対応がまずかったってことの方が目立つわ
RIMS側がそれをとがめられなかったことにも問題がある気もする
150:１３２人目の素数さん
18/12/08 14:36:19.49 N463hsl8.net
500ページもある論文読んで時間を無駄にしなくてよかった♪
151:１３２人目の素数さん
18/12/08 14:40:12.74 7s/F+/XB.net
>>143
>>144の方が述べているが
「新しい試み」をすること自体は問題ないし失敗を責める人はあまりいない
この6年間に望月氏がやったこと（むしろやらなかったこと）が問題だったと思う
152:１３２人目の素数さん
18/12/08 16:26:01.16 xOfD0rQU.net
なんでこんなに否定派ばかりいるんだろう？
研究集会とかでは肯定的な意見が増え出しているというのに
153:１３２人目の素数さん
18/12/08 16:43:39.96 wHSznpJf.net
このスレで、数学として曖昧なIUT論文
を書き直せ、と言われてた。
今年 2020年 RIMSプロジェクトIUTの拡大
が決定。
過去の経緯を調べたら RIMSは>>7 >>8の
状況から突っ走っていた。
まあ、日本数論界はブラックだな
154:１３２人目の素数さん
18/12/08 17:21:56.91 sPLxyHo/.net
恫喝罵倒と否定が原因
155:１３２人目の素数さん
18/12/08 17:31:07.32 e8RTcY/j.net
>>147
＞研究集会とかでは肯定的な意見が増え出しているというのに
へぇー、そーなの？
156:１３２人目の素数さん
18/12/08 17:37:51.02 7s/F+/XB.net
>>148
F藁の虚偽申請の後始末を間違えたのも遠因だろうな
ああまた数論かというイメージ
157:１３２人目の素数さん
18/12/08 17:44:28.35 1XhbbBkR.net
というか、F藁は虚偽申請の責任をとったのか？
十年たっても修正論文が出そろっていないだろ。
一方でPDEの連中もごく一部以外は数学をわかっていないし。
158:１３２人目の素数さん
18/12/08 17:48:16.08 xOfD0rQU.net
>>150
少なくとも若手中堅は肯定してる人多いよ
和也先生は「望月先生の仕事には、ワイルズさんと違って正しそうだという証拠がないんですよぉ～」ってUSい先生と喋ってたし、まだ否定してそうだけど
159:１３２人目の素数さん
18/12/08 19:25:42.88 QEv6AnAD.net
その肯定派とやらはどうSSに数学的に反論できるわけ？
結局そこだけなんだと思うが
160:１３２人目の素数さん
18/12/08 19:50:43.35 ppnkW7Zd.net
Ｓ・Ｓらがフェルマー＝ワイルズの中核論理を用いて論文の
有意性を否定したのにどう反証するかだな
肯定派はそこがわかってない
kimやDupuyによる検証はどうなった？
不利な情報はとことん開示しないんだな
161:１３２人目の素数さん
18/12/08 20:01:46.91 1XhbbBkR.net
Ｓ・Ｓを数学的に反論したところで、望月論文が肯定されるわけじゃないよ。
証明がきちんと示されていないことに変わりない。
162:１３２人目の素数さん
18/12/08 21:04:29.18 7s/F+/XB.net
周辺の人は「理解」「肯定」じゃなくてIUT使って新しい結果を出さないと
普通の研究の世界では難解な理論を勉強しただけでは評価されない
研究者ではないjinらにはこの基準は理解できない
163:１３２人目の素数さん
18/12/08 21:19:09.24 luTcv4hz.net
白旗上げるなら早いほうがいいと思うんだよな
いくら粘ってみたところで評判下がるだけだし
164:１３２人目の素数さん
18/12/08 21:25:44.39 RJwW4mpK.net
そう、なにがなんでも論文取り下げを避けたところに廃院が
165:１３２人目の素数さん
18/12/08 21:26:19.49 uOXXQfYc.net
IUT中止するにしても
2020年以降の”広がり”という風呂敷を”広げた”から
畳み方を悩んでるんじゃね
科研費については正直数学の分野のちょっとした不正なんて
マスコミ的にも面白くもないから取り上げられない
うやむやで進めることも可能
166:１３２人目の素数さん
18/12/08 21:51:33.41 VGcZwqF4.net
>>157
個人的には遠アーベル幾何学的な枠組みに拘る必要を感じないから、そういう方向で再整理するのも
一つだと思う。勿論具体的に何らかの良い定理を出したいけど
安易に駄目と言っている人よりは、IUTの合理性や面白さを分析したと自分では思ってるが
何がもやもや感の根源なのかも同時にわかってきた
167:１３２人目の素数さん
18/12/08 22:08:29.34 VGcZwqF4.net
>>154
論文の解釈を用いた反論というより、付加理論を付けるべきだと思う
そういうことをできる人材がいるのか様子見
168:１３２人目の素数さん
18/12/08 22:12:55.36 wzDqiPbw.net
なぜ単純に書き下すという選択肢がないのか。
この時点でうさんくさい。
169:１３２人目の素数さん
18/12/08 22:14:35.45 VGcZwqF4.net
>>136
連投で悪いけど、その辺は非常に微妙であって、最悪でも100%見当違いとは言われないと断言する
「動機」については非公式に海外の研究者で理解を示している人間がいる
致命的に間違ってるのか、それとも記述的な不備の補填で済むかどうかは近い内にまた分析してみたい
170:１３２人目の素数さん
18/12/08 22:14:42.78 7s/F+/XB.net
>>161
そうそう，新しい結果でなくてもIUT論文のある部分を簡略化しましたとか
見通しをよくしましたでも良い
昔は難解だった理論も後になるといろんな人が工夫して勉強しやすくなることが多い
171:１３２人目の素数さん
18/12/08 22:32:27.69 hZE886W1.net
簡略化論文は不必要でしょ。
ステップが飛んでいるというのが批判の要点なのだから、
短くしてどうするのよ。
172:１３２人目の素数さん
18/12/08 22:39:00.37 vVnnQH/X.net
ABCの証明（と称する）ところまではだいたい追えていて、
意味不明だって言ってる人はいないんだよね。
意味がない（なにも新しい知見が出てこない）って意見はあるけど。
で、ABCの証明は証明になってないと言われている。
それ以降は3.12の証明がないのだから読む必要はない、と。
だからIUTの要約を出されてもなにも解決になってないのでは？
173:１３２人目の素数さん
18/12/08 23:01:24.23 7s/F+/XB.net
>>166
理論の組み立てを変えてわかりやすくするのが
現状では最善でしょう
それができれば。。。という話だがw
174:１３２人目の素数さん
18/12/08 23:05:44.49 vVnnQH/X.net
>>168
批判されてるのは組み立てじゃなくて定義から明らかの省略なわけで。。。
175:１３２人目の素数さん
18/12/08 23:05:56.80 RJwW4mpK.net
>>164 だからそもそも勘違いなんだって
＞ 最悪でも100%見当違いとは言われないと断言する
2+3^10·109=23^5 ｑ＝1.6299 を基底2か3もしくは23として説明してみて
不等式評価が幻想そのものなんじゃないの
176:１３２人目の素数さん
18/12/08 23:27:20.56 myY2W5pN.net
正しいと思い込んだ人は皆検証不能に陥いる論文。
177:１３２人目の素数さん
18/12/09 02:21:13.17 o96n/11y.net
擁護派の底の浅さ
178:１３２人目の素数さん
18/12/09 06:41:13.04 A8PbhGdM.net
取り巻き連中も実際には理解できたフリをしていたわけだ
179:１３２人目の素数さん
18/12/09 08:42:07.12 XOBCebey.net
>>157
＞普通の研究の世界では難解な理論を勉強しただけでは評価されない
それはそうだろうが、
それ故に研究者って努力に比して利益の少ない商売だなと思うわ。
就職できない危険性も高いし。
180:１３２人目の素数さん
18/12/09 08:46:21.48 m+Zbl6nv.net
>>153
こういうのが典型的な擁護派の書き込みなんだよな。
何ら根拠もなしに「理解が広がっている」というまことしやかな嘘。
まともな証明を提示しないくせに
こういう手口で「IUT理論は正しそうだ」という雰囲気づくりばかりに熱心だった擁護派のペテンぶりが、
目立つのがIUT騒動の本質
181:１３２人目の素数さん
18/12/09 08:56:58.65 m+Zbl6nv.net
IUT理論はもはや完全なる敗北だよ、敗北
俺が興味があるのは、SSによって、理論の根本からナンセンスといわれているのに、
なんで検証チーム（星・山下・Saidi・ブンゲン）は「数学的誤りはない」と結論し、
朝日が「このほど証明が正しいとみとめられ」と報じられるほどだったのか、だ。
SSが「いいところまで行ったが、惜しくも詰めが甘かった」というのならわかるよ。
もう完全に、180度違う結論じゃないかｗ
一体検証チームは何を見てたのかという問題になる。
人間の認知能力って、こんなものなんだろうか。
182:１３２人目の素数さん
18/12/09 09:23:33.41 m+Zbl6nv.net
望月の言っていることも180度変わってるよなｗ
望月は、星や山下がｂ自分の証明をあっさり理解したのをみてとって、
「普通の数学者なら半年もあれは理解できる」といった
つまり
「星や山下が理解できる」⇒「普通の数学者なら半年あれば理解できる」
といった。
いま望月は後ろの命題を完全に否定している。
ということは星や山下も理解していないという事だｗ
SSにいわせれば星と望月は論文理解において同反応だという。
という事は望月だって理解してないんだろうｗ
I
183:１３２人目の素数さん
18/12/09 09:25:15.15 ihXGOlMl.net
否定派も断定的な否定が多いからどちらもどちらに見える
184:１３２人目の素数さん
18/12/09 09:27:36.06 sCIAd064.net
前から言ってるけど、数学の証明なんだから肯定否定じゃなくて、
証明がなかったら終わり。
185:１３２人目の素数さん
18/12/09 09:28:20.44 sCIAd064.net
で、今回問題になってるのは数学的側面以外もなんだから、
そういうごまかしをしようとしても無駄だよ。
186:１３２人目の素数さん
18/12/09 10:39:46.59 ihXGOlMl.net
証明は出してるけど多くの人が理解出来ないという場合もあるだろうし
間違っている場合、正しいけど説明が不十分な場合などいろいろあるでしょう
これも前から言ってて同じやり取りの繰り返しだけど
断定的に決めつけてしまってはダメ
ごまかしとかではなくてね
いろいろと良くないと考えられる要素が多いのは同意
187:１３２人目の素数さん
18/12/09 11:02:45.68 LptkXub9.net
>>176
SSを根拠に言ってるがSSが正しいという裏は取れてるのか？
188:１３２人目の素数さん
18/12/09 11:18:05.22 HQl/c7Sn.net
ではどこが間違ってるか数学的に示さないとねえ
189:１３２人目の素数さん
18/12/09 11:29:03.71 0mLg64HP.net
>>182
はやくPRIMSに載せろよバーカｗｗｗｗｗｗｗｗｗｗ
190:１３２人目の素数さん
18/12/09 11:45:29.25 sCIAd064.net
>>181
そこが混同なのよ。
この件でIUTを擁護しているひとは、
命題Aは肯定的に解決できるか、それとも否定されるか
という問題（今回の件だとabc予想）と、
命題Aを肯定的・否定的に証明できているか
という問題（今回の件だとIUT）を混同している。
前者は「真偽不明」というのがあるが、
後者は周囲に理解されなかったり不十分なら「失敗」。
証明が中途半端だけど正しいのかもしれない、という状態はない。
191:１３２人目の素数さん
18/12/09 11:48:51.27 sCIAd064.net
たとえ話で言うと、
東京から大阪まで完走ルートは存在する（orしない）
というのがabc予想で、IUTは、
自分は東京から大阪まで完走した
と称していて、してないんだよ。
これに対して「東京-大阪間の完走ルートは存在するのかもしれない」
なんて言ったところでなにも弁明になっていない。
前の問題と後ろの問題をごちゃごちゃにしている。
192:１３２人目の素数さん
18/12/09 12:29:16.68 uQI4e5Aj.net
>>184
IUTは数学なの？
193:１３２人目の素数さん
18/12/09 12:33:56.43 zb3ZpVRS.net
186ほんとそれ
新しい数学とか拡がりとかで誤魔化して時間稼ぎしてるだけ
194:１３２人目の素数さん
18/12/09 13:28:29.23 shaUjFaf.net
このアイデア よく気付いたな
195:１３２人目の素数さん
18/12/09 14:21:31.89 bt+CaUJG.net
>>186
なんか、意味不明なたとえ話だな。失敗だよ。
完走したという証拠があるかどうかって話ならわからんでもないが。
証拠がないからといって、完走してないとは限らないみたいな。
196:１３２人目の素数さん
18/12/09 14:33:09.22 XBDa4Qqk.net
証拠がなくても完走したかもしれないという可能性を考えてくれるなら、
言いたい放題じゃん。つーかそれ奇数の完全証明スレのスレ主の理屈だぞ。
197:１３２人目の素数さん
18/12/09 14:34:13.31 ihXGOlMl.net
>>185
あなたの言いたいこともよく分かるけど
「証明が中途半端なのかどうか」というのも未確定じゃないかな
何年も経っているのに理解者が少ない
異議を唱えた者を説得出来なかった
などのことからそのように考えるのは分かるけどね
上で書かれてる
「『若手中堅には理解している人が多い』という話は嘘だ」というのも決めつけ
「こんな話が出ているが怪しい」「嘘の可能性がある」というのが正解
ここに対して突っ込んだだけだよ
198:１３２人目の素数さん
18/12/09 14:36:24.03 ymsFptNN.net
＞何年も経っているのに理解者が少ない
＞異議を唱えた者を説得出来なかった
＞などのことからそのように考えるのは分かるけどね
まさにIUTのことだと思うんですが、それは・・・
199:１３２人目の素数さん
18/12/09 14:37:58.54 ihXGOlMl.net
>>192
当然の話だが望月氏の証明に不十分な点があれば補足や修正が必要になるだろうね
あるいは普通に間違っているという可能性もある
いろんな例を挙げただけの話だけど
200:１３２人目の素数さん
18/12/09 14:38:06.92 o+5n6iNr.net
そろそろ神がいないという証拠はない論法になってきたな
201:１３２人目の素数さん
18/12/09 14:38:44.81 ihXGOlMl.net
>>193
もちろんIUTの話ですよ
202:１３２人目の素数さん
18/12/09 14:39:45.73 o+5n6iNr.net
>>194
まず聞きたいんだけど、数学の証明というのは不完全な場合は間違いであり、
部分的に正しいというグレーゾーンはない、という初歩は押さえてある？
203:１３２人目の素数さん
18/12/09 14:43:38.28 ihXGOlMl.net
神がいないという証拠はない、まさにその通りでしょう
神がいないと断定するのは科学者として正しい態度だとは思えません
まあ望月氏は証明の論文を出しているのだから、宗教の話と同じにするのはどうかと思いますが
後はその内容が正しいのかどうか、内容を理解出来る人がいるのかどうかの話ですね
204:１３２人目の素数さん
18/12/09 14:45:21.62 ihXGOlMl.net
>>197
確かにそうなるのでしょうね
ただフェルマーの最終定理をワイルズが証明した際にも過程においてそのようなことはあったようですが
それと上でも書いたようにあくまでも様々な可能性の一例を出しただけです
205:１３２人目の素数さん
18/12/09 14:48:09.63 o+5n6iNr.net
>>199
ワイルズの場合はミスがあったから修正したわけだけど、
あれは前の証明が正しくてそれが補完されただけ、ではないんだよ。
新作が正しい証明で、まえのものは間違っている。
この点を誤解すると、IUTは正しい可能性がある、
という変な話をし始めることになるし、
それにしか逃げ道がないのに関係者がああいう態度を取るなら、
不誠実極まるとしか言いようがないね。
206:１３２人目の素数さん
18/12/09 14:55:26.75 ihXGOlMl.net
>>200
＞新作が正しい証明で、まえのものは間違っている。
そこは理解しています
その場合はそういうことになるのでしょうね
私はIUTがそうだと断定している訳ではなく様々な可能性の中にそういうことも有り得るだろう、と
懐疑派や否定派が出てくることも状況的に十分理解出来ますし
「IUTによってABC予想が証明された」などとも断言出来ません
出来るだけの立場も理解力も無いですし
ただ上のような「まことしやかな嘘だ」という断定に対して疑問を呈しただけです
否定派の一部の中には結論（IUTは間違いである）を固定して根拠なく断定する論調があるのではないでしょうか
207:１３２人目の素数さん
18/12/09 15:07:17.60 o+5n6iNr.net
>>201
きみもそうだけど、ほんとに論点を毎回すり替えるね。
IUTに対する説明をしないなら間違いと断定せざるをえない、
なぜなら本人たちにギャップを埋める気がないのだから、
現状を最終段階にしないといけないからだ、
そしてそれをしないのに検証完了だのなんだの言うのは不誠実だ、
という部分は必ず省いて反論してくるのはわざと？
208:１３２人目の素数さん
18/12/09 15:46:50.14 ihXGOlMl.net
>>202
自分も懐疑派や否定派が出てくることは理解出来る状況だ、という文は読めませんか？
検証完了だと言ってしまうのは、自分としてもどうなのかという部分はあります
身内の数学者の間で理解者が複数人出たことを以てそう判断したのかもしれませんが
ギャップを埋める努力も必要だと思いますが、それと間違いだと断定することはイコールではありませんね
懐疑派の中でも疑いながらも最終的な判断を下していない方もいる中で、間違いだと断定するのは早計でしょう
209:１３２人目の素数さん
18/12/09 15:51:42.84 uQI4e5Aj.net
数学の証明には 、正しい 、間違っている、
間違ってすらいない、の3パターンが ある。
210:１３２人目の素数さん
18/12/09 15:51:58.74 ihXGOlMl.net
ショルツ氏らに否定された部分に関しても
望月氏側としては「その記述で十分」ということなのでしょうし
水掛け論の感は否めません
個人的には他の数学者に理解されるように努力すべき、というここの意見に同意ですが
211:１３２人目の素数さん
18/12/09 16:06:40.87 wZjYKHdA.net
裁判のように当事者より上位の存在が判定をしないといつまでたっても解決しない
212:１３２人目の素数さん
18/12/09 16:07:14.08 2rd99fqS.net
お前ら暇人やな
213:１３２人目の素数さん
18/12/09 16:11:25.54 o+5n6iNr.net
>>203
それが論点ずらしだと言っている。
今問題になっているのはIUTを理論的に肯定するか否定するかではなく、
研究倫理としておかしい、という話。
倫理的非難に対してそこをごまかして「理論は正しい可能性がある」
なんて神学論争に逃げ込むのが不誠実であり、やってることが望月たちと一緒ということ。
214:１３２人目の素数さん
18/12/09 16:13:26.99 Vckp+h9P.net
査読を通過していないものを研究成果として報告した（マスコミ報道付き）、
しかも弁明も一切なし、という時点で詰んでるからね。ここはマジで言い訳のしようがない。
215:１３２人目の素数さん
18/12/09 16:24:28.47 ihXGOlMl.net
>>208
だから「研究倫理としておかしい点があるのではないか」と意見は私は否定は
216:しません そのような意見が出ることは理解出来ます ただその他の点でいろいろと断定的に言っていたのでそこに疑問を感じただけです
217:１３２人目の素数さん
18/12/09 16:32:38.85 JFfNTUko.net
IUTが正しいかどうか以前に、動機自体が理解されてないんだよね
何故それでABC予想の理論が可能だと思ったのか、宇宙際幾何学と絶対遠アーベル幾何学の必然的な
関連性は何か。この辺を殆どのトップレベルの数論幾何学者が読めてない
これは完全に望月さんの失敗だと思う
理論的な捕捉をして、既成の圏論と一線を引くべきことも当然なんだが
218:１３２人目の素数さん
18/12/09 16:33:08.97 NfYSoMYS.net
要するにさ、否定派は納得させられてないわけよ
一方で、肯定派も納得させられていない
私個人でいえば否定派が金の問題を持ち出したり組織論を持ち出したり倫理を持ち出したりしてるのには共感しないね
219:１３２人目の素数さん
18/12/09 16:45:03.28 JFfNTUko.net
あと、某海外の研究者が動機について理解を示してるのは事実なんだが
国内の若手に肯定的な意見が広がった、というのは自分のアンテナとは違うんだが
それは動機とか論法でしょ？十分に論文が正しいと納得してる人は殆どいないんじゃないか
まあ本論文も結構努力はしてるよ。変異系列は関手と全く同じものではない、と書いてるわけだしね
身内外からしたら、じゃあ何なのって冷たく見られるけどw
自分の意見としては、基本アイデアを改めて圧縮して問うべき。勿論駄目だったら諦めるしかない
220:１３２人目の素数さん
18/12/09 17:09:36.76 4ZxQ1smP.net
正しい正しくないは別にして、IUTには面白みが欠けるんだよ
岡潔の情操数学じゃないが、情緒のかけらもない数学ではなぁ
221:１３２人目の素数さん
18/12/09 17:54:18.72 DA3R9eX5.net
リーマン予想は 京大 RIMSの基準により、
アティヤ氏が肯定的に解決した。
アティヤ講演が行われた、
概要の解説文が配布された、
主要なマスメディアが報道した、
参照 >>7 >>8
222:１３２人目の素数さん
18/12/09 18:00:48.40 JFfNTUko.net
普通は数学って解釈では揉めないから困るよな
ショルツと望月の齟齬は、やはり記述的な問題でもあるんだけど
当の論点について論文もレポートも一応労は払ってるという点を所謂アンチさん達は知らないからなあ
極端な話、全ての数学がモノイドのトートロジーに過ぎないかと言ったらそうじゃないだろ
所謂充満多重同型についても問題は同様なんだが、ホッジシアター間の壁についてこんなに揉めるとはな
ちなみに望月さんが「群論的ソフトウェア」と言ってることとブログの「心の壁と対話」みたいな話は
さりげなく遊びで理論のアナロジーの話をしてるんじゃないかな
223:１３２人目の素数さん
18/12/09 18:09:14.51 DA3R9eX5.net
アティヤ氏も独自理論を構築した結果、
リーマン予想を肯定的に解決した、、らしい
224:１３２人目の素数さん
18/12/09 18:47:45.86 boMIj8Cd.net
私も懐疑派だけど間違ってるとまでは断定できないなぁ。
なんせ一行も読んでないし。
あくまで疑ってるのはABC予想の解決という画期的な理論なのに、理解した、正しそうだという意見がちっとも盛り上がってきてなさすぎる点。
もちろん単に望月先生が強情すぎてちっとも加筆してないだけだからという可能性もあるんだろうけど、やっぱり埋められないなんかのギャップがある可能性を疑ってしまう。
でも、そう断定できる立場にはないし。
読んでないからww
ま、でもやっぱり加筆しないとダメでしょ？
研究ジャンルの近い研究者の支持がもそっと集まるように。
現状一度ケチついちゃったので普通読む気起こらないよ。
間違ってたらその時間無駄になっちゃうんだから。
大幅改訂しました、ぐ
225:っと読みやすくなってるはずです的な何か出さないと、もう読んですらもらえないと思う。
226:１３２人目の素数さん
18/12/09 20:36:42.41 m+Zbl6nv.net
アティヤだって「間違ってました宣言」をだしたわけではないし、
彼が正しい証明を得ている可能性は「ないとは断言できない」
要するに望月のケースと同じだ。
望月が正しいという可能性は、少なくとも外形論理的にはアティヤが正しいという可能性と同じだろう。
227:１３２人目の素数さん
18/12/09 20:42:15.52 G5e8RNff.net
このスレの擁護派の「内部リーク」がとことん空振りなのがイタイ。
228:１３２人目の素数さん
18/12/09 21:06:58.39 ihXGOlMl.net
外形的には同じでも人によって発言の信用性も異なれば中身も当然異なる
まあ可能性という意味ではアティヤが正しいという可能性ももちろんあるだろうが
IUT以上に信じる人が少ないだろう、ということは置いておいて
229:１３２人目の素数さん
18/12/09 21:25:01.68 HTUfs2CT.net
このスレには、ルサンチマンしか感じない。
色々あったんだろうな。数学の真理は絶対だ。
だからこそ異常なまでに人を狂わす。罪が深い学問だ。
数学を学ぶ人は、心の解毒剤として、一緒に宗教か何か、
メンタルを安定させることを実践した方がいいと思う。
230:１３２人目の素数さん
18/12/09 21:27:44.38 JFfNTUko.net
>>222
つまりIUTは正しいと？
>>221
バリバリの現役とジジイじゃ比較にならんからね。その割には着眼点がいいのだが
若い頃から考えてたアプローチなんだろう
231:１３２人目の素数さん
18/12/09 21:35:27.64 HTUfs2CT.net
>>223
柳は緑、花は紅。
232:１３２人目の素数さん
18/12/09 21:40:30.80 JFfNTUko.net
KedlayaとKimがはっきり立場を表明したら、ひとまずは収束するだろうにな
他の大御所もなかなか口を出さない通り、公に真偽を断言するのはとっても勇気がいる
適当な俺でも色々三ヶ月意見交換するまでは控えるレベル
233:１３２人目の素数さん
18/12/09 21:59:49.31 7kvey/Tk.net
>>223
横だが、
バリバリの現役とはRIMSのトンデモのこと？
234:１３２人目の素数さん
18/12/09 22:06:34.99 JFfNTUko.net
>>226
そうは言ってもグロタンディーク予想を解決して30でAMSから単著も出してるからな
Colloquiumほどじゃねーがなかなか単著出せねーんだぞAMSからは
235:１３２人目の素数さん
18/12/09 22:08:34.23 7kvey/Tk.net
>>227
で、トンデモに転落したの？
236:１３２人目の素数さん
18/12/09 22:14:20.81 JFfNTUko.net
>>228
まあ来年までは待とうやw
237:１３２人目の素数さん
18/12/09 22:21:23.76 7kvey/Tk.net
>>229
PS流にいえば
アティヤの方には 証明に近づく
かもしれない面白いアイデアがある。
238:１３２人目の素数さん
18/12/09 22:43:45.85 rgYdvFoz.net
このスレ半年くらい沈めておけよ
何にもない時期になんでそんなハッスルしてんの
239:１３２人目の素数さん
18/12/09 22:47:37.26 2rd99fqS.net
物理かぶれがコンプ撒き散らしてるだけやろ
240:１３２人目の素数さん
18/12/09 22:49:42.90 dgnPivRt.net
>>213
変異系列って何ぞ
241:１３２人目の素数さん
18/12/09 22:51:10.63 7kvey/Tk.net
トンデモらに 都合が悪い事実 発覚
242:１３２人目の素数さん
18/12/09 23:16:13.59 EPBCzC42.net
IUTは5chにたくさん話題を提供してくれたという意味では面白ネタなんだけど
あとはRIMSが証明されてないと名言するかとプロジェクト研究がどうなるかぐらいか
そろそろ終了みたいですね
243:１３２人目の素数さん
18/12/09 23:30:36.04 aDdiRsas.net
たしかにプロジェクト研究くらいか、今後変化ありそうなのは。
現状で進めるのはいくらなんでも無理があるし、
ほかの審査員が通さないだろうけど、これ以外で資�
244:煌l得できるめどがあるのか。
245:１３２人目の素数さん
18/12/09 23:51:56.34 JFfNTUko.net
来年まではここも持たせるべきだが
春頃に顕著な動きまたは通らなかったら実質断念に近いのではないか
批判論文から半年経つ頃だしな
246:１３２人目の素数さん
18/12/10 00:06:35.19 HyX0FyKT.net
>>232
英語をよめますか？
>>18
247:１３２人目の素数さん
18/12/10 00:10:49.23 Rr55JUVB.net
宇宙広杉
ーーーーーーーー
Ob(C)はその性質から、集合より広いレベルの概念となり、クラス(class)と呼ばれる。
クラスは「全ての集合の集合」のような集合論では定義できないようなものも含むことができ、
そのような場合は真のクラスという。Ob(C)が真のクラスではなく集合であるような場合は小さな圏という。
クラスよりさらに広いレベルのものは宇宙(universe)と呼ばれる。
宇宙は例えば集合論で考えられる操作全てを内部に包括するような概念である。
ある数学を構成する一つの世界といっても差し支えないだろう。
宇宙際タイヒミュラー理論に代表される宇宙という言葉はこれのことを指す。
248:１３２人目の素数さん
18/12/10 02:31:28.47 jmXvNsr6.net
宇宙より広い世界はもうないの？
すべての宇宙を集めて合併させるとどうなる？
249:１３２人目の素数さん
18/12/10 03:00:47.78 LVTNg4za.net
それを求めてやろうとしたのが宇宙際幾何学なんですがね
250:１３２人目の素数さん
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:１３２人目の素数さん
18/12/10 11:42:53.59 9Ma1x+nn.net
数学の宇宙でも 困ったら更に拡張して
仮定を増やし 定義する。
この操作を続けると 間違いは形式的に
解消するだろうが
物理では 複雑怪奇なこの操作を批判している。
物理理論 は測定の作業仮説であり
複雑怪奇な理論は 実験予測がないどころか
何を測定すればよいかも不明だ
253:１３２人目の素数さん
18/12/10 12:29:12.28 wFQ0YGCf.net
Nスペでこの顛末が放送されるて噂、ほんまなん？
254:１３２人目の素数さん
18/12/10 13:12:5
255:7.46 ID:s5JFsDMr.net
256:１３２人目の素数さん
18/12/10 13:27:57.76 vqsi9o56.net
>>245
マジか
どこからの情報？
本当にやるならめっちゃ面白そうだけど
257:１３２人目の素数さん
18/12/10 14:25:45.02 PEPazNYX.net
この時点で結末って、NHK RIMSに喧嘩売る気かね？
258:１３２人目の素数さん
18/12/10 14:29:25.21 PcX1aQd2.net
どーせ>>245の脳内妄想
259:１３２人目の素数さん
18/12/10 14:41:52.63 St7dN5W6.net
>>248
RIMSは >>7 >>8をきちんと公に説明する
べきだね。
できるならば
260:１３２人目の素数さん
18/12/10 15:14:16.27 s5JFsDMr.net
ガセの可能性もあるけど
「また世間を騒がせることがある」ってこのことなのかな
261:１３２人目の素数さん
18/12/10 16:08:55.84 BeHBYILr.net
>>242
一番目は、最終節が辻褄合わせの出鱈目なのか再定式かってことだけど、論文の内容を踏まえたら後者しか
ありえない。それで本人はあまり認めてないようだけど、基本的にその辺の議論は明らかに
絶対遠アーベル幾何学から来る観察に殆どを負っている
Stixは望月の絶対遠アーベル幾何学とは違うことをやってるので、そこは理解の困難が生じる可能性がある
二番目の可能性についてはノーコメントw
262:１３２人目の素数さん
18/12/10 16:29:37.12 BeHBYILr.net
通常のスキーム論を一般化しないとABC予想は恐らく解決できないので、少なくとも数論幾何学に
真剣に関わる人間は、この理論をどう見るか、本当は避けて通れないんだよな
もし間違いだとしても、少なくとも「悪意」はないだろう。それを似非と言っていいのかどうか
焦点は最終的には「エタールテータ関数の構造の位置付け」にあると言っても良い
ここに注目するとショルツらの批判と望月の弁護が、実は微妙に食い違うことがわかる
どちらが正しいように見えるかは俺は書かない
263:１３２人目の素数さん
18/12/10 16:38:36.98 BeHBYILr.net
>>242さんが何処までフォローしているかはわからないけど、この論争は基本的な問題に関わりつつ
かなり判断に高度な思慮を要すると言っていい
IUTの構想自体はハイレベルな文脈を持っているので、たとえ問題が単純でも一旦は全体を理解しなきゃ
ならないのが厄介なんだな。一種のゲシュタルトというか
264:１３２人目の素数さん
18/12/10 16:42:38.30 aEmGpdSm.net
全体を理解しないといけないなんてトンデモの常套句じゃないか。
ってかこれ前（前スレ？前々スレ？）も出たけど段階分けできない理論っておかしいでしょ。
265:１３２人目の素数さん
18/12/10 17:19:53.07 fGJCndzJ.net
げしゅたるとよいひんとだ
266:１３２人目の素数さん
18/12/10 17:24:43.61 vqsi9o56.net
星さんの入門ペーパーですらぶっちゃけ何が言いたいのか良く分からんわ
実態があるのか無いのかわからないものの上に成り立ってるというか
高度な思慮っても順を追って説明できてないものをどうやって外野が思慮するんだって感じだけど
267:１３２人目の素数さん
18/12/10 17:26:30.82 VOd3Leev.net
☆君もわかったフリはマズかったんじゃないか？
268:１３２人目の素数さん
18/12/10 17:55:48.77 BeHBYILr.net
>>255
通常は理論を部分に分解できるといっても、非常に広い対象についての構造を考えるのはおかしいことじゃない
テレンスタオの言ったように、階層的なシステムについて考えているので、部分的な構成や大まかな戦略が
正しくても、パズルを嵌めてようやくおかしいということはありうる
269:１３２人目の素数さん
18/12/10 17:58:40.04 BeHBYILr.net
>>258
ゲシュタルト的な誤りがある場合、色々な視点から見て「大体正しく見える」ことはありうる
パズルの図柄の一部分だけおかしいとか、ウォーリーを探せのケースを考えて欲しい
勿論、数学では全体が整合しなかったらアウトなんだが
270:１３２人目の素数さん
18/12/10 18:14:48.60 vqsi9o56.net
>>259
その説で行くと概念を抽象化、拡張して大きな理論体系を作ったけど
元の体や環の性質につき合わせるところで全然機能しなくてまったく無駄だった
つまり大まかな戦略が間違ってたっていうオチもあるんじゃないの？
271:１３２人目の素数さん
18/12/10 18:20:07.96 BeHBYILr.net
非常にややこしいのは、文元の言うように、ショルツらが本当にIUTの有意味な部分全体を咀嚼したのか、
あの批判論文だけだとわかりにくいこと
なので、望月レポートではその点について不満を噴出させたのだ、と言える
勿論この部分は実際には肝心の論点とはあまり関係ない
しかも更にややこしいのは、望月レポートは一応ショルツの指摘についても一見尤もらしい反論はしていること
この辺りからも異様にややこしい状況を推察していただけると思う
272:１３２人目の素数さん
18/12/10 18:25:32.39 BeHBYILr.net
>>261
おっしゃる通り
環構造を解体して復元することと、テータ関数の埋め込みを同時に行い、それらをまとめて実ガウス積分を行う
これをFrobenioidとAnabelioidを行い実現するわけだが、完全に理論を構成しなくても
何処かで気付ける余地はあった。理論が複雑過ぎるために一部不整合を見落とした可能性が高いと思われる
灯台もと暗し
しかし、ショルツが言う、全くアイデアがない、という指摘には俺は同意しない
半分くらいは正しい戦略だった
273:１３２人目の素数さん
18/12/10 19:11:54.93 St7dN5W6.net
>望月レポートは一応ショルツの指摘について
も一見尤もらしい反論はしていること
>>18 なんだよね
274:１３２人目の素数さん
18/12/10 19:18:31.75 BeHBYILr.net
単なる圏論的なミスとも言い切れないのが難しいところだ
絶対遠アーベル幾何学特有の論法があって、しかもそれが幾何学的射よりも抽象的な理論と言われるとね
最終的に誤りだとしても、前代未聞のハイレベルな誤りだよ、これは
専門家ですら迷うのはよくわかる
275:１３２人目の素数さん
18/12/10 19:42:13.62 St7dN5W6.net
圏論や定義を問うことは論理構造を
整理するために使っていると思います。
絶対遠アーベル幾何学特有の論法ですか？
最後の出口は不等式でしょ、
スティックスのコメントも味わい深いと思った
276:１３２人目の素数さん
18/12/10 19:55:16.22 x+SLRKrM.net
相変わらずチンパンジーがキーキー鳴いてるわ
鳴き声に数学用語はふくまれるが内容はない
277:１３２人目の素数さん
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:１３２人目の素数さん
18/12/10 20:03:58.20 s5JFsDMr.net
そういう書き方はIUTとか擁護派の印象自体を悪くするから辞めた方が良いかと
279:１３２人目の素数さん
18/12/10 21:07:40.97 pYwl4GBR.net
いちばん単純で一番明瞭に指摘できる箇所に絞ってピンポイントに提示している感がハンパない
280:１３２人目の素数さん
18/12/10 21:32:20.97 BeHBYILr.net
>>267ってjinなのかね。擁護にしても何か違和感あるんだけど
何か集会がどうこう言ってた人もいるけど、本当にそんな勢力があるなら、ショルツらの批判の
何が的外れなのか書いたらいいと思うんだが
281:１３２人目の素数さん
18/12/10 21:41:02.13 dU17xl7V.net
>>267は京都大学の職員。アイちゃんの世話してる。
282:１３２人目の素数さん
18/12/10 21:48:40.96 BeHBYILr.net
coric-description of non-coric objectsっていう話が出てくるんだけど、論争の問題点はここでもある
奇妙な表現だと思いませんか、これ。これが見方によってはどっちも正しいんじゃないかと思えてしまうんだが
multi-radial algorithmについての批判はこの妙な表現にも関わってる
283:１３２人目の素数さん
18/12/10 21:53:59.20 PEPazNYX.net
>>273
kwsk
284:１３２人目の素数さん
18/12/10 22:19:37.57 BeHBYILr.net
>>274
受理の是非が確定するまでは内容についてあれもこれもとは
もしかしたら魔法のアルゴリズムが認められるかもしれないし
285:１３２人目の素数さん
18/12/10 23:24:39.25 p297T2Sl.net
数学は妄想の科学領域に達しました
286:１３２人目の素数さん
18/12/10 23:40:06.37 h+mb+XlA.net
まあ、jinが匿名で暴れているんだろうな
あの手のばあさんがおとなしくできるわけない
twitterがおとなしいってことはその分ここで暴れているんだろう
287:１３２人目の素数さん
18/12/10 23:52:23.11 ylaxb81I.net
マントヒヒならぬマンコヒヒ
288:１３２人目の素数さん
18/12/11 00:28:43.22 S072gwOM.net
Nスペ話のリークもおばさんだろうな
289:１３２人目の素数さん
18/12/11 01:56:42.36 h7NydyA2.net
でもNスペでこの時点でやるなら、否定的報道なわけないんじゃね？
間もなくアクセプトとまでは行かずとも中立よりずっと擁護側のような報道になる希ガス。
290:１３２人目の素数さん
18/12/11 02:21:51.50 EzB5aqHG.net
アクセプト以外のシナリオでやるわけがないw
デマだろう
291:１３２人目の素数さん
18/12/11 02:27:07.53 h7NydyA2.net
まぁ近日中にアクセプトの可能性が全くの０とまでは言えないからなぁ。
そうなったらホントに大丈夫なのかすんごい不安はあるけど。
292:１３２人目の素数さん
18/12/11 03:35:16.42 AB3xIuDT.net
URLﾘﾝｸ(blog.goo.ne.jp)
↑これおもろいｗ、コメント読んでみて。
出来たらみんなに広げていってほしいな。
293:１３２人目の素数さん
18/12/11 07:52:04.33 Vr6TLxnN.net
jinは井口某のリンクなんて張らん方がいいぞ
学者崩れのレイシスト陰謀論者や．
294:１３２人目の素数さん
18/12/11 08:47:04.81 90w47BjO.net
トンデモ IUTの周りへ
トンデモさん 大集合
295:１３２人目の素数さん
18/12/11 09:06:57.47 ujD7M0/+.net
IUTの真偽よりも、SSガーって叫んでる否定派と、それに反応する擁護派、どちらも全く生産性のない議論を楽しむスレ。
296:１３２人目の素数さん
18/12/11 09:10:54.36 90w47BjO.net
トンデモさん こんにちは
297:１３２人目の素数さん
18/12/11 09:57:15.20 90w47BjO.net
0772 １３２人目の素数さん
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:１３２人目の素数さん
18/12/11 12:43:07.54 ZMzdqjWO.net
>>280
NHKの報道班は割と日本の組織に批判的な特集も組むからわからんよ
こんなの持ち上げるためにわざわざ番組作るとも思えんし
299:１３２人目の素数さん
18/12/11 15:34:44.94 dnJH3KZ0.net
リーマン予想は確かに解決してない中でやったけど、今回のは解決されない限りドラマがない
ただただグダグダなだけ。番組にはならない
300:１３２人目の素数さん
18/12/11 15:58:19.52 zqmcm0Sl.net
今の微妙な状況で、メディアが特集組むわけない。
リーマン予想の特集に出てきたドブランジュは、外国人だからこそネタにできたわけで…
301:１３２人目の素数さん
18/12/11 16:26:21.24 xcetgyuP.net
>>291
あれな。
同国内のメディアがやったらマズい。
302:１３２人目の素数さん
18/12/11 17:49:25.52 Geah0GYx.net
事実が大切だね
303:１３２人目の素数さん
18/12/11 17:53:51.48 dnJH3KZ0.net
しかしjinは役に立たねーな
数学ができないならできないで、国内外の研究者に匿名でもいいから取材すればいいのに
俺の知る範囲だと、本当に精読されてない。サンプルは少ないとは言え、
読んだがよくわからなかったので放置みたいな人ばかりだ
304:１３２人目の素数さん
18/12/11 17:57:36.26 ZMzdqjWO.net
精読っても何が書いてあるかわからないものは読めないんじゃね？
努力に幅はあるにせよ
行間を埋めなくてもすらすら読めるようなものならとっくに話はついてるだろうし
305:１３２人目の素数さん
18/12/11 19:01:33.22 Er+Nf/KD.net
だよねぇ。
僕ら一般ピーポーはともかくとして、ある程度以上の実力ある数学者ならある程度以上その気になれば読める程度でないと。
これ読めばABCの証明がわかるという記事ならある程度どころか、相当読む気になるハズなのに。
あってんのかどうだか知らないけど行間広すぎるのは間違いない。
306:１３２人目の素数さん
18/12/11 20:42:04.45 nHjSGGPt.net
思いて学ばざれば
デンジャラス
307:１３２人目の素数さん
18/12/11 22:24:29.76 uysIQOl8.net
白黒ついてない状態でNスぺなんかあるわけない。
308:１３２人目の素数さん
18/12/11 22:24:43.70 qLRn3efl.net
もし行間が 多重に分岐し
もし行間が 常に もやっとしていて
もし行間が クラインのつぼならば、
あのひとたちは「あたらしい数学」
というのだろう
309:１３２人目の素数さん
18/12/11 22:37:32.36 9hW3imYt.net
それがあるんだなぁ
310:１３２人目の素数さん
18/12/11 22:48:02.34 dnJH3KZ0.net
素人もプロも優柔不断さについてはあまり変わらないが、論争についてショルツの圧勝とか
思ってる人はあまりいないんじゃないかと感じる。でも好意的とまではいかないような
それとも気を遣って悪く言わないのかは知らない
遠アーベル幾何学的な文脈からすれば確かに望月の反論はかなり妥当
これ、本当に凡ミスとかじゃないんだよ。昨日見落としって書いちゃったけど
考え方によっては新しい数学の新しい論理に身を懸けたとも言えるのね
前も書いたけど、Stixの遠アーベルと望月、星の遠アーベルは違う。そこの戦いでもある
311:１３２人目の素数さん
18/12/11 22:50:25.91 YZmi0qE1.net
クラインの壷って実際に作れるんだよね？どこかで作れないって聞いたような気がするんだけど、あれ普通に作れるじゃんね？
312:１３２人目の素数さん
18/12/11 22:54:27.24 lHkYogTE.net
IUTみたいなのと同列に扱うなよ。遠アーベルの評判が悪くなるだろ。
313:１３２人目の素数さん
18/12/11 22:54:46.16 dnJH3KZ0.net
要するにショルツの指摘が破れてるとしたら、その論拠は完全に新しい数学による
つまり、スキーム宇宙を超えた記述レベルが例の格子図式でできているのかどうかによる
2020年のプロジェクトを考えたら、来年こそは京都は決断しなければならない
314:１３２人目の素数さん
18/12/11 23:00:06.13 ZMzdqjWO.net
6年経っても真偽が定まらない理論とか科学ドキュメンタリーの格好の題材なんだよなぁ
教授のふるまいやら数学コミュニティの反応やらRIMSの査読、予算といろいろ背景も興味深いし
ちゃんと作れば海外にも映像売れそう
315:１３２人目の素数さん
18/12/11 23:09:07.85 wgwoFn2l.net
あまりの進展のなさに最近はついにjinも飽き気味らしい。ツイートしなくなったな。
316:１３２人目の素数さん
18/12/11 23:09:24.06 N+ttfAQM.net
まぁ一度外部の人間の目が入った方がいいというのはその通りかもね。
査読は実際にはどの程度終わってるのか、本当に中立的な立場の人がある程度以上の誠意を向けて、質的にも量的にもある程度以上の目でなされているのか、なされたのか。
基本数学の世界は性善説で外部の目がなくともそれらがなされていると見なしてるけど、キチンと外からの目を入れてもらうのもいいかもしれない。
長い目で見ればそれがPRIMSの信頼向上につながっていいかもしれない。
317:１３２人目の素数さん
18/12/11 23:10:01.71 dnJH3KZ0.net
現況をまとめるが、自称中の人がいたら間違いは訂正してもらって構わない
・既成の数学から見たらショルツの指摘は自然である
・ウィキペディアに書いてあるように、望月の反論の論拠はIUF特有、特に絶対遠アーベル幾何学を用いた
IUF特有の構造である
・コミュニティに想定以上に理解されていないのでアクセプトを決定するのが恐らく躊躇されている
この膠着状態を脱するには、前にも書いたがFaltingsかBombieri界隈の幾何学者を納得させるしかないだろう
外圧を逆利用するしかないのだ
318:１３２人目の素数さん
18/12/11 23:15:27.49 9hW3imYt.net
>>305
かなり良質なものらしい
319:１３２人目の素数さん
18/12/11 23:18:27.50 sWrCPOfH.net
>>301 >>303
これについては>>303が正しいな。
もっちーのabsolute anabelianの論文までは遠アーベル内部での理解者も多い。
iutを遠アーベルの範疇でとらえるのはおかしいし、もっちー自身もそんなこと言ってないし。
320:１３２人目の素数さん
18/12/11 23:20:03.96 qLRn3efl.net
Nスペ 予想
ドキュメンタリー
「ホラー
京都市左京区北白川追分町 限定定理 は 実在
した」
321:１３２人目の素数さん
18/12/11 23:22:40.14 WSbs0vAR.net
>>286
生産性のないのはIUT理論そのものだろ。
いったい2012年からどんな進展があったというんだよ。
支持者フェセンコにいわせれば、そこから何百という新しい結果が導き出されるんじゃなかったのか。
なんの結果も出ないこと自体が、望月たちの脳内が混乱して議論が進められなくなってる証拠だろ
きちんとした論証のないままに、比喩とイメージだけで論を進めた挙句、数学的実態のない空疎なものになっている。
322:１３２人目の素数さん
18/12/11 23:30:15.60 WSbs0vAR.net
>>307
何をいまさらｗ
星・山下・Saidi・ブンゲンによる内部の査読が外部では全く信用されず、
外部の人間であるショルツ先生に事実上の査読を依頼したら、
「理論の根本がナンセンス」というきつい評価をいただいて、
望月もRIMSがそれを素直に受け止められず立ち往生しているというのがこの1年の出来事でしょ。
望月自身の見解が180度変わるなど、理論そのものを彼ら自身理解できていない実態が暴露されている有様。
323:１３２人目の素数さん
18/12/11 23:44:52.16 qLRn3efl.net
>>304
新しい？
>>244 参照のこと
324:１３２人目の素数さん
18/12/12 00:14:59.17 2Z+dwFrZ.net
軽い捕捉
何が最大の齟齬か
→記述レベルが違う。絶対遠アーベル幾何学的な高レベルのパターンにラベルを付け区別をしている
指摘された欠陥は低レベルな記述に依存した際の性質に過ぎない
その際、IUTは狭義の点集合やそれらの射とは異なる対象を扱っている。つまり、既成の数学とは異質
こうした異質な記述による論理的識別を認めるか否かが問題になっている
人によっては異論はあるだろうしまとめすぎと思われるだろうが、勝手なまとめなので容赦を
325:１３２人目の素数さん
18/12/12 00:48:14.65 5wR7QujC.net
Nスペよりドラマ向き
古畑でフェルマーの最終定理にちなんだ殺人事件の話があったけど
あれみたいに今回の件のパロディ作れば良い
326:１３２人目の素数さん
18/12/12 00:48:53.25 2Z+dwFrZ.net
更に捕捉
本当にそんな抽象的な記述レベルの話と件の不等式に関係があるのか？
→あると言ってよいだろう。実際、「定義より自明」という表現はこの問題を踏まえれば
そんなにおかしな表現ではない。特に第三論文p126参照（勿論ここだけ読んでもわかりません）
327:１３２人目の素数さん
18/12/12 00:54:34.80 2Z+dwFrZ.net
>>314
だからこそ、FrobenioidとAnabelioidという構造的な縛りを入れた上で、その範囲で幾何学的射や点集合よりも
根源的なレベルの、もはや単なる幾何学ですらない理論を展開したわけだ
まあ来年までは決着はお預けだよ
328:１３２人目の素数さん
18/12/12 04:24:31.40 AJzBQpK2.net
> 京都は決断しなければならない
決断の問題だった
329:１３２人目の素数さん
18/12/12 06:32:41.53 Y2OUmdPH.net
> 根源的なレベルの、もはや単なる幾何学
ですらない理論
IUTは 血税を使い、なんでもありのカルト
やオカルトの類ですね。
オカルトvs 近代科学です
330:１３２人目の素数さん
18/12/12 07:01:17.62 Y2OUmdPH.net
>FrobenioidとAnabelioidという構造的な縛りを入れた上で
>>18 なんですよ
物理らしき用語を濫用していますね
331:１３２人目の素数さん
18/12/12 08:21:28.37 xljgTXTP.net
>>296 一般ピーポーが、なんでそんな知ったかぶったことを言えるのやら…
332:１３２人目の素数さん
18/12/12 08:26:59.64 YG3pOKZS.net
わからないことには沈黙を
333:１３２人目の素数さん
18/12/12 08:50:06.48 Y2OUmdPH.net
1と2が矛盾していることがわからない
RIMS教授たち。
沈黙中、、
↓
本学(京大) 報告書等 >>7
学部 研究科等の研究に関する現況調査表
数理解析研究所 RIMS
1 【資料2:発表論文数】
所員の発表論文数
※査読付き論文のみ
※括弧内は国際学術誌に掲載された論文数
2
>望月新一による「宇宙際タイヒミューラー
理論」の構築とその結果としての ABC 予想
の解決は、特筆 すべき出来事である。
>当該論文は現在査読中であるが、
望月新一が同理論の概要を解説し た業績
番号1― (2)(2014)が、講究録別冊として
刊行されている。
334:１３２人目の素数さん
18/12/12 09:47:45.07 nCirm4VM.net
>>302
3次元空間内では、クラインの壺は実現出来ない。
面が交叉したものなら出来る。
335:１３２人目の素数さん
18/12/12 09:55:32.72 0irO1ekh.net
なんか上のほうでごちゃごちゃ書いてるけど、
なんでこんなデタラメがつらつら並べられるのか分からん。
数学の理論は理論それ自体の構築に意味があるんじゃなくて、
証明のツールであるというのが把握できてないような印象を受ける。
とりあえず数学プロパーじゃないっぽい。
336:１３２人目の素数さん
18/12/12 10:13:21.77 71AAifBg.net
新しい幾何学なんだよ
337:１３２人目の素数さん
18/12/12 10:16:06.71 0irO1ekh.net
>>327
それ自体どうでもいい。
証明に使えないなら数学とは無関係だから。
338:１３２人目の素数さん
18/12/12 11:07:39.91 JYPYHsws.net
Nスペってまじなの？どこから出た情報だよ……
339:１３２人目の素数さん
18/12/12 11:11:29.72 YG3pOKZS.net
脳内ソース
340:１３２人目の素数さん
18/12/12 11:57:29.53 0PU5FnjJ.net
かつて収束や発散を曖昧に扱っていたようにIUTでもある種の感覚、解釈に頼った理論展開がなされていてそれが自明という言葉になっちゃってる
ショルツらの感覚、解釈では理論自体が自己矛盾を導いてるように読めてしまう
それを解消するために来年からのプロジェクトで厳密化がなされていくはずだけど時間かかりそう
341:１３２人目の素数さん
18/12/12 12:24:54.69 71AAifBg.net
もう撮影は終わってるから、編集と査読がどうなるか待ち。来年夏頃か？
342:１３２人目の素数さん
18/12/12 12:37:44.10 g5+n7u14
343:.net
344:１３２人目の素数さん
18/12/12 14:48:06.10 K3dWYvit.net
もう撮り終わってる？
査読の結果によってまた内容が変わってくると思うのだが・・・
まあそもそもが真偽不明の話だけど
345:１３２人目の素数さん
18/12/12 15:08:46.39 g5+n7u14.net
IUT論文の査読結果の前から
PRIMS編集者の結論がでているね
>>7 >>8
↓
事例4
>望月新一による「宇宙際タイヒミューラー
理論」の構築とその結果としての ABC 予想
の解決は、特筆 すべき出来事である。
>当該論文は現在査読中であるが、
望月新一が同理論の概要を解説し た業績
番号1― (2)(2014)が、講究録別冊として
刊行されている。
346:１３２人目の素数さん
18/12/12 16:36:09.73 PqXYaj7p.net
>>326
君は前からアンチやってる人だからポジショントークだね
論点は不等式なんだよ。まさに証明の最重要ステップだ
347:１３２人目の素数さん
18/12/12 16:50:36.99 PqXYaj7p.net
歪みの計算はあの不等式に直接関わっている
それで、あの不等式は格子に宇宙を位置付ける記法、計算に依存している
望月がショルツらの指摘が単純だと言ってるのは、突き詰めれば
あたかも普通の点集合の対象と射について話を処理してるように見えるからだよ
IUTが殆ど出鱈目と決め付けてる人間こそプロパー（って何？w）ではないだろ
有意味か否かギリギリの所で論争してるんだぞ
348:１３２人目の素数さん
18/12/12 16:53:27.21 YG3pOKZS.net
math2.0
349:１３２人目の素数さん
18/12/12 17:00:05.50 0irO1ekh.net
>>336
だったら証明を提示すればいいだけ。
>>337なんてのはまったく証明の１プロセスにもなっていない。
ただのおしゃべりでしょ。
350:１３２人目の素数さん
18/12/12 17:00:27.58 PqXYaj7p.net
>>331
厳密には自己矛盾というか、ナンセンスだね。手続き不能な論理に見えるということ
そりゃそうだろう、明らかに通常の集合論とは異質な論法なのだから
重要なのは圏論的な範疇は守っていることだよ
文元が好意的なのも思想的必然だよね
かつてのカントールみたいなもんかもしれないのだから
351:１３２人目の素数さん
18/12/12 17:01:55.33 0irO1ekh.net
証明になっていないという指摘に対して、
証明を示さずに理論の構想を示すことで反論になってると思ってるのがダメなんだよ。
352:１３２人目の素数さん
18/12/12 17:06:15.79 wUHF43U6.net
>>326
微分幾何の全体は別の何かを証明するためのツールに過ぎず、フラクタル理論もカオス理論も何か他のものの証明のための単なるツールである
と自称数学プロパーが相変わらず何か物凄いことを述べています ｗｗｗｗ
何か偉い先生がお題を出して→それを解く→それが数学であり一番偉いことのはず だって中学高校時代ずっとそれやってきたんだもん
何だよ理論とかー 先生のお題を解いていい点数を上からもらわなけりゃ全く意味ねー
古今の数学者 「数学の数理の、圧倒的な深さ神秘さ、広大さや新しい地平を見たい そういうことで我々はやってきたんだが、自分らはプロとは言えないみたいだな ヒソヒソ」
353:１３２人目の素数さん
18/12/12 17:10:10.06 PqXYaj7p.net
>>341
ノーノー
IUFの論法が正しいかどうかが論争になっている
認識できれば証明は自動的に論文の通り成り立つ
ちなみに、格子の計算原理は前にも書いたが、二つの既成の数学理論を融合した発想になってるものだ
そうだから、新しい論法だが懸けてみようと思ったんじゃないか
354:１３２人目の素数さん
18/12/12 17:12:41.22 PqXYaj7p.net
ちなみに、これまで成書でIUTの内容に触れたのは黒川-小山、安福の三人だけ
それで、この三者共部分的な理論の戦略や原理を解説してるが、IUFの論法には殆ど触れていない
賢いっちゃ賢い
355:１３２人目の素数さん
18/12/12 17:21:35.16 lGPi/8Bz.net
有意義であるかまだ定かじゃないならアクセプトしちゃダメでしょ？
356:１３２人目の素数さん
18/12/12 17:41:20.25 PqXYaj7p.net
同じ集合論の拡張でも、遠アーベル幾何学的な理論でなければもう少し受容されやすかっただろう
何故そうなのかは微妙なニュアンス
357:がわかる人間でないとわからないから難しいんだが 単にマイナーだからという理由だけではない 全くわだかまりなくこの路線で行くなら、遠アーベル幾何学ではなくより単純な理論を作るべきだと思う でも、こういう状況で通すかどうか自体は非常に興味深い
358:１３２人目の素数さん
18/12/12 17:51:02.02 tCzugIcJ.net
「論法」なんて数学の概念はないけどね。あるっていうんなら厳密に定義しないと。
〇月にアクセプトされると言ったりNステで報道されると言ってみたり、
もはやIUTはオカルトと香具師の巣窟になってるな。
359:１３２人目の素数さん
18/12/12 18:02:56.59 fuCSJiJq.net
まだブンゲン書き込んでるのか
いい加減諦めればいいのに
360:１３２人目の素数さん
18/12/12 19:06:51.66 lUILcS/g.net
>>340
>明らかに通常の集合論とは異質な論法
>>324 >>335 参照のこと
>重要なのは圏論的な範疇は守っていることだよ
文元が好意的なのも思想的必然だよね
>>18 参照のこと
361:１３２人目の素数さん
18/12/12 20:12:15.81 PqXYaj7p.net
>>349
Robertsもかなりフォローしているのだから、疑問点を論文にするべきだと思うわ
今回ここまで認知的不協和を生んだ主因が、絶対遠アーベル幾何学によって階層性を
表現したことにあるのは確か。レポートを読む限り、本人も十分に自覚できてない
圏論的な構造の範疇にはあるが、通常の圏論の論理的範疇かというと、違う
あらゆる理由から理解されにくくて当然
362:１３２人目の素数さん
18/12/13 01:01:42.89 x4P5CYZk.net
理解できなくても数学の新しい扉が開くかと
ワクワクしていたのだけどこの１年は逆に閉じてしまった
印象だなあ。
363:１３２人目の素数さん
18/12/13 02:42:21.93 gMktMhDK.net
バカが娯楽として消費する物語にされてもねえ
364:１３２人目の素数さん
18/12/13 03:28:26.29 Ro/WaY7S.net
もっちーの代数学賞からIUTの失敗までが映画になったら見たい。ヒットしそう。
365:１３２人目の素数さん
18/12/13 04:30:10.99 5OMQUvON.net
複数の世界線の実在が証明されて数学どころの話ではなくなる、の流れを予想
366:１３２人目の素数さん
18/12/13 08:01:19.42 JCy65lAu.net
>>353 そんな、盛り下がってく映画がヒットするわけない
367:１３２人目の素数さん
18/12/13 08:09:15.09 2WnD5Mo4.net
ホラー
「 ザ リング / 衝突する環 」
202× 年 京都の 大学 廃墟に古井戸があり、、
368:１３２人目の素数さん
18/12/13 08:21:11.26 e/mUXgYq.net
厳密化した上で再構築しようとしたらEGA.SGAレベルの超大作になりそうだな
望月さん頑張れ
369:１３２人目の素数さん
18/12/13 08:24:57.12 2WnD5Mo4.net
わ、、
湧いてきた
ガクガクブルブル
370:１３２人目の素数さん
18/12/13 09:58:06.17 GigRgvS+.net
>>354
地球侵略を目論むフロべニオイドとアナベリオイドが侵攻してくるんだろうなぁ…
371:１３２人目の素数さん
18/12/13 10:15:00.57 5ZmkbDwB.net
>>350
なんでこんなくだらないものに論文を書かないといけないんだよ。
業績になるわけでもないのに。
STAPのときもそうだけど、検証のために他人に時間を割かせているという罪悪感がないのかね。
372:１３２人目の素数さん
18/12/13 12:08:00.55 F83zpsdc.net
相対論や量子論と同じで今さら間違ってましたとは口が裂けても言えないんだよ
373:１３２人目の素数さん
18/12/13 13:09:51.88 CHerrFpC.net
>>361
で、おまえさんは相対論や量子論を間違ってるとでも考えてるのか？
374:１３２人目の素数さん
18/12/13 14:44:47.98 F83zpsdc.net
>>362
騙されるのは嫌だからね
STAP細胞はあると思ってる
375:１３２人目の素数さん
18/12/13 14:49:50.40 LCOZA+HC.net
ありまぁす！
376:１３２人目の素数さん
18/12/13 15:13:35.62 pMsd2EL1.net
>>363
うーんこの小保方
377:１３２人目の素数さん
18/12/13 15:59
378::54.59 ID:3Vj66JdS.net
379:１３２人目の素数さん
18/12/13 16:21:01.04 fKg1M+Ef.net
IUTの古井戸から色々と湧いてくるね～
380:１３２人目の素数さん
18/12/13 16:26:06.36 LCOZA+HC.net
信者アンチ問わずチンパンさんと同レベルの書き込みはご遠慮くださーい
381:１３２人目の素数さん
18/12/13 17:56:41.66 F83zpsdc.net
論文発表以来、何の進展もないんだからしょうがない
382:１３２人目の素数さん
18/12/13 18:03:45.53 3Vj66JdS.net
受容が厳しいのは事実だが、論争が世に出たのは進展だ
とにかく来年だな。アクセプトしちゃって論議を後処理する覚悟で行くかどうかだが
保留だとしたら実質的な降伏になる
383:１３２人目の素数さん
18/12/13 18:07:52.65 fssy/t/Z.net
量子力学が間違っていてSTAP細胞があると思ってる奴が書き込むレベルのスレ
IUT以上に存在価値ないな
384:１３２人目の素数さん
18/12/13 18:19:14.65 fKg1M+Ef.net
>>371
隠れ擁護派だろうね
385:１３２人目の素数さん
18/12/13 18:19:33.92 GL4/bHh2.net
議論あとまわしにしてどうする？
もう今の時代議論のたたき台としての雑誌の存在価値なんかない。
もうネットの時代なんだから。
今の時代、論文誌に求められてるのは査読の機能。
実力ある数学者たちが厳正に査読をして相当以上の確率で信頼できるもんじゃないと。
数学辞典や教科書つくってるんじゃないんだから。
引用するだけなら辞典や教科書の方が楽だけど、それでもやっぱり極力論文誌を引用するのは、もちろん最初に理論作った人の物引用しないともあるけど、やっぱりそっちの方が信頼性高いからだよ。
引用したはいいものの後で間違ってたら大変だもん。
ある論文の間違いが、べつの論文の間違いにつながって、…で後処理大変になる。
１００年前じゃないんだから。
386:１３２人目の素数さん
18/12/13 18:22:16.29 iPL+Go4s.net
おこぼれにあずかりたいおっさんとサイコパスと空気読めない御大がそろい踏み
では雲行きがあやしい
387:１３２人目の素数さん
18/12/13 18:26:18.57 FCjk+LxP.net
もっちーが頑張って多重なんちゃらを全部明確な定義を与えて書き換えれば逆転のチャンスもあるかもだけど
現状だと保留するのは当然で、証明されていないとRIMSが明言するかどうかの方が気になるわ
388:１３２人目の素数さん
18/12/13 18:28:20.03 F83zpsdc.net
>>366
近似じゃなくて方便なんだよね
だから正確にいうと間違いだし
量子コンピュータが実現することは
今後も絶対にないだろう
389:１３２人目の素数さん
18/12/13 18:31:17.57 3Vj66JdS.net
>>373
あんたもよく字面通りに受け取るな
割れてるのは間違いないのだから、どうなろうと正しいと見なしてる連中が責任を取れという意味だ
俺も擁護したり批判したりどっちなんだという話だが、自分だったら三ヶ月相談の上、多分判断拒否だね
責任を取れるほど論証に十分納得できないから自分は無理だと正直に言う
京都の内情は色々複雑なんだろう
390:１３２人目の素数さん
18/12/13 21:50:59.13 eR0Wv2Qz.net
欲ボケonly
391:１３２人目の素数さん
18/12/13 22:59:50.14 K7iWE9nr.net
基本的には数学としての正しさだけを問題にしたいが
実際には金やポストが絡んできて事態を複雑にする
392:１３２人目の素数さん
18/12/13 23:59:45.87 UufndWC9.net
まあ、抽象的な位相群から引っぱって来てるから多意的(multivalent)だと言いたいのだろうけどね
393:１３２人目の素数さん
18/12/14 00:00:37.04 pWGKXBsY.net
IUTは超弦理論のブレーンワールド同様ゲテモノまがいのファンタジー
394:１３２人目の素数さん
18/12/14 02:55:28.11 s9SRjar
395:c.net
396:１３２人目の素数さん
18/12/14 05:27:05.15 GoLYOuD5.net
>>376
隠れ擁護派だな、
IUTの本質は トンデモ
397:１３２人目の素数さん
18/12/14 05:59:06.59 GoLYOuD5.net
>>380
本人 取り巻きですか？
398:１３２人目の素数さん
18/12/14 07:08:35.62 Om34TB+H.net
まあ相対論や量子論、超弦理論がトンデモというならトンデモでいいんだよ
IUTもまた同じ。トンデモだろうが存在価値がある領域というのはある
トンデモという指摘はあまり意味が無いね
トンデモと指摘するやつの立場を明らかにする効用くらいかな
399:１３２人目の素数さん
18/12/14 07:13:43.95 GoLYOuD5.net
↑ オカルト トンデモが言ってます。
400:１３２人目の素数さん
18/12/14 12:59:33.38 GoLYOuD5.net
・物理理論は実験事実に基づく合理的な
作業仮説で更に物理理論の予測を実験
する。
・量子力学は物理理論。
物理の量子力学は実験事実を合理的に
体系化して 熱力学と同様に物理として
公理論的に整備されてもきた。
現在 精密測定からハイゼンベルグの不確定性
関係は小澤の不等式より更に 精密化され
測定過程を公理に加える提案もされて
いる。
小澤の不等式は LIGOの重力波精密測定
に応用された。
また、量子化で 無限自由度の場の量子論と
有限自由度の量子力学は異なる。
物理の超弦理論は 統一理論として予測能力に
欠け 高次元高エネルギーの基本法則候補
つまり試論だ。
・数学は 数学体系より 厳密な証明が
必要であり物理理論とは異なる。
物理用語の濫用など混同は許されない。
URLﾘﾝｸ(www.nikkei-science.com)
401:１３２人目の素数さん
18/12/14 14:02:24.41 uUnkeJht.net
論文発表以来なんで何の進展もないの？
402:１３２人目の素数さん
18/12/14 14:14:03.66 tNJt79rI.net
理論が正しいか間違っているか俺には判断つかないが
今の状況でこれから新規参入してくる研究者はRIMSの院生以外に
ほとんどいないのではないか
またIUTの論文を読み進めていけるような学生なら他のテーマでも
力は発揮できるだろう
今現在すでに参入してサーベイ論文書いたり解説講義してる人たちが
今後相当頑張って目に見える成果を出さないとだんだん厳しくなっていくと思う
403:１３２人目の素数さん
18/12/14 14:50:49.12 /Mw3SQkF.net
ssの主動機は何なんだろう
abcの別証明へのモチベーションがそがれないようにするため？
直接の業績にはならないのだろうし、自分たちが正しくても副産物として
何かfruitfulな結果が生まれるわけでもないから、奇特な人たちだなぁ、とか
思ってしまう。
404:１３２人目の素数さん
18/12/14 15:18:20.36 6awaN2Lo.net
>>390
あんた小さいなあ。ちんけな業績も大切だけど、面白そうなことを探求のほうが大切だと思わないのかな。
S-Sの動機は、単に真理の追究なんじゃないか？
あと、正しいか疑わしいものが正しいとされてしまうことが許容できないとか。
日本に来て直接対決したのは、総裁に乞われてということだろうけど。
405:１３２人目の素数さん
18/12/14 15:50:06.88 tNJt79rI.net
査読は業績にはならんが真面目にやらんとその分野が崩壊するんだよ
406:１３２人目の素数さん
18/12/14 16:12:26.87 /Mw3SQkF.net
今回のケースは放置しとけば自然と風化するのではないかな
超一流の人たちのリソースを割くだけの価値があるんだろうか
407:１３２人目の素数さん
18/12/14 16:34:28.09 c485Ts7j.net
>>390 「査読する主動機は何だろう？」って尋ねてるのと同じやな。
まぁ確かによくわからんが、そういう奴らばっかになれば、研究は崩壊するわなｗ
408:１３２人目の素数さん
18/12/14 16:47:30.09 AlUb9RbP.net
>>3
409:93 今回の論争を第三者が更に俯瞰してIUTの動機部分を軽く擁護する論文はあってもよいな 公平に見て、上手くやれば一つの前向きな論争に着陸させることもできるだろう
410:１３２人目の素数さん
18/12/14 16:53:47.25 6awaN2Lo.net
放置で風化されるというのは日本的な考えだろうでど、今回のケースではまずいでしょ。
大予想に関することでいろいろと巻き込んできたので、本人が取り下げる気がないのなら、それなりの決着を図られるべき。
名大の虚偽申請についても、張本人が修正するといいながら修正できず、けじめをつけていないのは、放置で風化させようとしている意図を感じる。
数学界や名大に対しての信用毀損を回復できない。
411:１３２人目の素数さん
18/12/14 17:08:51.46 0v7F0q5K.net
IUT にインスパイアされてこんなんできました！って論文はもっとバンバン出てきていいはずだし、そうじゃなきゃおかしい。
のに出てこないからみんな疑ってるんじゃないの？
そういうのが出だして、お、IUTっての勉強するとこんな面白い理論にたどり着くのか！じゃ俺も、となるべきところが、目下正反対の方向に行ってる。
望月先生側が何かしらせんと状況が好転する事はないよ。
412:１３２人目の素数さん
18/12/14 18:47:00.26 D8FleMqC.net
三年ぐらい時計が止まってるだろ
413:１３２人目の素数さん
18/12/14 18:47:25.46 MFuZUAD5.net
ヒカキンの年収が10億超え!?明石家さんま・坂上忍も驚愕の総資産とは??
URLﾘﾝｸ(logtube.jp)
【衝撃】ヒカキンの年収・月収を暴露！広告収入が15億円超え！？
URLﾘﾝｸ(nicotubers.com)
HIKAKIN(ヒカキン)の年収が14億円！？トップYouTuberになるまでの道のりは？
URLﾘﾝｸ(youtuberhyouron.com)
ヒカキンの月収は１億円！読唇術でダウンタウンなうの坂上忍を検証！
URLﾘﾝｸ(mitarashi-highland.com)
なぜか観てしまう！！サバイバル系youtuberまとめ
URLﾘﾝｸ(tokyohitori.hatenablog.com)
あのPewDiePieがついに、初心YouTuber向けに「視聴回数」「チャンネル登録者数」を増やすコツを公開！
URLﾘﾝｸ(naototube.com)
27歳で年収8億円 女性ユーチューバー「リリー・シン」の生き方
URLﾘﾝｸ(headlines.yahoo.co.jp)
1年で何十億円も稼ぐ高収入ユーチューバー世界ランキングトップ10
URLﾘﾝｸ(gigazine.net)
おもちゃのレビューで年間12億円！ 今、話題のYouTuberは6歳の男の子
URLﾘﾝｸ(www.businessinsider.jp)
彼女はいかにして750万人のファンがいるYouTubeスターとなったのか？
URLﾘﾝｸ(www.businessinsider.jp)
1億円稼ぐ9歳のYouTuberがすごすぎる……アメリカで話題のEvanTubeHD
URLﾘﾝｸ(weekly.ascii.jp)
世界で最も稼ぐユーチューバー、2連覇の首位は年収17億円
URLﾘﾝｸ(forbesjapan.com)
414:１３２人目の素数さん
18/12/14 18:51:35.53 Vo
415:h06VK4.net
416:１３２人目の素数さん
18/12/14 19:01:18.92 SwYkIBn1.net
>>390
正しいのか良く分からん話でabc予想が解決されたと言われて周囲が理解できないから
真偽が定まらないとか言われ続けるのは数論研究全体からしてもあんまりよくないんじゃないの？
若手のモチベーションに関わるだろうし
世代を代表する研究者としてこの件を
変わった研究者が間違った理論を立てて自明と言い張って説明しないから話が進まない
ぐらいの落としどころにしようという動機は十分あるでしょ
417:１３２人目の素数さん
18/12/14 19:04:46.65 sqsCiDPC.net
時間は残酷だよな
身近で「この問題はどう考えよう」「IUTはどう？」「(笑)」、なんてジョークも出たことがあるからな
418:１３２人目の素数さん
18/12/14 19:35:28.90 3HnjFiFa.net
>>387
厳密性は時代の関数って言葉知ってる？
419:１３２人目の素数さん
18/12/14 20:22:12.42 lm+xov0W.net
>>403
時代を超えて明晰な論文があるね
420:１３２人目の素数さん
18/12/14 20:25:17.95 6awaN2Lo.net
厳密性を無視していくと、代数幾何のイタリア学派の崩壊みたいなことが起こるのだろうね。
多元の虚偽申請の件も、当事者が功を焦るがために地道に厳密性を吟味できていなかったのだろうね。少数の業績で出世させるとロクなことがないね。
IUTも似た状況かね。
421:１３２人目の素数さん
18/12/14 20:27:26.63 wiPxMeju.net
>>396
でもこのまま「風化」が最も可能性があると思うよ.。
だってIUTが間違ってましたとなると、望月のみならず、
「数学的誤りはない」と宣言した査読チームの星・山下・Saidi・ブンゲンだって
「何見てたんだよ」って話になるし、
何よりもRIMSもそれに同調してたもんな。
とにかくいまはひたすら「自明自明」と言い張って
なんにも進展がないまま世間が飽きて忘れてくれるのを待つよりほかないでしょ。
422:１３２人目の素数さん
18/12/14 20:35:02.84 jpfQpqq9.net
競馬の予想のほうがマシなこと書くよ
423:１３２人目の素数さん
18/12/14 20:39:16.16 6awaN2Lo.net
>>406
日本の数学界がそんな「風化」を許す態度であることは、日本の数学研究が世界的に地位低下している一因だろうね。
RIMSも、業績がすごいのは定年した特任教授ばかりかね。
中島氏も逃げ出すし。
424:１３２人目の素数さん
18/12/14 20:43:48.59 tNJt79rI.net
良いサーベイを書くことも大切だがオリジナルの結果が少ない状態で
サーベイ論文ばかりの人は評価が低いという業界の普通を守らなかったのは
IUTに関しては失敗だった
425:１３２人目の素数さん
18/12/14 21:05:53.67 dY5up7WB.net
風化風化と言うけど、本人はガチで間違ってないと思ってるだろうけどな
悪ふざけであんな論文やレポート書いてるわけねーじゃん
京都にもそういう勢力がいるだろう。後ろめたく風化を狙ってる、という人間は実際にはいないかもしれん
426:１３２人目の素数さん
18/12/14 21:15:01.70 3HnjFiFa.net
>>4
427:04 ピタゴラスに船からでも突き落とされそうな事実でもあるんなら具体的に挙げてみろよ。 具体的に構成的じゃない証明の存在定理の形でもいいぞ(笑)。 数学的に保証されてない経路積分の計算で出てきた発見的なんでもええで(笑い)。
428:１３２人目の素数さん
18/12/14 21:33:43.48 6awaN2Lo.net
ご本尊はどうか知らんが、取り巻きやRIMSの教授陣や数論関係者の一部は風化を狙っているんじゃないか？
429:１３２人目の素数さん
18/12/14 21:49:46.45 SwYkIBn1.net
>>406
再来年にプロジェクト研究をやることを今から宣伝するとか火に油なんですけど
飛ばし記事の件といいほんと自ら立場を悪くするようなことばっかりしてるような…
430:１３２人目の素数さん
18/12/14 21:53:15.12 tNJt79rI.net
>>413
プロジェクト研究は2年前に告知して前の年に国際研究会の手配をしないといけないから
やる以上は今から宣伝しないといけない
私自身はやめておいたほうがいいと思っているが決められた手続きだから仕方ない
要するに2年前に告知→それを元に今年の科研費申請（そろそろ審査中）と金の問題なんですよ