Inter-universal geometry と ABC予想 38

Inter-universal geom ..

156:１３２人目の素数さん
19/05/01 16:13:20.25 hlDMB5Xp.net
ショルツらの指摘も実際にプログラムを走らせてみろ、とあったよね。
テイラーが検証プログラム組んで検証するってなったけどどうなったの
３月にわざわざ来日したんでしょ。

157:１３２人目の素数さん
19/05/01 16:19:12.14 7G8YvT4a.net
擁護派って結局不利な部分は隠したまま定期的にプロパガンダを繰り返すだけ
だからゾンビ軍団とかバカとか思われるんだよね

158:１３２人目の素数さん
19/05/01 16:36:07.86 6UC7zFB2.net
>>150
どこにそんな指摘が書かれてるの？
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)

159:１３２人目の素数さん
19/05/01 16:42:15.47 K/U+2GrP.net
海外記事探せよ、何でもクレクレ君

160:１３２人目の素数さん
19/05/01 16:48:17.25 J+Ra1PHT.net
>>151
あなたが言う”不利な部分”とは具体的に何なんだい。曖昧なこと言うなよ。

161:１３２人目の素数さん
19/05/01 16:55:49.34 K/U+2GrP.net
kimの反論検証とかどうなったんだよ
俄かばっかで疲れるわ

162:１３２人目の素数さん
19/05/01 17:00:55.95 vkSrb2kB.net
語りたいならせめてショルツ来日以降の前スレ分以降は全部見てからにしろ
Inter-universal geometry と ABC予想 26 から
URLﾘﾝｸ(rio2016.2ch.sc)

163:１３２人目の素数さん
19/05/01 17:01:35.84 2TdnOqzJ.net
このスレッドの特徴
数学のことは知らないがあこがれてはいる変なオジサンが
めんどくさく粘着してる

164:１３２人目の素数さん
19/05/01 17:09:52.43 JxyJTNtL.net
同意。
賞賛本読んだだけで理解した気になれる単細胞

165:１３２人目の素数さん
19/05/01 17:14:54.83 J+Ra1PHT.net
具体的な指摘ができないクセに文句言ってるのは僻み鮮人だろう。

166:１３２人目の素数さん
19/05/01 17:19:35.81 1EzEKvaI.net
自己紹介なんていらないよ
ゴミは必要ないのでお帰りください

167:１３２人目の素数さん
19/05/01 17:26:26.50 LSIpggC3.net
スマホ世代の弊害で流れが全然読めてない

168:１３２人目の素数さん
19/05/01 17:34:46.86 apB01/h3.net
文元先生は、大衆向け本書くより、専門家に向けてabc予想の証明のギャップがないことを、レビュー論文でも書いた方がいいんでは。理解しているんなら。
本当に証明が正しいとしても、フィールズ賞受賞者からも疑義が上がっているくらいなのに、並みの数学者が理解できるわけないし。

169:１３２人目の素数さん
19/05/01 17:39:58.98 B8XAlzcw.net
書けないから解説本で国内の信者を増やそうとしたのでは

170:１３２人目の素数さん
19/05/01 18:22:44.18 ceOa6WDg.net
ショルツらの指摘に望月が飛躍抜きの説明すればいいだけなんじゃないの？

171:１３２人目の素数さん
19/05/01 18:42:17.08 kRHD9Vm1.net
説明してるじゃん。説明しても納得しないやつは死ぬまで納得しない
神学論争みたいな埋まらない違いがあるからな
受け入れるか入れないかだから
受け入れないとなったらとことん受け入れない。いくら説明しようと

172:１３２人目の素数さん
19/05/01 18:46:36.04 1kzSIAc/.net
フィールズ賞受賞者に飛躍のある説明しても正しければ理解してもらえるからね

173:１３２人目の素数さん
19/05/01 18:46:46.09 OOKnDTzC.net
信じる者は救われるってやつ？

174:１３２人目の素数さん
19/05/01 18:55:11.30 baRdjj12.net
例の本の寄稿文は興味深い。
英訳してＨＰに貼るべきだ。

175:１３２人目の素数さん
19/05/01 19:44:43.87 apB01/h3.net
STAP細胞はあった、実験で作成できた、何度も説明している、できない方が悪い、と言ってるのと傍目には変わらん。
違いは、望月先生はabc予想以外に立派に業績があるところ。

176:１３２人目の素数さん
19/05/01 20:49:13.83 sNhJZz+B.net
>>118は、言い換えると抽象化ないしは分解することによってスキームの情報が失われた設定を
逆に利用してやろう、というのがIUTの全てと言ってもよい。つまり、群論的な区別の付与がそのままHTという宇宙の区別になり、それによって（群）スキームの情報が
復元される
正確に言うとそれは元々のスキームよりもやはり抽象的だがテータ因子の解析的な情報を持っている
それで自分が常々言ってるのは、こういう論法の類似は確かに今後の数論ではある程度必要だろうということ
一般的な環や整数環は幾何学的な対象としては殆ど情報がないので、膨らます操作が必要になる
けれども絶対遠アーベル幾何やIUTがやっているのは存在定理のような弱い主張であって、実際にそういう
操作に成功していないとショルツらは言っている。多分Stixもそこについては考えは変わらないはず
変わってたら何か書いてるでしょう

177:１３２人目の素数さん
19/05/01 21:31:21.83 sNhJZz+B.net
一番奇妙なのは、スキームの世界に内在している群論的な差異を抽出して理論化したという感じがしないこと
ブラックボックスのように具体性がなく飛び道具感があり、遠アーベル幾何学なのかすらよくわからない
例えばルービックキューブを解く時に「こねくり回せば何れ解ける。QED」とか言われてもよくわからないが
そういう不思議感がある

178:１３２人目の素数さん
19/05/01 22:11:55.93 WPgr82BO.net
>>170 補足サンクス
まあ、実際「宣伝」されているほど強力な理論ではないですよね
仮にIUTが成立しているとしても、ABC不等式の定数を明示的に求められないからeffective Mordell予想も証明できない
あと、対数Kummer対応が上半両立性を満たせないから不等式しか出せない
要するに、数学的にはABC予想証明戦略にしか想定されていない（これは望月自身が以前から認めていたこと）
ミーハー根性でアナロジーを使えば何にでも応用が利くように誤魔化せるんですよ
いまのところ結局、リンクによるアプローチといった面白さが話題になっているだけで、ポスト構造主義、
特にドゥルーズ‐ガタリが流行になった雰囲気と大して変わらない
B本を読んでスゴイとか思っている人たちは厳密な思考の持ち主ではないですね

179:１３２人目の素数さん
19/05/01 22:15:47.35 WPgr82BO.net
>>172
訂正
×あと、対数Kummer対応が上半両立性を満たせないから
○あと、対数Kummer対応が上半両立性「しか」満たせないから

180:１３２人目の素数さん
19/05/01 22:26:19.49 WPgr82BO.net
>>171
そうですね。最初から「スキーム論＝環論的枠組み」として考え、その方法を放棄し、
「遠アーベル＝群論的枠組み」としてそこから議論を出発しているからそうなるかもしれませんね
で、あとは絶対ガロア群や不定性を徹底利用して様々な道具を用いてリンクによるアプローチをしている
最近では対数テータ格子や単解性というものはパチンコのアナロジーとしても使えるのではないかと思っています

181:１３２人目の素数さん
19/05/01 22:58:16.08 WPgr82BO.net
IUTすごい、宇宙と宇宙をつなぐって発想はスゴイというなら、IUT主論文以上にそれに特化した論文が望月にはある
だいぶ

182:前にリンクを張ったことがあるが一人を除いてほとんど関心を示さなかった否定派の人はそれでもいいのだけど、信者・擁護派こそそれを読んで「宣伝」した方がいい IUTに少しでも興味を示したことがあるならその論文名ぐらい分かるはずだし、新規の人でもタイトル見ただけで分かるはずだよ

183:１３２人目の素数さん
19/05/01 23:13:14.44 cf/pdm5z.net
引くに引けなくなったIUTっていう印象しかない

184:１３２人目の素数さん
19/05/01 23:33:26.21 2iFipNjR.net
>>172
明示的な定数に関しては南出望月星が値を出してるんですが
数論畑なら確実にその辺の情報は入ってくるだろうし、あんた全くのど素人だな

185:１３２人目の素数さん
19/05/01 23:36:05.37 wJGNJKoX.net
>>177
出た？

186:１３２人目の素数さん
19/05/01 23:37:46.10 2iFipNjR.net
>>178
東工大の南出のセミナーや、フェセンコのシークレットなセミナーでも値はもう出してる

187:１３２人目の素数さん
19/05/01 23:38:24.80 WPgr82BO.net
圏論のロバーツはこのスレをときどき見ているみたいで（グーグル翻訳で苦労して読んでるようだ）、あまりこういうのは貼りたくないのだが、
望月の「非専門家」に対する態度は以下のようなものだ
URLﾘﾝｸ(thehighergeometer.wordpress.com)
コメント欄のMarch 4, 2019 at 6:49 am の末尾
-------------------
I emailed with Mochizuki a little bit last year, and after a few emails he told me, that my level of understanding was far too superficial to justify me writing about these issues.
I was not asking about deep issues of anabelian geometry, but category-theoretic matters, and I would think I do know what I am talking about there.
-------------------
望月の周りに全肯定のイエスマンしか集まらないワケだ。今の望月ならjinでも大歓迎だろうよ

188:１３２人目の素数さん
19/05/01 23:45:14.43 WPgr82BO.net
ああ、IUTが正しいという前提に基づいて“Expected”を連発した発表のことか
あんなものどうでもいい

189:１３２人目の素数さん
19/05/01 23:46:45.92 2iFipNjR.net
>>181
フェセンコの方の情報が入ってるの？
少なくともexpected連発なんてしてないぞ

190:１３２人目の素数さん
19/05/01 23:46:49.22 wJGNJKoX.net
>>179
貴重な情報をありがとう御座います。

191:１３２人目の素数さん
19/05/01 23:48:12.40 ImdbDTRh.net
>>177
>>172
明示的な定数に関しては南出望月星が値を出してるんですが
根拠なく辻褄合わせの1.5

192:１３２人目の素数さん
19/05/01 23:49:28.70 WPgr82BO.net
このスレで相手のことを「ど素人」呼ばわりして数学的に意味のあることを一切書かない人物は
ほとんどのスレ住人が例のツイッターの人だと知っていると思うので、あんたのようなオバサンの相手をするつもりはない

193:１３２人目の素数さん
19/05/01 23:54:44.02 2iFipNjR.net
>>185
Jinだと思ってるの面白い
で、結局あんたは数論幾何の人なの？もしかして数学者でもない感じ？？

194:１３２人目の素数さん
19/05/01 23:55:59.10 B8XAlzcw.net
ピエーロのは「やってみたらうまく説明できた」類いの話。
ナンデ既成事実化してんの

195:１３２人目の素数さん
19/05/02 00:05:52.89 NWgSGOQd.net
取り巻きにjinと思考回路が似たのがいる
そいつが後見人＆混乱拡大の原因

196:１３２人目の素数さん
19/05/02 00:10:04.17 XEl/Dv7j.net
Effective ABC からEffective Mordell が出て、FLTの別証明も出る？

197:１３２人目の素数さん
19/05/02 00:13:20.77 lhI2xa0q.net
>>189
南出は出るって言ってる

198:１３２人目の素数さん
19/05/02 00:15:22.45 XEl/Dv7j.net
なんかすごいね。かっこいい。

199:１３２人目の素数さん
19/05/02 00:33:59.01 LOy+fZd7.net
ハイハーイ、アイちゃんがおばちゃんのためにたのしいたのしいおはなしをみつけたよー
きっとたのしいからぜったいみてねー
URLﾘﾝｸ(test.ninchishouyobou-k.com)

200:１３２人目の素数さん
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メイト？大好きなんだけどね

次ページ