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 もちろん，無限個と言っても，どの文が公理でどの文が公理でないかを判定するアルゴリズム
は存在する．
(引用終り)
595:現代数学の系譜 雑談
20/08/01 15:34:58.89 4zrQNSRp.net
>>549
タイポ訂正と追加
タイポ訂正
https//researchmap.jp/read0078210/misc/11902283
https//researchmap.jp/read0078210/misc/11902283/attachment_file.pdf
↓
URLﾘﾝｸ(researchmap.jp)
URLﾘﾝｸ(researchmap.jp)
追加：ポイント
”現在では，集合論の公理系としてZF また
はZFC が採用されることが圧倒的に多いのだが，それは，一つには，ZF または
ZFC が有限個の公理で公理化できず(モンダギューの定理[Montague 1955])，ZFC
で，任意の具体的に与えられたZFC の有限な部分公理系のモデルの存在が証明で
きる(レヴィ=モンタギューの反映定理の帰結の一つ)，という事実による＊11 ．こ
の事実は，後で触れる強制法の理論を用いて相対的無矛盾性の議論をする際に不
可欠となるが，NBG は有限の公理系なので，ここでは，同様の有限近似を行なう
ことができないのである．”
注：過去に、公理の有限無限の議論があったので（＾＾；
596:１３２人目の素数さん
20/08/01 19:07:23.06 gvGlh/8L.net
一つ言えるのは、
「日本の恥を晒し」とか言ってるやつは視野が狭いしリスペクトできないやつだ
むしろこちらが赤面してしまう。日本人の典型的類型だし欠点を身に付けてるのが手を取るように分かるからだ
597:１３２人目の素数さん
20/08/01 19:11:12.78 gvGlh/8L.net
柏原氏や玉川氏はそんな小人物的俗人で無いことを示したね
人間の器とはこういう時に如実に現れる
人間を練ってきたか否かで大きな差が現れるんだよ
598:１３２人目の素数さん
20/08/01 19:12:55.89 AVM1LXVF.net
あまり楽観的なのもどうかと思うけどね
最初からアクセプトが決まっている査読があるなら
最初から有罪が決まっている査問会があっても不思議じゃない
599:１３２人目の素数さん
20/08/01 19:13:47.19 EGiMq/tk.net
柏原先生の器はばかでかいな
真の学者紳士とはあのような方を言うのだ
600:現代数学の系譜 雑談
20/08/01 20:02:50.63 4zrQNSRp.net
>>554
>最初から有罪が決まっている査問会があっても不思議じゃない
いいんじゃない？
有罪か無罪かに意味は大してない
査問会が数学の進歩になるなら、やれば良い
601:現代数学の系譜 雑談
20/08/01 20:05:20.74 4zrQNSRp.net
>>552-553 >>555
同意です
RIMSは、2021年の国際会議と、2022年のICMに向けて
着々と、打つべき手を打っていけば良いと思う
（参考）
URLﾘﾝｸ(icm2022.org)
The 2022 ICM will meet July 6-14 in Saint Petersburg, Russia.
602:１３２人目の素数さん
20/08/01 21:26:47.33 TmHyKcDB.net
一年後にはIUTは陳腐になっているというような
競争の激しい世界ではないみたいだね。
603:粋蕎 ◆C2UdlLHDRI
20/08/01 21:46:23 MiW2QKl2.net
間違ってたら腹を切って詫びるべし、但し刃物はよく研いだ包丁刀剣ではなく欠け錆びノコギリ
もしくは竹製ノコギリとする。これを担保にした主張断言は、引用と云う名の虎の威を借る狐の
現代数学の系譜 雑談 ◆yH25M02vWFhP には出来ず望月新一氏にも出来んじゃろう｡
「侍の腹切りはセクシーな行為だわ…」と言って居った気違い白人女性を思い出した｡
604:１３２人目の素数さん
20/08/01 22:46:16 WVCWM7zt.net
ICMでGOが講演とか胸熱
605:１３２人目の素数さん
20/08/01 23:25:16.00 cYrN/sFj.net
>>547
> なんで望月が正しくないと思い込んでるの？
なんで正しくないと思い込んでると決めつけるの？
馬鹿なの？
ほとんどの人は正しいかどうかは知らない。
能力的にとか時間的にとかで自分で論文読めないから。
まともに論文読めない人が正しいとか連呼しているのは非常に気持ち悪い。それだけ。
606:１３２人目の素数さん
20/08/01 23:25:20.85 TLYF8FfJ.net
ていうか未だに論文が掲載されてないのはなぜ？
607:１３２人目の素数さん
20/08/02 00:10:40.29 FXdTGBiV.net
コロナだからや
608:１３２人目の素数さん
20/08/02 00:14:51 3MfT9XlV.net
京大といえば
IUTでトンデモ コロナ対策でトンデモ
トンデモのクラスター
609:１３２人目の素数さん
20/08/02 00:56:45 Nd+RI2Nt.net
人間の器とか、やくざの世界かよ。
610:１３２人目の素数さん
20/08/02 01:08:38 XtUMYxXI.net
暴対法は守ってくれないのでやくざより怖いかもしれませんよ
少なくとも「墓場まで持っていく」と言わせるほどには
611:現代数学の系譜 雑談
20/08/02 08:33:56.45 NrBYtRST
612:.net
613:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/08/02 08:39:03 NrBYtRST.net
>>567
>小林 昭三
小林昭七先生を思い出した
URLﾘﾝｸ(ja.wikipedia.org)
小林昭七
(抜粋)
小林 昭七（こばやし しょうしち、1932年1月4日 - 2012年8月29日[1] ）は、日本の数学者。カリフォルニア大学バークレー校名誉教授。研究領域は、リーマン多様体、複素多様体およびリー群。小林久志 (計算機科学者)は弟の一人。
URLﾘﾝｸ(upload.wikimedia.org)
小林昭七（カリフォルニア大学バークレー校にて）
URLﾘﾝｸ(en.wikipedia.org)
Shoshichi Kobayashi
614:１３２人目の素数さん
20/08/02 09:06:43.69 il+Dk9El.net
>>567
> では、貴方は、南部・小林・益川氏、だれかの論文の一編でも読んで、彼らの受賞の正しさを理解しましたか？
だから、彼らの結果が正しいなんて主張してないが。
なんで正しいと主張してると決めつけるのか？やめてくれ。
正しいと主張するためには、論文を読んで内容を確認する必要がある。
場合によっては、それらを用いてさらなる研究をして、新たな論文を書く。
そうやって研究が進展したり周囲の理解が進んでから初めて、あの結果は正しいとみなされているってことになるんだろ。
何にせよ、論文理解しているわけでもないのに正しいと主張し続けるお前は気持ち悪い。
615:現代数学の系譜 雑談
20/08/02 12:01:21.68 NrBYtRST.net
>>569
(引用開始)
> では、貴方は、南部・小林・益川氏、だれかの論文の一編でも読んで、彼らの受賞の正しさを理解しましたか？
だから、彼らの結果が正しいなんて主張してないが。
なんで正しいと主張してると決めつけるのか？やめてくれ。
(引用終り)
私が主張しているのは
１．自分の専門分野は、なんだってこと
２．自分の専門分野は、深く理解し、知れば良い。だれにも負けないくらい
３．では、自分の専門分野以外は？ それは、浅く広くで仕方ない。全てを原論文を読もうとすると、自分の専門分野が無くなってしまう（特に現代社会ではね）
４．では、どうするか？ 自分の専門分野以外は、エグゼクティブレビューとか、要約版・解説版で済ますしかないでしょ
そのときに、一つだけを信じるのではなく、複数の情報を総合するといのが一つの手法
５．これを、IUTとSSについて見ると、IUTには複数の賛同者が居て、数学的な議論を展開している（IUT入門も、レビュー論文もあるよ）
一方、SSはStixとショルツ氏の二人だが、Stix氏は沈黙で、ショルツ氏のみが「わーわー」言っている。他のアンチは、ショルツ氏の尻馬で、数学的な発言ない
７．さて、自分が原論文を読まないと、なにも�
616:h言えない”、”言わない”というのは、どうなんだろうね？ いまは、19世紀ではないよ。数学の論文が少なかったころ 以上
617:現代数学の系譜 雑談
20/08/02 12:03:19.61 NrBYtRST.net
なお
自分が原論文を読まないと、なにも”言えない”、”言わない”という
主義なら
黙っていたら？
618:１３２人目の素数さん
20/08/02 12:57:01 il+Dk9El.net
>>571
> 黙っていたら？
だからIUTに関しては擁護も批判もしてないが。
それとは関係なく、意味不明な持ち上げ方をする気持ち悪い人が気持ち悪いと言っているだけ。
まともでない根拠をもとに主張し続ける人は害悪で迷惑だからね。
619:１３２人目の素数さん
20/08/02 12:59:45 5m0cS9Rk.net
>>565
頭大丈夫か？
「人間の器」
こんな概念すら理解できないとは
日本人の質の低下は目を覆うばかりなことがよく分かる
620:１３２人目の素数さん
20/08/02 14:57:14.77 XtUMYxXI.net
>>570
仮に論文を全部読んだとして、もし埋まらないギャップを見つけたとして、それを指摘できるだろうか？
激高した天才数学者に罵倒され数々の嫌がらせを受けて自分のキャリアが終わってしまうのではないか？
ならば理解したふりをしたら、今度は海外の数学者に無能の烙印を押されてしまうのではないか？
そうだ、難しくて理解できなかったことにしよう、とはならないだろうか？
621:粋蕎 ◆C2UdlLHDRI
20/08/02 15:44:15 iQtfsRQO.net
>>573
しかし今や此の世はSNS隆盛で揚げ足取りと全否定の世の中じゃ､
器に穴を抉じ開け漏らす世。二枚舌、ダブルスタンダード、掌返しで中傷するのが罷り通る世｡
各々が「正義」をぶつけ合い足を引っ張り合い潰し合う世｡
622:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/08/02 16:17:16 NrBYtRST.net
>>574
>激高した天才数学者に罵倒され数々の嫌がらせを受けて自分のキャリアが終わってしまうのではないか？
ならん
１．直接対決する必要なし。arXive 投稿でもして、しかるべき学者さんとかに、メールで「ＩＵＴの大穴、投稿しました」ってお知らせするだけで良い
望ましくは、どこかの雑誌に投稿できれば良い
２．天才数学者って望月か？ ＲＩＭＳ内ならともかく、ＲＩＭＳの外では何の力もない
３．望月新一を真にへこましたなら、ショルツの上として評価させるだろうぜ
追伸
一番良いのは、「ＩＵＴの大穴」を見つけて
それを、自分が修復すること
そうすれば、ＩＵＴを最終形に完成させたのは自分ってことになるかもね
623:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/08/02 16:20:15 NrBYtRST.net
>>574
＞そうだ、難しくて理解できなかったことにしよう、とはならないだろうか？
それも正直で良いが
他の人が言っているように
「ざっと読んだが、新規の用語・概念の羅列で、準備論文も大変そうだから、真剣に読まなかった」
程度を言っておけば、お茶を濁せる
624:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/08/02 16:28:06 NrBYtRST.net
>>572
>それとは関係なく、意味不明な持ち上げ方をする気持ち悪い人が気持ち悪いと言っているだけ。
>まともでない根拠をもとに主張し続ける人は害悪で迷惑だからね。
意味分かんねーな
文Ａ：ノーベル賞委員会が、南部・小林・益川氏が、2008年のノーベル物理学賞に値すると発表した
文Ｂ：ＲＩＭＳが、望月ＩＵＴ論文が、査読をパスしＰＲＩＭＳに掲載するに値するとと発表した
文Ａと文Ｂは、構造は殆ど同じだ
”ノーベル賞委員会”なんて、具体的なメンバーもしらんけど、文Ａは良かったねと評価する
”ＲＩＭＳ”は、柏原・玉川両先生で、名前は知っている。文Ｂも良かったねと評価する
それだけ
ＱＥＤ（＾＾
625:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/08/02 16:29:08 NrBYtRST.net
>>578 タイポ訂正
文Ｂ：ＲＩＭＳが、望月ＩＵＴ論文が、査読をパスしＰＲＩＭＳに掲載するに値するとと発表した
↓
文Ｂ：ＲＩＭＳが、望月ＩＵＴ論文が、査読をパスしＰＲＩＭＳに掲載するに値すると発表した
”と”が、一個多かったな
626:１３２人目の素数さん
20/08/02 17:47:01 Gy6y7tWX.net
>>578
＞意味分かんねーな
頭悪いね
他の専門家が認めるならともかく、そうじゃないのに
「オレ日本人！望月新一も日本人！
だから何の根拠もなく望月新一は正しいといいはる
望月新一のためなら死ねる！」
と発狂しつづけるあなたは
627:完全な異常者だってことです 率直にいって、RIMSがハシタ金のために 無理矢理論文受理して成果だと言い張るのは 乞食以外の何物でもないですね 日本の大学も地に墜ちたもんです
628:１３２人目の素数さん
20/08/02 18:47:13.66 XtUMYxXI.net
>>576
>ならん
天才が考えることなんて分からないのにどうしてあんたが断言してるんだよｗ
629:現代数学の系譜 雑談
20/08/02 21:29:07.15 NrBYtRST.net
>>581
>>ならん
>天才が考えることなんて分からないのにどうしてあんたが断言してるんだよｗ
罵倒される位置に、近づかなければいいだけのこと
そうすれば、「負け犬の遠吠え」でしかない
力は無い。望月にはね
それだけ
630:現代数学の系譜 雑談
20/08/02 21:32:39.69 NrBYtRST.net
>>580
ID:Gy6y7tWX （＾＾；
くっさぁー
必死のヒキコ(ウ)モリ
URLﾘﾝｸ(hissi.org)
数学 必死チェッカーもどき
トップページ > 数学 > 2020年08月02日 > Gy6y7tWX
1 位/108 ID中 Total 52
使用した名前一覧
１３２人目の素数さん
書き込んだスレッド一覧
IUTを読むための用語集資料集スレ
0.99999……は１ではない その11
純粋・応用数学（含むガロア理論）3
グロダンディークの夢－トポスと正多面体
Fラン大学の数学科に迷い込んでしまいました…泣
Inter-universal geometry と ABC予想 (応援スレ) 48
現代数学の系譜 カントル 超限集合論他 3
631:現代数学の系譜 雑談
20/08/02 21:34:52.49 NrBYtRST.net
>>582 補足
>そうすれば、「負け犬の遠吠え」でしかない
万一、あなたが正しい論文を投稿できればってことね
もちろん、あんたが論文投稿できるとは、思っていないが
632:１３２人目の素数さん
20/08/02 21:39:42 XtUMYxXI.net
>>584
自分は数学で身を立てるつもりが一切ないからね
でも数学で身を立てることを志す若い人たちからすると怖い存在なんだろうなと思う
633:現代数学の系譜 雑談
20/08/03 14:14:17.30 mWEkE2T9.net
>>585
>自分は数学で身を立てるつもりが一切ないからね
>でも数学で身を立てることを志す若い人たちからすると怖い存在なんだろうなと思う
なるほどね
でもね
いま、下記 ”数論幾何と圏論 ／ 伊藤哲史”を面白く読んでいるのだが
ドリーニュ vs グロタンディーク
"彼はグロタンディークが数学をしていた間はグロタンディークに忠実であったが、グロタンディークが数学をやめた後は、グロタンディークのプログラムよりヴェイユ予想の早期の解決に向かい、1974年ヴェイユ予想を解決した。"
"自らのプログラムが放棄(埋葬)されたことに激怒したグロタンディークはドリーニュを激しく非難した"
って話、有名で知る人ぞ知る
その数学的な解説が、伊藤哲史先生にあるけど
私は、ドリーニュ先生に賛成
グロタンディークが、激怒しようが、なんだろうが、ドリーニュ先生の勝ち
数学で身を立てることを志す若い人たちは、怖い存在が居ても
数学としての筋を通すことが優先されると知れってことだな
（参考）
URLﾘﾝｸ(www.seidosha.co.jp)
青土社
現代思想2020年7月号 特集＝圏論の世界
-現代数学の最前線-
数論幾何と圏論 ／ 伊藤哲史
URLﾘﾝｸ(ja.wikipedia.org)
ピエール・ルネ・ドリーニュ
ドリーニュが師事したのが、アレクサンドル・グロタンディークである。
彼はグロタンディークが数学をしていた間はグロタンディークに忠実であったが、グロタンディークが数学をやめた後は、グロタンディークのプログラムよりヴェイユ予想の早期の解決に向かい、1974年ヴェイユ予想を解決した。
自らのプログラムが放棄(埋葬)されたことに激怒したグロタンディークはドリーニュを激しく非難した。現在ドリーニュは1988年にグロタンディーク還暦記念論文集を刊行するなど和解に向けて努力している。
634:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/08/03 14:23:10 mWEkE2T9.net
>>586
余談だけれど、下記を見る限り
Weil conjecturesの証明は、改良はされても
グロタンディークの最初の方針通りの証明はまだ無いみたいだね（＾＾；
やっぱ、ドリーニュ先生が正しかった気がするな
（参考）
URLﾘﾝｸ(en.wikipedia.org)
Weil conjectures
Contents
6 Deligne's first proof of the Riemann hypothesis conjecture
6.1 Use of Lefschetz pencils
6.2 The key estimate
6.3 Completion of the proof
7 Deligne's second proof
Deligne's second proof
Deligne (1980) found and proved a generalization of the Weil conjectures, bounding the weights of the pushforward of a sheaf. In practice it is this generalization rather than the original Weil conjectures that is mostly used in applications, such as the hard Lefschetz theorem. Much of the second proof is a rearrangement of the ideas of his first proof. T
Kiehl & Weissauer (2001) used Laumon's proof as the basis for their exposition of Deligne's theorem.
Katz (2001) gave a further simplification of Laumon's proof, using monodromy in the spirit of Deligne's first proof.
Kedlaya (2006) gave another proof using the Fourier transform, replacing etale cohomology with rigid cohomology.
635:現代数学の系譜 雑談
20/08/03 16:50:55.36 mWEkE2T9.net
超弦理論は間違っていない （woitは三流）
（参考）
URLﾘﾝｸ(www.works-i.com)
Recruit Works Institute
Macro Scope21世紀の宇宙の数学、超弦理論 2019年12月10日
(抜粋)
物理学者 大栗博司氏 聞き手＝石原直子(本誌編集長)
- その究極の理論、21世紀の宇宙の数学が超弦理論、ということですか。
そうであってほしい、と思いながら私たちは研究しています。
量子力学における基本的な要素、素粒子を点であると考えている以上、重力の理論とは統合できない。そこで、基本要素は点ではなく「1次元的に広がったもの」だと仮定してみると問題が解決することがわかったのです。1次元的に広がったもの、すなわち、ひもや弦ですね。広がったものを基礎とするという構想はもともと湯川秀樹が持っていたものですが、実際に模型にしたのは南部陽一郎でした。このときは素粒子の性質の一部を説明できる模型として考えていたので、重力のことは念頭になかったといいます。
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
（下記より新しい論説が、この深谷賢治氏のサイトにある）
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
数学者による数学者のためのString Duality 概論
深谷賢治 京都大学理学部数学教室 （多分1996か1997）
１章 超弦理論超速成コース その１
URLﾘﾝｸ(ocw.nagoya-u.jp)
多元数理科学研究科 > 素粒子論と現代数学 > 講義資料 名古屋大
URLﾘﾝｸ(ocw.nagoya-u.jp)
2015年度数学アゴラ＆数学公開講座
講義Ｃ 「素粒子論と現代数学」
3.2 弦理論と現代数学
以後の発展(主に現代数学との関連)
?1999年：非可換空間上のゲー�
636:W理論 [ザイバーグ・ウィッテン] ?2002年：ネクラソフ予想 →数学者達が解決 [中島・吉岡]等 ?2004年：大栗・ストロミンジャー・バッファ予想 (BHエントロピーについての公式) ?2006年：カプスチン・ウィッテン→電磁双対性とラングランズ双対性との深い深い関係(弦理論山と数論山が高い高いところでつながっている!?) cf.[F] ?2008年：コンチェヴィッチ・ソイベルマン壁越え公式 ?2009年：アルデイ・ガイオット・立川予想→数学者達が解決
637:１３２人目の素数さん
20/08/03 17:00:56.40 Pdiblt4K.net
>>586
> 数学で身を立てることを志す若い人たちは、怖い存在が居ても
> 数学としての筋を通すことが優先されると知れってことだな
そりゃ無理な話でしょ
天才の頭脳と教授という社会的地位を使ってどんな嫌がらせをしてくるか想像しただけでも恐ろしい
数学以外できない社会不適合者がこの不景気の世の中に放り出されたら生きていけまい
638:現代数学の系譜 雑談
20/08/03 20:43:46.77 duI4lbde.net
>>589
１）もし、その人が、「数学以外できない社会不適合者」だったら、余計に、数学の筋を通すべし
その「数学以外できない社会不適合者」が、数学で正しい主張ができないなら、それ捨てたら、ゼロでしょ。何にも残らん
とにかく、数学の筋を通して、論文書くしかない。グロタンディークの激怒を無視して、論文書いたドリーニュを見習うことだな
２）「数学以外できない社会不適合者」でも、古来世の中は、陰と陽。古来中国の思想だがね。老子だったかな。望月シンパもいれば、アンチもいるとしたものよ
そこらの、世の中の成り立ちと仕組みをちょっと知っているだけで、ぐっと気楽になるもの
３）望月が「天才の頭脳と教授という社会的地位」つったってよｗ（＾＾；
「天才の頭脳」ってもさ、社会の中の悪党たちの権謀術数と悪巧みに較べたら、政治の世界では赤子同然でしょｗｗ（＾＾；
「教授という社会的地位」ってもさ、RIMSの教授よりも、「京大の教授」の方が、はるかに社会的地位は上だろうし
（RIMSってさ、やっぱ、特殊でしょ。数学界に限っても、望月一人、それほど力ないし、恐れるほどのことは、何ほどもない。まあ、「数学以外できない社会不適合者」かもしらんが、数学界に自分の味方を作ればいいべよ（本当に数学できるなら（論文書けるという意味だが）、味方は出来るよ）（＾＾）
（参考）
URLﾘﾝｸ(www.aqast.net)
老子の宇宙観
●「道（ｔａｏ）」の宇宙論
URLﾘﾝｸ(www.aqast.net)