20/07/08 20:59:07.38 Lx2CGXHL.net
>>316
>世間の熱もすっかり冷めてこのまま忘れ去られてしまうのか
世間の熱？
醒めてないよ
本、バカ売れでしょ
新型コロナで中止の国際会議は、なんらかの形でやるだろうね
ズームとかもあるし
あと、2022のICMにIUTをどうねじ込んでいくのか？
RIMSの腕の見せ所でしょうね（＾＾；
URLﾘﾝｸ(icm2022.org)
IMU Prizes
The announcements and prize ceremonies for the IMU Awards, Prizes, and Special Lecture form a very important part of an ICM program. In particular the Fields medals that recognize outstanding mathematical achievement,
and are considered by many to be the highest honors in mathematics and the first IMU Abacus Medal, honoring groundbreaking contributions in scientific computing and mathematical aspects of computer science, will be awarded at the ICM Opening Ceremony.
Of no lesser importance are the Gauss Prize, Chern Medal, Leelavati Prize, and the Emmy Noether Lecture, see the information on the IMU website
342:１３２人目の素数さん
20/07/08 22:01:18.47 dHl+50Si.net
>あと、2022のICMにIUTをどうねじ込んでいくのか？
>RIMSの腕の見せ所でしょうね
RIMSは正直もう関わりたくないわな
343:１３２人目の素数さん
20/07/08 22:46:34 TZRZyOi9.net
もっちが講演するわけないから無理やな
344:１３２人目の素数さん
20/07/09 02:56:27 AbnlrEUu.net
永遠の修正作業
345:か…
346:１３２人目の素数さん
20/07/09 05:17:00.04 pp/1QwhD.net
>本、バカ売れでしょ
買っているのは
コピベ魔セタレベルのバカ層なんだろう
347:１３２人目の素数さん
20/07/09 06:20:05.59 CnpYw59x.net
素因数分解って何だっけ？という層にもBGの動画は人気があるんだよな
基礎的な内容を専門用語をできるだけ使わないで説明するとか分かった気にさせるコツがあるんだろう
B本を読んだ限りじゃ肝心のIUT理論に関しては群をテータ関数に入れてテータリンクで対称性通信をするとか
分かったようで分からん
348:１３２人目の素数さん
20/07/09 06:40:37.34 Z5I07NtU.net
>>317
セタのみ熱狂中ｗｗｗｗｗｗｗ
こりゃコロナが脳ミソに回ったか
349:１３２人目の素数さん
20/07/09 06:45:21.03 Z5I07NtU.net
「カスプのラベル」が何だかも全く分かってないセタに
IUTなんか死んでも分かるわけないだろ（嘲）
350:１３２人目の素数さん
20/07/09 07:45:04 klCFCYoQ.net
森重文は望月新一とRIMSの同僚
でIMU総裁だった。
Quanta MaGazine 2018.9.20
によると、
総裁時代に森重文から依頼された
ショルツは来京しショルツスティック
ス望月新一星で議論した。
ショルツの結論は
「I didn’t really see a key idea that would get us closer to the proof of the abc conjecture.」
一方ショルツへ依頼した森重文RIMS
特任教授は奇怪なことに
ノーコメント。
現在森重文RIMS特任教授はIUTを
中心とした次世代幾何学研究センター
に柏原特任教授と共に所属している。
ショルツへ依頼した目的は数学より
RIMSの政治だったのだろう
URLﾘﾝｸ(www.quantamagazine.org)
351:１３２人目の素数さん
20/07/09 08:00:36 CnpYw59x.net
『ABC予想入門』には
>楕円曲線y^2=x(x-a)(x+b)を構築し、そのような楕円曲線が「比較的少ない」ことを見出す
とはっきり書いてあるんだけどね
それがIUT理論にどうつながるのかが分からん
352:現代数学の系譜 雑談
20/07/09 13:26:02.95 eFPoTeuu.net
ちょっと整理しておくと
１．4月3日の柏原＆玉川先生の記者会見の前と後
これは全く世界が違う
つまり、2020年4月3日以前のアンチ公開文書は、ほぼ無意味
（∵ 査読が通ったということは、多分複数人いる査読者から見て合格。当然、アンチ公開文書はチェック済み）
２．2020年4月3日以後のアンチ公開文書又は発言で、数学的に意味があるのは、ショルツ氏ただ一人
SS文書のもう一人、Stix氏は沈黙
（∵ 当然のことながら、Stix氏は柏原＆玉川先生の記者会見の重みが分かっているから。軽々しい発言はできない。いまIUTを再チェック中と見る）
３．ショルツ氏以外に、IUTの数学の内部に踏み込んで、批判した人は？
答えは、皆無。ショルツ氏のみ
４．ショルツ氏とは、なんだったのか？
答えは、woitブログのDupuy氏とのバトルにある通り。ああ、ショルツ氏の勘違い
woitブログで、Dupuy氏にやり込められて、望月IUTの定義が難しいとか、ゲロしてしまった
そして、Dupuy氏にやり込められて、あとはメールでとか言って、巣に帰った
５．さて、今後は？
IUTの国際会議が４本予定されていたが、新型コロナで中止だが、そろそろ、次の動きが出てくるはず
多分、ズームとか使った、テレワークならぬ、テレ国際会議でもやるのでしょうね
（∵ 本来の国際会議のための何本かの論文がどこかに溜まっているはず。それを、使った会議が可能でしょうね）
以上
353:１３２人目の素数さん
20/07/09 13:53:07 uAS7tbfZ.net
◆yH25M02vWFhP
354:の整理w 狂信者からみたワンパターンの整理か
355:１３２人目の素数さん
20/07/09 15:09:25.54 d4Jtthqt.net
巣に帰ったw w w
356:１３２人目の素数さん
20/07/09 15:51:16 jYGh7AE9.net
>>321
コピベ魔セタレベルのバカ層なんて砂浜で宝石見つけるより難しい希少種である
希少種が買ってもバカ売れ現象は起こらない
はい、論破
357:１３２人目の素数さん
20/07/09 15:54:19 jYGh7AE9.net
現実は希少種や変態種以外もB本を買っている
ロングセラーになったことで証明済の事実
アンチは矮小化するのは無理だと悟るべきだよ
というか悟ってなかったのか？
358:１３２人目の素数さん
20/07/09 16:18:42 hERALWqi.net
B本はIUTの資料として読むべき
だろう。
ふんいきで買う層もあるだろうが
アンチといってる段階でバカ層
なんだろう
359:１３２人目の素数さん
20/07/09 18:47:11.15 Z5I07NtU.net
>>327
１．4/3の記者会見は、世界に日本の恥をさらしたな
２．Scholzeの名前ばかり出るんで、Stixはヘソ曲げたんだろう
３．Scholze以上に、数論幾何で有名な人はいないから、皆黙る
４．Dupuyは望月の証明が理解できないって白状したじゃん
その点は、Scholzeと大して変わんねぇよｗ
５．国際会議？まだやる気なの？もう数論幾何界は皆シラケてるよ
セタもいつまでもハズレ馬券握りしめてんじゃねえよ
写真判定で覆るとか万に一つもねえから 諦めろｗｗｗ
360:１３２人目の素数さん
20/07/09 21:08:23.66 BCPug4YF.net
>>327
> （∵ 本来の国際会議のための何本かの論文がどこかに溜まっているはず。それを、使った会議が可能でしょうね）
数学ではproceedingsを作るような形式の国際会議はまれ。
361:現代数学の系譜 雑談
20/07/09 22:32:24.60 nrcdZVDh.net
>>334
>数学ではproceedingsを作るような形式の国際会議はまれ。
まれかも知れないが
少なくとも、5月だっけに
予定されていた第一回の会議に来る予定の人は
何か話のネタの文書（パワポかもしれないが）を用意していたはず
まずは、そのネタを使えば良い
それから
第二回が、6月末から7月始めだった
このネタも使えるはずだよ
362:１３２人目の素数さん
20/07/09 22:46:23.55 6EJPih68.net
woit ブログ
Wがコメントを総括
⑴ ⑵ ⑶ を述べた後
>Despite the long comment thread,
Peter Scholze and others have not
exhausted all the reasons that a
mathematician examining Mochizuki’s
argument should be skeptical that it,
or even any argument like it, could
possibly work.
I could list these additional reasons,
but they are not so relevant when the
objections outlined above already mean
that it would be inappropriate to publish
the article in its current form.
363:現代数学の系譜 雑談
20/07/09 22:49:15.99 nrcdZVDh.net
>>326
>『ABC予想入門』には
>楕円曲線y^2=x(x-a)(x+b)を構築し、そのような楕円曲線が「比較的少ない」ことを見出す
>とはっきり書いてあるんだけどね
>それがIUT理論にどうつながるのかが分からん
えーと、まず
その話は、『ABC予想入門』（黒川、小山 PHPサイエンス・ワールド新書 2013）
のP200にある話だよね
そこには、前段があって
a+b=c で互いに素な (a,b,c) という制約があって、
そういう解は意外の少ないとある
つまり、
a^n + b^n = c^n
という方程式で
n >=3 の場合が、フェルマー予想
n=2 の場合が、ピタゴラスで直角三角形
n=1の場合が、ABC予想
で、 n >=3 の場合（フェルマー予想）で
フライの楕円曲線
y^2=x(x-a^n)(x+ b^n)
を考えると、谷山-志村予想から、a^n + b^n = c^n なる解なしが分かる
で、 n =1 の場合（ABC予想）で
フライの楕円曲線の類似
y^2=x(x-a)(x+ b)
を考えると、スピロ予想から、”a+b=c で互いに素なる解に制約あり”（少ない）が分かる
そういうことが
『ABC予想入門』（黒川、小山 PHPサイエンス・ワールド新書 2013）
P197以降に書いてあるみたい
364:現代数学の系譜 雑談
20/07/09 22:52:37.83 nrcdZVDh.net
>>336
woit ブログってさ
皮肉屋さんでしょ
超弦理論に噛みつく物理屋なのか
数理物理屋か
良くワカラン人
そういう人の総括を真に受けない方が良いと思うぜ
”Not Even Wrong”って
自分のことじゃんかｗ（＾＾；
365:１３２人目の素数さん
20/07/09 22:58:15.89 6EJPih68.net
W≠ P.woit なんだが
366:１３２人目の素数さん
20/07/09 23:19:56.70 6EJPih68.net
I could list these additional reasons
なるほど
367:１３２人目の素数さん
20/07/10 00:58:37 JH+ihJWU.net
p,woitのブログ コメント
W April 19, 2020 at 9:53 am
⑵
>Some defenders of IUT like to point
out that Scholze and Stix didn’t give their precise objection until 2018.
But this phenomenon, given that
it was noticed by most people who
read the paper seriously, should have
been turned up by the refereeing
process before then.
This is, I think, the starting point
for ethical concerns about the refereeing
process.
(For instance, OP’s comment suggests
that the editors could have asked a
series of referees, ignoring those who
have negative commentary, until they
found someone willing to say it is good.)
この記述はIUT論文の査読過程が
査読制度崩壊だった事実 >>281
と矛盾しないし補強している。
京大.RIMS文科省は直ちにIUT論文の
査読過程を説明する責任がある。
368:１３２人目の素数さん
20/07/10 01:36:13.62 Iq0j7/GU.net
工学者的には、実世界でなんの役に立つか教えてくれれば理解しようとがんばる気にもなるけどね
がんばって理解しても役に立たないんじゃやる気が起きない
まあ、そもそも理解できる可能性の方が小さいかもしれないわけだが
369:粋蕎 ◆C2UdlLHDRI
20/07/10 05:42:28 q42mNbop.net
離散と連続…。グロたん恐るべし｡
げにp-進数は不勤勉な儂には手に負えん。何せ q=p-1 なら p-進…qqq=-1 らしいけぇのう｡
儂とか本来は超現実数をかじる前にp-進数をかじるのが順番であり有意義なんじゃろうが
門外漢の儂は門外漢じゃけぇ偶々逆順じゃった云う事じゃ｡
無論、何で超現実数なら 0.999…=1-ε(=1/最小超限順序数ω) が言えるのかも知らん｡
文学的に「如何なる差も丸めない」からとは、分かる。が、理系なら「其の仕組み公理系」を
理解した後に尚、使いこなせなくては「理解している」と言っては、構築者達に失礼｡
よくプログラム屋も「数学はプログラム的に洗練度が落ちる仕様」言う｡然し此れは「仕様」言う時点で
「設計理解を『委ね』使わして頂いてる身」じゃ言う事を忘れた客気分神様気取り。遺憾｡
370:１３２人目の素数さん
20/07/10 07:20:22.70 JH+ihJWU.net
>>338
デマを流すな
371:日高
20/07/10 07:20:44.37 0Ktdx8i5.net
>337
(フェルマーの最終定理）
【定理】pが奇素数のとき、x^p+y^p=z^pは、0以外の有理数の解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
(1)の両辺を積の形にすると、r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)はrが無理数なので、yが有理数のとき、xは無理数となる。xが有理数のとき、yは無理数となる。
(2)はr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)となる。
(4)はr^(p-1)=apのとき、x^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。
(5)のrが有理数のとき、(5)の解は(3)の解のa^{1/(p-1)}倍となる。
∴pが奇素数のとき、x^p+y^p=z^pは、0以外の有理数の解を持たない。
372:日高
20/07/10 08:46:40 0Ktdx8i5.net
>337
(ピタゴラスの定理）
【定理】p=2のとき、x^2+y^2=z^2は、0以外の有理数の解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)の両辺を積の形にすると、r{(y/r)^2-1}=2x…(2)となる。
(2)はr=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(3)はrが有理数なので、yが有理数のとき、xは有理数となる。
(2)はr{(y/r)^2-1}=a2x(1/a)…(4)となる。
(4)はr=a2のとき、x^2+y^2=(x+a2)^2…(5)となる。
(5)のrが有理数のとき、(5)の解は(3)の解のa倍となる。
∴p=2のとき、x^2+y^2=z^2は、0以外の有理数の解を持つ。
373:１３２人目の素数さん
20/07/10 09:29:31 e3xNYXlE.net
>>343
＞離散と連続…。グロたん恐るべし｡
何の話だ？（ヤな予感ｗ）
＞何で超現実数なら 0.999…=1-ε(=1/最小超限順序数ω) が言えるのか
ちょっと違うんじゃないか？
0.999…=1-(1/10^ω) だろ
で、1/10^ω＝1/ω、といえるのかい？
そこは超現実数を理解した上で証明し切ってみせないと
「口先三寸のホラ吹き野郎」と云われて焼かれて食われるぞ
なにしろ数学板では「ホラ吹き」は人間に非ず
人間でない者（つまり毛深い獣）は食べ物
と考えられてるからなｗ
374:１３２人目の素数さん
20/07/10 09:30:55 e3xNYXlE.net
>>338
Woitが数学者でないからといって
セタと同レベルの馬鹿
ということにはならないだろｗ
375:１３２人目の素数さん
20/07/10 09:59:26.49 bHwFgKYx.net
>>341
W= Daniel Littだろこいつは典型的アンチ。
自分では何も理解してなさそう。
376:１３２人目の素数さん
20/07/10 10:43:26.06 C1L4PQhw.net
アンチと騒いでいる見苦しいIUT信者の
皆さん
>>341に答えなさいね
377:１３２人目の素数さん
20/07/10 10:49:37.99 C1L4PQhw.net
>>349
IUT論文の査読制度が崩壊していた
378:粋蕎 ◆C2UdlLHDRI
20/07/10 13:01:18 q42mNbop.net
>>347
> 0.999…=1-(1/10^ω) だろ
其うなん？0.999…=1-εかつε=1/ωとは言われとるが｡
> で、1/10^ω＝1/ω、といえるのかい？
知らん。10^ω=ωなん？
> そこは超現実数を理解した上で証明し切ってみせないと
> 「口先三寸のホラ吹き野郎」と云われて焼かれて食われるぞ
>
> なにしろ数学板では「ホラ吹き」は人間に非ず
> 人間でない者（つまり毛深い獣）は食べ物
> と考えられてるからなｗ
幾ら数学板でも其処まで見境無くねーわ。其の代わり事実と異なる論述を明記すると
犬的マウント性交する慣わしが有る。また、お前に限り事実と異なる論述を明記されたか確認する前に
犬的マウント性交し始める。何せお前は男女の別無く見境なく相手の尻に向かって性交し始める､
人間失格者マラパピヤスを自称する恐ろしい強姦者。マラパピヤス言うかマラしごきオッパッピー｡
379:１３２人目の素数さん
20/07/10 14:10:28 e3xNYXlE.net
>>353
>0.999…=1-εかつε=1/ωとは言われとるが｡
知らんな 証拠があるなら今示せ ここで示せ
>10^ω=ωなん？
オレに尋ねるな！オレがオマエに尋ねてる さあ答えろ 然りか否か
（ブチッ）
380:粋蕎 ◆C2UdlLHDRI
20/07/10 17:26:21 q42mNbop.net
> >>353
儂>>352ではなくオドレ自身にアンカー�
381:ｷるのか > > 0.999…=1-εかつε=1/ωとは言われとるが｡ > > 知らんな 証拠があるなら今示せ ここで示せ んなもん其れこそコピペしか出来んわ。コピペで良ぇなら貼るが、要るか？ > > 10^ω=ωなん？ > > オレに尋ねるな！オレがオマエに尋ねてる さあ答えろ 然りか否か 自爆アンカーしたからにはオドレ自身で答えるんじゃな､ そもそも「0.999…=1-(1/10^ω) だろ」とオドレ自身>>347が言い出した事 > （ブチッ） 蜘蛛膜下出血か？救急車呼べ、早くしろ
382:１３２人目の素数さん
20/07/10 18:14:57.84 4AXAU9b/.net
応援スレなのにIUT理論のことなら俺に訊け！っていうやつがどこにもいないという絶望
どの板でも一人くらいは教えたがりがいるもんだろう
383:１３２人目の素数さん
20/07/10 20:10:01.97 9VixCbDU.net
俺に訊け！はいないが解説してくれるやつはたくさんいる
過去スレを読んだら分かる話
384:１３２人目の素数さん
20/07/11 00:32:47.85 luSg5feg.net
ショルツイケメンでいけすかない
385:１３２人目の素数さん
20/07/11 08:23:16.99 9yoM0G09.net
相変わらず3.12の指摘は勘違いなのか、そうで無いのかすら結論付かない
3.12以外にも指摘ができているかというと、そうでもない
グダグダだねぇ。。。
386:現代数学の系譜 雑談
20/07/11 12:23:17.61 PRf3fy9U.net
下記スレ違いにつき、こちらで
IUTを読むための用語集資料集スレ
ｽﾚﾘﾝｸ(math板:91番)
91 名前：１３２人目の素数さん[sage] 投稿日：2020/07/10(金) 15:12:00.78 ID:e3xNYXlE
>>89
>玉川がIUTについて、講義するのは賛成だな
なんでIUTを理解してない玉川が講義できるんだ？
IUT理解してたら、記者会見で
「ショルツからの再反論がないから問題ない」とか
「査読過程は墓場まで持っていく」とか
馬鹿丸出しの発言は絶対しない
(引用終り)
１．玉川の4月3日の記者会見での発言の片言隻語を取り上げて、針小棒大 自分勝手な解釈を展開するとは、なんだかなー
２．玉川が、IUTについて、何をどこまで理解しているかなど、それこそ、数検ならぬIUT検でもやらない限りワカランよね
３．ショルツについては、woitブログに同じでしょ？ 「ショルツからの再反論がないから問題ない」でしょｗ
(実際、Ｄｕｐｕｙ 氏が、arXiv 投稿で潰した（>>6）ので、問題ない）
４．「査読過程は墓場まで持っていく」というのは、査読者の名前は、マスコミ殺到などがあるので、出さないってことだ
５．玉川自身が、ＩＵＴを語るのには、何の問題もないよね
387:現代数学の系譜 雑談
20/07/11 13:32:48.48 PRf3fy9U.net
まあ、アンチの皆さん、そう焦らずとも
あと、１年くらいでＩＵＴが正しいことが、はっきりしてきますよ（＾＾
388:１３２人目の素数さん
20/07/11 14:03:28.24 r6mZKT2x.net
転載
0094 １３２人目の素数さん
2020/07/11 12:58:08
UT用語集
狂信者
解説
常軌を逸してあることを信じこむ人。
389:１３２人目の素数さん
20/07/11 14:07:51.86 NsQJruRK.net
IUT界に狂信者はいないな
信者はしっかりといる
アンチもしっかりといる
応援者はもっといる
390:１３２人目の素数さん
20/07/11 14:10:39.36 r6mZKT2x.net
狂信者おつ
391:１３２人目の素数さん
20/07/11 15:48:40.88 c9sDfF+l.net
IUT本体より教授個人の信者がおおそう
392:１３２人目の素数さん
20/07/11 15:57:12.67 rYcySQPX.net
学者の顔していても心の中は(成果を出さずに)公金で飯を食う特権階級よ
この人だけは大丈夫だなんてうっかり信じたら駄目駄目ああ駄目駄目よ
393:１３２人目の素数さん
20/07/11 16:29:42.12 MFcOBnBk.net
>>359
その言葉、そっくりそのまま
「玉川はIUTを完全に理解してる筈」
と妄信してる🐎🦌の�
394:M様に返すってさ ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
395:１３２人目の素数さん
20/07/11 16:32:34.12 MFcOBnBk.net
>>360
>あと、１年くらいで
根拠もなく願望の機関を語られてもね
精神科で診て貰ったら？
奥様にいわれませんか？「あなた、この頃何いってるのかわからない」って？
396:１３２人目の素数さん
20/07/11 22:01:28.76 nlVGN6QY.net
圏論を勉強しているのですが抽象的で難しいです
代数幾何というのはこういう議論が永遠と続いていくんですかね？
397:１３２人目の素数さん
20/07/11 23:27:31.86 97amkcAk.net
代数幾何より微分幾何の方がむずい
398:１３２人目の素数さん
20/07/12 00:30:52 TWPdpMIR.net
もっちは健康診断でバリウム飲んでるんだろうな
ショルツもそのうち涙目で飲むんだろうなと思うとなんかわらえる
399:１３２人目の素数さん
20/07/12 01:59:00.62 KU+Qkyf2.net
最近になっていまごろざっくりと調べだしたが・・・
印象としては合ってるのは厳しい目かと
方針として、直観としては合ってるのかもしれないが
生存中に解決したと世界で認定される可能性は低いかと
どうか?
400:１３２人目の素数さん
20/07/12 02:01:31.24 KU+Qkyf2.net
これを支持して解説してる人ですらあまりわかってない印象がするが
異なる宇宙とか言われても具体的にはまったく伝わってこないし解けてる気がしない
それで原論文見てもまったくわからん
401:１３２人目の素数さん
20/07/12 08:51:23.11 JQJ8LacZ.net
>>371-372
方向性がまったく見当違い、ということはないようだが
肝心な点で用いる操作（多輻的アルゴリズム）の
論理的正当性が全く明らかでない
402:現代数学の系譜 雑談
20/07/12 12:58:02.81 /6i4k5qr.net
>>371-373
(引用開始)
方向性がまったく見当違い、ということはないようだが
肝心な点で用いる操作（多輻的アルゴリズム）の
論理的正当性が全く明らかでない
(引用終り)
同意
多分、論理的正当性が「見えない」ってことだと思うが
ブライアン コンラッドや、ケドラヤも同じだと思う（なお ショルツ氏は、だめだめ派のアンチ）
>異なる宇宙とか言われても具体的にはまったく伝わってこないし解けてる気がしない
>それで原論文見てもまったくわからん
原論文かじる前に、
１）モッチの「[17] 宇宙際タイヒミューラー理論への誘（いざな）い （2015-02） 」あたりがお薦め
２）その次に、星裕一のIUT入門と続を読む
１）半日、２）が半日ずつの拾い読み
それで感じが掴めるでしょう
その後は、１）～２）の後で各人が自分のレベルに合わせて、原論文見るとか、あるいは先にSSとの論争を見るとかすれば良い
ひょっとして、正当にIUTの穴を見つけて、それを修正できて論文にすれば、一躍有名人かも（＾＾；
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月出張講演
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(2015-02).pdf
[17] 宇宙際タイヒミューラー理論への誘（いざな）い （2015-02） 京都大学数理解析研究所
（>>4より）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
星裕一の論文
(抜粋)
宇宙際 Teichmuller 理論入門 PDF (2019) （Indexあり）URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
続・宇宙際 Teichmuller 理論入門 PDF (2018) （Indexあり） URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
山下剛サーベイ URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp) （Indexが充実しているので、IUT辞書として使える）
A proof of the abc conjecture after Mochizuki.preprint. Go Yamashita last updated on 8/July/2019.
なお、IUTを読むための用語集資料集スレ
ｽﾚﾘﾝｸ(math板)
403:１３２人目の素数さん
20/07/12 14:57:17 JQJ8LacZ.net
>>374
>多分、論理的正当性が「見えない」ってことだと思うが
実は誰にも見えてない可能性大
望月本人は説明できない 弟子も同様
>正当にIUTの穴を見つけて、それを修正できて論文にすれば、一躍有名人かも
IUTの矛盾をみつけても同じだけどな
ただただ有名になりたがる馬鹿なんて、
名声乞食のセタだけだろうけどな
404:現代数学の系譜 雑談
20/07/12 18:37:19.79 /6i4k5qr.net
>>375
>ただただ有名になりたがる馬鹿なんて、
いや、どっかのポスドクとか助教だとかとして
いっぺんに、名前が売れるだろうね
どっかの大学のポストに応募するときにも
IUTの穴を見つけて指摘したとか
望ましくは、穴を修正してあげただけど
それって、ポストゲットには有利だろうな（＾＾；
例
ベッセリン・ディミトロフ氏、当時院生だったと思うが
IUTの出た2012年に、IUT IVの穴を指摘した
（メールを望月氏に送ったらしい）
それで、名前売れたよね
405:１３２人目の素数さん
20/07/12 18:46:30.80 idc78e4t.net
結局金銭目的になって競争が発生するも同時に秘密主義も進行して大衆には理解不能になり
その原資が税金であることが軋轢を生むと
406:現代数学の系譜 雑談
20/07/12 19:33:09.33 /6i4k5qr.net
>>376
Vesselin Dimitrov氏
カナダ トロント大みたいだね
（参考）
URLﾘﾝｸ(www.math.toronto.edu)
Department of Mathematics, University of Toronto
Vesselin Dimitrov
Assistant Professor Coxeter CLTA
URLﾘﾝｸ(arxiv.org)
A PROOF OF THE SCHINZEL-ZASSENHAUS
CONJECTURE ON POLYNOMIALS
VESSELIN DIMITROV
Department of Mathematics, University of Toronto
URLﾘﾝｸ(www.ias.edu)
IAS PAST MEMBER
Vesselin Dimitrov
URLﾘﾝｸ(www.ias.edu)
FIELD OF STUDY
Diophantine Approximation by Special Points, Applications to Dynamics, Geometry
From 9/2017 ? 6/2018:
DEGREES
Yale University
Ph.D., 2017
407:現代数学の系譜 雑談
20/07/12 19:37:17.59 /6i4k5qr.net
>>377
海外に行った数学者多数
小平、広中、岩澤、志村などなど
「数学やってます」と、口先でいってもよ
職（アカデミックポスト）が無いのではね
その点、IUTで一山当てることができれば
星や南出は、海外からも声かかるだろうな
おっと、実際 南出は、海外か（＾＾
408:１３２人目の素数さん
20/07/12 20:03:12 idc78e4t.net
>>379
アカポスのために数学をやっているならアカポスをゲットした時点でもう終了ってことでは
409:現代数学の系譜 雑談
20/07/12 23:13:20.90 /6i4k5qr.net
>>380
＞アカポスのために数学をやっているならアカポスをゲットした時点でもう終了ってことでは
時代が変わってしまったってことでは？
下記、森重文先生
この人、京大修士終わって、即助手採用。今じゃ考えられないだろうね、DR無しで
この時代は、教授から見込まれて、「大学に残ってくれ」と頼まれて、残るという時代だった
いま、激戦でしょ？（＾＾
だれでも、かれでも、大学院修士に行ったり、DRに行ったりする
森重文先生なら、修士の後は助手で給料貰って、研究するアカポスについて
”1977年 - ハーバード大学助教授（1977-1980年）”ってのも、官費留学みたいなもの
で、”ハーツホーン予想を解決”でDR論文かな？
いまなら、修士の後、最低でも３年DRやって、そこで立派なDR論文書ければいいけどな（＾＾
その後、ポスドクかな？ 30代でも年収200～300万円台 なんだかね～（＾＾
なんのために、数学やって、ポスドク 30代で 年収200～300万円台なの？
参考
URLﾘﾝｸ(ja.wikipedia.org)
森重文
森 重文（もり しげふみ、1951年（昭和26年）2月23日[1] - ）
来歴
1969年 - 東海高等学校卒業[2]
1973年 - 京都大学理学部卒業
1975年 京都大学大学院理学研究科修士課程修了[2] 京都大学理学部助手[2]
1977年 - ハーバード大学助教授（1977-1980年）
1978年 京都大学より理学博士号[5] ハーツホーン予想を解決 （ハーバード大学滞在中）[6]
1980年 - 名古屋大学理学部講師 ハーバード大学、プリンストン高等研究所、マックス・プランク研究所の研究員を併任
1982年 端斜線の理論を発表[7] 名古屋大学理学部助教授
1985年 - コロンビア大学客員教授（1985-1987年）
1986年 - 3次元の代数多様体の極小モデルの存在証明に成功[6][注釈 1]
1988年 - 名古屋大学理学部教授[2]
1990年 - 京都大学数理解析研究所教授[2] フィールズ賞を受賞。
URL略
ポスドク（博士研究員）の年収を詳しく解説！｜日本最大級の年収ポータルサイト「平均年収.jp」 更新日 2020-7-12
平均年収だと300万程度といわれてます。
30代でも年収200～300万円台のポスドクの方が多いのが現状となっています。
410:１３２人目の素数さん
20/07/13 00:07:30 iQHRXN5S.net
もっちーは給料なんぼもろてんの？
年歴ごとに教えてかしこいひと！
411:１３２人目の素数さん
20/07/13 00:09:31 iQHRXN5S.net
てかやまとなでしこのオウスケさんってレベル的にどうなん？
フィールズ賞ほしいとかゆーてたけど
412:１３２人目の素数さん
20/07/13 00:58:17.44 BdBjWz5Y.net
>>381
そんなわけで誰もかれもが手の内を明かせなくなって他人の業績の検証をしている余裕もない
研究に何年も費やした挙句ふと漏らした一言がヒントになってどこかの天才に先を越されてしまったら人生終了
どこかの天才が書いた何百ページだかの論文を読んで理解するのに半年だってもったいないとｗ
413:１３２人目の素数さん
20/07/13 06:22:50 9rjRlBuH.net
言い訳だな。
それと一言漏らして先を越されるのはその程度の研究だってこと。
414:１３２人目の素数さん
20/07/13 07:04:47.12 BdBjWz5Y.net
>>385
それは成果を出した人間だけが吐くことを許される台詞ですがね
415:粋蕎
20/07/13 07:31:05.30 hn/nZ6UJ.net
>>386
権威主義か？
416:１３２人目の素数さん
20/07/13 08:14:32.87 BdBjWz5Y.net
>>387
自分にとって自明ではないものが天才にとっても自明ではないという保証がないから
417:１３２人目の素数さん
20/07/13 10:48:48.65 n5f1juWh.net
ads/cft対応で示される宇宙における万物の理論を考えたとき
双対性の前に、単一的にみたときの単遠アーベル的復元の手順(別の理論単一でみたときの辞書のやりとり)が必要になるから
今後の物理の研究をしていく上でIUTは必修科目になるんじゃない？
カプリIPMUの研究者が注目してるのも分かるね
418:現代数学の系譜 雑談
20/07/13 12:08:05.92 P0lE2V+2.net
>>382 正しいかどうか 保証の限りではないが 下記でも、どぞ 参考 https://kyuryobank.com/komuin/professor.html#:~:text=%E6%96%87%E9%83%A8%E7%A7%91%E5%AD%A6%E7%9C%81%E3%81%8C%E6%AF%8E%E5%B9%B4,%E4%B8%87%E5%86%86%E3%81%AE%E9%96%93%E3%81%A7%E3%81%99%E3%80%82 大学教授【国立大学・私立大学】の給料年収や有名私立の年収、助教授と教授の年収差|「給料BANK」 大学教授【国立・私立】の平均給料・給与 64万円 大学教授【国立・私立】の平均年収 778万円～1029万円 20代の給料：47万円 30代の給料：53万円 40代の給料：69万円 目次 [閉じる] 大学教授の給料・年収補足 大学教授の手取り 大学教授の仕事内容 国立大学の教授の年収給料 私立大学の教授の年収給料 早稲田大学や慶應など有名大学の大学教授の年収って高いの？ 教授と准教授（旧助教授）の年収を比較するとどのくらい変わるの？ 大学教授の口コミ
420:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/13 13:20:24 P0lE2V+2.net
>>389
>カプリIPMUの研究者が注目してるのも分かるね
"Inter-universal geometry"に悪乗りしていると思うが
IUTの文書をかなり読んだけど
”宇宙”（"Inter-universal "）ってのが、用語としては
大げさすぎる気がする
宇宙＝ホッジ舞台 とかその程度でしょ
せいぜい、圏論とか集合基礎論でいうところの ”クラス”程度
グロタン宇宙とかに匹敵する対象を扱って、
その間の関係を調べたり、
その関係から不等式出すとか
そんなものでは、全くない
考えてみると
IUTの対象は
まずは、整数Zとか、実数Rとか、複素数Zや、Zの上半平面
楕円曲線、spec、スキーム、エタール
圏論的なフロベニオイド、アナベリオイド、ホッジシアター
こんな程度でしょ？
だったら、圏論とか集合基礎論でいうところの ”クラス”程度で十分間に合っている
大げさに、”宇宙”（"Inter-universal "）とか言われると
基礎論の知識のある人ほど
混乱する気がするな
421:現代数学の系譜 雑談
20/07/13 13:37:06.18 P0lE2V+2.net
でもね
だれか、以前、本スレで書いていたが
IUT（が正しいとして）は、ディオファントス理論の革命です
つまり、IUT（が正しいとして）の前と後
それは、ディオファントス理論の世界が全く変わってしまう
なぜなら、ABC予想の式とその不等式が、余りにも単純だから、
ディオファントス分野のほとんど何にでも適用できてしまう
そして、従来予想とされていた多くの命題に決着がつく
（多くの予想が証明されてしまう）
だから、ディオファントスの分野の人は
IUTを無視できないでしょう
無視するなら、研究分野を変えるべきだろうね（IUTの影響の及ばない分野へ）
あと、楕円曲線の研究にも、大きな影響があるでしょうね
（スピロ予想とか、ボイタの予想とかの証明ができると、IUT論文に書いてありますからね）
楕円曲線の研究にとっても、革命と思います
参考
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
整数論の最前線
楕円曲線の数論幾何
フェルマーの最終定理，谷山-志村予想，佐藤-テイト予想，そして・・・
伊藤 哲史?
京都大学理学部数学教室 ガロア祭
2007年5月25日(金) 17:45?18:45
この話のテーマ : 楕円曲線の数論幾何
422:１３２人目の素数さん
20/07/13 13:47:40.23 /iEtU6Ce.net
コロナで大和民族の優秀さが証明された。
IUTで、大和民族にしかわからない数学があることが証明された。
423:１３２人目の素数さん
20/07/13 14:20:18.29 mhcYK/aA.net
>>392
↑
転載
IUT用語集
認知症のゴミ集
424:め 収集されるものにあまり価値がない ように見えても、本人にとっては 大切なもの。 決して周囲が考えるようなゴミでは ないのです。 集めることには本人なりの理由が あり目的があります。 そのため勝手に捨てると「盗まれた！」「無くなった！」など気持ち が追い詰められ「もの盗られ」の 被害に遭ったと感じることも。
425:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/13 15:58:20 P0lE2V+2.net
IUT（が正しいとして）
いま、３つの動きがある
１．フェセンコ－RIMS：南出先生と共同で、EffectiveなIUT不等式理論の研究をしている。これができると、EffectiveなABCや、Effectiveなモーデルがでる？
（Effectiveなモーデルが出るとなると、またどえらい話ですが）
２．Dupuy氏：Cor3.12を前提として、さまざまなスピロ予想が導出できるとしている
３．Joshi氏：IUTの考えをAnabelomorphyという新概念で、整理しようとしている
URLﾘﾝｸ(arxiv.org) On Mochizuki's idea of Anabelomorphy and its applications Authors: Kirti Joshi Submitted 23 April, 2020
（”Now let me record the following observation which I made in the course of writing
[Jos19a] and [Jos19b]. In treatment [DJ] we hope to establish many results of
Section 3 of classical anabelian geometry in the perfectoid setting.”）
これ以外に
本年予定されていて、中止になった４本のIUT国際会議の講演ネタがある
数学のネタは、すしネタと同じ
数学は鮮度が重要
今年のネタは、今年提供しないといけない
来年になると、鮮度がおちる
（せめて、半年以内には、リリースしないと、せっかくのネタの値打ちない）
なので、ここ１年以内にいろんな動きが出てくると
思っています
426:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/13 16:03:59 P0lE2V+2.net
>>393
＞IUTで、大和民族にしかわからない数学があることが証明された。
フェセンコ、Dupuy、Joshi氏たち
大和民族だった？ｗ（＾＾
427:１３２人目の素数さん
20/07/13 17:41:30.38 ys7eXBWa.net
>>393
ダイワミンゾクって何すか？ｗ
428:１３２人目の素数さん
20/07/13 17:49:37.77 ys7eXBWa.net
>>391 宇宙の定義も知らんidiotが発＊してるな（嘲）
>>392 何わけわかんない寝言いってんだ このidiot（嘲）
>>395 誤りに鮮度もクソもない idiotは何が誤りかも分らんらしい（嘲）
429:１３２人目の素数さん
20/07/13 18:21:30.46 loo9MSbm.net
>フェセンコ、Dupuy、Joshi氏たち
大和民族だった？ｗ
IUT語でなく日常会話でたのむ
430:現代数学の系譜 雑談
20/07/13 18:55:47.40 P0lE2V+2.net
>>395
自明なことだが、はっきりさせておく
１．IUTが、正しいか間違っているか？
それを決めるのは、５ｃｈの住民ではない！ｗ
プロ数学者たち、彼らは ５ｃｈの住民ではない！
２．IUTが正しいか間違っているか？
それはすぐには定まらないだろう、
歴史に鑑みれば、過去にもいろいろ議論になった数学の事例がある
３．客観的事実として
IUTの査読は終わった
つまりは、複数人のプロ数学者が、正しいと認定したってこと
（その中に、玉川と柏原両先生が居る）
そして、いずれ、IUT論文は出版される。これは既定事実として受け入れるべき
以上
431:１３２人目の素数さん
20/07/13 19:01:23.33 b8cdsLRS.net
>>391
クラスも宇宙もどちらも分かってなさそう
クラスって集合になりえないほど大きいモノの集まりだけど、宇宙って所詮は集合だからクラスの方が大きいぞ
クラスで十分てのはどちらも知らないからこそ出る言葉なのかなと思う
432:１３２人目の素数さん
20/07/13 19:28:06 BdBjWz5Y.net
宇宙 (数学) - Wikipedia
数理論理学において、構造 (もしくはモデル) の宇宙（うちゅう、英: Universe）とは議論領域のことである。
数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを
元として含むような類のことである。
433:１３２人目の素数さん
20/07/13 19:37:38 BdBjWz5Y.net
クラス (集合論) - Wikipedia
集合論及びその応用としての数学におけるクラスまたは類（るい、英: class）は、集合(または、しばしば
別の数学的対象)の集まりで、それに属する全ての元が共通にもつ性質によって紛れなく定義されるものである。
「クラス」の正確な定義は、議論の基礎となる文脈に依存する。
…もはやバベルの塔だな
434:１３２人目の素数さん
20/07/13 19:48:24.82 BdBjWz5Y.net
数学をやると頭がおかしくなると確信できたのは大いなる収穫だった
でもまだまだ粘着するぜ！ｗ
435:１３２人目の素数さん
20/07/13 21:01:10 9rjRlBuH.net
一言漏らして人生終了すると思ってるバカは漏らす前に既に終了してるからｗｗ
436:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/15 00:24:40 hRRJMwM+.net
>>403
>…もはやバベルの塔だな
同意です
集合論というか基礎論で、有名な宇宙が３つ
ゲーデルの構成可能宇宙L、フォン・ノイマン宇宙 V、グロタンディーク宇宙 U（ここでは ノイマン宇宙 Vより大きいとする）
ゲーデルの構成可能宇宙Lは、構成可能集合からなるクラスで、全ての順序数を含む最小の ZFC のモデル
フォン・ノイマン宇宙 Vは、ZFCによって定義される遺伝的整礎集合全体のクラス
グロタンディーク宇宙 Uは、ZFC＋強到達不能基数で、”(U) すべての集合 x に対して、x ∈ U となるグロタンディーク宇宙 U が存在する”ので、UはZFCによって定義される集合をすべて含み、ZFCのみでは構成できない集合も含む
記号の濫用で書くと、L⊂V⊂U
そして、各宇宙 L、V、U たちは、内部にクラスを含むから、これら宇宙は集合ではない
この３つの有名な ゲーデルの構成可能宇宙L、フォン・ノイマン宇宙 V、グロタンディーク宇宙 U たち
以上を踏まえて、では望月IUTの「宇宙」とは何か？
単なる集合だって？
だったら、３つの有名な宇宙 L、V、U たちと比べて、それは あまりにも 釣り合いが取れない
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
構成可能集合 英語版 Constructible universe URLﾘﾝｸ(en.wikipedia.org)
ゲーデルの構成可能集合（こうせいかのうしゅうごう、 constructible universe または Godel's constructible universe）とは、クルト・ゲーデルによって導入された、集合論の公理を満たすモデル上で空集合から帰納的に構成していける集合のことである。より正確な定義は後に述べる。
ゲーデルは、構成可能集合からなるクラス（通常 L と記される）が ZFC、すなわち ZF に選択公理を加えたものの ZF での内部モデルになることを示した。
彼はさらに、L が一般連続体仮説を満たすことも示した。
性質
L は全ての順序数を含む最小の ZFC のモデルである。
つづく
437:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/15 00:24:59 hRRJMwM+.net
>>406
つづき
URLﾘﾝｸ(ja.wikipedia.org)
フォン・ノイマン宇宙
フォン・ノイマン宇宙 Vとは、遺伝的整礎集合全体のクラスである。
この集まりは、ZFCによって定義され、ZFCの公理に解釈や動機を与えるためにしばしば用いられる。
クラスVは全てのV-階層の和、すなわち:
V:=∪α Vα （Vαたちの和集合）
と定義される。
V は二つの理由によって、"全ての集合による集合"とは異なるものである。
第一に、これは集合ではない。各階層Vαがそれぞれ集合でも、その和であるVは真のクラスであるからだ。
第二に、Vの要素は全て整礎集合に限られている。正則性公理は全ての集合が整礎的であることを要求していて、だからZFCでは全ての集合がVに属する。
URLﾘﾝｸ(ja.wikipedia.org)
グロタンディーク宇宙
グロタンディーク宇宙と到達不能基数
グロタンディーク宇宙が到達不能基数と同値
より形式的に言えば、次の2つの公理が同値である:
(U) すべての集合 x に対して、x ∈ U となるグロタンディーク宇宙 U が存在する。
(C) すべての基数 κ に対して、κ よりも巨大な強到達不能基数 λ が存在する。
つづく
438:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/15 00:25:39 hRRJMwM+.net
>>407
つづき
グロタンディーク宇宙 U に対して、|U| は零、アレフ0、もしくは強到達不能基数のいずれかとなる。
また、κ が零、アレフ0、もしくは強到達不能基数ならば、グロタンディーク宇宙 u(κ) が存在する。
さらに、u(|U|) = U かつ |u(κ)| = κ となる。
（ここで |x| は x の濃度を意味している。）
強到達不能基数の存在は ZFC からは証明できないため、空集合と Vω 以外の宇宙の存在はどれも ZFC から証明することができない。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY IV:
LOG-VOLUME COMPUTATIONS AND
SET-THEORETIC FOUNDATIONS
Shinichi Mochizuki
April 2020
P67
Section 3: Inter-universal Formalism: the Language of Species
We shall refer to such models as ZFC-models.
Recall that a (Grothendieck) universe V is a set satisfying the following axioms
(引用終り)
以上
439:１３２人目の素数さん
20/07/15 10:55:18.65 +c3dKonF.net
>>382
知らんが、米国に居残ってれば倍くらい稼げてたんじゃないか？
440:現代数学の系譜 雑談
20/07/15 11:22:24.83 Y0wUbHu5.net
>>409
”Publish or perish ”（下記）
望月先生のIUTに取り組んで、４編の論文を書き上げるのに５年くらい
（2008年04月09日 IUTeichの記載が、望月 感想・着想にある）
ホームページ発表が2012年、査読完了が2020年4月です
”Publish”で、ホームページ発表を含めてもらえないなら
米国なら
”perish ”だったかも
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月 感想・着想
（下記の中国農業試験場は、多分日本の中国地方でしょう）
URLﾘﾝｸ(www.naro.affrc.go.jp)
農研機構
西日本農業研究センター
所長室だより -Publish or perish について-
情報公開日:2012年7月 4日 (水曜日)
(抜粋)
表題の Publish or perish を日本語で少しオーバーに訳せば、“論文を書け、書かないなら、研究員を辞めちまえ”という意味である。 Publish or perish は韻を踏んでおり、覚えやすい。
この言葉に出会ったのは、今から30年以上も前である。
当時中国農業試験場の作物部からアメリカのジョージア大学に科学技術庁の在外研究で留学していた先輩研究者が時々航空便で送ってきた「ジョージア便り」(通信名はうろ覚え
441:)に載っていたものである。 先輩研究者は、中国農業試験場の私たちに、「アメリカでは研究成果をきちんと論文にまとめている。君たちも見習ったら。」という気持ちをこめて紹介されたのだと思う。 当時20歳代後半だった私は、通信を読んで、アメリカの研究員はそういう気持ちで研究をしているのかと初めて知って、見習わなくてはいけないなと思った次第である。
442:現代数学の系譜 雑談
20/07/15 12:08:58.38 Y0wUbHu5.net
>>406
補足
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY IV:
LOG-VOLUME COMPUTATIONS AND
SET-THEORETIC FOUNDATIONS
Shinichi Mochizuki
April 2020
P67
We shall refer to a ZFC-model that also satisfies this additional axiom of the
Grothendieck school as a ZFCG-model.
Note that this means, in particular, that there exist infinite
ascending chains of universes
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
－ where n ranges over the natural numbers.
On the other hand, by the axiom of foundation,
there do not exist infinite descending chains of universes
V0 ∋ V1 ∋ V2 ∋ V3 ∋ ... ∋ Vn ∋ ...
－ where n ranges over the natural numbers.
(引用終り)
ここらを読むと、V0, V1, V2 などを、chains of universesとしている
しかし、ZFC-modelとか the axiom of foundation とかの文脈からは
V0, V1, V2 などは、単なる集合でしかない（いまどき（21世紀）、”universe”などという人は、数学基礎論にはいないでしょう）
Cohenが開発した強制法では、直観的には”集合論の宇宙 V をより大きい宇宙 V* に拡大する”という
フォン・ノイマン宇宙とか、グロタンディーク宇宙とかは、こちらの意味であって、単なる集合などでは決してない
”1963年以前をB.C.(before Cohen)といい、ゲーデルはB.C.の神であった”（田中一之先生）
というジョークもあるそうですが
強制法の時代を境に、数学基礎論（含む集合論）の「宇宙」という用語の使い方が変わっているのです
望月先生の”universe”の用語が、ちょっとセンスが古いと思いますね
つづく
443:現代数学の系譜 雑談
20/07/15 12:10:06.62 Y0wUbHu5.net
>>411
つづき
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
正則性公理
ZF公理系を構成する公理の一つで、1925年にジョン・フォン・ノイマンによって導入された。
定義
以下の4つの主張はいずれも同値であり、どれを正則性の公理として採用しても差し支えない。
・∀xについて、∈がx上well-founded
・∀xについて、無限下降列である x∋x1∋x2∋... は存在しない。
・ V=WF
ここで、Vはフォン・ノイマン宇宙を指し、WFは0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラスを指す。
ZF公理系の他の公理系から得られる種々の集合演算(対集合、和集合、冪集合) の結果としての集合は常にWF内に含まれるため、V=WFの仮定は全ての集合を0に通常の集合演算を施すことによって得られるものだけに制限することを主張している。
したがって、例えばx={xのような集合やx∈yかつy∈xなる集合は正則性の公理の下では集合にはなり得ない。
WFは通常の集合演算に関して閉じているため、WF公理系から得られる全ての真なる命題がZF公理系においても真となることが分かる。
このため、WF公理系内で通常の数学を展開できることが知られている。
つづく
444:現代数学の系譜 雑談
20/07/15 12:11:57.97 Y0wUbHu5.net
>>412
つづき
URLﾘﾝｸ(ja.wikipedia.org)
強制法
強制法（きょうせいほう、Forcing）とは、ポール・コーエンによって開発された
直観的意味合い
直観的には、強制法は集合論の宇宙 V をより大きい宇宙 V* に拡大することから成り立っている。
この大きい宇宙では、拡大する前の宇宙には無かった ω = {0,1,2,…} の新しい部分集合をたくさん要素に持っている。
そしてそれに
445:より連続体仮説を否定することができる。 が、このような議論は表面上不可能である。 http://kururu.ハテナブログ/entry/20080313/1205383899 URLが通らないので、キーワード検索たのむ kururu_goedel’s diary 2008-03-13 ゲーデルと20世紀の論理学 第四巻 集合論とプラトニズム (抜粋) 田中一之先生による序なんですが。これが単なるゲーデルと集合論の関係を年代ごとに見ていく文章だったなら十分良いのではないかと思うのですが、その後に続く三つの大変興味深い部への導入としては少々問題があると考えます。少なくとも集合論者としての私の立場からすると。いろいろツッコミたい部分はあるのですが、象徴的なのはこの部分。 ”私が学生の頃(1980年頃）には、よく冗談で1963年以前をB.C.(before Cohen)といい、ゲーデルはB.C.の神であったなどといったものである。” もちろんCohenが開発した強制法は恐ろしく重要なテクニックです。 (引用終り) 以上
446:１３２人目の素数さん
20/07/16 10:18:06.99 MQr/5bWm.net
>>411
セタ、宇宙が全然わかってねぇな
到達不可能基数を集合として認めれば
宇宙が集合として存在することもわからねぇとか
正真正銘のidiotだろｗｗｗｗｗｗｗ
こんなんフォーシングと全然関係ねぇよ
ばぁぁぁぁぁか（嘲）
447:１３２人目の素数さん
20/07/17 08:08:36 xrOknFA0.net
藤井君にお願いして、
解いてもらうのが一番早いのでは？
448:１３２人目の素数さん
20/07/17 08:53:09 TWdzNDk6.net
だから藤井に解けるならAIに解けるだろｗ
藤井だってAIにはボロ負けなんだから
449:現代数学の系譜 雑談
20/07/18 10:42:52.31 ywyns0bH.net
sage
450:現代数学の系譜 雑談
20/07/18 10:43:29.47 ywyns0bH.net
>>414
鳥なき里のコウモリが、いばりくさる５ｃｈかい？ ｗｗｗ（＾＾；
（鳥なき里の蝙蝠とは、すぐれた者がいないところでは、つまらぬ者が威張っていることのたとえ）
おサルの言っていることは
下記の「圏論と集合論 ／ 渕野昌」に詳しい解説がある
いま、それを読んでいるｗ（＾＾
URLﾘﾝｸ(www.)青土社 URLが通らないので検索願う
現代思想2020年7月号 特集＝圏論の世界
圏論と集合論 ／ 渕野昌
451:現代数学の系譜 雑談
20/07/18 16:24:59.30 ywyns0bH.net
>>414
鳥なき里のコウモリが、いばりくさる５ｃｈかな？ ｗ（＾＾；
21世紀の集合論での”宇宙”の定義（＾＾
URLﾘﾝｸ(mathsoc.jp)
集合論の宇宙 Universe と Multiverse - 日本数学会
2017/03/24 薄葉季路 (早稲田大学)
お品書き .1. Universe .2. 巨大基数 .3. 強制法 .4. Multiverse .5. Generic multiverse.
P4
集合の宇宙
（定義）
・集合すべてからなる集まりを（集合論の）宇宙と呼び、Vで表す
・Vは集合ではない
452:現代数学の系譜 雑談
20/07/18 16:26:49.79 ywyns0bH.net
>>419
補足
薄葉季路先生の話は
「圏論と集合論 ／ 渕野昌」（>>418）
を読んでいたら
出てきた（＾＾
453:１３２人目の素数さん
20/07/20 19:07:10.64 GTyOZobB.net
自分は報道でabc予想を知ったおのぼりさんだったが>>356を信じて
10日かけて2020年4月3日以前の全ての過去スレに目を通し
過去8年の間に何があったのか真相を知るに至った
誰も教えてくれないはずだ
これが公けになって下手をすれば日本のピュアマスは終わる
454:１３２人目の素数さん
20/07/20 19:16:01.81 i/Qb4mBK.net
おのぼりさん
こんにちは
455:１３２人目の素数さん
20/07/20 19:29:44.49 GTyOZobB.net
>>422
はいこんにちは
まだちょっと動揺している
大本営発表に踊らされて三か月半が無駄になった
456:１３２人目の素数さん
20/07/20 19:35:41.25 BdN2tzPP.net
>>421
偉いな きっちり過去スレを読むやつは数少ない
だけど判断保留にしとくべきだよ
簡単に結論づけられる問題では無い
457:１３２人目の素数さん
20/07/20 19:45:35.40 GTyOZobB.net
>>424
数学には全く興味がないのになぜこの問題に惹きつけられるのか
自分でもよく分からなかったがようやく理解できたのですっきり
同類はネットを介してもにおいで分かるんだ
458:現代数学の系譜 雑談
20/07/20 21:08:27.54 +DP0GLVp.net
>>424
>だけど判断保留にしとくべきだよ
>簡単に結論づけられる問題では無い
同意
かつ
数学素人には、結論を下す資格がないでしょうよ（＾＾；
>>425
>数学には全く興味がないのになぜこの問題に惹きつけられるのか
それってさ
”数学には全く興味がない”＝「数学の知識が全くない」
ってことを意味するでしょう？
だったら、あなたには、IUTについて判断を下す資格と能力がないこと自明でしょ？
かつ、５ｃｈの過去スレ読んで何が分かるわけ？
トランプ大統領以上の フェイクニュースだらけでしょ？
５ｃｈの過去スレ読んで何が分かるわけ？
トランプ大統領以上の フェイクニュースだらけってことも
分からない？
５ｃｈなんて、匿名の”名無し”さんが
あること ないこと、有象無象
嘘八百書きまくってさ
その中にちょっと正しいことがある
そのちょっと正しいことが見抜けない人がさ
５ｃｈの過去スレ読んで何が分かるわけ？
459:１３２人目の素数さん
20/07/20 22:53:38.86 GTyOZobB.net
>>426
だからこれから勉強して自分で確かめようと思う
もやもやが晴れて一区切りついたから気楽にやるさ
460:現代数学の系譜 雑談
20/07/21 10:40:35.84 0raV9gYR.net
>>427
>だからこれから勉強して自分で確かめようと思う
>もやもやが晴れて一区切りついたから気楽にやるさ
なるほど
それなら大賛成
というか、自分も同じ
私の場合は、もやもやは大分晴れた
・IUTについて、数学的に反対しているのは、2020年4月以降では、ショルツ氏ただ一人
・そのショルツ氏も、woitブログで、Dupuy氏にやり込められて、だんまりになった
・これから、IUTに近い数論や遠アーベル専門家たちの議論になっていくと思う
・その中で、IUTを乗り越えようという動きが出ている
１）一つは、Kirti Joshi 氏の動き。IUTを独自の視点で理解しようとしている
URLﾘﾝｸ(www.math.arizona.edu) のRecent Researchへ入る
２）もう一つは、Dupuy氏たち(with A. Hilado) の IUT VIを別の視点から書き換える動き
URLﾘﾝｸ(www.uvm.edu)
３）さらに、”SHIMURA CURVES”を使う話（楕円曲線ではなく）
URLﾘﾝｸ(arxiv.org) SHIMURA CURVES AND THE ABC CONJECTURE HECTOR PASTEN Date: July 6, 2018.
４）さらには、望月IUTを発展させて、effective な結果を得ようとする南出氏の動き
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(in%20progress).pdf
Explicit estimates in inter-universal Teichm¨uller theory (in progress) (joint work w/ I. Fesenko, Y. Hoshi, S. Mochizuki, and W. Porowski)
Arata Minamide RIMS, Kyoto University November 2, 2018
ここらに注目しています
461:現代数学の系譜 雑談
20/07/21 10:59:44.41 0raV9gYR.net
さて、フェセンコ先生の下記情報
フライング気味（RIMSのページには中止のまま）だが、
2020年は COVID19で中止として
2021年にやることは、十分
462:考えられるよね （参考） https://www.maths.nottingham.ac.uk/plp/pmzibf/activity.html Ivan Fesenko Activities (抜粋) Recent and forthcoming international workshops and conferences ・Inter-universal Teichmuller theory (IUT) summit 2020, September 7 - September 10 2021 https://www.maths.nottingham.ac.uk/plp/pmzibf/files/iut2.html Inter-universal Teichmuller Theory (IUT) Summit 2021 RIMS workshop, September 7 - September 10 2021 ・Invitation to inter-universal Teichmuller theory, August 31 - September 3 2021 https://www.maths.nottingham.ac.uk/plp/pmzibf/files/iut1.html Invitation to inter-universal Teichmuller Theory (IUT) RIMS workshop, August 31-September 3 2021 ・Combinatorial anabelian geometry and related topics, July 6 - July 9 2021 https://www.maths.nottingham.ac.uk/plp/pmzibf/files/June2020.html Combinatorial Anabelian Geometry and Related Topics, RIMS workshop, July 6 - July 9, 2021 ・Foundations and perspectives of anabelian geometry, June 28 - July 2 2021 https://www.maths.nottingham.ac.uk/plp/pmzibf/files/May2020.html Foundations and Perspectives of Anabelian Geometry, RIMS workshop, June 28 - July 2 2021
463:１３２人目の素数さん
20/07/21 11:09:40.50 i9m3YI0g.net
>>428
↑
Wとwoitを混同しデマを飛ばす輩
464:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/21 11:24:37 0raV9gYR.net
>>428
> ４）さらには、望月IUTを発展させて、effective な結果を得ようとする南出氏の動き
補足
”the second case of FLT for all prime exponents except those between 2^{31} and 9.6x10^{13}.”
ね？ ”all prime exponents except those between 2^{31} and 9.6x10^{13}”とは？ なんで、”between 2^{31} and 9.6x10^{13}”？
面白いですね
早く、全文公開されないかなー
URLﾘﾝｸ(events.goettingen-campus.de)
MathematischeGesellschaft
From Teichmuller to Mochizuki: arithmetic-anabelian IUT, its effective version and applications
23.1.2020, 16:15 - 17:15
Speaker:
Prof. Ivan Fesenko, Mathematical Sciences, University of Nottingham
Location:
Mathematisches Institut, Bunsenstr 3-5
Sitzungszimmer
Details:
This work incorporates the even residue characteristic, which, as usual in number theory, is more difficult than the odd residue characteristic.
It then goes through the details of IUT to produce effective estimates of constants and the proof of effective form of one of abc inequalities, and to its further applications to various Diophantine equations.
In the particular case of one of such equations, the Fermat equation, this work, entirely independently of modularity and the work of Wiles and Taylor,
proves the first case of FLT for all prime exponents and proves the second case of FLT for all prime exponents except those between 2^{31} and 9.6x10^{13}.
465:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/21 11:35:18 0raV9gYR.net
>>429
IUTの国際会議
フェセンコ先生の下記があるな
（参考）
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
News - Ivan Fesenko
4 RIMS workshops during a special RIMS year Expanding Horizons of Inter-universal Teichmuller Theory, April 2021-March 2022 (new dates)
Foundations and Perspectives of Anabelian Geometry, June 28 - July 2 2021
Combinatorial Anabelian Geometry and Related Topics, July 6 - July 9 2021
Invitation to inter-universal Teichmuller Theory, August 31 - September 3 2021
Inter-universal Teichmuller Theory Summit 2021, September 7 - September 10 2021
466:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/21 14:03:40 0raV9gYR.net
>>430
W？
これか？ｗｗw（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
Wの悲劇
『Wの悲劇』（ダブリューのひげき）は、夏樹静子による日本の推理小説。光文社カッパ・ノベルスより1982年2月に刊行された。
アメリカの推理作家エラリー・クイーンが別名義で発表した推理小説「悲劇4部作」（『Xの悲劇』『Yの悲劇』『Zの悲劇』『レーン最後の事件』）へのオマージュとして執筆され[1]
467:、題名の「W」はXYZに次ぐ第4の未知数、悲劇の舞台となる和辻家、そして女性（Women）を表している[要出典]。 1984年に映画化、また数回にわたりテレビドラマ化されている。
468:現代数学の系譜 雑談
20/07/21 15:46:18.32 0raV9gYR.net
Wって、匿名の馬のホネのこと？
そんなん、眼中にないぜｗｗｗ WWW 草草草 （＾＾；
469:１３２人目の素数さん
20/07/25 12:45:13 F53FsiI4.net
WはDaniel Littだろ若手だが実力は微妙
470:１３２人目の素数さん
20/07/25 15:28:14 07FN9raw.net
IUTって誰かまだやってんの？
471:１３２人目の素数さん
20/07/25 17:08:28.60 DhBEPJV0.net
>>436
ちょっと上の428 - 432くらい読め
ちゃんとやってるやつがいる
472:１３２人目の素数さん
20/07/25 19:31:08.91 o3Jp3zp7.net
ショルツ氏の反論は結局的外れだったわけ？
久々にきたからわからん
473:現代数学の系譜 雑談
20/07/25 21:28:40.39 kcmyedik.net
>>435
>WはDaniel Littだろ若手だが実力は微妙
Daniel Litt？
これか
URLﾘﾝｸ(www.daniellitt.com)
DANIEL LITT
(抜粋)
Algebraic Geometry, Number Theory, etc.
I am an Assistant Professor of mathematics at the University of Georgia. I completed my PhD at Stanford in 2015; from 2015-2018 I was an NSF Postdoc at Columbia; and from 2018-2019 I was a member at the Institute for Advanced Study.
Broadly speaking, I am interested in the interplay between algebraic geometry and number theory (and, to a lesser extent, topology).
Most of my work has focused on using arithmetic techniques to study classical questions about, for example, complex algebraic varieties.
Currently, I am thinking about the arithmetic structures on the fundamental group of an algebraic variety, and the relationships between those structures and the geometry of the variety.
Some of my other interests include questions about positivity and vanishing theorems, dynamics of algebraic varieties, and Hodge theory (broadly construed).
474:現代数学の系譜 雑談
20/07/25 21:39:51.14 kcmyedik.net
>>438
「ショルツ氏の反論は外れ」というのが
望月本人、星、山下、それに Dupuy氏の主張です
・Dupuy氏の主張は、下記抜粋ご参照
・山下氏の主張
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
[YKId] Brief excerpt on the "id-version" of IUTeich from the lecture notes for
a series of lectures on IUTeich given by Go Yamashita in November 2018
at Keio University
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
・望月本人＆星の主張 URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
（この中に、Ivan Fesenko氏の意見もある）
（参考）
URLﾘﾝｸ(www.uvm.edu)
[ Taylor Dupuy's Homepage]論文集
URLﾘﾝｸ(arxiv.org)
Date: April 30, 2020.
The Statement of Mochizuki's Corollary 3.12, Initial Theta Data, and the First Two Indeterminacies, (with A. Hilado)
(抜粋)
P14
Remark 3.8.3. (1) The assertion of [SS17, pg 10] is that (3.3) is the only relation between
the q-pilot and Θ-pilot degrees. The assertion of [Moc18, C14] is that [SS17, pg 10] is
not what occurs in [Moc15a]. The reasoning of [SS17, pg 10] is something like what
follows:
(a)～(g)�
475:ｪ (2) We would like to point out that the diagram on page 10 of [SS17] is very similar to the diagram on §8.4 part 7, page 76 of the unpublished manuscript [Tan18] which Scholze and Stix were reading while preparing [SS17]. (3) As of August 1st 2019, the documents above can be found at http://www.kurims.kyoto-u.ac.jp/~motizuki/IUTch-discussions-2018-03.html. We note that there is also the review [Rob 3] which some may find interesting. [SS17] Peter Scholze and Jakob Stix, Why abc is still a conjecture., 2017. 1, 1, 1e, 2, 7.5.3 (引用終り)
476:１３２人目の素数さん
20/07/25 21:42:22.81 ofu4nOvp.net
DupuyはScholzeとメールでのやり取りに移行したから今現在どっちかは不明じゃないのか
結論明らかになった？
477:現代数学の系譜 雑談
20/07/25 21:42:35.10 kcmyedik.net
>>440
補足
玉川氏も同じ意見でしょうが
4月3日の記者会見では
カドが立たないように「反論を送ったが、返事なし」と丸めた
はっきり言えば良かったんだ、「ショルツ氏の批判は的外れ」だと、はっきりいえば
478:現代数学の系譜 雑談
20/07/25 21:59:49.08 kcmyedik.net
>>441
>DupuyはScholzeとメールでのやり取りに移行したから今現在どっちかは不明じゃないのか
>結論明らかになった？
明かではない
が
１．もし、Dupuy氏が論破されて彼が納得すれば、arXiveは修正されるべきだし、おそらくそうなる。まだ、それはない
２．本当にまだメールやっているとしたら、余程ヒマでしょｗ。おそらくは、平行線で、休戦と見ています
URLﾘﾝｸ(www.math.columbia.edu)
（woitブログ）
Not Even Wrong Latest on abc Posted on April 3, 2020 by woit
(抜粋)
Peter Scholze says: May 1, 2020 at 4:42 pm
Dear Taylor,
thanks for your further comments. I think W said it all.
b) The category of curves overF isomorphic to the given X, with morphisms isomorphisms of curves over F, is equivalent to the category of Hodge theaters as defined by Mochizuki, with morphisms the ones defined by Mochizuki.) We agree that both claims are true; in fact, both are theorems of Mochizuki.
You seem to argue that there is some tension between these claims, as one talks about absolute vs. the other about relative curves. Well, also the right side is different, so no wonder the left side is!
Actually, in the context of the current thread, it would have been a good question whether, given that a Hodge theater is a collection of certain topological groups isomorphic to
π1(X)’s for certain different X’s, plus other data, with lots of relations, can you actually interpret all those things as some convenient structure on the side of schemes again?
This is not a priori clear, and Mochizuki’s central claim is that by passing to π1(X)’s, he can do interesting new things. So he cooks up a Hodge theater. And … you can beautifully interpret it in good old schemes, it “is” just a curve over your original number field .
The same happens for everything else I’ve seen in IUT or your comments.
I’m happy to continue any further discussions by e-mail.
Best wishes!
Peter
479:１３２人目の素数さん
20/07/25 22:11:29.34 1b//Cib
480:6.net
481:現代数学の系譜 雑談
20/07/25 22:36:11.40 kcmyedik.net
>>444
１．数学界では、それぞれ専門があるのだから、専門分野が違えば、「なるほど理解できたぜ！」とならなくても仕方ない
２．ショルツ氏は、IUTとは専門分野が少しずれている。遠アーベルの論文は、一編もないはず
３．論争と、（論文の）査読とは別。論争は論争、査読は査読。
４．2021年に延びた国際会議とかあるから、論争すれば良い。
５．ショルツ氏は、もう良いんじゃ無い？ スティックス氏にバトンタッチすれば良い
482:１３２人目の素数さん
20/07/25 22:41:58.51 1b//Cib6.net
>>445
理解されなくてもよいならそもそも正しい必要はあるのか？
483:現代数学の系譜 雑談
20/07/25 23:34:28.74 kcmyedik.net
>>446
１．正しいか正しくないかの、出版のための審査が査読でしょ
２．正しいか正しくないかは、本質的には、各数学者がすべき。それは、査読とはまた別の話
３．論文が公表され、査読が終わって、正規に出版された
４．「正しそう」と言えても、絶対正しいかどうか？ それは、時間を掛けて、数学会で判断がなされていく
５．そして、本質的には、その論文が多くの人によって、検証され乗り越えられていく
６．乗り越えられるとは、あるときは誤りが指摘修正され、あるときはもっと一般的抽象的に拡張され、あるときは別分野との関連が発見されて応用されるなど
484:現代数学の系譜 雑談
20/07/25 23:35:59.74 kcmyedik.net
>>447 タイポ訂正
２．正しいか正しくないかは、本質的には、各数学者がすべき。それは、査読とはまた別の話
↓
２．正しいか正しくないかの判断は、本質的には、各数学者がすべき。それは、査読とはまた別の話
485:１３２人目の素数さん
20/07/26 00:13:16.24 2lhe5aAJ.net
つまりIUTは正しくてM大勝利と。
486:１３２人目の素数さん
20/07/26 00:34:10.07 f9TeaAxM.net
ていうか、早く論文載せないと
487:１３２人目の素数さん
20/07/26 00:38:48.50 EkFt9gsb.net
どこでも狂信者恍惚の一味には自画自賛大勝利しかない
だから狂信者
488:１３２人目の素数さん
20/07/26 07:38:09 2Lm3uz6O.net
ショルツの反論的外れ発言者
T川
★
K川
もちろんMzk本人も
489:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/26 08:18:47 uQ4z/5zX.net
客観的な事実として
１．IUTアンチを類別すると
a)数学的にIUT不成立を主張する人二人（SS）。その内、4月3日の発表以降も、同じ発言をしたのはショルツ氏のみ
あと、ショルツ氏の尻馬組は多数いるが、数学的には無価値
b)IUTが読めない 理解出来ない派、これは多数居る
もっと分かるように、普通の数学概念に近い言葉で書けるはずとか
査読者が、書き直すように命じるべきとか、woitブログでもそういう発言あった
だが、これもIUTの数学自身への批判ではない
２．IUT様子見派
これが大部分でしょう
３．IUT支持派
a)多くはRIMS内（森、柏原、玉川、山下、星、南出たち）
b)国内では、東工大 田口、加藤文たち（多分、他にもいると思うが略）
c)海外では、フェセンコ、Dupuy、Joshiたち
４．そして、4月3日の記者会見で、「IUTの査読完了」の発表
５．IUTの国際会議は、2021年に延びた
以上を纏めると
・数学的にIUT不成立を主張するのは、4月3日以降では、ショルツ氏のみ（ショルツ氏の尻馬組を除く）
・IUT支持派多数
・4月3日の記者会見で、「IUTの査読完了」の発表
・IUTの国際会議は、2021年に延びた
なので、IUTの成否は、これから数学会の中でちゃんと議論されて行きます
その中から、IUTの分かりにくさを克服する動きが出てくる
490:１３２人目の素数さん
20/07/26 08:20:34 6FDbQv5K.net
Cor3.12はIUT語で書かれているから
self evidentですね
491:１３２人目の素数さん
20/07/26 08:29:52 saexkCgL.net
デュピュイはIUT教団のひかりのわ
492:１３２人目の素数さん
20/07/26 08:37:25 ioiFQGta.net
>>455
真に客観的な事実
１．IUT否定派
a)数学的にIUT不成立を主張する人：ショルツ＆スティクス。
その内、4月3日の発表以降も、同じ発言をしたのはショルツ氏のみ
（スティクスはコメントせず）
b)ショルツ氏の支持者は存在するが 実数は不明
読者に分かるように、実例を示すべき
査読者が、書き直すように命じるべき
等の発言あり
２．IUT様子見派
いわゆるサイレントマジョリティ これも実数は不明
３．IUT肯定派
a)多くはRIMS内（森、柏原、玉川、山下、星、南出たち）
b)国内では、東工大 加藤文
（なお、IUT国際会議の国内委員すべてがIUT肯定派かどうかは不明）
c)海外では、フェセンコ
（Dupuy、Joshiが、IUTの全てを肯定しているとはいえない）
状況
・4月3日の記者会見で、「IUTの査読完了」の発表
・IUTの国際会議は、2021年に延期
493:１３２人目の素数さん
20/07/26 08:47:07 ioiFQGta.net
思うに
IUT＝欅坂 望月＝平手友梨奈
かと思う
IUT論文発表＝サイレントマジョリティー
海外からの批判殺到＝不協和音
四面楚歌の中、論文受理強行＝黒い羊
結論
平手友梨奈、欅坂脱退
欅坂、10月に活動休止＆グループ改名
ありゃぁ~
494:１３２人目の素数さん
20/07/26 08:54:34 saexkCgL.net
デュピュイはIUT教団のひかりのわ
495:１３２人目の素数さん
20/07/26 08:59:10.81 ioiFQGta.net
欅坂の中二病路線をオチョくる曲、といえば
日向坂の期待の☆、上村ひなののこの曲だろう
「一番好きだとみんなに言っていた小説のタイトルを思い出せない」
URLﾘﾝｸ(www.youtube.com)
ひなの「世界の終わりは、インスタントラーメンを作るくらい呆気なかったんだ。
ずずず~」
友梨奈「ラーメン食いながら言ってんじゃねぇぇぇぇぇ！！！」
496:１３２人目の素数さん
20/07/26 09:04:05.13 saexkCgL.net
ああいえばデュピュイ
497:１３２人目の素数さん
20/07/26 13:40:48.88 mF0auFFv.net
>>457
平手は秋元の手のひらの上で踊らされた贋物だから喩えに使うのは妥当じゃない
ちなみにヲタどもも秋元に踊らされただけ
自戒せよ。秋元の元に本物はこない
498:１３２人目の素数さん
20/07/27 00:26:56.53 fMX3yk4A.net
1か月ぶりぐらいに来たんだけど、掲載された？
499:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/27 07:55:28 slbIBvLt.net
>>462
確認していないが、まだだと思う
但し、ＩＵＴ国際会議が、2021年に延びたが、
2021年のＩＵＴ国際会議までには、掲載されるのでは？
500:１３２人目の素数さん
20/07/27 08:01:55 eK6QkYEo.net
2012年からずっとそんな感じの書き込みが続いてたな
読んでいて胸が締め付けられるようだった
501:現代数学の系譜 雑談
20/07/27 15:25:50.23 dppBRBhf.net
>>464
うーん、外見だけ見ればそうかもな
だが、水面下ではちゃんと進んでいるのです
１．2012年以降、2018年3月のSS討議前までに、何回かのIUT国際会議がなされた
２．2017年の末だったかに、朝日のIUT論文パス＆掲載のスクープがあった
３．それを受けて、海外（欧米）から、「どうなってんの～？」と言われ（森先生が動いたと言われる）
特に、SSに白羽の矢で、2018年3月のSS討議（京都）があったが、平行線
４．2018年の秋に、SSレポートとそれへの望月先生の反論が公表された
５．その後
502:、2020年に4連発のIUT国際会議を行うとの発表があり ６．2020年正月の望月ブログを受けて、2020年4月3日の記者会見 つまりは、「IUT査読完了で、PRIMSに掲載決定」の発表 ７．それを受けて、woitブログで、2018年3月のSS討議（京都）の再現みたいなのがあり Dupuy氏とショルツのタイマンで、ここでも水入りの無勝負 但し、Dupuy氏は、SSレポート否定を含む論文を4月末だったかに、arXive投稿している。 ８．そして、新型コロナで延期の４連発の国際会議は、2021年実施とのフェセンコ先生ホームページ情報が出た なので、ちゃんと水面下で細かい動きはあって、我々は2021年のIUT国際会議を中心に見ていれば 面白いバトルが見られるという仕掛けなのですよ
503:１３２人目の素数さん
20/07/27 15:41:03.52 j8ULf5el.net
>>452
K川って、公にそんなこと言ったっけ？
504:１３２人目の素数さん
20/07/27 16:53:28.57 eK6QkYEo.net
>>465
アクセプト強行でもう否定派も議論するつもりがないんじゃないか？
本職の数学者の理解を得られないまま政治的に正しいことにしてしまって
本当に正しいかどうかはもう自分で勉強して確かめるしかない
505:現代数学の系譜 雑談
20/07/27 17:05:36.37 dppBRBhf.net
>>467
>アクセプト強行でもう否定派も議論するつもりがないんじゃないか？
それなら、2020年に中止の4回の国際会議は、中止のままで2021年には開かないでしょ
2021年にやるのは、2022のICM モスクワ狙いと見ています
URLﾘﾝｸ(waset.org)
ICM 2022: 16. International Conference on Mathematics
August 30-31, 2022 in Moscow, Russia
>本職の数学者の理解を得られないまま政治的に正しいことにしてしまって
そんなん、無理。日本の数学者に政治力なんかありませんｗｗｗ
特に、数学者なんて、政治によわい弱いじゃん
>本当に正しいかどうかはもう自分で勉強して確かめるしかない
そんなことは当たり前
おれらヤジウマだが
プロ数学者なら、IUTが自分の今の研究にどういう影響を与えるか？
何かに使えないか？ などなどを考えるもの
ショルツ氏が、遠アーベル専門外なのに乱入して来たのはそれでしょ
（自分の研究に使えないかなど）
一人でやらないで、複数人で検討するのが良いと思う
506:１３２人目の素数さん
20/07/27 17:15:09.25 eK6QkYEo.net
>>468
>そんなん、無理。日本の数学者に政治力なんかありませんｗｗｗ
アクセプトされる以前にRIMSが予算を獲得する際にIUTを利用したことを言ってるんですが…
507:１３２人目の素数さん
20/07/27 17:40:33.28 wv4NRHrQ.net
京都大学数理解析研究所
第2期中期目標期間(平成22年～
平成27事業年度)について
1 京都大学
現況調査表 平成28年6月
P28-3 資料 2.
発表論文数 所員の発表
論文数 査読付き論文のみ
p28-10
(2)分析項目II 研究成果の状況
事例4「数論幾何の研究」(分析項目 II)
本研究所は遠アーベル幾何等、
双曲曲線の数論幾何の研究の中心で
あるが、望月新一による「宇宙際
タイヒミューラー理論」の構築と
その結果としての ABC 予想の解決は、
特筆 すべき出来事である。
当該論文は現在査読中であるが、
望月新一が同理論の概要を解説し た
業績番号1― (2)(2014)が、講究録別冊
として刊行されている。
(RIMS現況調査表。
京都大学.数理解析研究所が文科省
所管の独立行政法人 大学改革支援・
学位授与機構へ提出。)
URLﾘﾝｸ(www.niad.ac.jp)
508:１３２人目の素数さん
20/07/27 17:50:11.66 iLzqinn
509:X.net
510:現代数学の系譜 雑談
20/07/27 17:51:25.57 dppBRBhf.net
>>469
>アクセプトされる以前にRIMSが予算を獲得する際にIUTを利用したことを言ってるんですが…
そんなの政治のうちに入らない
小学生でもやることでしょ
つーか、普通だよｗ
511:１３２人目の素数さん
20/07/27 17:56:08 iLzqinnX.net
>>461
いいたいことは分かるが
現象だけみれば類似してるといわれても仕方ないな
要するに
「平手を訳も分からず崇拝する欅ヲタ」は
「IUTを訳も分からず有難がる馬鹿」と同じｗ
ちなみに
ショルツ＝SU-METAL
Perfectoid＝BABYMETAL
だなｗ
（年齢とデビュー時期は逆転してるけどｗ）
512:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/27 17:56:23 dppBRBhf.net
>>471
あほ晒しているのは、あなた ID:iLzqinnX さん
１．だれが見ても、プロ数学者ではないよね
はっきり、数学ド素人
２．海外のブライアンコンラッドや、ケドラヤが「難しい」「理解でいない」というIUT
あなたに理解できるはずもない
３．IUTが正しいか あるいは、間違っているか
あんた、ショルツ氏の尻馬以外の何物でもないでしょｗｗｗ
513:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/27 17:57:39 dppBRBhf.net
>>474 タイポ訂正
２．海外のブライアンコンラッドや、ケドラヤが「難しい」「理解でいない」というIUT
↓
２．海外のブライアンコンラッドや、ケドラヤが「難しい」「理解できない」というIUT
514:１３２人目の素数さん
20/07/27 18:05:10 H0O+7Mp/.net
望月はなんでショルツに反論しないの？
515:１３２人目の素数さん
20/07/27 18:45:15.10 TdiwAqLJ.net
>>476
したが？
516:１３２人目の素数さん
20/07/27 20:11:32.09 IOEE9iOc.net
罵倒した
517:１３２人目の素数さん
20/07/27 20:21:52.84 iLzqinnX.net
>>478
それで
「望月って、人格的にやべぇーヤツだな」
と避けられた
完全な自爆ｗ
518:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/27 22:25:49 slbIBvLt.net
>>476-479
まあまあまあ
みなさん
所詮、数学者なんて、ガキみたいなものですよｗ
みんなね
>罵倒した
確かに。そして、良くなかった。逆効果になった（＾＾；
>「望月って、人格的にやべぇーヤツだな」
>と避けられた
確かに
"避けられた"かも知れないね
多分、あなたの妄想がかなりあると思うが、真実も含んでいると思うよ
論争の状況は、下記の[Rpt2018] と、ＳＳの主張の方は[SS2018-08]にある
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月 過去と現在の研究
・2018年3月、数理研で行なわれたIUTeichに関する議論を纏めた報告書 （および関連文書）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
In March 2018, discussions concerning inter-universal Teichmuller theory
(IUTeich) were held at RIMS, Kyoto University. Participation in these
discussions was restricted to four mathematicians. This web page was
created, with the consent of the four participants in these March 2018
discussions, in order to make various files related to these discussions
available to the mathematical public.
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
[Rpt2018] Report by Shinichi Mochizuki (with the cooperation of Yuichiro Hoshi)
on the March 2018 discussions (updated on 2019-02-01: list of revisions)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
[SS2018-08] August 2018 Report by the other participants in the March 2018
discussions
519:現代数学の系譜 雑談
20/07/27 22:35:06.48 slbIBvLt.net
>>480 訂正＆補足
所詮、数学者なんて、ガキみたいなものですよｗ
みんなね
↓
”みんな”は、言い過ぎかな
小平先生、岩澤先生、柏原先生、森先生 辺りはみんな紳士ですね
一方で、その奇行から、奇人変人扱いされる人も多数
例 加藤和也先生とか、数学の問題に熱中して殆ど裸で歩いて、警察に職務質問を受けたとかね
まあ、でも数学出来る人ほど、数学にのめり込みすぎ
俗世間に疎い
520:現代数学の系譜 雑談
20/07/27 22:37:32.43 slbIBvLt.net
ショルツ先生は、その点、人格的にも、対人能力も高そう
望月先生は、まあ、私らの目からは、どちらかと言えば、仙人みたいな感じで、俗世間になじまない
521:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/27 22:44:47 slbIBvLt.net
>>482
＞望月先生は、まあ、私らの目からは、どちらかと言えば、仙人みたいな感じで、俗世間になじまない
だらだら書いてますが
それは、それで良いと思う
数学の天才なんだから
大人の感覚としては
かつ、論争テクニックとしては
感情を抑えて、きちんとロジックだけで押すべきだったと思いますけどね、大人の態度でね
522:１３２人目の素数さん
20/07/28 07:12:06.58 eFkuNoYA.net
>>483
天才数学者の人生をかけた大作にケチをつけられる本職なんて日本にはいないでしょ
本人は理論に絶対の自信があって公表したんだろうし
523:１３２人目の素数さん
20/07/28 08:49:51 nGnkqeBM.net
>>477
罵倒しただけなら正当な反論になってないわけだよね？
524:１３２人目の素数さん
20/07/28 08:55:56.49 eFkuNoYA.net
互いに相手の指摘が的外れだと主張していて外野からはもうどっちが正しいのかわからん
そしてIUTが正しくないと政治的に困る人たちがいるので誰の発言も信用できない
自分で読むしかないんだ
525:１３２人目の素数さん
20/07/28 12:46:13.50 BbsmdjvN.net
>>485
あの反論を「罵倒しただけ」ととらえてる時点で数学を全くわかってない証拠
526:１３２人目の素数さん
20/07/28 12:49:27.49 eFkuNoYA.net
とまあこのように話が全くかみ合ってないわけでして
そのうちIUT教団がショルツをポアしてしまうのではないかと半ば本気で恐れているのです
527:１３２人目の素数さん
20/07/28 13:01:29.11 pCcUC/AM.net
SSレポートのRemark 5への反論は反論になってなかったんじゃなかったか
528:１３２人目の素数さん
20/07/28 13:16:36 D/kUIhzf.net
>>487
IUTは従来の数学とパラダイムが
全く違うIUT語で書いてあるんでしょ。
529:１３２人目の素数さん
20/07/28 17:50:52.50 IFP/r99a.net
>>483
>感情を抑えて、きちんとロジックだけで押すべきだった
感情を抑えられなかったのは、ロジックだけで押せなかったから
みんなそう思ってますよ
530:１３２人目の素数さん
20/07/28 19:35:05.86 BbsmdjvN.net
>>490
でしょ？じゃなくてちゃんと数学的に内容を説明しろ
531:現代数学の系譜 雑談
20/07/28 20:58:19.23 NgwgsWei.net
>>491
>感情を抑えられなかったのは、ロジックだけで押せなかったから
そうではないと思うよ
例えば、下記 Peter Scholzeの Papers/Preprintsのリストを見ると
Langlands,Perfectoid,などはあるが
遠アーベルの論文は皆無
つまり、
彼は、遠アーベルの知識については、ちょっと薄いと思うな
で、当然ＩＵＴについては、遠アーベルおよびその関連の知識は必須
そこが、ごっそり抜けていたら、「おいおい、おれは一体全体、どこから説明しないといけないんだ？ 遠アーベルのイロハから説明かぁっ～？！」
という気持ちになったのでは？（＾＾；
URLﾘﾝｸ(www.math.uni-bonn.de)
Mathematisches Institut
der Universitat Bonn
Prof. Dr. Peter Scholze
URLﾘﾝｸ(www.math.uni-bonn.de)
Papers/Preprints
532:１３２人目の素数さん
20/07/28 21:32:56.87 nGnkqeBM.net
>>487
数学がちゃんとわかってるみたいだけど
結論としてはショルツが間違ってるいうこと？
533:１３２人目の素数さん
20/07/28 22:52:34.87 CSkNg/o1.net
柏原先生の動画、大人の余裕がただよってめ惚れてまうわ
534:１３２人目の素数さん
20/07/29 01:34:08 w1FLFK+C.net
さすがに老けたな
535:１３２人目の素数さん
20/07/29 02:49:54.43 d6gFaQQv.net
ところで山下真由子さんが
536:今後フィールズ賞取れる確率はどれくらいあるの？ 今の日本の若手では一番有望でしょ？
537:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/29 11:52:06 ruijdO0n.net
フィールズ賞ね
「4年に一度」「40歳以下」「2名以上4名以下」
これ、4年に一度のオリンピックの金メダル以上に難しいでしょ？
（オリンピック種目多い。陸上だけでも、100ｍ、200ｍ・・・）
結局、宝くじ一等なみでしょ？
「宝くじ一等を狙う人」、多分それ、人生として真面目に考えない方が良い
よく、「ヒットの延長上にホームランがあると思って、バッターボックスに立て」なんて言われます
ホームラン狙いの大振りは、打率低い
URLﾘﾝｸ(ja.wikipedia.org)
フィールズ賞
(抜粋)
4年に一度開催される国際数学者会議 (ICM) において、顕著な業績を上げた40歳以下[注釈 1]の数学者（2名以上4名以下）に授与される[5]。ICMで同時に授与される賞としては、ネヴァンリンナ賞、ガウス賞、チャーン賞などがある。
数学に関する賞では最高の権威を有する[10][11]。しかし、若い数学者の優れた業績を顕彰し、その後の研究を奨励することが目的であり、「4年に一度」「40歳以下」「2名以上4名以下」という制限がある。ただし、「フェルマーの最終定理」の証明に成功したアンドリュー・ワイルズは証明当時すでに42歳になっていたものの、その業績の重要性から1998年に45歳で「特別賞」を与えられた例がある。
賞金額 約200万円
538:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/29 12:07:33 ruijdO0n.net
>>498
因みに
IUTに限れば
RIMSの幹部は
１．まず、日本の数学会で取り上げてもらうように
２．次に、ICM2022で、取り上げてもらうように
考えないと
IUTやってきた若手がさ
アカデミックポストとか応募しても、IUTがゴミ扱いなら、せつないじゃないですか
アカデミックポストの応募で、しっかりIUTをやってきたことが、キャリアとして評価されるように
それはRIMSの幹部の人が考えるべきこと
それは、RIMS自身にとっても良い事なのです
（参考）
URLﾘﾝｸ(icm2022.org)
The 2022 ICM will meet July 6-14 in Saint Petersburg, Russia.
539:１３２人目の素数さん
20/07/29 12:17:31.46 0BPo/CuK.net
>>499
他人のキャリアを心配するなんてあんたも十分政治的だよ
自分が知りたいのはIUTが正しいのか正しくないのか
あとは全部ゴシップ
540:１３２人目の素数さん
20/07/29 12:48:01 mSpr0I+S.net
ぶっちゃけ、高度な数学能力を持つ人材が、自分で正しい(あるいは有用)と判断して餅とIUTを選んだんだから、たとえIUTが間違ってたとしても人生無駄にしたとか言うのがおこがましいと思う
541:１３２人目の素数さん
20/07/29 13:38:40.28 X3Ga8x1O.net
10年後には。。。
・下に書いた論文不正の基本的な手口はレフェリーもぐるだということです．仲間にレフェリーが回るまでいろいろなジャーナルに出し続け，回ったところで，間違っていようが，盗作だろうが，二重投稿だろうが，ポジティブなレポートを書いて通してしまいます． (7/28/2020)
・数学で多くの著者を巻き込んだ大規模論文不正が発覚しています．私がチーフエディターをしているジャーナルでもこれ�
542:ﾉ関連して論文を撤回しました． (7/28/2020)