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)
543:１３２人目の素数さん
20/07/29 13:50:13.62 X3Ga8x1O.net
要するにアクセプト(ましてや自分のジャーナルへの投稿)
は理論が正しいことの何の証左にもならんのよ。
近隣分野も含めたコミュニティに広く受け入れられるかどうかの方がよっぽど本質で
某UTはそういう状況からは、残念ながら程遠い。
544:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/29 21:16:37 aIrpUGll.net
>>500
>自分が知りたいのはIUTが正しいのか正しくないのか
それは、時間が経たないと、決まらない
考えても見て下さい
ＩＵＴ発表が、確か2012年
それから、半年から１年で査読が始まって
結局、査読完了の発表が、2020年4月
8年ほど経った
専門的に査読してさえ
8年ほど経った
それなりに、ＩＵＴの専門分野に近い、かつ、専門能力のある数学者に白羽の矢が立ったに違いない
それで、8年ほど
2021年の国際会議を待ちましょう
そこで、ある程度見えてくるでしょうね
ＩＵＴが正しいこと
545:１３２人目の素数さん
20/07/29 23:10:15.50 AuOUpfpv.net
ていうかまだジャーナルに載ってないの？ダメじゃん
546:１３２人目の素数さん
20/07/30 00:10:39.22 ustZkzWN.net
>そこで、ある程度見えてくるでしょうね
ＩＵＴが正しいこと
コピベごみ収集が専門の狂信者、
幻覚をみてわめくも決して救われない
547:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/30 07:44:48 T31Egv61.net
>>505
>ていうかまだジャーナルに載ってないの？ダメじゃん
じゃ、ジャーナルに載ったら、ＯＫなんか？
そのロジックなら、そうなる
でも、数学は、ジャーナルに載った論文を踏みつけ
その論文を超えていくべし
それは、論文の間違いを指摘したり
あるいは、別の視点から、もっと分り易くしたりってこと
548:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/30 07:49:19 T31Egv61.net
>>506
どっちが狂信なんかね？
ショルツという、まあ若きフィールズ賞の天才が、書いたＳＳ文書
ショルツ氏を狂信して、「ＩＵＴは間違っている！」と主張しているだけでしょ？
でも、一番可能性が大きいのは、ショルツ氏は遠アーベルからずれた世界の住人だから
なんか勘違いして、ＩＵＴを勝手読みしている
そう考えるのが、一番筋が通っているよ
柏原、玉川、Ｄｕｐｕｙ、Ｊｏｓｈｉ、フェセンコなどなど
多くの人が、ＩＵＴは正しいと言っているのだからね
549:１３２人目の素数さん
20/07/30 11:28:41.32 9JgySZ3y.net
>柏原、玉川、Ｄｕｐｕｙ、Ｊｏｓｈｉ、フェセンコなどなど
予算とポストが命でしょ
550:１３２人目の素数さん
20/07/30 11:37:45.78 9JgySZ3y.net
だれかショルツにも>>470の事実を
知らせてやったら
すでに既知かもしれないが
551:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/30 16:37:43 XCSvcpBu.net
>>509
>>柏原、玉川、Ｄｕｐｕｙ、Ｊｏｓｈｉ、フェセンコなどなど
>予算とポストが命でしょ
柏原先生は、名誉教授じゃなかったかな？ いまさら、予算とポストなんてｗ
いまさら、間違ったことを言って、後ろ指のリスクの危険を犯す必要ないよね。つまりは、絶対にIUTは正しいと思っているに違いない
玉川先生も同じ。いまさら、後ろ指のリスクの危険を犯す必要ないよね。つまりは、絶対にIUTは正しいと思っているに違いない
フェセンコ先生は、自分で英国政府の予算取りしている（RIMSとは別にね）。研究はIUTオンリーではないないがね。コロナ関係の数理”やるやる”とか言って。うまいね、フェセンコ先生は
Ｄｕｐｕｙ、Ｊｏｓｈｉの両氏は、論文の謝辞にある通り、RIMSの予算から補助受けている身だから、予算もらってしまえば、あとは関係ないよね
ただし、IUTが正しい方が、彼らにもベターだけど、自分たちの米国での地位を危うくしてまで、IUTに入れ込む必要ない。それを考えると、二人とも、絶対にIUTは正しいと思っているに違いない
以上
552:１３２人目の素数さん
20/07/30 16:38:46 +5PqK61Z.net
>>470
これって何か問題なの？
553:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/30 16:46:42 XCSvcpBu.net
>>510
>だれかショルツにも>>470の事実を
>知らせてやったら
>すでに既知かもしれないが
既知でしょ
woitブログで
IUTの幾何に予算ついているのは、うんぬん（おかしいとかなん
554:とか） でも、ショルツ氏が一番言いたいのは、自分のモノドロミー論で言えば IUTは成り立たないと言った（SS文書） IUT側の主張は、「自分のモノドロミー論で言えば」というところが、IUTからずれているってこと （参考） https://ja.wikipedia.org/wiki/%E3%83%9A%E3%83%BC%E3%82%BF%E3%83%BC%E3%83%BB%E3%82%B7%E3%83%A7%E3%83%AB%E3%83%84%E3%82%A7 ペーター・ショルツェ (抜粋) 業績 ショルツェの研究は、数論幾何学、例えばp進数とその応用に集中している。 ゲルト・ファルティングス、ジャン＝マルク・フォンテーヌ、そして後にキラン・ケッドラヤによって開発された以前の基本的な理論のいくつかをよりコンパクトな形で提示した。 ウェイト・モノドロミー予想を部分的に証明した[9]。
555:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/30 16:50:39 XCSvcpBu.net
>>512
>これって何か問題なの？
アンチが何度も繰り返し 粘着投稿しているね
彼らが言いたいのは
IUTが不成立なのに（ショルツ氏の主張より）
如何にも、IUTが正しいように、虚偽報告している
みたいなことじゃないですかね～ｗ
556:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/30 17:05:50 XCSvcpBu.net
>>511 タイポ訂正
フェセンコ先生は、自分で英国政府の予算取りしている（RIMSとは別にね）。研究はIUTオンリーではないないがね
↓
フェセンコ先生は、自分で英国政府の予算取りしている（RIMSとは別にね）。研究はIUTオンリーではないがね
557:１３２人目の素数さん
20/07/30 17:20:45 +5PqK61Z.net
>>514
ただの自分らが正しいと信じて疑わないことの結果であって、何度も貼るようなものではないな
558:１３２人目の素数さん
20/07/30 17:35:40.90 QYqdH2ct.net
IUT論文の査読が崩壊していますなあ
559:現代数学の系譜 雑談
20/07/30 18:00:47.82 XCSvcpBu.net
>>516
同意です
>>517
>IUT論文の査読が崩壊していますなあ
崩壊して無いよ
Proof
１．いままでも、査読論文で掲載され、間違いが見つかった例がある。だが、査読の崩壊ではない
２．そもそも、査読は神ならぬ人が、ある有限時間内で、査読者の責任で、査読OKを出すべきもの
もともと、そういうものであって、無限の時間を掛けたり、完璧を求めるのは間違い
３．査読され掲載された論文は、さらに大勢の数学者によって検証されるもの
つまりは、査読とは一次審査にすぎないと、考えることができる
QED
（＾＾；
560:１３２人目の素数さん
20/07/30 19:40:56.92 QYqdH2ct.net
うちわで狂信者が慰め合い
きもい
561:現代数学の系譜 雑談
20/07/30 20:36:58.64 T31Egv61.net
>>519
必死だな
RIMSは、永遠に不滅です
IUTなど、RIMSにとっては、数ある業績の1つでしかないのです
IUTがダメなら、ダメでも良い。代わりは、いくらでもある
RIMSは、べつにIUTと心中する必要もない
是々非々で良い
IUTが正しいから
正しいと言っているだでしょうね（＾＾；
562:現代数学の系譜 雑談
20/07/30 20:51:42.71 T31Egv61.net
参考
URLﾘﾝｸ(125th.kyoto-u.ac.jp)
発掘、京大 > 良質なサイクルが生み出す数学研究の強さと可能性 2020.07.02
(抜粋)
日本で唯一の総合的数学研究所
歴史を彩る輝かしい研究実績
数研は、日本の数学研究の最先端を担う存在として、数々の世界的実績を挙げてきた。代数幾何学分野では、数学のノーベル賞とも言われるフィールズ賞を受賞した日本人3人のうち2人を輩出。
1970年、アメリカ・ハーバード大学教授時代に特異点解消問題を解決した成果によって受賞した廣中平祐京都大学名誉教授、1990年、3次元代数多様体の極小モデル理論（森理論）で受賞した森重文京都大学高等研究院院長である。
数学研究において新たな分野を確立するという偉業を成し遂げた研究者やグループもいる。確率解析を創始した伊藤清京都大学名誉教授は、ブラウン運動を用いてランダムな動きを記述する確率�
563:ｪ方程式を確立、鍵となる公式は「伊藤の補題」として世界に知れ渡った。 代数解析学を創始したのは、佐藤幹夫京都大学名誉教授のグループである。佐藤先生は佐藤超函数、概均質ベクトル空間、D加群、ソリトン方程式と無限次元グラスマン多様体などの理論を次々と提案し、2003年にはウルフ賞（数学部門）を受賞した。 D加群の理論を確立し2018年に日本人初のチャーン賞を受賞した柏原正樹京都大学名誉教授、柏原名誉教授とともに超局所解析学を発展させた河合隆裕京都大学名誉教授などが素晴らしい業績を挙げている。 近年では、数論幾何学、量子幾何学など世界をリードする研究が行われている。数論幾何学では、望月新一教授が2012年に発表した宇宙際タイヒミュラー理論によって整数論の難問とされてきた「ABC予想」の解明が進んだ。 数研が編集し欧州数学会が発行する学術誌『PRIMS』に掲載が決定した4編の論文は、600ページを超える膨大なものであるが世界的な注目を集め、数論幾何学の新しい方向を切り拓くものと期待されている 量子幾何学では、望月拓郎教授が代数・幾何・解析のすべてが絡み合う調和バンドルの理論を大きく拡張し、その応用としてD加群に関する「柏原予想」を証明した。これは解決には50年はかかるだろうと言われていた非線型偏微分方程式についての極めて難しい問題であったが、望月拓郎教授は8年余りをかけて総計1000ページを超える論文によって解決し高く評価されている
564:現代数学の系譜 雑談
20/07/30 20:53:51.51 T31Egv61.net
>数研が編集し欧州数学会が発行する学術誌『PRIMS』に掲載が決定した4編の論文は、600ページを超える膨大なものであるが世界的な注目を集め、数論幾何学の新しい方向を切り拓くものと期待されている
>量子幾何学では、望月拓郎教授が代数・幾何・解析のすべてが絡み合う調和バンドルの理論を大きく拡張し、その応用としてD加群に関する「柏原予想」を証明した。これは解決には50年はかかるだろうと言われていた非線型偏微分方程式についての極めて難しい問題であったが、望月拓郎教授は8年余りをかけて総計1000ページを超える論文によって解決し高く評価されている
二人の望月
一人は、言わずと知れた新一氏で、論文は500とも600ページとも言われる
もう一人、拓朗先生は、それを上回る 総計1000ページを超える論文
なんか、文句ある？（＾＾；
565:１３２人目の素数さん
20/07/30 20:56:48 u0DGi6nB.net
コピベ魔か
566:１３２人目の素数さん
20/07/30 22:50:01.05 S4W0KKdE.net
TとSはどっちが出世するかな
567:１３２人目の素数さん
20/07/31 00:20:28.26 4l6pw1QS.net
1000ページ越えでも内容が確かなら世界的に認められるんだよねー。
あれれーおかしいなーー笑
568:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/31 10:53:39 Trt2z5f1.net
>>525
うん、そだねー
つーか、
「量子幾何学では、望月拓郎教授が代数・幾何・解析のすべてが絡み合う調和バンドルの理論を大きく拡張し、その応用としてD加群に関する「柏原予想」を証明した。これは解決には50年はかかるだろうと言われていた非線型偏微分方程式についての極めて難しい問題であったが、望月拓郎教授は8年余りをかけて総計1000ページを超える論文によって解決し高く評価されている」
これ、もう出版されたのかどうか
良く知らないのだが
しかし、IUTと対比すると
拓朗論文は、記者会見なぞ無かった
それが普通なんだよね
では、IUTはなぜ記者会見？
１．2012年の論文発表から、話題になった
２．加藤本が売れた
３．望月ブログで、ブラックホール問題が言われた
４．ABC予想自身は、中学・高校レベルで分かるので、プレス発表ネタとして使える
辺りかな
569:１３２人目の素数さん
20/07/31 12:27:15 KlIF11rA.net
ミレニアム予想が解決されたら普通に会見するからABCも同じ
570:１３２人目の素数さん
20/07/31 13:40:49.95 YTAwHR+w.net
まぁ良いんだよ
2022年のICMに呼ばれれば世界的に認められたという事で
571:１３２人目の素数さん
20/07/31 15:28:35.10 XJ72S/69.net
呼ばれてホイホイいく男かね
絶対に行かないに千もっち
代理で☆Goが演説するに千もっち
572:１３２人目の素数さん
20/07/31 15:53:39 7dT37RRf.net
1もっちが定義されていないので賭けは無効ですな
573:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/31 18:11:45 Trt2z5f1.net
>>527
>ミレニアム予想が解決されたら普通に会見するからABCも同じ
あ、なるほど、そうかもね
>>528-530
>2022年のICMに呼ばれれば世界的に認められたという事で
>絶対に行かないに千もっち
「1998年の ICM では招待講演をしている」とあるから
行く可能性ありと思うよ
URLﾘﾝｸ(ja.wikipedia.org)
574:B0%E4%B8%80 望月新一 1998年の ICM では招待講演をしている。 https://ja.wikipedia.org/wiki/%E5%9B%BD%E9%9A%9B%E6%95%B0%E5%AD%A6%E8%80%85%E4%BC%9A%E8%AD%B0 国際数学者会議 日本人の全体講演者・招待講演者 ・1998年（ベルリン） 全体講演（0人）[30][29] - 三輪哲二 招待講演（6人）[30] - 望月新一、辻雄、大槻知忠、脇本実、林修平、岡本久
575:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/07/31 18:13:15 Trt2z5f1.net
>>531
> 全体講演（0人）[30][29] - 三輪哲二
全体講演（0人）？
誤記かも
576:１３２人目の素数さん
20/07/31 23:20:26.77 ilG3YqAZ.net
拓郎先生すごーい！
577:１３２人目の素数さん
20/08/01 01:34:49.37 J8/hkdZv.net
望月先生はあの頃より
ずっと世捨て人度がアップしてるだろ
ペレルマンも歳取るにつれて人嫌いが嵩じたし、ゲーデルも似たような感じだし、
そういう人が数学者には多いんだろうね
578:１３２人目の素数さん
20/08/01 01:42:43.62 AVM1LXVF.net
税金で飯を食う世捨て人なんて噴飯ものだ
正式に招待されたのを正当な理由なく断ったら職務放棄じゃないの
579:現代数学の系譜 雑談
20/08/01 07:50:38.74 4zrQNSRp.net
>>534-535
>正式に招待されたのを正当な理由なく断ったら職務放棄じゃないの
出張は、熊本大学 2014年05月が最後か
本当は、国内出張させて、慣らして行くのがいいのだが、いま新型コロナ騒動だから
そういえば、スカイプで海外のシンポジュームに出たのは
いまのトレンドを先取りしていたかも
ともかく、まずは
モスクワご招待に向けて、RIMSがロビー活動しないとね
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月 出張・講演
[16] 宇宙際タイヒミューラー理論への誘（いざな）い 《2+2時間版》 （熊本大学 2014年05月） PDF
[17] 宇宙際タイヒミューラー理論への誘（いざな）い （2015-02） （京都大学数理解析研究所 2015年02月） PDF
580:１３２人目の素数さん
20/08/01 08:02:36.37 AVM1LXVF.net
次は講演会じゃなくて査問会になるかも
581:１３２人目の素数さん
20/08/01 09:29:19.82 FDOM1ulW.net
>>534
グロタンディークも山に籠っちゃたんでしょ？
582:１３２人目の素数さん
20/08/01 09:31:40.22 FDOM1ulW.net
>>530
１もっちは１フロベニオイドに相当します。
583:１３２人目の素数さん
20/08/01 10:10:11.37 AVM1LXVF.net
>>539
等価交換なのか
わざわざ改めて定義するのは何か政治的な思惑があるからかな
584:１３２人目の素数さん
20/08/01 10:20:48.82 FDOM1ulW.net
１もっちの提唱者とは別人です。
585:１３２人目の素数さん
20/08/01 10:23:08 FDOM1ulW.net
このようにわざわざ応援スレに殴り込んでくるアンチは
拗らせた陰謀論者なのですw
ＱＡｎｏｎです。
586:１３２人目の素数さん
20/08/01 10:23:17 AVM1LXVF.net
疑惑はますます深まった
587:１３２人目の素数さん
20/08/01 10:25:47 FDOM1ulW.net
病気かよｗ
588:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/08/01 10:26:15 4zrQNSRp.net
>>537
>次は講演会じゃなくて査問会になるかも
査問会、賛成だな
来年、ブライアンコンラッドとか、ケドラヤ入れてさ
SS対決のバージョン２で、５日間、公開討論会をRIMSでやろうぜ
それをビデオにして、Youtube公開
いいじゃない！（＾＾
589:１３２人目の素数さん
20/08/01 11:42:27.76 5V07Lmo1.net
>>545
落ち着きなよ
なんで望月が正しいと思い込んでるの？
望月の論文発表以来の展開はどうみても
肝心なところが明確でなく証明とはいえない
事を示してるね
RIMSが何でアクセプトに固執するかは知らないけど
国際的には日本の恥をさらしただけだったなあ
日本人としてとても残念だけどね
590:現代数学の系譜 雑談
20/08/01 12:22:27.39 4zrQNSRp.net
>>546
落ち着きなよ
おれは、「査問会、賛成」と言っている
なんで望月が正しくないと思い込んでるの？
591:ショルツの尻馬か？ 欧米の多くの数学者が読めないと言っているからか？ RIMSは、普通に査読した 本当は、２年前に終わっていたみたいだが いちゃもんついて、さらに２年念入りに査読した ”国際的には日本の恥をさらし”でも おれはかまわん 「正しいから正しい」と言えばいい 恥とか、それこそ、日本人の悪いところ。他に人の顔色ばかり 正しいと思うことを堂々と主張すべき RIMSの態度は、好感を持てるな
592:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/08/01 12:45:32 4zrQNSRp.net
>>547 タイポ訂正
恥とか、それこそ、日本人の悪いところ。他に人の顔色ばかり
↓
恥とか、それこそ、日本人の悪いところ。他人の顔色ばかり
わかると思うが
593:現代数学の系譜 雑談
20/08/01 15:30:19.17 4zrQNSRp.net
メモ
https//researchmap.jp/read0078210/misc/11902283
https//researchmap.jp/read0078210/misc/11902283/attachment_file.pdf
カントルの精神の継承 -? 無限集合の数学/超数学理論としてのカントルの集合論の その後の発展と，その「数学」へのインパクト
数学文化 2018年2月 渕野 昌
P7
集合論の公理系の最終形としては， ツェルメロ=フレンケル集合論( ZF) (また
はこれに選択公理を加えた ZFC) と，ゲーデルが[Godel 1940] で採用した ノイマン
=ベルナイス=ゲーデルの体系( NBG) (あるいはこの体系に選択公理の強いヴァー
ジョンを付加した NBGC) が案出されている．ZFC ではクラスを超数学での論理
式のこととして扱わなくてはならないが，NBGC では，クラスは理論のオブジェク
トとして扱かうことができるようになっている．しかしそのことを除くと，2 つの
理論は集合に関しては，それらから証明できる事実は一致することが示せるので，
実質的には同じ理論と考えてよい＊10 ．現在では，集合論の公理系としてZF また
はZFC が採用されることが圧倒的に多いのだが，それは，一つには，ZF または
ZFC が有限個の公理で公理化できず(モンダギューの定理[Montague 1955])，ZFC
で，任意の具体的に与えられたZFC の有限な部分公理系のモデルの存在が証明で
きる(レヴィ=モンタギューの反映定理の帰結の一つ)，という事実による＊11 ．こ
の事実は，後で触れる強制法の理論を用いて相対的無矛盾性の議論をする際に不
可欠となるが，NBG は有限の公理系なので，ここでは，同様の有限近似を行なう
ことができないのである．
つづく
594:現代数学の系譜 雑談
20/08/01 15:30:49.11 4zrQNSRp.net
>>549
つづき
歴史的な発展を経て最終的な公理系として定式化された集合論の公理系を論じ
るとき，公理をどの体系でどう書き下すか(といってもたとえばZF やZFC は無
限個の公理を持つので，実際に全部を書き下すことはできないわけなのだが＊12 )
という問題のみに着目されることが多いように思える．しかし，ここで，より重
要なのは，この集合論の公理化によって，公理系(ZFC にしろ，NBGC にしろ) が，
"完全な" 推論の体系を持つ形式論理(一階の述語論理) の上に構築されたことで
あろう．したがって，この定式化とともに，集合論(あるいは言葉を変えれば，全
数学) で証明できる定理とは何なのかが，はじめて厳密に規定されたことになる．
＊10 このような状況を，NBGC はZFC の 保守拡大になっている，と表現する．
＊11 更に，証明を見ると明らかなのだが，このモデルは，その要素関係が本物の要素関係と一致す
るようなもの(このようなモデルは2-モデルとよばれる) としてとれる．
＊12 もちろん，無限個と言っても，どの文が公理でどの文が公理でないかを判定するアルゴリズム
は存在する．
(引用終り)