19/05/02 00:49:57.54 XEl/Dv7j.net
".... But the result is still interesting because the implication is considerably easier than any of the known proofs of Mordell’s conjecture, and more importantly because our proof shows that an effective version of the ABC conjecture would imply Mordell’s conjecture with an effective height
bound, which is at present still out of reach."
ABC IMPLIES MORDELL
NOAM D. ELKIES
201:１３２人目の素数さん
19/05/02 00:53:01.22 HirYsHAr.net
>>184
失笑もんだろう、それは
なら出してショルツらを納得させれば済む話であって、水面下ではどんどん進んでるとかドヤられてもね
それこそあなたが公的に解説したらいいのでは？
202:１３２人目の素数さん
19/05/02 01:18:03.41 XEl/Dv7j.net
Elkiesもびっくりだろな。
203:１３２人目の素数さん
19/05/02 01:35:32.64 hJKKOS5C.net
792１３２人目の素数さん2018/09/22(土) 08:16:54.37ID:lo6LF9pY
ABCの推測は、次に、楕円曲線に関連する2つの量の間の特定の不等式を証明するまで沸騰します。
Mochizukiの作品は、この不平等を2つのセットの量を比較するものと考えることができる、別の形に変換します。結論3.12は、Mochizukiが
この新しい不平等の証拠を提示する場所であり、真実であれば、
abcの推測を証明する。
ScholzeとStixの説明のように、
2つのセットのボリュームを
2つの異なるコピーの実数で見ることが証明され、
実数の6つの異なるコピーからなる円の一部として表現され、
マッピングとともにそれぞれのコピーがサークルに沿った隣人にどのように関係しているかを説明しています。
セットの量がどのように関係しているかを把握するためには、
1つのコピーの体積測定値が他のコピーの測定値とどのように関係しているかを理解する必要があります。
「あなたが2つの不等式を持っていても、計測棒があなたが制御できない要素によって縮小されていれば、
不平等が実際に意味することをコントロールできなくなる」とStixは言った。
ScholzeとStixが信じていることは、事態が間違っているという議論のこの重要な点です。
望月のマッピングでは、測定棒は互いに局所的に適合する。
しかし、あなたが周りを回るとき、Stixは言った、あなたは別の方法の周りに行っていた場合とは違って見える測定棒で終わる。
状況は、彼が言った、エッシャーの有名な巻上げ階段に似ています。登ると登るだけで、どこかで始まりました。
体積測定におけるこの非互換性は、
結果として生じる不等式が間違った量の間であることを意味し、
ScholzeとStixは主張する。音量の測定値が世界的に適合するように調整すると、不平等は無意味になります。
204:１３２人目の素数さん
19/05/02 03:07:03.02 ytz9W+pf.net
>>158
>賞賛本読んだだけ
しかも、素因数分解の話や群論の解説は飛ばし読みしてたりするんだよなw
205:１３２人目の素数さん
19/05/02 03:47:07.63 miInB/Rw.net
ABC不等式の定数を明示的に、厳密かつ理解可能な形で出せていたなら
世界中のディオファントス野郎は黙っていないだろう。それこそ大騒ぎになってIUTが再評価されるくらいの出来事になる
現実はどうだ？何の反応もなし
ディオファントス幾何の総本山とも言えるIAS研究員の数論研究者たちのほぼ全員がIUTに希望はないと判断しているのが現実
サルナックやラングランズがIUTについてコメントしたのはIUT発表直後だけで、それから音沙汰なし。推して知るべし
206:１３２人目の素数さん
19/05/02 03:55:02.32 lhI2xa0q.net
>>198
お前に情報が行ってないからってムキになんなよ
フェセンコのシークレットなセミナーについてなんか意見があるなら言ってみろよ
IUTの4編を認めたなら、明示的な数値についての希望が俺には見えたよ
207:１３２人目の素数さん
19/05/02 03:56:46.57 miInB/Rw.net
Kimが検証論文をなかなか出さないのも頷ける
おそらく初期にMOやその他の交流サイトで書いたような紹介、太鼓持ちのような書き方はできないだろうし、
望月、SSの論点の相違ぐらいしか書けないだろう
どんなにIUTに寄せても、これこれしかじかの箇所の記述を修正すれば～、みたいにしかならないだろうね
208:１３２人目の素数さん
19/05/02 04:20:49.30 HirYsHAr.net
>>199
つまり、結局は全て本論次第であることは認めるわけね
煽ったりせず普通に話せばいいのにw
209:１３２人目の素数さん
19/05/02 04:23:29.74 HirYsHAr.net
DimitrovもScholzeも公的に出してるわけで、正しいなら優秀なお弟子さんがきっちり世界に発信すれば済む話
別に懐疑的な連中も潰す事が目的ではないからね
210:１３２人目の素数さん
19/05/02 04:40:31.57 lhI2xa0q.net
>>201
煽り口調なのは>>172で、IUT認めても明示的な数値は出ないって大嘘をついたからだよ
211:１３２人目の素数さん
19/05/02 04:46:42.22 NeAJ66HC.net
そういう時はソース出して言ってね
212:１３２人目の素数さん
19/05/02 04:46:58.09 lhI2xa0q.net
>>198と>>172が同一人物かどうかは定かでないけど、偉そうに語るなら虚言をはくべきじゃない
213:１３２人目の素数さん
19/05/02 05:25:27.77 miInB/Rw.net
>>204
IAS研究員の数論研究者云々に関しては
URLﾘﾝｸ(www.reddit.com)
で、dalitt（Daniel Littのこと。彼は現在IAS研究員。代数幾何と数論の研究者）が書いている
あと、東工大での発表については語るに落ちるので心底どうでもいい
シークレットなセミナーについては文字通りシークレットなので私にはまったく分からない
公けにならないと知りようがない。そもそも誰が参加したのかも分からない
このスレでの経験上、不毛な議論、罵り合いにしかなりそうもない相手にはNG入れて一切返信しないことにしている
あしからず
214:１３２人目の素数さん
19/05/02 05:57:13.95 Wc+zR8yd.net
溶けないことに首突っ込むレベルでは
215:１３２人目の素数さん
19/05/02 06:25:31.95 8PTZvmNS.net
サルナックだのキムだの誰でも知っている御大あげておけばいいだろって発想が今更すぎってかjinレベルだな
216:１３２人目の素数さん
19/05/02 06:36:05.67 pDOKL08F.net
取り巻きの反論がこれでは
217:１３２人目の素数さん
19/05/02 06:57:26.47 hJKKOS5C.net
イギリスのドラッグ事情
URLﾘﾝｸ(ameblo.jp)
218:１３２人目の素数さん
19/05/02 07:34:18.32 Yn5WS8dD.net
Kimって人は優秀なのになんでフィールズ賞もらえないの？
219:１３２人目の素数さん
19/05/02 08:06:44.08 XEl/Dv7j.net
KimもEffective Mordellを狙ってた。
だから鮮人の僻みがひどい。
山中先生に美味しいところ全部持っていかれたときみたいに。
220:１３２人目の素数さん
19/05/02 09:19:56.53 P46MvFl/.net
abc予想は 平成に 京都市追分町と特異点で
「解決=証明」された 、との主張があった。
その後 多数にわたり 修正中
221:１３２人目の素数さん
19/05/02 12:52:56.73 yuUgxpqT.net
その結果、実はさほど
222:重要でないことがわかった ← ｲﾏｺｺ
223:１３２人目の素数さん
19/05/02 13:12:26.99 ZZzeYav3.net
もっちー=山中伸弥
Kim=黄禹錫(ファン・ウソク）
224:１３２人目の素数さん
19/05/02 13:23:23.60 ZZzeYav3.net
Dupuyとフィリピン人Hiladoも
"Explicit Computations in IUT"を何かやってる。
AGNT Seminar
Rice University
April 8, 2019
225:１３２人目の素数さん
19/05/02 15:07:12.66 pDOKL08F.net
いや、だから明晰的でないから証明できてないって宣言してるようなもの
定数を与えないと他の予想が証明できないんでしょ
226:１３２人目の素数さん
19/05/02 15:23:44.99 XEl/Dv7j.net
>>217
バカ
227:１３２人目の素数さん
19/05/02 15:42:11.89 pDOKL08F.net
もう出る予想
ｓ^２=(ｘ＋ｙ)(ｘ-ｙ)
228:１３２人目の素数さん
19/05/02 15:47:11.75 TkmM1qa4.net
>>219
バカ
229:１３２人目の素数さん
19/05/02 15:47:50.41 XEl/Dv7j.net
>>219
鮮人
230:１３２人目の素数さん
19/05/02 16:03:40.89 3UQUDb2C.net
IUTは侘び寂びみたいに日本人しか理解できないw
231:１３２人目の素数さん
19/05/02 16:11:05.09 XEl/Dv7j.net
>>222
バカ鮮人
サイディはアルジェリア人。
フェセンコはロシア人。
232:１３２人目の素数さん
19/05/02 17:09:18.57 UrlDty35.net
２/３ｃ,≠２/３,３/２∈０
233:１３２人目の素数さん
19/05/02 18:52:29.28 ZUPiZK4G.net
>>169
STOP細胞はあった。アメリカの教授が再現した
おまえ、いい加減にしろよ
一旦できた先入観をいつまでも払拭しないのは科学的態度じゃない
234:１３２人目の素数さん
19/05/02 19:25:47.26 ZZzeYav3.net
Kim=黄禹錫(ファン・ウソク）
235:１３２人目の素数さん
19/05/02 23:40:13.11 uNc+tgCc.net
ゴーの妨害工作少ないなｗ
236:１３２人目の素数さん
19/05/03 00:46:59.26 5Er5nIpH.net
数学は科学じゃないから無問題
237:１３２人目の素数さん
19/05/03 01:27:02.97 B8D6hWoH.net
フェセンコとかのワークショップって今年じゃなくて来年なんだね。
なら今年は表立った動きはないな。
このスレもIUTは意味ある意味ないのやり取りが延々続くだけだな。
238:１３２人目の素数さん
19/05/03 01:41:51.78 d4MD8pdL.net
どう読んでも意味ないで決着してるだろ
指摘を知らん顔してるだけ
239:１３２人目の素数さん
19/05/03 01:56:16.29 UEjo1+gP.net
万能感のおつよいおじさんのおおいこと
学会や研究会に時々あらわれるやべえおっさんと同じ匂いしてるよ君たち
240:１３２人目の素数さん
19/05/03 02:05:24.61 DetdTaRc.net
追分町と特異点定理
241:１３２人目の素数さん
19/05/03 03:37:05.50 PvqnPrxj.net
モッチーによって、数学の世界にパラダイムシフトが起きた
旧パラダイムの側に立つ数学者は、たとえそれがフィールズ受賞者だろうと、
モッチーの数学を理解できようはずがない・・・
曰く、ブンゲン先生
242:１３２人目の素数さん
19/05/03 03:44:21.28 UdMcPKmU.net
Bの立ち位置ってナンボ
サイエンスライターだろ
243:１３２人目の素数さん
19/05/03 04:15:12.32 PvqnPrxj.net
IUT創始者と密にコミュニケーションを取って質問し、回答を得て、
それによって理解を深めながら、IUTの全体像に近づく方法しか、
パラダイム超越型の数学であるIUTを理解する方法はない。
したがって、創始者周辺のシンパの人たちから、真の理解者が出てくるしかないし、
現に数名の理解者が出始めている。これは査読が進んでいることと等化だ。
いざパラダイム超越型の理論に対しては、IUT創始者とコミュニケーションも取らない数学者が、
遠いところから眺めていても、理解は進まない。
旧パラダイムの偉い数学者ですら、新パラダイムにおいては一から始める小学生と同じなのだから。
こんな感じかな？
244:１３２人目の素数さん
19/05/03 04:22:05.84 nMQXLctq.net
>>235
飲み込みの早さで定評のあるショルツ君も、新世界ではまだまだですよwww
ってそんな馬鹿な話があるか
245:１３２人目の素数さん
19/05/03 04:24:44.47 PvqnPrxj.net
ショルツ君 ＝「新パラダイムにおいては一から始める小学生と同じ」
246:１３２人目の素数さん
19/05/03 04:38:47.38 nMQXLctq.net
ワンピースでいう新世界編に突入したって事でしょ
247:１３２人目の素数さん
19/05/03 04:44:01.18 +Bwn2ogp.net
自己陶酔の正当化おつー
擁護派の奴らの論拠の大半がセンセーガー、センセーガー
おまえらの相手してくれるやべえおっさんセンセー大事にしろよ
248:１３２人目の素数さん
19/05/03 07:10:48.57 CR+zcHa3.net
やはり同型と非同型の階層性についてのディフェンスが理論全体についての有効な弁護になってるとは
思えないね
正当化は難しいと思うんだけど、これだけ長い間お仲間が取り組み続け、またHPの院生のリストが
増殖しズラリと並んでいるのを見ると何とも言えない気分になるw
フェセンコだけならマフィア扱いでもいいんだけどw、こうも増殖している理解者とは一体何なのか
249:１３２人目の素数さん
19/05/03 07:43:10.75 ko1lHBgH.net
>>240
まあ、IUTの同型問題についてはお互いに散々書いてきましたよね
>>175で書いたのはエイリアン・コピーの論文のことですが、以前はツマミ食いだったので昨夜通して読んでみました
新規なことはほとんど書いてないのですが、表現方法に笑いが止まりませんでした。後でちょこっと書いてみますけど
例のブログのコメ欄（9割以上、電波なコメント）を見れば分かるように、おかしな人達はいっぱいいますよ
これスレでも盲信者・狂信者は例のツイッターの人だと決めつけていたのですが、やはりそれだけではないようですね
エイリアン・コピー論文は面白いですよ。私の中では昨夜、IUTは電○文書ということでほぼ確定しました
IU形式主義なんてものは整備できないだろうし、無理やり作ったらそれこそカオスかリゾームになりますよ
個人的な結論としては当初から疑っていたように、IUTは遅れてきたポストモダン風の数学ですね
250:１３２人目の素数さん
19/05/03 07:59:08.53 ko1lHBgH.net
IUTが遅れてきたポストモダン風だとするなら、夜中の人のレスはIUTの本質を誰よりも理解しているのかもしれない
251:１３２人目の素数さん
19/05/03 09:59:10.02 CiZddaYE.net
jinはここのもっちー動画は知らないのか。
URLﾘﾝｸ(www.msri.org)
252:１３２人目の素数さん
19/05/03 12:33:13.41 dZpVAm4g.net
オボれる者はバカをもすがる
奢れる者は久しからず
253:１３２人目の素数さん
19/05/03 12:42:22.33 CiZddaYE.net
もっちー=山中伸弥
Kim=黄禹錫(ファン・ウソク）
254:１３２人目の素数さん
19/05/03 13:08:46.26 CiZddaYE.net
ロバーツ氏はもっちーからあんたの理解はあまりにも薄っぺら過ぎると指摘されたのか。なんか惨めだな。
255:１３２人目の素数さん
19/05/03 13:11:57.33 xoFpsqci.net
（論文に穴があって取り下げとなった時には全てがブーメランで自分に突き刺さる）
256:１３２人目の素数さん
19/05/03 13:14:19.86 076sjNc3.net
てか、もう引けないんだろうな...
257:１３２人目の素数さん
19/05/03 13:22:28.59 RkGBx/O9.net
笹井教授は京大出身だったね。
258:１３２人目の素数さん
19/05/03 13:32:16.76 076sjNc3.net
へんなことになるくらいだったら、一転して色物タレント教授路線とか目指してほしい
生きててなんぼだよ
259:１３２人目の素数さん
19/05/03 13:47:03.23 CiZddaYE.net
朝鮮人の期待の星Kimが先にEffective Mordellを解いていたら朝鮮人は幸せだっただろう。
260:１３２人目の素数さん
19/05/03 14:10:08.28 l8kh5lBz.net
>>250
CMとかでも需要あるんじゃない？
令和初のやってもうた男とかで。
261:１３２人目の素数さん
19/05/03 15:01:18.88 uwSVXrrM.net
Bと二人で責任の擦り付け合いするのが見たい
262:１３２人目の素数さん
19/05/03 17:43:22.20 ko1lHBgH.net
望月の“The Mathematics of Mutually Alien Copies”という論文は、IUTの中核を理解できない人、懐疑的な人に向けた、
彼なりに分かり易く説明を試みたものだと思われるが、テクニカルな面というより、IUTの数学「思想」を表明したものだと思う
頻繁に修正しているし彼にとってはとても重要で、SSへの反論レポートと合わせて読めば彼の数学界へ向けた主張は大体揃う
ここで細かく書くことはできないので、関心のある人は“mysterious”で単語検索してみて下さい
極めつけは“mysterious indeterminate isomorphism”ですね
263:１３２人目の素数さん
19/05/03 17:53:00.68 xoFpsqci.net
>>253
Bは関係ないよ あの本だって仮に間違っていたら
あのときはそういうロマンを感じさせる話だったてへぺろ☆(・ω<)
264:１３２人目の素数さん
19/05/03 17:57:09.98 ko1lHBgH.net
自分なりに結論は出たので、その観点から見ればBは間違いなくIUTの最大の理解者の一人ですね
彼は以前ツイッターで西田哲学の絶対矛盾的自己同一に言及したことがあったと思う
基礎論を大きく変えるかもしれないとも。他の理解者も「新しい圏の幾何学」とか書いていたし、彼らは最大の理解者ですよ
まあ、MやBと同世代である私からすれば、M≒中沢新一or丸山圭三郎、B≒栗本慎一郎ですね。分かる人には分かる
遅れてきたポスト構造主義の夢物語ですよ。確かに従来の数学じゃない、「外の思考」ですよ
「勝手にしやがれ」、「勝手に逃げろ/人生」（ゴダール）ですよ
265:１３２人目の素数さん
19/05/03 18:11:14.93 7+GUCQGk.net
どんどんおかしくなっていく
266:１３２人目の素数さん
19/05/03 18:18:17.57 ko1lHBgH.net
そう、これからますますおかしくなっていくはずですよ
生温かい目で見守ってあげればいいんです（このスレの物理屋さんのように大学人としての姿勢を追及するのもいい）
今年の団代数のプロジェクトの方が遥かに重要ですよ。第1回目の参加者は錚々たるメンバーですね
267:１３２人目の素数さん
19/05/03 18:37:38.48 CiZddaYE.net
地動説や相対性理論と比較しうるパラダイムシフト。
268:１３２人目の素数さん
19/05/03 18:48:56.44 x/IxspoL.net
そもそもなんで本人が表に出てきて説明しないのか？
269:１３２人目の素数さん
19/05/03 19:41:18.17 hype4HK0.net
国内で対立構造を作るとアンチが終結して手に負えなくなるから
270:１３２人目の素数さん
19/05/03 19:58:02.01 xoFpsqci.net
アンチが終結ならめでたい話じゃないかw
271:１３２人目の素数さん
2019/05/0
272:3(金) 19:59:35.82 ID:4UR5xnR6.net
273:１３２人目の素数さん
19/05/03 20:01:08.97 CR+zcHa3.net
>>241
数論的テータ因子の計算法自体は一応わかるわけだから（発想としては割と独創的）、まあ計算可能なのは
別に不思議ではないんですけどね。高さが
言いたいことはわかるし、ディフェンス論文の線で何かを考えられないことはないんだけど
結局はまとめ上げて計算するわけですからね。だったらこうじゃん、となったのがSSの最後のダイヤグラム
エッシャーが引き合いに出されたけど、西田は勿論、不完全性定理も浮かびましたね、個人的には
ダグラスホフスタッターの奴みたいに
274:１３２人目の素数さん
19/05/03 20:13:35.85 CR+zcHa3.net
ラベルが必要だっていう主張は本当にわかる。特に遠アーベル幾何学者ならそう言いたいはず
ところが普通の数学者なら、そんないかがわしい余計なものを数理に持ち込むなって思うんじゃないか
つまりSSだけど、そう考えたらこの理論の今の位置付けは納得できる
勿論今の力関係が絶対とは言い切れないが
275:１３２人目の素数さん
19/05/03 20:45:30.28 CiZddaYE.net
ラベルがなんたらの話がよく理解されていないならこれを英訳すれば。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(Muroran%202002-08).pdf
276:１３２人目の素数さん
19/05/03 20:51:29.47 ko1lHBgH.net
>>265
それは充満多重同型を認めた場合に生じる話だと思います
つまりSSはIUTの“distinct copies of various familiar objects”などというものに納得できず、
それは単に“completely natural isomorphism”、“ “obvious” isomorphisms ”から生じた、
“identical copies of objects along the identity”にしかならないとしています
つまり、充満多重同型を認めれば結果として再初期化の操作ができるようになり、そのために明示的なラベルが必要となる
認めることができなければラベルなど無用、同じものを作っているだけということになる
あと、B本は前書きと望月の寄稿しか読んでませんが、
IUTの宇宙が如何に“mysterious indeterminate isomorphism”によって作られた構造であるという説明をしているのでしょうか？
277:１３２人目の素数さん
19/05/03 21:18:12.47 ML05VQQI.net
今年の団代数いいね。離散最適化もタイムリーだ。来年？宇宙際堆肥無料？なんだそれ？RIMS大丈夫か？
278:１３２人目の素数さん
19/05/03 21:57:28.30 IqwO9V3f.net
jinが >>243 を見たようだ。
279:１３２人目の素数さん
19/05/03 22:22:04.22 CR+zcHa3.net
>>267
もはや遠アーベル幾何学ではなくて、超遠アーベル幾何学ですからね
280:１３２人目の素数さん
19/05/03 22:25:47.97 IqwO9V3f.net
jinはこれも面白いだろう。
Introduction to anabelian geometry
URLﾘﾝｸ(www.msri.org)
281:１３２人目の素数さん
19/05/03 22:52:31.15 CR+zcHa3.net
IUTがgeometric morphismの理論ではないことは山下さんも認めてるんだけど、こういう論法を認めたら
モノイドと様々な宇宙を巡って飛び道具みたいなメタ理論がたくさん作れる可能性がある
が、それでいいのかって話なんだよ
282:１３２人目の素数さん
19/05/03 22:59:33.22 IqwO9V3f.net
圏論屋の話は中身が薄っぺら。
283:１３２人目の素数さん
19/05/04 01:06:48.30 1sY0GrTi.net
と言っても、数論幾何学の専門家も圏論の専門家も一緒に首を傾げているわけだけども
284:１３２人目の素数さん
19/05/04 01:16:42.36 yKhzzHXK.net
>>274
ロバーツ氏の場合は首を傾げていると言うよりも、M氏から勉強不足を指摘されてふてくされている、ではないか。
285:１３２人目の素数さん
19/05/04 02:00:41.53 QoAUkIBD.net
肯定しておけば勉強不足とは言われないからね
286:１３２人目の素数さん
19/05/04 02:11:03.95 yKhzzHXK.net
勉強不足なら肯定も否定もできないだろ。
287:１３２人目の素数さん
19/05/04 02:39:29.35 GYBii+3F.net
それってブン・・
288:１３２人目の素数さん
19/05/04 07:48:18.58 p4s5X5iU.net
文チンよりも数学できる者だけが石を投げなさい
289:１３２人目の素数さん
19/05/04 07:55:14.84 ffS3S84d.net
出来ない者は匙でも投げてなさい。
290:１３２人目の素数さん
19/05/04 08:14:52.31 D+HijsE5.net
結局、既存の数学でのオーソドックスな論理でやれるって触れ込みだったけれど、
実は違って、新しい論理としてありかなしか、基礎論的な論争に持ち込もうという
ことなんだろうか。
俺はそれならそれでありだと思うけれど。最初から言えよ感はあるけど。
291:１３２人目の素数さん
19/05/04 08:40:03.36 my1y46Iz.net
４は当初なかったからそこまで
292:考えてなかったのでは 好きなだけやればいいけど証明としては一旦取り下げか
293:１３２人目の素数さん
19/05/04 09:30:32.39 NWEkmnES.net
大風呂敷を広げてみたがおたくと変わらなかった。
294:１３２人目の素数さん
19/05/04 10:09:14.71 aJJ/gbdE.net
賽を投げたら犀だった
295:１３２人目の素数さん
19/05/04 14:24:42.15 ndxHsXyd.net
Inter-universal Teichmuller Theory
宇宙際、宇宙間、どちらでもいいわけだが、
あえて宇宙際とするのは、なぜだ？
296:１３２人目の素数さん
19/05/04 14:48:09.05 ndxHsXyd.net
among と between の違いかな？
297:１３２人目の素数さん
19/05/04 15:01:58.84 2sveN7It.net
志村五郎が死んだ
298:１３２人目の素数さん
19/05/04 15:12:05.31 1hEtAZBU.net
inter-national 国際
inter-universal 宇宙際
299:１３２人目の素数さん
19/05/04 15:54:31.46 loO4MhV7.net
>>273
わかる
300:１３２人目の素数さん
19/05/04 15:54:49.45 Wwg9+TsY.net
新しい数学を標榜しながらも数理論理学において望月さんが無知っぽいから
誰もついていかないんだよね
数理論理の土台＋代数幾何操作であればまだ追う気になるけど
望月独自の数理哲学＋代数幾何操作だとほぼトンデモと変わらないから
フォロワーを増やしたいなら望月独自の数理哲学をちゃんと論理に乗せることに力を入れるべきだろう
301:１３２人目の素数さん
19/05/04 15:56:12.19 ohVz30mr.net
>>287
本当だ
URLﾘﾝｸ(www.math.princeton.edu)
302:１３２人目の素数さん
19/05/04 17:41:17.00 yKhzzHXK.net
志村五郎さんの最大の業績は何ですか？
303:１３２人目の素数さん
19/05/04 18:08:42.16 ohVz30mr.net
本物の毒舌で毒舌系数学ライターを駆逐したこと
304:!omikuji
19/05/04 18:12:39.82 oHirkkyN.net
>>288
このスレで最も有意義なレスであると認定する(￣^￣)ゞ
305:１３２人目の素数さん
19/05/04 18:24:25.58 VSk3Zx2c.net
>>293
志村さんは岩澤先生やグロたんの悪口も言いました？
306:１３２人目の素数さん
19/05/04 18:35:47.05 ohVz30mr.net
>>295
「志村が教わった頃の岩澤は自分の数学を持っていなかった」（この言葉通りではない）
「グロタンティークの出した問題を解くな」
307:１３２人目の素数さん
19/05/04 18:39:55.33 ndxHsXyd.net
横レス。
毒舌はすごかったけど、妙に説得力があって、
こてんぱんにやられた数学者やそれ以外の人らについて、
読後、嫌いになったよｗ
308:１３２人目の素数さん
19/05/04 19:43:44.76 hB9Ql9hn.net
谷山＝天才
志村＝偉そう
というイメージはある
309:１３２人目の素数さん
19/05/04 20:38:03.38 nk62m1+D.net
織田先生のコメントはよ
310:１３２人目の素数さん
19/05/04 20:38:36.49 gf0TiqlD.net
日本の偉大な数学者、志村五郎先生のご冥福をお祈り致します。
311:１３２人目の素数さん
19/05/04 20:56:56.82 VSk3Zx2c.net
志村さんが、グロたんのNATO批判は幼稚だ、と言ったとか。そんな政治の話までしなくてもいいような、、、
そんならオズヴァルト・タイヒミュラーはコテコテのナチだったと非難するんですか。
312:１３２人目の素数さん
19/05/04 21:04:08.73 zzjdvFqD.net
今頃向こうで岡潔にしごかれてそう
313:１３２人目の素数さん
19/05/04 21:10:45.04 /qxZpzCm.net
志村五郎の毒舌、好きだったがな
それだけの芯の強さと自負があったからこそ、あの時代あれだけの業績をあげられたんだと思う
ご冥福をお祈りします
314:１３２人目の素数さん
19/05/04 21:22:51.49 ohVz30mr.net
>>301
当然じゃないか
315:１３２人目の素数さん
19/05/04 22:02:09.36 VgrXV427.net
>>301
志村はなまじ博識だから、薄っぺらな政治議論をする
グロたんに業を煮やしたんだろう。
316:１３２人目の素数さん
19/05/04 22
317::14:37.23 ID:8Kky4+lC.net
318:１３２人目の素数さん
19/05/04 22:19:14.93 N42UHCl+.net
志村五郎って余芸で詰将棋作ったり中国古典の本かいたりまでしていたらしいね
319:１３２人目の素数さん
19/05/04 22:26:57.56 VSk3Zx2c.net
志村さんに悪口言われた人は、
ヒルベルト、ヘッケ、ヴェイユ、谷山豊、高木貞治、岩澤健吉、グロタンディーク、マッカーサー、丸山真男、、、
他にもいる？
320:１３２人目の素数さん
19/05/04 23:08:47.44 YmApHJR7.net
>>308
谷山の悪口は断じて言ってない
94年の騒動の時も絶対にそこは守ってた
321:１３２人目の素数さん
19/05/04 23:15:17.83 7a6Doup3.net
悪口は言ってないが谷山が生きてたら言わなかっただろうことは言ってたな
322:１３２人目の素数さん
19/05/04 23:40:04.21 ndxHsXyd.net
・谷山は、なにしろ間違いが多かった
・あの予想は、自分（志村）がまとめたから
予想になったが、そうしなければ谷山の名前は残ってなかった
谷山については、こんな感じのことを書いてたように記憶してる
323:１３２人目の素数さん
19/05/04 23:40:47.65 ks8uJPV2.net
海外じゃモジュラー性定理なのによう言うでほんま
324:１３２人目の素数さん
19/05/04 23:43:02.80 ndxHsXyd.net
谷山について書いたのは、
フェルマーで予想が脚光浴びたあとだったと思う
325:１３２人目の素数さん
19/05/04 23:45:09.01 jlEr16Wn.net
>>311
谷山の間違いはいい間違いだった
私には谷山の真似はできなかった
と書いてあるのは記憶してる
326:１３２人目の素数さん
19/05/04 23:47:12.84 yKhzzHXK.net
志村さんは小平邦彦の悪口も言った？
327:１３２人目の素数さん
19/05/04 23:50:12.48 q3SbWj9b.net
ゴシップ好きだよなお前ら
知能jin並みかよ
328:１３２人目の素数さん
19/05/04 23:53:32.82 yKhzzHXK.net
もっちーがP大学で志村五郎さんの弟子にならなくて良かった。
329:１３２人目の素数さん
19/05/04 23:59:38.38 4nmypXJB.net
志村五郎のこっちの人とあっちの人という表現は結構好き
あらゆる領域において決して行き来出来ないコッチとアッチが存在する気がしてる
330:１３２人目の素数さん
19/05/04 23:59:43.53 PwfKd+ce.net
故志村先生が“mysterious indeterminate isomorphism”なんて言葉聞いたら数分間ジト目で睨みつけると思うんだけどね
331:１３２人目の素数さん
19/05/05 00:13:04.70 gaZBkf+n.net
武谷光男先生曰く、
頭脳流出が問題なのは物理の南部と数学の志村の二人ぐらいだ。
あとは出ていってもどうってことはない
332:１３２人目の素数さん
19/05/05 00:22:23.69 NIsOMWDj.net
志村五郎は自殺した谷山豊の業績も自分のものにしようとした可能性がある？
333:１３２人目の素数さん
19/05/05 00:32:46.67 4aqVMb7W.net
偉大な数学者がまた一人
いよいよまともな人がいなくなってきた
334:１３２人目の素数さん
19/05/05 00:54:43.75 rm7AMlBf.net
フェルマー予想が証明されたことについてなんか発言した？
335:１３２人目の素数さん
19/05/05 00:58:16.00 NIsOMWDj.net
谷山が生きていたら、志村五郎は嘘をついている、と言ったかもしれない。
336:１３２人目の素数さん
19/05/05 01:02:41.26 5EeweGEC.net
高木邸での夕食の一件で弥永と志村で話が食い違ってるの面白い
337:１３２人目の素数さん
19/05/05 01:43:13.47 c7fSKLHw.net
一般には谷山・志村予想って言う人が多いと思うんだけど俺の指導教官は
「志村・谷山」の順で呼んでたな。子分は気を使ってこう呼ぶのかね？
338:１３２人目の素数さん
19/05/05 01:52:45.82 NIsOMWDj.net
アルファベット順？
339:１３２人目の素数さん
19/05/05 02:00:49.95 TYH7UiGC.net
>>325
kwsk
340:１３２人目の素数さん
19/05/05 02:36:04.09 vfQU+q3k.net
>>322
望月がいるじゃないか
341:１３２人目の素数さん
19/05/05 06:05:05.94 NluvEwou.net
拓郎ちゃん？
342:１３２人目の素数さん
19/05/05 06:08:03.02 sXSXB5tv.net
志村五郎さんはスキーム論は勉強したのですか？
343:１３２人目の素数さん
19/05/05 06:46:28.23 IYscNAsf.net
谷山が提出して志村がまとめた
だから、谷山・志村でいいよね？
344:１３２人目の素数さん
19/05/05 06:54:03.73 sXSXB5tv.net
本当はTaniyama-Weil Conjectureと言うべきかも。志村五郎の証言だけでは証拠不十分。
345:１３２人目の素数さん
19/05/05 07:19:05.86 zwVD60Q1.net
>>323
「だから言ったでしょう」
346:１３２人目の素数さん
19/05/05 07:34:53.70 mf4mUS/E.net
ある意味、正直すぎんだよな。
一流学者なんて基本、二流以下を見下しているんだろうが、
あまりそんなことは表に出さないけど、たまに出してしまう人がいる。
阪大からPに移籍した理由も阪大の給料が安すぎたせいってはっきり書いていたし。
347:１３２人目の素数さん
19/05/05 07:37:30.77 IYscNAsf.net
>>331
スキームなんか邪道だと思ってたのかな
348:１３２人目の素数さん
19/05/05 07:59:21.40 /v9nlGRm.net
>>333
ラングの調査だとそれは否定されるべき見解
349:１３２人目の素数さん
19/05/05 08:03:44.31 N+e//Ed8.net
何か、Weilが言及して欧米の研究者はそっちの名前ばかり呼んでたんだっけ？
でも歴史的には正しくなかったと。結局modularityがメインなっちゃったけど
350:１３２人目の素数さん
19/05/05 14:55:48.65 y+4YdsO3.net
失望しているよ、自分自信に......
いつか言ってみたいものだ
351:１３２人目の素数さん
19/05/05 15:07:23.20 qu58fOSC.net
定理でも予想でもよくわからんときは人名をつけないのが無難だろうな
重要なものほど後になって誰々がもっと前に特殊な場合をやっていたとか出てくる
352:１３２人目の素数さん
19/05/05 15:25:34.70 6NiEH63N.net
Weilは反対意見もってたくらいだから
353:１３２人目の素数さん
19/05/05 16:17:39.23 0cMgCsf+.net
>>336
志村先生がどう思っていたかは分からない。ただ氏が時代的理由でスキームについて勉強する機会がなかっただけと思う。
こういう経歴はグロタン信者にとって蔑むべきかもしれないが、彼のCM体上のアーベル多様体についての結果を考えると、氏が代数幾何について疎かったはわけでは決してない。
354:１３２人目の素数さん
19/05/05 16:31:44.24 WtriyHgM.net
>>280
www
355:１３２人目の素数さん
19/05/05 22:14:59.61 zfCl+XVJ.net
>>267
今さらだけど最後の行は現在よくわかんないです
買おうと思って結果二度別のを買ってるんで、未だに貶すことすらできないという
連休も誰も具体的な内容を取り上げないですね
356:１３２人目の素数さん
19/05/05 23:29:44.99 FcaoTTYL.net
具合の悪いトコロには触れナイモノＤＥＡＴＨ
357:１３２人目の素数さん
19/05/05 23:31:50.62 pbwJIL4u.net
>>345
BABYMETALメイト？ 大好きなんだけどね
358:１３２人目の素数さん
19/05/06 01:49:55.62 He7nD6l/.net
ファルティングスがモーデル予想を証明したとき、志村先生のコメントはどんなでしたか？
359:１３２人目の素数さん
19/05/06 02:08:21.53 Ecx7o04c.net
志村五郎って基礎論を糞の役にも立たないみたいな言い方してなかったっけ？！w
360:１３２人目の素数さん
19/05/06 03:27:59.27 mLCf1xM5.net
>>348
つまらない物に目を向けさせてる
361:１３２人目の素数さん
19/05/06 07:22:47.03 yKMfZrDA.net
本や講演と違い一方通行の構成はおもしろくない
Ｂってコース料理のフレンチとか好みそう
362:１３２人目の素数さん
19/05/06 07:49:31.47 kH925iL2.net
グロの方法が強力なのは横目で見ていてわかっていつつも、あまり過度の抽象化は好きではない（自分の方法ではない）ってことを言っていたような。
もっと、数理的な現象自体を眺めて、そこから抽象化をするのが自分の方法みたいな。
ある意味、佐藤・テイトと
363:近いのかもしれないけれど。
364:１３２人目の素数さん
19/05/06 09:56:07.82 H6c3kpUB.net
そうは言っても志村多様体をコホモロジーで調べないでどうするのかっていうのもあるし
谷山志村予想を一般化したラングランズ対応も、モチーフ的なアプローチ以上には何をしたら良いか
強力な手法が未だに無いし
強力な抽象化はどのみち必要。志村先生の趣味もあるだろうけど生まれた時代の縛りのほうが大きいでしょう
365:１３２人目の素数さん
19/05/06 10:01:27.17 H6c3kpUB.net
イメージとしては確かに具体的な現実主義って感じだけど、生まれ年が近い竹内外史はまた全然違うね
基礎論で深いブレークスルーを起こせば一気に数学が変わるっていう考えだったから
生きてたらIUTに興味持ったろうな
二人共プリンストンに縁が深い
366:１３２人目の素数さん
19/05/06 11:46:51.15 6mVjpqpk.net
そりゃ成果を残した数学者でもコンプの一つや二つあるわな
外史は層圏も貪欲に取り入れてるし心が広い
367:１３２人目の素数さん
19/05/06 13:34:18.29 /K29YMJ2.net
>>354
竹内は間違いが多すぎて志村が軽蔑するタイプ
368:１３２人目の素数さん
19/05/06 14:34:31.85 6mVjpqpk.net
>>355
心広い人は大抵自分にも広いしな
外史自身が著作で自分はミス多いけど気にしないみたいなこと書いてた
369:１３２人目の素数さん
19/05/06 15:30:20.23 0p+vdVIi.net
>>344
確かによく分からないですよね
「体にとしては非同型、副有限群としては同型。よって同型ではない」かつ、
「絶対ガロア群のような抽象的な位相群から取ったものだから“操作の履歴を忘れている”、しかし充満忠実」
よって「充満多重同型」である、などと言われても不確実で怪しげなものに見えます
本人が“mysterious indeterminate isomorphism”と書いているぐらいだから自覚はあるのでしょうけど・・・
ショルツといえども「人智を超えて」はいないので理解も納得もできるはずがない、ましてや我々凡人には
B本については、これまでのIUTの経緯から前書きの内容に腹が立って驚き呆れたのですが、、
考えてみれば「理解者」たちにとってはあの前書きのように見えるのでしょうね
370:１３２人目の素数さん
19/05/06 15:52:59.60 0p+vdVIi.net
>>351、>>352-353
結論がどんなに驚くべきものであっても、納得できる理解可能な形で書かれていれば受け容れられるし美しい理論と言えるんですよね
IUTは様々な「飛び道具」を使うために、例えば充満多重同型やラベルを「使用しなければならない」という感じです
それでもいいのですが、それを学ぶ側にとって自然な形で記述されなければナンセンスと言われても仕方ありません
例えば志村先生のような方がIUTのようなものをどう見ていたかなどは大体想像がつきますし、
竹内氏などは最終節について量子論理についてちょっとしたコメントをするかどうかという程度だったような気がします
大体あれはラフスケッチですしね
371:１３２人目の素数さん
19/05/06 16:27:36.46 0p+vdVIi.net
ケドラヤが「微細、微妙な何かをSSらは考えるべきだ」みたいなことを語っていましたけど、
SS、特にショルツはまさにその点を突いているわけで、SSレポート末尾の不定性によって生じた「ばかし」にまで訴えようとすれば
なんとでも言えるということでしょう
>>290
遅レスになりますが、圏論や集合論についてM氏は精通していないのではないかという指摘は発表当初から専門家の間ではありました
私もつい先日まで、不定性の徹底利用を正当化するために
372:はIU形式主義、宇宙際幾何学の基礎付けが必要ではないかと思っていましたが もうどうでもいいかなと思っています。できるのなら先ずそれに着手して完成していた（完成していなければならなかった）はずでしょうし
373:１３２人目の素数さん
19/05/06 16:38:24.90 hbqTzhgj.net
で、文元の本、中身ないよね？
374:１３２人目の素数さん
19/05/06 17:05:55.22 T3t93qmK.net
志村 五郎氏（しむら・ごろう=数学者、米プリンストン大名誉教授）プリンストン大の発表によると、5月3日死去、89歳。
楕円関数の性質に関する「谷山・志村予想」を提唱。350年余り数学者を悩ませてきた「フェルマーの最終定理」の証明につながった。東京大助教授、大阪大教授を経て1964～99年にプリンストン大教授を務めた。（ワシントン=共同）
URLﾘﾝｸ(www.nikkei.com)
375:１３２人目の素数さん
19/05/06 17:27:10.04 0p+vdVIi.net
志村先生とグロタンの違いでいえば、先ず二人とも同世代で若くして世代を代表する数学者だったし、スタイル、方法を確立していた
上の人も書いているようにグロタンは先ず抽象化から始める人で、そういう人にはデュドネやセールらのような実力者の支えが必要だし、
アイデアをより具体的な場面で使用し効果を試してくれる下の世代が必要だった。本人もそれを求めて動き回る人だったし
志村先生は数学的教養が恐ろしく深い人だったし、ある意味では一人研究室に閉じこもっても出来てしまうタイプですね
それでもずっとプリンストンに居られたわけだから多くの刺激があった
M氏はグロタンのタイプだから、むしろ自分から世界中飛び回って実力者たちと交流すべきなんですよ（成功したいなら）
M氏が海外に出て交流しない理由は多くの人が何となく分かっています。それが偏見に満ちた邪推だとは思えません
376:１３２人目の素数さん
19/05/06 20:21:20.24 x0FWxVzA.net
志村五郎が辛口って言われるのは日本だけなの？
海外だと普通レベル？
377:１３２人目の素数さん
19/05/06 22:27:02.92 KJ60p3wv.net
志村バラエティ
378:１３２人目の素数さん
19/05/06 22:31:29.85 KJ60p3wv.net
テレビのクイズ番組で「志村バラエティ」と言う数学用語が有る。ホントかウソか？
って問題出して欲しい。
379:１３２人目の素数さん
19/05/06 22:50:14.42 hPD6j6Qn.net
へんなオジサン
380:１３２人目の素数さん
19/05/07 06:38:41.81 3+LlHeL3.net
私が先だっ！
381:１３２人目の素数さん
19/05/07 09:58:56.56 nqg49knJ.net
>>363
自らの数学の歩みを振り替えるときにスルーするという
最も怖い手法を用いてくるので、毒舌なんかはまだマシ
そうしたことをした人でアティヤはえぐかった
まあいくら数学の業績も抜群、フィールズもとってとはいえ
頓珍漢な批判をされたらそら誰でも怒るわなって感じだが
382:１３２人目の素数さん
19/05/07 10:09:48.97 Ed9Y2Qo4.net
B本は、最後の２~３割で説明が詰まりすぎてるから、
３部作で出せば、かなりかみくだくことができるんじゃないか。
383:１３２人目の素数さん
19/05/07 10:16:45.00 z9hw6YNy.net
ウッドホールかな？。
384:１３２人目の素数さん
19/05/07 11:18:11.77 kAbXeH71.net
加藤文元著
ショルツもぐぅの音も出ない！Cor 3.12の完全証明！
角川学芸出版
385:１３２人目の素数さん
19/05/07 11:29:56.20 ETF80s9m.net
B派の工作員ってアタマ悪いのばかり
386:１３２人目の素数さん
19/05/07 11:36:56.15 qZp2zvvT.net
クズのゴミカスだから金魚のフンみたいに媚びへつらって群れたがるのさ
387:１３２人目の素数さん
19/05/07 11:40:41.41 qEnJSlQO.net
もうIUTなんかやめちまえよ
388:１３２人目の素数さん
19/05/07 12:23:47.59 bluQlf+y.net
僻み鮮人見苦しい。
389:１３２人目の素数さん
19/05/07 12:30:50.08 B1UXiihQ.net
どう見ても追い込まれてるのは擁護側だよ
そういう見方とか思い込みができる時点で論外
390:１３２人目の素数さん
19/05/07 12:33:12.90 B1UXiihQ.net
着想は良いとしてもダメな理由が国内でもツラツラ書いてあるでしょ
文字すら読めないんだろうか可哀想に
391:１３２人目の素数さん
19/05/07 13:17:28.22 qEnJSlQO.net
将来性のないものにいつまでもしがみついたってしょうがない
392:１３２人目の素数さん
19/05/07 13:37:42.21 J1K51rS4.net
それで将来性を作ろうと必死なんだろう
393:１３２人目の素数さん
19/05/07 13:37:48.74 SZep89U6.net
論文でもなんでも好きにすりゃいい。
しかし最終的に正しい論文というのは公理とすでに証明が正しいと認定された定理を認められた推論則のみを用いて繋げられたものが完成した時のみ。
ポエムだってんならどうでもいいが。
394:１３２人目の素数さん
19/05/07 13:48:29.47 4xSAlKaq.net
実名を出して望月教授を論破すれば世界的に有名になれるのに
なんで匿名の掲示板でグチグチ書き込んでるの？？自信がないの？
395:１３２人目の素数さん
19/05/07 13:51:47.95 pIBV1ySb.net
単にあなたの理解力の不足です
396:１３２人目の素数さん
19/05/07 14:00:04.02 i3eTAq1O.net
>>381 つブーメラン
では君が実名でNew ScientistかWorld Press に抗議すれば良いだけの話
自信がないの？
397:１３２人目の素数さん
19/05/07 14:04:38.09 tQtXPWHQ.net
>>357
軽く見た感じだと、殆ど説明してないですね
不定性というのは本質的に不可避で計算するべきなんだけども、テータ関数は強い対称性を持っているので
群論的に効果的なんだと
どう見ても説明はそれだけですね。それがラストなので
398:１３２人目の素数さん
19/05/07 14:09:22.36 tQtXPWHQ.net
自分の理解だと不定性は不可避であると同時に宇宙際幾何学を成立させるための武器でもあるんだけど
そういう言い方は望月、B共にしていない。単に異様で嫌なもののような書き方をしてる
で、テータ関数は豊富な対称性を持っているからそれを使ってまとめ上げて計算できるんだと
説明してるようで説明にはなってませんね。SSについてどの程度触れてるかわからないけど、まあ期待できない
399:１３２人目の素数さん
19/05/07 14:20:31.43 7B9Wtzq3.net
381の軽薄さと軽率さが際立つ
根拠もないし反論もできない
閉鎖社会のおらが先生論のみ
400:１３２人目の素数さん
19/05/07 14:21:50.11 avCt0XzK.net
逆風吹き荒れる中あえてドロ舟に乗ったBは漢の中の漢。
洋者の言うことに何でも媚びへつらうおまえらには一生越えられない。
401:１３２人目の素数さん
19/05/07 14:26:50.61 KlfTAr2E.net
でお前はBに媚びてるわけだ恥ずかしい
402:１３２人目の素数さん
19/05/07 14:27:05.58 tQtXPWHQ.net
対称性と不定性を取り持つ宇宙際の計算をどう考えるのか、少なくとも受け入れてない数学者がいるという点
その説明はBは勿論、望月も触れてない。あの反論レポートよりもかなり抑え目というか、
抽象化による不定性は新しい数学では本質的で必要なんだと言っているだけだね
それを遠アーベル幾何学的にテータ因子に「身体化」する群の宇宙際格子が適切かどうかが問題なわけだけど
403:１３２人目の素数さん
19/05/07 16:47:54.02 H1Ru9XDV.net
(Bって誰や…佐藤B作かな…)
404:１３２人目の素数さん
19/05/07 17:01:57.82 Ivm/r/cr.net
加藤B元号
405:１３２人目の素数さん
19/05/07 17:57:07.41 bluQlf+y.net
もっちー先生の仕事で志村五郎は生き恥をかかされた。
406:１３２人目の素数さん
19/05/07 18:28:35.15 mKScrsGR.net
擁護派の言い分を丸呑みするのはバカだから仕方ないとしよう
このズレの否定論やショルツらの異論に答えてからにしてくれ
殆ど厨二病にしか見えないよ
中身よりもjin的なつながりを重要視する三国人思想主義者
407:１３２人目の素数さん
19/05/07 18:40:36.18 EHYeVEb5.net
>>390
センテンスエレメント
408:１３２人目の素数さん
19/05/07 18:56:58.66 qEnJSlQO.net
SSを納得させられなかった望月の敗北ではないのか？
409:１３２人目の素数さん
19/05/07 19:17:05.69 bluQlf+y.net
>>395
グロたんは志村五郎を納得させられなかったから志村の勝ちでグロたんの負けか？
410:１３２人目の素数さん
19/05/07 19:20:21.82 k1SjoU8T.net
京都大学
第2期中期目標期間評価の結果
URLﾘﾝｸ(www.kyoto-u.ac.jp)
第2期中期目標期間(平成22～平成27
事業年度)に係る事業評価の結果
1 本学作成の報告書等
学部 研究科等の研究に関する現況調査表
数理解析研究所
資料 2. 発表論文数
所員の発表論文数
査読付き論文のみ
事例4「数論幾何の研究」
>望月新一に よる「宇宙際タイヒミューラー
理論」の構築とその結果としての ABC 予想
の 解決は、特筆 すべき出来事である。
>当該論文は現在査読中であるが、
>望月新一が同理論の概要を解説した業績
番号1― (2)(2014)が、講究録別冊として
刊行されている。
2 評価結果等
学部 研究科等の研究に関する現況分析結果
数理解析研究所
> 2.注目すべき質の向上
○「数論幾何の研究」の「宇宙際タイヒ
ミューラー理論」の構築とその結果として
のABC 予想に関する論文は、国内外の
主要メディアで取り上げられてい る。
411:１３２人目の素数さん
19/05/07 19:30:01.60 2rFEem2n.net
かのニュートンだってフックに目新しいことは何も無いし間違ってさえいると酷評されて論文発表すらできない事態に追い込まれたからな
納得しない学者がいるから何だと言うんだ？
そんなことは歴史上に珍しくない
412:１３２人目の素数さん
19/05/07 19:33:05.80 tR17/BK5.net
>>398
ほんそれ
ガロアのような事が現代数学では決して起こりえないって誰が決めた
413:１３２人目の素数さん
19/05/07 19:45:09.67 2rFEem2n.net
リーマン予想を示唆する1/2の研究はどうしたんや。
414:１３２人目の素数さん
19/05/07 19:57:09.50 gtWZhRx2.net
記事のリンク先には、1400万例ものabc予想の反例が見つかっていたという。
URLﾘﾝｸ(www.math.leidenuniv.nl)
415:１３２人目の素数さん
19/05/07 20:53:47.12 3+LlHeL3.net
なんか知らんがニュートンを越えてた
416:１３２人目の素数さん
19/05/07 21:51:26.10 Ed9Y2Qo4.net
リーマン・・・が、世界経済でも来まっせ―
417:１３２人目の素数さん
19/05/07 21:51:52.76 x2Axm8SC.net
>>385
結局、充満多重同型という望月流の同型が認められるかどうかが全てですね
理解者たちは京都の一室で無理解な人たちを嘲笑う暇があるなら、充満多重同型に絞ってガンガン論文を書けばいいですし、
もっと言えばボン、マックス・プランク、IAS、プリンストンに乗り込んで説明すればいいんですよ。理解できるものならば納得させられるはずです
望月だけが反論レポートを書き、理解者たちはアジビラや宣伝本しか書かない（書けない？）というのはおかしいですよ
来年のプロジェクトを考慮するなら尚更、専門家、実力者たちにアピールするべきなんです。それをやろうとしない・・・
418:１３２人目の素数さん
19/05/07 22:55:29.60 fMQcq2tD.net
専門家、実力者っつってもほとんどが単なる傍観者だろ
SSが納得しさえすれば周りの傍観者�
419:ﾍどうせSSがいいって言うならいいんだろってなるよ
420:１３２人目の素数さん
19/05/07 23:02:20.90 74wWmTd7.net
加藤文元のＩＵＴの衝撃とやら立ち読みしました
ＩＵＴが説明されているだろうとおもったら間違いで、
飲み屋に行ったらたまたま隣に望月新一を知ってるめんどいオッサンがいて
ＩＵＴを理解できないけれどＩＵＴを肴に数学とは何か？感を
素人向けに得意げに語るといった内容ｗ
421:１３２人目の素数さん
19/05/08 04:55:16.21 c16hwz2q.net
>>404
相対性理論や量子力学を引き合いに出すくらいならw本当にその通りで、何故大々的に解説講演しないのかと
特にeffectiveな計算はアメリカに何人も関心を持つ研究者がいる
これが自信の有無とはまた別に「へーこらして理論を教えたくもない」という感情も絡んでそうなのが厄介
422:１３２人目の素数さん
19/05/08 04:57:20.64 c16hwz2q.net
文化闘争というならシュプリンガーやAMS、Clayにアワードや研究書を出させたら十分勝ちで
PRIMSも強化されるのに
何を拘って鎖国みたいなことをするのか
423:１３２人目の素数さん
19/05/08 09:30:19.87 eQ+2riJd.net
学者が「素晴らしい」とすぐに言っちゃうようなのは大したことない
学者が「何だこりゃ？！」というものじゃないとね
特にM氏のは学者としての流儀、ブリンシプルに修正を迫るみたいなとこがあるから不快感を感じるんだろうな
ふざけるなとも思うやつがいたり。狐につままれた感を受けたり
まあ最先端にいくと人間の直感から外れたりオカルト臭に満ちてくるから、むしろオカルト臭がしないのは本物ではないだろう
オカルト呼ばわりは正統進化の証だと感じるね
424:１３２人目の素数さん
19/05/08 09:51:55.03 tXS4K/fT.net
今日も素人衆を相手に洗脳して勢力拡大を図るニダ
∧＿∧ どうせアクセプトされないからってパンピーが余裕ぶっこいててムカつくニダ
<丶｀∀´> ∧＿∧
／ ＼ （ ） なに言ってんだこのゴミクズ
.＿＿| | .| |＿ / ヽ
||＼ ￣￣￣￣ ／ .| | |
||＼..∧＿∧ (⌒＼|_＿./ ./
||. （ ） ~＼___＿_ノ| ∧＿∧
/ ヽ 馬鹿か？ ＼| （ ）
| ヽ ＼/ ヽ. 日本からさっさと出てけ
| |ヽ、二⌒) ／ .| | |
.| ヽ ＼∧＿∧ (⌒＼|_＿./ /
425:１３２人目の素数さん
19/05/08 13:15:29.89 i9z5tvoq.net
IUTみたいな独自路線の研究は数学をわかりにくくするから止めてほしい
426:１３２人目の素数さん
19/05/08 13:17:21.84 BwKszzDC.net
>>409
何だこりゃ？
427:１３２人目の素数さん
19/05/08 13:53:47.06 30CkRgPu.net
最初は皆が凄いって思ってたのに、これはあかんかもってなったのを覆すのは相当、ショッキングなことがないとね
428:１３２人目の素数さん
19/05/08 15:27:57.33 8zTY8JC8.net
>>411 学問の自由を否定するような輩まで出てきたな。
429:１３２人目の素数さん
19/05/08 16:53:36.83 AZWdqRAd.net
何にも進展ないのにスレがめっちゃ伸びてて草なんだ
430:１３２人目の素数さん
19/05/08 18:01:12.02 c16hwz2q.net
2020年に大事件が起こらないとも限らないからね
良いか悪いかは別として
431:１３２人目の素数さん
19/05/08 18:32:26.08 DEbwP0ZW.net
2020年に鮮人黄禹錫（ファン・ウソク）が山中伸弥
432:を超える大発見をして2021年に単独でノーベル医学生理学賞を受賞。
433:１３２人目の素数さん
19/05/08 20:37:08.04 ES+WVwFA.net
ブリコラージュ的な何か
正しいかどうかは？
434:１３２人目の素数さん
19/05/08 22:03:54.41 FZsoNm+Y.net
>>389
IUTは不定性に着目し徹底利用して宇宙際の計算をするので、2つの不定性を生じる充満多重同型は理論の前提となっている
SSとしては、そんな望月の思惑とは関係なく、普通に同型として捉えて何ら問題はない。しかし、そうすると内部矛盾に至る
特にショルツのような正統派の中枢にいるような数学者は望月の話に「合わせてあげる」必要はないわけだ
つまり望月からすれば、ショルツは不定性の活用・効用を知らない旧態依然の数学者ということになるし、
ショルツからすれば不定性を濫用（悪用？）を咎めたらド壺にハマった哀れな数学者ということになるわけだ
要するに、圏論の常識を超えて望月の話に合わせてやらないとIUTは成り立たない
そのお話に説得力を感じなかったのがショルツで、疑問を持ちつつも裏に何かあるのではないかと思っているのがロバーツ
435:１３２人目の素数さん
19/05/08 23:02:16.47 ZOqZYhJG.net
数学の神はwild card を創らない
436:１３２人目の素数さん
19/05/08 23:11:05.20 tySFkmWC.net
（疑似）乱数関数とか
任意定数とか
余計なゲージ自由度とか
437:１３２人目の素数さん
19/05/08 23:45:49.64 FZsoNm+Y.net
まあ、最終節の書き方から察するに、冗談半分だけど「数論幾何学の量子力学的定式化」、
「数論幾何学の遺伝子工学的定式化」のようなものの、ちゃんぽん鍋と言えなくもないかな
だからブログやB本の寄稿で社会的固定観念云々の話も持ち出す
万能感を持った中二病的数学者と思われても仕方がない
ところでM本氏は全然出てこないね。彼のIUT理論構築への貢献は大きいと思うけど…
438:１３２人目の素数さん
19/05/09 01:07:02.10 04YMblvN.net
ゼータの化身のことやp進数の世界のことがもっとよく理解されるようになり，岩澤理論が発展してゆけば，ワイルスがフェルマーの最終定理についてなした仕事にもましてすてきなことが，いろいろとなしとげられることと思います．（加藤和也）
439:１３２人目の素数さん
19/05/09 03:51:43.19 +4nUVRUK.net
>>422
M本って誰？
440:１３２人目の素数さん
19/05/09 07:31:25.38 VI4yF5FI.net
>>424
まこっちゃんでしょ
441:１３２人目の素数さん
19/05/09 09:36:49.78 005UgNT+.net
>>420
神の定義による
442:１３２人目の素数さん
19/05/09 09:55:43.65 k1nifC3s.net
しかしぶんさんの本は玉川教授や田口教授はよくiutを理解していると書いてしまっているが、これは本当なのだろうか。
本当なら結構すごい話では。
443:１３２人目の素数さん
19/05/09 11:07:05.62 QmLJqZPl.net
田口は見栄はりだと思う。あきおは寝耳に水だろう。
444:１３２人目の素数さん
19/05/09 12:53:58.89 2FJWGB3s.net
わかってたらとっくに論文書いてるでしょ
445:１３２人目の素数さん
19/05/09 13:00:48.50 AQiHAQ1+.net
>>427
絶対嘘だ。
Bのやることは
汚い
446:１３２人目の素数さん
19/05/09 15:49:18.84 xlbLTWGl.net
しかしこういう数学通俗本には嬉々として反応して、まともな数学書（入門書でさえ）には一切無反応なjinの馬鹿っぷりも本当にすごいと思うよ
447:１３２人目の素数さん
19/05/09 18:47:01.23 vpEgBkEQ.net
jinjin素人おばさんストーキングしていちいちここに報告してくるお前も大概だけどな
448:１３２人目の素数さん
19/05/09 19:19:03.86 ujnDMgZ2.net
玉川教授や田口教授はBよりもIUT（の背景
449:にある理論）を理解している、ということだろう。 相対的な話だろう。 まあ、取り巻きには通読した回数が重要らしいからな。
450:１３２人目の素数さん
19/05/09 19:48:38.12 POc0cPt5.net
ついにアクセプトという話が。やっぱりブンゲン本やNスペなどと時期をあわせてきたな。6月か？7月か？
451:１３２人目の素数さん
19/05/09 20:11:41.77 9VjGN+W5.net
Nスペおじ、きらい
452:１３２人目の素数さん
19/05/09 20:13:06.29 dVcDyDrM.net
どこにアクセプトされる話が？
453:１３２人目の素数さん
19/05/09 20:37:51.81 tlAM2zxc.net
ほらほら数々の度重なる指摘を一ミリも理解できないチョンだろ
454:１３２人目の素数さん
19/05/09 20:39:30.83 tlAM2zxc.net
アクセプトされてから錯乱して駆逐されればいい
455:１３２人目の素数さん
19/05/09 20:41:40.20 0qnbP2te.net
Jin類ポカーン計画
456:１３２人目の素数さん
19/05/09 20:55:14.79 ujnDMgZ2.net
また擁護派のアクセプト発言か。
これまで何回も出てきたが、アクセプトはされなかったね。
せめてもの願望か。でも醜いよ。
457:１３２人目の素数さん
19/05/09 23:34:00.31 xUNOt/uB.net
度重なる指摘を受けても厚顔無恥の悪しき学術会の慣行を糾弾
【山中教授だけじゃない！】石油を水から作り出す！？
革命的研究発表をした京大名誉教授・今中教授に独占インタビュー！
URLﾘﾝｸ(sensekyoto.com)
458:１３２人目の素数さん
19/05/09 23:36:14.39 xUNOt/uB.net
疑念続出のＳＴＡＰ細胞論文騒動 何が問題？
URLﾘﾝｸ(www.sankei.com)
小保方氏批判の何が問題なのか？―①科学的解明姿勢の欠如＋②公正手続きの無視
URLﾘﾝｸ(blogs.yahoo.co.jp)
459:１３２人目の素数さん
19/05/09 23:59:22.27 rMAofjsu.net
名前：１３２人目の素数さん[sage] 投稿日：2018/10/09(火) 01:37:03.20 ID:iEmKtfiM
Ｍ『論文が掲載されないの…』
Ｓ『あらら？3.12かな？検証はできる？』
Ｍ『内部の議論ではちゃんと機能してたのに。なんでいきなりフェルマーなんだろう。』
Ｓ『ギャップって怖いよね。で、循環論法かどうか知りたいんだけど説明できる？』
Ｍ『今は学部生でもわかるから自明なのに』
Ｓ『それは困ったね。どう？説明はできる？』
Ｍ『今までの論文はこんな事無かったのに。こんな読めない論文書かなきゃよかった。』
Ｓ『…説明できる？説明できない？』
Ｍ『掲載の予定だからまだ時間あるけどこのままじゃ困る。』
Ｓ『そうだね。で、不等式の説明はどうかな？非自明かな？』
Ｍ『え？ごめんよくわからなかった』
Ｓ『あ、えーと、無限階段みたいになってないかな？』
Ｍ『何で？』
Ｓ『あ、えーと、掲載されてないんだよね？論文が間違ってるかも知れないから』
Ｍ『何の？』
Ｓ『え？』
Ｍ『ん？』
Ｓ『論点が違ってるかどうか知りたいから、説明してみてくれないかな？』
Ｍ『別にいいけど。でも学部生以上だったらわかるよね？』
Ｓ『いや、だから。その論理を知りたいから説明してみて欲しいんだけど。』
Ｍ『もしかしてみんな気付いてる？』
Ｓ『いや別にみんなではないけど？』
Ｍ『気付いてるじゃん。何でわざわざいうの？』
Ｓ『だから説明してください』
Ｍ『何か間違ったこと言いました？言われた点は説明しましたけど？』
Ｓ『わかりません。自明と思えません。非自明、非自明だから』
Ｍ『何が非自明なの？』
Ｓ『論文掲載の話だったよね？』
Ｍ『拡張性でしょ？』
男『ああそう拡張性の話だった』
460:１３２人目の素数さん
19/05/10 00:16:32.14 6BVPxFx6.net
また僻み鮮人か。
ニダーは出てってくれ。
461:１３２人目の素数さん
19/05/10 03:31:21.45 EVJDnjOp.net
三国jin
462:１３２人目の素数さん
19/05/10 06:43:23.58 tSsWnN0x.net
近所のコンビニの飲食スペースに老婆２人がいた。老人が老害と呼ばれるゆえんなのだろうか
463:１３２人目の素数さん
19/05/10 07:36:46.44 I4XI9io2.net
何年もの間検証による再現ができない論文があった
ジャーゴンの山といわれるゆえんだろうか
464:１３２人目の素数さん
19/05/10 07:38:29.53 k07TFpRW.net
夏頃アクセプト予定
覚悟決めたみたいね
465:１３２人目の素数さん
19/05/10 07:42:28.34 WHV5W+Gm.net
何年もの間検証による再現ができない論文があった
ジャーゴンの山といわれるゆえんだろうか
466:１３２人目の素数さん
19/05/10 08:36:21.74 kdaY9A1A.net
今回もアカヒがリークしてくれるだろう
467:１３２人目の素数さん
19/05/10 08:53:44.07 WYkDoZlp.net
>>448
覚悟w
468:１３２人目の素数さん
19/05/10 09:36:39.67 5SNLsCMN.net
査読は度胸
469:１３２人目の素数さん
19/05/10 09:39:37.36 C7PbQn56.net
査読も読経？
470:１３２人目の素数さん
19/05/10 09:50:27.13 HdcsWgfO.net
>>443
考える方も、コピペ用に保存してる方もやばいね。
471:１３２人目の素数さん
19/05/10 11:36:29.73 eX6YBg5l.net
またゾンビが調子こいてるよ～
472:１３２人目の素数さん
19/05/10 12:23:26.28 qOVHIkCW.net
理解者といわれるゴーとフェセンコがネット上でディスりあってるの一つとっても、IUTオワタ感あるよね！
473:１３２人目の素数さん
19/05/10 12:42:51.56 /dUU5qGV.net
完全理解力者の間でも解釈の異なる玉虫色の論文
しかもレフェリーも出てこず誰が真の理解者なのかすら不明
で、アクセプトなの？
474:１３２人目の素数さん
19/05/10 12:56:20.77 J7IGtthe.net
そりゃ正しければ何としてでも自分でより正確なサーベイ書くなり、
門下生、師弟に学ばせようとするだろ、普通は。
子供に手っ取り早く金になりそうな将棋ってどゆこと。
475:１３２人目の素数さん
19/05/10 13:02:56.31 uXtsWPzD.net
学問は単に糧食の手段です
宗教や政党と同じです
傾倒する者と疑心暗鬼ながらも従う者がいます。
476:１３２人目の素数さん
19/05/10 13:13:17.55 zHBcCmje.net
ビーは手軽に始めるＩＵＴ講座とかやらないんだろうか
477:１３２人目の素数さん
19/05/10 13:23:41.47 O0mB3/hd.net
フェセンコの弟子も支持する、しないは特に表明してないような
478:１３２人目の素数さん
19/05/10 13:48:57.49 /aE7wW4/.net
そういう研究室にいてIUTに巻き込まれようが、IUT 周辺の遠アーベルで適当な論文は書けるはずなんだよ。
院生や研究員がIUT と共に沈んだとしても自己責任だろうな。
479:１３２人目の素数さん
19/05/10 14:49:48.19 Bigmy9h0.net
中国の学者はもっちー理論を真剣に勉強してる。台湾もChung Pang Mok氏をパデュー大から引っ張ってきた。フィリピン人アントンも理解しつつある。タイ人が一人もっちーの弟子。
鮮人は遅れてる。
480:１３２人目の素数さん
19/05/10 15:09:52.54 EXtQi8vs.net
活動実績報告書に入れておいてね
481:１３２人目の素数さん
19/05/10 15:52:01.86 WYkDoZlp.net
>>463
それ擁護になってるのかね？w
482:１３２人目の素数さん
19/05/10 15:53:29.28 Bigmy9h0.net
The Department of Defense (DOD) provides extramural funding for the mathematical sciences primarily through five organizations: AFOSR, ARO, DARPA, NSA, and ONR. ... In particular, NSA is often said to be the largest employer of mathematicians in the Unit
483:ed States. アメリカもDoDの考えが変われば遠アーベル幾何の研究に予算を使うようになる、かも。
484:１３２人目の素数さん
19/05/10 17:54:10.98 MXSUmoNC.net
アンチの鈍感ぶりには同情するw
485:１３２人目の素数さん
19/05/10 18:07:05.93 09RuEBgK.net
今週も無知な素人衆を捕まえてわかったフリをする人間を増やすニダ
∧＿∧ どうせアクセプトされないからって否定側が余裕ぶっこいててムカつくニダ
<丶｀∀´> ∧＿∧ いつもの論点すり替えて僻みのせいにするニダ
／ ＼ （ ） なに言ってんだこのゴミクズ
.＿＿| | .| |＿ / ヽ 身内のkimの反論検証はなんで出せないんだよ
||＼ ￣￣￣￣ ／ .| | | 数少ない擁護側のTylorを3月に来日させといて何言われたんだよ
||＼..∧＿∧ (⌒＼|_＿./ ./
||. （ ） ~＼___＿_ノ| ∧＿∧
/ ヽ 厚顔無恥の馬鹿？＼| （ ） 不利な点はオールスルーで数日で復活とかゴキブリかよ
| ヽ ＼/ ヽ. 免疫のない学生やらアマチュアクラブの連中相手に洗脳かよ
| |ヽ、二⌒) ／ .| | | 再現性のない論文ってなんて言うか知ってるのか？
.| ヽ ＼∧＿∧ (⌒＼|_＿./ /
∧__∧
（´∀｀ ） オボちゃんも最後の最後まで認めようとしなかったからね！
（⊃⌒*⌒⊂) キタナイとこは隠すからね！
/__ノωヽ__）
486:１３２人目の素数さん
19/05/10 18:09:41.35 5SNLsCMN.net
数学の論文における再現性とは
487:１３２人目の素数さん
19/05/10 18:40:41.58 5SNLsCMN.net
そうかわかった。他の人の脳みその中に、その理論をもう一個コピーすることを言っているんだ。きっと。
488:１３２人目の素数さん
19/05/10 20:59:15.86 R2zvMFMq.net
○○「私はたぶん3人目だと思うから。
489:１３２人目の素数さん
19/05/10 23:58:30.94 BJB3KiNb.net
SSが充満多重同型を自然同型として切り捨てたことに対して、これが遠アーベル幾何の無知からくるものだと非難するなら、
望月以外の遠アーベル幾何学者から多くの異論が公けに出てもおかしくないのにな
望月が「遠アーベル幾何学者として」正しい論法を使っているなら、他の遠アーベル幾何学者は専門家の威信をかけて
SSの間違いを正さなければならないはずだ。それなのに誰も公けに見解を表明していない
490:１３２人目の素数さん
19/05/11 05:35:48.45 fUeoLZ0F.net
なあなあ、充満多重同型の定義って何？
491:１３２人目の素数さん
19/05/11 06:51:59.49 HEmbx4yp.net
>>472
論点が見えないな。明確に書いてくれよ
492:１３２人目の素数さん
19/05/11 07:34:29.38 KcQnrNlv.net
>>472
遠アーベル幾何学の無知から来るものだ、との指摘に対して
そんなことはないとの反応は皆無
それで十分
493:１３２人目の素数さん
19/05/11 09:14:51.11 IZNaAObN.net
少なくともノイキルヒ内田の定理を超えた話なのは間違いないからなあ
何を指して言ってるんだかね
494:１３２人目の素数さん
19/05/11 09:21:18.97 um2yebr2.net
自分の論文じゃないんだから
自分の専門分野の別の論文に他人が噛みつこうがスルー
皆スルー耐性くらい身につけてんだろ
後でIUT論文が間違えてましたってなっても自分には関係ない話
495:１３２人目の素数さん
19/05/11 09:27:40.51 IZNaAObN.net
Stixさんが明確に撤回しない限りはその点はあれでしょう
玉川、中村などは沈黙しているし、Stixは一応見解を表面してしまったから、考えが変わったら
何か言わなきゃならない。他人の論文を否定してるから、よくある間違った論文を放置するのとは訳が違う
496:１３２人目の素数さん
19/05/11 10:54:25.89 NLJePlry.net
そう考えるとスルー三昧の中でなんか言った連中、ちゃちゃ入れのコンラッドなんかも含めて、偉いよなあ
497:１３２人目の素数さん
19/05/11 12:13:28.37 YUc96e4g.net
何故か巻き込まれる中村
498:１３２人目の素数さん
19/05/11 15:00:18.68 nvG96FE1.net
しかしさ、ブンゲンって望月の論文の査読者の一人で、IUTは正しいって判定した人でしょ。
その人の理解度がこの通俗本のレベルってどうなのよ？
499:１３２人目の素数さん
19/05/11 15:13:10.79 2doHtUTN.net
一般書出しただけだから理解してるかは不明かと
500:１３２人目の素数さん
19/05/11 17:10:39.75 cIvTaRSS.net
いや、理解してないと思う（覚悟）
501:１３２人目の素数さん
19/05/11 19:48:28.89 pIjOZMgQ.net
何故か巻き込まれる中村
中村博昭とか底辺のアホにはわかるわけない
点付き射影直線のしょぼい例でグロタン予想やってみただけ
502:１３２人目の素数さん
19/05/11 19:52:31.16 W7iDUrhh.net
>>476 >>478
>>472はSSレポートと望月反論レポートを読んだ人に向けて書いています
要するに、IUTにおけるクンマー理論と単遠アーベルの合わせ技の問題
望月としてはクンマー離脱不定性とエタール輸送不定性に着目して充満多重同型なるものを主張し、それはIUTの核を成す
SS、特にショルツはクンマー理論の自然同型だけでよいとし、望月の言う不定性を孕んだ同型は必要ないと主張している
つまり私の言いたいことは、所謂IUT理解者でなくても遠アーベル研究者ならこの論争に対して一言あるべきだということです
名前の挙がった人たち以外にも数人いますが、彼らがSSの指摘の意味が分からないはずはない
私は遠アーベル研究者ではありませんが、自分の専門でこういうことが起こったら大論争になるのは必定です
なぜ遠アーベル幾何学者たちは沈黙しているのか、ということです
503:１３２人目の素数さん
19/05/11 20:04:49.42 W7iDUrhh.net
これは個人的な想像ですが、ショルツとスティックスとではIUT問題の力点が違うような気がします
たぶん、スティックスは充満多重同型についてはそんなに問題にしておらず、不定性の管理、
つまりラベルの使用の仕方に問題があると思っているのではないかと（クオンタ誌を読む限りでは）
それに対してショルツは、同型問題からしてダメ出しをしているという感じですね
504:１３２人目の素数さん
19/05/11 22:21:10.08 VJY6Usq9.net
何故か巻き込まれ挙げ句に底辺扱いまでされる中村
505:１３２人目の素数さん
19/05/11 22:58:15.14 q9jWbphq.net
>>486
そのラベルの管理の仕方が問題というのは、本来違うものをひとまとめに扱うからという事なんですかね？
506:１３２人目の素数さん
19/05/11 23:01:24.74 UKG6L/36.net
ここを見ていると、嫉妬を通り越して怨嗟すら感じる。
507:１３２人目の素数さん
19/05/11 23:12:59.04 OUvxsvfS.net
kua ioa mos
508:１３２人目の素数さん
19/05/11 23:46:01.66 W7iDUrhh.net
>>488 誤解を恐れず「通俗的」に書いてみますね
IUTでは「非常に似ているが異なった宇宙」を作ります（これは充満多重同型を前提とします）
さらに宇宙を再初期化したり取り替えたりして計算をするので、
前後を区別するためにラベルによって明確に区別する必要があります
これに対して、SSレポートでは充満多重同型は必然性がないとして却下し、結果として同じ宇宙のコピーしか作っていない
つまり、同じ宇宙で同じ計算をしているだけなので区別するのは無意味、ラベルなど必要ないとしています
クオンタ誌のスティックスの発言からの憶測ですが、ひょっとしたら彼は充満多重同型を認め「異なる宇宙」についても認めているのではないか、
しかし、ラベルによる管理が上手く出来ていないのでIUTは機能していないと考えているのではないか、
そしてSSレポートはほとんどショルツ一人によって書かれたのではないか、ということです
あくまで憶測です。昨年3月の議論の全容は双方のレポートを読んでも分からないので・・・
509:１３２人目の素数さん
19/05/12 01:22:13.39 9QOK4Q8R.net
SS分裂という噂がありますが、具体的にはどういうことなんですか？
510:１３２人目の素数さん
19/05/12 01:51:28.50 zdIHdfou.net
ドイツの理論を日本が進化させたなら
人類の最高傑作レベルの論かもしれんけど
難しすぎて誰も理解できないんじゃねえ
511:１３２人目の素数さん
19/05/12 02:06:15.18 vyI5A6bU.net
>>492
jinが気にしそうなゴシップだな
512:１３２人目の素数さん
19/05/12 02:08:09.77 9QOK4Q8R.net
>>494
jinじゃないですが。
513:１３２人目の素数さん
19/05/12 03:56:42.52 omqLS4S4.net
IUTはもともと壊れているからね。
がらくたのまとめ方はニュアンスが違うね。
514:１３２人目の素数さん
19/05/12 04:12:24.76 9QOK4Q8R.net
>>496
それは鮮人の願望。
515:１３２人目の素数さん
19/05/12 04:28:05.44 omqLS4S4.net
アメリカ ドイツ オーストラリア、、壊れ方は各国の数学者から指摘されてる。
516:１３２人目の素数さん
19/05/12 04:29:05.94 Uu5bEZlE.net
なんだドカタか
517:１３２人目の素数さん
19/05/12 08:25:05.60 2hsA9qaz.net
>>491
というか相補的っていう事なんじゃないですかね。Quantaの記事の書き方だと、整合性があっても不等式は
無意味になるし、他方で不等式を成立させるための、多分水平方向のΘリンクの対称性通信だと思いますが
それが確か軽微な不定性を除いて宇宙の情報を伝達し、本質的な不変量を計算する体裁になっているんだけど、
実際にはそんな精妙な仕組みは見受けられないというか、大域的には秩序のないデタラメだと
望月さん自身はまず解説で、Θリンクは始の宇宙と終の宇宙を繋ぐようにできてると言ってるけど、
Stixは全体としては間違いというニュアンスですよね。実際、論文が本当にそれを説明できてるのか疑問です
518:１３２人目の素数さん
19/05/12 08:29:05.89 2hsA9qaz.net
まあ要するに「どっちみち詰んでる」って理解がSSで一致してる部分でしょう
519:１３２人目の素数さん
19/05/12 09:14:35.74 GoPr657X.net
星氏がサーベイで「IUTはもう少しで崩れそうな均衡の上に成り立っている」って言ってるよね
520:１３２人目の素数さん
19/05/12 09:18:47.13 GoPr657X.net
>>502
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
もう少しだけ理論の詳細に踏み込みましょう. (より詳しくは §27 を参照ください.)
§4 から §12 までで説明される “リンクによるアプローチ” によって,
ある Diophantus 幾 何学的定理 (§4 の冒頭を参照) を証明するためには,
ある適切な固定された数体上の楕円 曲線に対して
(a) 対数殻 (§8 を参照)
(b) 楕円曲線の q パラメータの (1 より大きい) ある有理数による巾
(c) 数体
という 3 つの対象の (ある適切な設定における) 多輻的な表示 (§7 を参照) の存在を証明 すれば充分であるということになります.
・・・
エタール的部分の不定性や対数殻の Kummer 同型に付加されてしまう不定性によって, て,
(a) の多輻的な表示を得るためには, (a) に対するそれぞれ (Ind1), (Ind2) という不定 性 (§10 を参照) を許容しなければなりません.
また, 上述の対数 Kummer 対応が上半両 立性を満たすことしか確認することができないという事実によって,
(a) の多輻的な表示 を得るためには, (a) に対する (Ind3) という不定性 (§10 を参照) を許容しなければなり ません.
一方, これまでの説明に登場してきた様々な概念を用いることで, (Ind1), (Ind2), (Ind3) という比較的 “軽微な不定性” のもと,
(ある適切な設定において) (a), (b), (c) を 多輻的に表示することができるのです.
最初にこの宇宙際 Teichmuller理論を勉強したときに筆者が持った印象は,
“このような議論が許されるならば, 何でもやりたい放題ではないか” という方向性のものでした.
しかしながら, 更に勉強を進めたり, あるいは, 類似的な議論を模索していく内に,
理論に 対する印象は, “理論における様々な対象の構成は, もう少しで崩れてしまいそうな辛うじて保たれている均衡の上に成り立っており,
そう簡単にはこの理論の真似はできない” と いう, 最初の印象の逆を向いたものに変化してしまいました.
521:１３２人目の素数さん
19/05/12 09:20:45.59 ljgSrjTE.net
>>499
土方先生がどうしたって
522:１３２人目の素数さん
19/05/12 09:50:57.51 Oo7r88tF.net
IUTの手法ならやりたい放題できちゃうね
↓
勉強を進めた結果
↓
そう簡単には真似出来ない理論である
なるほどという感じだね
523:１３２人目の素数さん
19/05/12 09:54:37.04 6CstoUQS.net
今週も無知な素人衆を捕まえてわかったフリをする人間を増やすニダ
∧＿∧ どうせアクセプトされないからって否定側が余裕ぶっこいててムカつくニダ
<丶｀∀´> ∧＿∧ いつもの論点すり替えて僻みのせいにするニダ
／ ＼ （ ）
.＿＿| | .| |＿ / ヽなに言ってんだこのゴミクズ
||＼ ￣￣￣￣ ／ .| | | 身内のkimの反論検証はなんで出せないんだよ
||＼..∧＿∧ (⌒＼|_＿./ ./ 数少ない擁護側のTylorを3月に来日させといて何言われたんだよ
||. （ ） ~＼___＿_ノ| ∧＿∧
/ ヽ 厚顔無恥の馬鹿？＼| （ ） 不利な点はオールスルーで数日で復活とかゴキブリかよ
| ヽ ＼/ ヽ. 免疫のない学生やらアマチュアクラブの連中相手に洗脳かよ
| |ヽ、二⌒) ／ .| | | 指摘の反論ができないってどういう事だよ？
.| ヽ ＼∧＿∧ (⌒＼|_＿./ / 6月のＮスペはどうなったんだよ
∧__∧
（´∀｀ ） オボちゃんも最後の最後まで認めなかったからね！
（⊃⌒*⌒⊂) キタナイとこは隠すからね！
/__ノωヽ__） Examples of triples with small radical だけ記述してるの？
他で上界値はもう出てるよね
上界値だけだと証明にならないじゃん？
524:１３２人目の素数さん
19/05/12 10:35:18.80 2hsA9qaz.net
そこが不思議なんだよな
誰かがアメリカに言ってFaltingsやBombieriの弟子に二週間くらい集中講義をして、理論は有意義で
魅力的だってことを示せば良かったはず。特に星さんなんか五年前にはとっくに理解していた話になってて、
失礼だけどそんな大きな仕事を抱えてたわけじゃない
この五年一体何をやってんだとならないか？
525:１３２人目の素数さん
19/05/12 12:05:04.99 Oo7r88tF.net
そこは御大が日本引きこもりで遠慮があっただろうしな
積極的に動き回って仲間を増やす性格で無いのが災いしたとしか
526:１３２人目の素数さん
19/05/12 12:27:24.93 81KjCLzu.net
そういや佐藤の超関数は本人がプリンストンに行ってヴェイユに否定されて
メジャーになれなかったな
SKKの頃は3人が主にフランスに行って宣伝して有名になった
佐藤もソリトンの頃になると本人がろくに論文すら書かなかったが
三輪神保ら弟子がたくんさ論文書いて外国で講演して大きく広まった
弟子でいいから関連する論文をたくさん書くのも外国行くのも大事だね
IUTはそのうち広まるんじゃないの
527:１３２人目の素数さん
19/05/12 12:58:35.48 i7jMh08f.net
仮に理論が正しくても応用先がないとひろまらないよ
とくにアメリカはそういうところシビア
528:１３２人目の素数さん
19/05/12 13:09:18.57 81KjCLzu.net
望月論文を読んで2～3年で何か新しい研究できるかというと望み薄だな
新理論ができたらすぐ飛びついて2匹目のドジョウ狙いは効率の良い作戦だが
IUTに関しては7匹目くらいでちょうどいいw
529:１３２人目の素数さん
19/05/12 14:49:11.94 2hsA9qaz.net
いやでもやっぱり疑問はあるな
星さんが理解してる内容は査読者も理解してたと思って殆ど間違いない
なのに五年も引っ張り更にSSの反論をはね除ける事もできないなんてあるか？
確かに議論の取り方がよくできてるなあと思う部分は多々あるにせよ、だよ
530:１３２人目の素数さん
19/05/12 15:15:07.48 9QOK4Q8R.net
IUT III を修正
・Slightly reworded the discussion of "IPL" in the first display of Remark 3.11.1, (iii)
・Slightly reworded the discussion of "output data" in the first display of Remark 3.11.1, (v)
・Introduced the notation "R" in the discussion immediately following the first display of Remark 3.11.1, (vi),
and also
531: in the final display of Remark 3.11.1, (vi) ・Corrected a misprint in the second sentence of Remark 3.11.1, (vii) ("one the following" ---> "one of the following") ・Slightly modified the discussion of the "two approaches" in Remark 3.11.1, (vii)
532:１３２人目の素数さん
19/05/12 15:15:26.36 9QOK4Q8R.net
IUT III を修正
・Slightly reworded the discussion of "IPL" in the first display of Remark 3.11.1, (iii)
・Slightly reworded the discussion of "output data" in the first display of Remark 3.11.1, (v)
・Introduced the notation "R" in the discussion immediately following the first display of Remark 3.11.1, (vi),
and also in the final display of Remark 3.11.1, (vi)
・Corrected a misprint in the second sentence of Remark 3.11.1, (vii) ("one the following" ---> "one of the following")
・Slightly modified the discussion of the "two approaches" in Remark 3.11.1, (vii)
533:１３２人目の素数さん
19/05/12 20:05:04.65 fwqqx8Hq.net
もっちーのクローン人間を100人作ったら全員が東大理三に合格するんじゃね。
534:１３２人目の素数さん
19/05/12 20:28:48.92 Oo7r88tF.net
そりゃほぼ理三独占だろうよ
でもかつて灘中の中3が東大模試で理三A判定出したのが何人かいる
だから、ほぼ。絶対とは言えない
535:１３２人目の素数さん
19/05/12 21:04:23.05 2hsA9qaz.net
意外に擁護派も多いのがわかるね。三人はいるかもな
前にも同じ話になったけど、やっぱり星さんは大きいよね。ちゃんとした数学かな、と思えるから
IUTは結構ややこしい構造的なパズルになってる
536:１３２人目の素数さん
19/05/12 21:55:34.52 9QOK4Q8R.net
黄禹錫（ファン・ウソク）なら、床屋でもっちーの毛髪を盗んで、もっちーのクローン人間を作ってノーベル賞を獲らせようとするだろう。
537:１３２人目の素数さん
19/05/12 22:25:53.79 8/EjadKU.net
M氏は論文のファイナルカットを作れない
538:１３２人目の素数さん
19/05/13 01:00:10.19 vzHk4ZcK.net
>>500-501
SSレポートは5月版も8月版もほとんど内容は変わらず2人の連名になっているので憶測してもしょうがないですね
ただ、ショルツが充満多重同型に強く反対したと望月レポートに書かれているだけなので
IUTの計算は局所の総計ではなく大域的なものなので、どこかにギャップが見つかれば破綻してしまいます
歯車ひとつ狂えば瓦解するというall or nothingですね。しかも、入口である同型問題で否定されているという・・・
これ、「理解者たち」が完全に理解して納得できているならば説明は容易く、納得させられるはずですよ
539:１３２人目の素数さん
19/05/13 01:11:07.58 vzHk4ZcK.net
あと、望月の書き方にも問題がありますね。公けで書いているのはロバーツやダニエル・リットぐらいですけど
数学用語で語れるのにこれ見よがしな言い回しをしたり、あるいは、リットが書いているように5～20頁で収められそうな内容を
100頁かけてグダグダ書いたり。私的な会話ですけど上記の2人と同じ見解を持っている人は多いです
540:１３２人目の素数さん
19/05/13 01:21:05.58 ZOC9fEwb.net
端的に記述すると都合の良くない箇所があるのだろうか
論点を分散させるための技法にも思える
541:１３２人目の素数さん
19/05/13 01:23:52.63 jX5EFE9R.net
京大RIMSの現況調査表（平成22－平成27事業年度）では、
論文を査読中ながらIUTの構築とその結果としてABC予想の解決は特筆すべき出来事、と文科省へ報告した。
他方RIMSの他資料では査読論文のみ評価した。>>397
その後、IUT論文は平成でも令和でも修正され奇異な現状である。
星氏のサーベイは多くの「不正確な記述」を自称しており
角川の一般書のB本と変わりない。
542:１３２人目の素数さん
19/05/13 01:24:23.50 vzHk4ZcK.net
要するに、しっかりした数学者に向けて書かれているというより、ポストモダン好き＆神秘主義思想好き数学者に向けて書かれた、
数学を利用した怪しげな思想書のようにも読めます
なにしろ、エイリアン・コピー論文で“mysterious indeterminate isomorphism”と書いてしまうぐらいですからね
上のレスにある星の最初の印象のように、何でもありな感じですね
「一即多、多即一」の数学版ですね
543:１３２人目の素数さん
19/05/13 01:31:15.81 N/fxALwR.net
自称理解者�
544:澳Sの批判に対してだんまりかよとは思うが、批判者も結局ボンの偉い人が 駄目なポイントを指摘するまでどこが駄目ってはっきり言わずにだんまりだったわけ だから、どっちもどっち感
545:１３２人目の素数さん
19/05/13 01:38:58.48 vzHk4ZcK.net
>>522
私は、Mはポストモダン思想や神秘主義思想が好きなのではないかと邪推しているので、本人に目くらましの意図はないと思っています
ただ、古今東西のその手の思想は、一文、一言、人差し指一本で表すかと思えば、長文をダラダラ書いたりします
数学どころか科学的ですらないのですよ。閃き、アイデア、イメージ、思想が先にありきで、それだけが全てです
来るものには教えるけど自分からは出向かないというのは、昔の禅宗の僧侶やインドの修行者・苦行者を彷彿とさせます
546:１３２人目の素数さん
19/05/13 01:49:59.15 vzHk4ZcK.net
>>523
星を擁護したい気持ちはないのですが、あれはサーベイというよりもたんなる要約ですね
しかも入門１と２は内容は全く同じです。１は理解しやすいようにかなり妥協して書かれていますが、
２はIUT用語をそのまま使って、１を読んだ読者がIUT主論文に近づけるように書かれています
まあ、B本を読んで関心を持った人は星の入門１→入門２→Gのサーベイへと進めばよいのではないでしょうか
個人的にはあまりお勧めしませんが
547:１３２人目の素数さん
19/05/13 02:12:24.22 vzHk4ZcK.net
本当か嘘か知らないけれど、3.12について一言“self-evident”と言ったり、41頁もの反論レポートを書いたかと思えば、
さらにちょこちょこ追加して今では45頁までになっている
どんな“taste/aesthetics”の持ち主であるかは想像できますね
548:１３２人目の素数さん
19/05/13 06:33:20.74 YemRHrok.net
何か西田幾多郎みたいですね。
佐伯啓思曰く、西田哲学は分かる人だけ分かればいい、というところがあるとか。
数学の京都学派か。
549:１３２人目の素数さん
19/05/13 06:34:37.90 w4/3bJQz.net
>>528
文章の終わり方の曖昧さがいつも同じで関心します
550:１３２人目の素数さん
19/05/13 07:27:20.73 vTZKhRvp.net
外部の数学者からすると、最大の関心は二つ。本当に数理として正しいか否かは言うまでもない
もう一点はABCにIUTのようなスーパー遠アーベル幾何学が不可欠なのか、という点
尊大な矜持の殆どはここに関わってるからね
後者はほぼ確実にNOだと思う。自分が色々探ってる範囲だから別に信じなくて構わないけど
前者で救いなのは理論が滅茶苦茶代数的だから割と構造的に論点がはっきりしていて、SSとの論点も割と
大きめの整合性を巡る話であること
551:１３２人目の素数さん
19/05/13 07:45:33.97 fVemMjeM.net
一言でいうと残念、という印象がIUTにはある
552:アホ丸出し
19/05/13 08:23:49.47 qUvRszrZ.net
査読が進行してて修正もしてるからアクセプト予定なんです(ｷﾘｯ
553:１３２人目の素数さん
19/05/13 08:38:16.88 Hmrne6mw.net
擁護派の鈍さには失望する
554:１３２人目の素数さん
19/05/13 08:39:34.72 Hmrne6mw.net
そういう輩が御輿を担ぐからダメダメなんだな
555:１３２人目の素数さん
19/05/13 08:54:59.04 muLIBUA3.net
>>483
えっ？まじ？
通俗書を書く数学者は、その数学対象については原論文（簡易化されたものでもよい）できちんと証明を追い、
理解できた人が書いているのだとばかり思っていた。
理解できないのに書くのが許されるのはサイエンスライターでしょ。
556:１３２人目の素数さん
19/05/13 09:25:30.8
557:7 ID:vD0Vmt/H.net
558:１３２人目の素数さん
19/05/13 09:40:47.57 NbbqBKbw.net
未解決問題を解決した人間を馬鹿にするサルがここにはいるんですか？
559:１３２人目の素数さん
19/05/13 09:45:10.45 vD0Vmt/H.net
パンツ分解するサルなら本業に精を出すこった。
560:１３２人目の素数さん
19/05/13 09:46:59.93 vD0Vmt/H.net
エラトステネスの篩でスカスカ抜けてく学部ザルならドジョウ掬いでも銀山で踊ってろ。
561:１３２人目の素数さん
19/05/13 09:54:04.61 NbbqBKbw.net
？
562:１３２人目の素数さん
19/05/13 10:19:10.28 3pvccbIb.net
787 ◆RK0hxWxT6Q 2019/05/13(月) 01:11:20.59ID:NbbqBKbw
この証明は完全に正しいから将来世界的なニュースになるだろうね
n=0はこの問題の解ではないという条件だが、方程式(A)の解には
なるから。それからn=0というのは解が一つであることの証明を
否定しないから。
ハッキリ言って馬鹿には分からなくていいよ。馬鹿の理解は求めても
仕方ないから。
563:１３２人目の素数さん
19/05/13 11:52:56.14 adxaMuf0.net
北白川養殖場は反論レポートも出せずこの体たらく
564:１３２人目の素数さん
19/05/13 12:01:06.34 vTZKhRvp.net
基礎となる楕円曲線のHodge-Arakelov理論すら誰も、弟子すら使おうとしないのがまた奇妙なんだよな
少なくとも差分で解析ツールを一般化してガロア理論向けにし数論に適用するという個性ある理論ならば
正しければ本来なら応用性がないはずもない
例えば高次元化して数論的アーベル多様体のディオファントス幾何学を攻めるプログラムが出てくるはずだよね
一体何処から何処までが真の業績なのか…
565:１３２人目の素数さん
19/05/13 13:15:47.05 3xIgSFLk.net
ある数学理論をそれ自体に意味がある芸術作品のようにとらえるか
有用性を前提とした工学的ツールのようにとらえるかは
各数学者の哲学に属することだからヒトサマがおいそれと口を挟むことではないけれど
真偽不明のまま何年ものらりくらりするのは、いかんぜよ
566:１３２人目の素数さん
19/05/13 14:27:16.85 tVMztysZ.net
>>544
でもその辺りの準備論文はすべからくアクセプトされてるし、正しそう。
567:１３２人目の素数さん
19/05/13 14:28:24.53 vzHk4ZcK.net
>>544
確かにそうですよね。「パーフェクトイド空間の遠アーベル幾何への応用」を先に考える前に、
ホッジ・アラケロフの方面で考えれば応用例も出てきそうなものなのに。何考えてんのだか・・・
568:１３２人目の素数さん
19/05/13 18:37:23.90 vzHk4ZcK.net
グロタンディークの“mysterious functor”の構成問題を解決したフォンテーヌのような数学者が出てこないと
どうにもならんのかなという感じだね
現状では“mysterious indeterminate isomorphism”など受け入れ難いよ
つまり、これを素直に受け入れた人たちは「理解者」になれる資質がある
569:１３２人目の素数さん
19/05/13 19:41:24.26 /Gcxjc0C.net
単になにも考えてないだけでは
570:１３２人目の素数さん
19/05/13 20:07:04.76 fZjRJ/ki.net
mysterious indeterminate isomorphismのくだりってどの論文の何ページに書いてある？
571:１３２人目の素数さん
19/05/13 20:45:54.60 nx+Bst4Y.net
短期認知障○者キターーー
572:１３２人目の素数さん
19/05/13 20:52:02.80 PX++SJJE.net
mysteriousでastonishingなんだよ
ハッキリ言って馬鹿には分からなくていいよ。馬鹿の理解は求めても
仕方ないから。
573:１３２人目の素数さん
19/05/13 21:31:46.75 gnD4AaTp.net
まぁ流石にここまで外野から言われても明確な説明を書いたペーパーの一つも書かれないんだから周囲の関係者も元々分かってなかったか実は最初から懐疑的だったかのどちらかでしょ
574:１３２人目の素数さん
19/05/13 21:42:15.98 3xIgSFLk.net
やる気満々な人たちだとばかり思っていたのに
やる気満々だった
575:１３２人目の素数さん
19/05/13 22:16:24.10 PX++SJJE.net
>>553
論文取り下げになったら流石に初期からわかっていたと主張してい取り巻き連中は
数学者として信用を失うでしょ
まあ任期付きでない人たちは首にはならんし余生を静かに生きませう
ハゲ原だって影響力は小さくなったが科研費は採択されてるし楽しくやってるでしょ
Bは昔から適度な距離を取りつつ予防線張ってるよね
査読者として何書いたかまでは知らないが外向きには正しいという断言は避けてるので
もっちーの昔からの友人と言いつつ本が1万部以上売れてウマーまで含めておいしい
576:１３２人目の素数さん
19/05/13 23:21:21.14 t+3BHQ6M.net
えそんな売れてるの？
577:１３２人目の素数さん
19/05/13 23:26:13.43 vTZKhRvp.net
Bは酷すぎるでしょ
数学コミュニティでは知らぬ顔して一般にはあんな宇宙と宇宙を繋ぐとかミスリーディングまで狙った
言い方して大々的に売り出してるって
ちょっと考えられないよねw
とっくに評価が確定した他分野とかなら別に問題ないけどさあ…
578:１３２人目の素数さん
19/05/13 23:45:45.21 vTZKhRvp.net
>>548
抽象化による情報の損失自体は、まあ量子力学のみならず、stackをある程度知ってる代数幾何学者なら
認識はできると思いますね。まあ不思議はないなと
それでFrobenioidとAnabelioidの「関手のようなもの」を考えたい所まではまあスムーズにわかる
いつも同じ話ばかりだけど、問題はその中身である
実際直感的にはそういう話は一般的には何か言えるのは納得できる。玉川望月とか内田ノイキルヒの定理は
割と一般的な話ですからね。ところが今回の場合、具体的に考えたらデタラメだとStixには言われている