- Inter-universal geometry と ABC予想 43
349 ：１３２人目の素数さん[]：2020/04/04(土) 08:33:02.06 ID:t13u2EPI - 転載
Inter-universal geometry と ABC 予想 45
https://rio2016.5ch.net/test/read.cgi/math/1582883006/914-915
914 名前：１３２人目の素数さん[sage] 投稿日：2020/04/04(土) 03:19:41.90 ID:L4HeMhZI
Woitが早速更新しているわけだが、これ個人的に聴くところでは西海岸の数論幾何学者でも似たような
感想らしい。実はIUTを読んでる人は海外にも意外に多いんだけど、勿論理解できてないし納得してもいない
後はタオの感想が楽しみだな。まあ刺激的な発言はしないだろうけど、ねじれは認識してるわけだし
>>887
色々別の要因で疲れているしやり合う気はない。しかし、ホッジ理論やアラケロフ理論とIUTの関係は
望月や星を眺めただけではわからない。そんなに簡単じゃない
ABC予想については、問題自体を抽象的な構造で見ると既成の数論幾何学には言語としてはっきりない
問題だと一目でわかるものだからな。普通のスキーム論だとABCが述べてる数論的に細かい情報を扱えない
細かく切り離せない
多項式の有理関数の場合とはもう全く違う。ABCにアラケロフ理論は通用しないし、アラケロフ理論に対して
関数の世界では有用なホッジ理論も代数体の大域では存在しない。わけわかめだらけの問題なわけだ
そこでIUTの答えは、コホモロジー理論を放棄して特殊な一般化を実現することだったわけだ
（なら何故モチーフ論的？）
繰り返すが、抽象化して翻訳する時点でABC予想が構造的な（深い）難問なのはほとんど明白よ
それに文句があるなら別にいいよ。もう特に言いたいことはないし
915 名前：１３２人目の素数さん[sage] 投稿日：2020/04/04(土) 03:25:43.45 ID:shqAyCSR [2/2]
これけ
https://www.math.columbia.edu/~woit/wordpress/
(引用終り)
https://www.math.columbia.edu/~woit/wordpress/
Not Even Wrong
Latest on abc
Posted on April 3, 2020 by woit
|
- Inter-universal geometry と ABC 予想 45
965 ：１３２人目の素数さん[sage]：2020/04/04(土) 09:33:29.12 ID:t13u2EPI - 転載
Inter-universal geometry と ABC 予想 45
https://rio2016.5ch.net/test/read.cgi/math/1582883006/924
924 名前：１３２人目の素数さん[sage] 投稿日：2020/04/04(土) 04:30:16.20 ID:oEv2ickP [1/3]
Dupuyが明確にショルツ否定してるってさ
https://twitter.com/DupuyTaylor/status/1246142127538614272?s=19
Max Lieblich
@algeom
6時間
返信先: @DupuyTaylor
Didn't Scholze and Stix show that the Corollary in question is wrong?
Taylor Dupuy
@DupuyTaylor
6時間
They did not. The assertion they made is really really really elementary. Like its equivalent to A !=B and A=B at the same time.
There are other issues though, but we don't need a Field's Medalist to tell us this. There is a lot of appeal to authority going on here.
Max Lieblich
@algeom
1時間
返信先:
@DupuyTaylor
I assume when you mention “appeal to authority” you also include Fesenko’s bloviating and Mochizuki’s refusal to make himself clear.
（参考）
Max Lieblich
@algeom
Professor of Mathematics at the University of Washington
https://twitter.com/5chan_nel (5ch newer account)
|
- Inter-universal geometry と ABC 予想 45
966 ：１３２人目の素数さん[sage]：2020/04/04(土) 09:33:49.34 ID:t13u2EPI - >>965
誤爆すまん
|
- Inter-universal geometry と ABC予想 43
350 ：１３２人目の素数さん[]：2020/04/04(土) 09:33:56.56 ID:t13u2EPI - 転載
Inter-universal geometry と ABC 予想 45
https://rio2016.5ch.net/test/read.cgi/math/1582883006/924
924 名前：１３２人目の素数さん[sage] 投稿日：2020/04/04(土) 04:30:16.20 ID:oEv2ickP [1/3]
Dupuyが明確にショルツ否定してるってさ
https://twitter.com/DupuyTaylor/status/1246142127538614272?s=19
Max Lieblich
@algeom
6時間
返信先: @DupuyTaylor
Didn't Scholze and Stix show that the Corollary in question is wrong?
Taylor Dupuy
@DupuyTaylor
6時間
They did not. The assertion they made is really really really elementary. Like its equivalent to A !=B and A=B at the same time.
There are other issues though, but we don't need a Field's Medalist to tell us this. There is a lot of appeal to authority going on here.
Max Lieblich
@algeom
1時間
返信先:
@DupuyTaylor
I assume when you mention “appeal to authority” you also include Fesenko’s bloviating and Mochizuki’s refusal to make himself clear.
（参考）
Max Lieblich
@algeom
Professor of Mathematics at the University of Washington
https://twitter.com/5chan_nel (5ch newer account)
|
- Inter-universal geometry と ABC予想 43
351 ：１３２人目の素数さん[]：2020/04/04(土) 09:39:25.94 ID:t13u2EPI - 自分はIUTの深い話は分からないが
それを前提として、書くよ
>>346
>ヨーロッパの若手の数学者に突っ込まれて「いや見りゃわかるやろ」みたいな返事した
>らしいけどそれどうなったんだ
下記だね（ショルツとスティックス氏（SS）の2018年の議論）
反論をメールで送ったが、返事は無しみたい
多分、相手は、反論には全く納得できないということでしょ
そして、議論の時間無駄ってことか（日本語では「問答無用」だと）
（>>334より）
なお、ショルツとスティックス氏（SS）の2018年の議論は
まさに内野からの議論で
IUT 論文IIIの3.12の定理の証明がおかしいということだった
SSに対して、望月側は
それはSSの間違いだと反論したが
反論に対するSS側の回答無しで今年まで来たってことです
（参考）
＜SSの議論の資料＞
http://www.kurims.kyoto-u.ac.jp/~motizuki/research-japanese.html
IUT 望月新一 過去と現在の研究
・2018年3月、数理研で行なわれたIUTeichに関する議論を纏めた報告書
http://www.kurims.kyoto-u.ac.jp/~motizuki/Rpt2018.pdf
（および関連文書）
http://www.kurims.kyoto-u.ac.jp/~motizuki/IUTch-discussions-2018-03.html
|
- Inter-universal geometry と ABC予想 43
352 ：１３２人目の素数さん[]：2020/04/04(土) 09:52:17.37 ID:t13u2EPI - >>347-348
>ハッキリ言えるのはタオやショルツがIUTを理解していなかったのと、悔し紛れに批判すらしていた人間的に三流の人物だってこと
>タオの批判(というか疑義みたいなものだと思ったが)は別にアクセプトされたからと言って否定されるものではないでしょ
個人的見解だが
・タオの意見と、ショルツ（正確にはSS）の議論とは全くの別物
・タオは、「なんかよく分からない。チラ見では、ABC予想以外の結果が出てないのはおかしくない」とのたまう。単なる感想にすぎない
・ショルツ（正確にはSS）の議論は、>>351にある通りです
「IUT 論文IIIの3.12の定理の証明がおかしい」というかなり具体的な指摘で
京都で、ショルツとスティックス氏（SS）に対して、望月氏＋星氏の４人で、５日間くらい集中討議したらしい（下記）
この結論は、望月氏側から言えば、「誤解は解けなかった」だし
SS側からは、「その説明には、納得出来ない」という
まあ、平行線ってこと
・しかし、RIMSのプレスでは、審査の結果 望月氏側が正しいという判定ですね
（参考）
http://www.kurims.kyoto-u.ac.jp/~motizuki/Rpt2018.pdf
REPORT ON DISCUSSIONS, HELD DURING THE
PERIOD MARCH 15 ? 20, 2018, CONCERNING
INTER-UNIVERSAL TEICHMULLER THEORY (IUTCH) ¨
Shinichi Mochizuki
February 2019
(抜粋)
§1. The present document is a report on discussions held during the period March
15 ? 20, 2018, concerning inter-universal Teichm¨uller theory (IUTch). These
discussions were held in a seminar room on the fifth floor of Maskawa Hall, Kyoto
University, according to the following schedule:
・ March 15 (Thurs.): 2PM ? between 5PM and 6PM,
・ March 16 (Fri.): 10AM ? between 5PM and 6PM,
・ March 17 (Sat.): 10AM ? between 5PM and 6PM,
・ March 19 (Mon.): 10AM ? between 5PM and 6PM,
・ March 20 (Tues.): 10AM ? between 5PM and 6PM.
(On the days when the discussions began at 10AM, there was a lunch break for
one and a half to two hours.)
|
- 0.99999……は１ではない その７
943 ：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage]：2020/04/04(土) 09:57:00.71 ID:t13u2EPI - >>940
(引用開始)
数学板安全保障会議（MBSC）では、上記のうち
Ⅰを推奨し、Ⅱ、Ⅲについては容認するが
Ⅳについては、散発的な誤りの書き込みについては指導し
執拗な誤りの書き込みについては撲滅する
(引用終り)
わろた～ｗ（＾＾
CIA？
数学板安全保障会議（MBSC）？
「指導し 撲滅する」？
妄想も大概にしておけ
精神科のクスリしっかり飲んで、誇大妄想を押さえろ！ｗ(゜ロ゜；
|
- 0.99999……は１ではない その７
945 ：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage]：2020/04/04(土) 09:58:33.38 ID:t13u2EPI - 自演おつですｗ(゜ロ゜；
|
- Inter-universal geometry と ABC予想 43
356 ：１３２人目の素数さん[]：2020/04/04(土) 11:21:12.68 ID:t13u2EPI - >>349
追加
https://www.math.columbia.edu/~woit/wordpress/
Not Even Wrong
Latest on abc
Posted on April 3, 2020 by woit
(抜粋)
Ivan Fesenko today has a long article entitled On Pioneering Mathematical Research, On the Occasion of Announcement of Forthcoming Publication of the IUT Papers by Shinichi Mochizuki.
（https://www.maths.nottingham.ac.uk/plp/pmzibf/rpp.pdf ON PIONEERING MATHEMATICAL RESEARCH, ON THE OCCASION OF ANNOUNCEMENT OF FORTHCOMING PUBLICATION OF THE IUT PAPERS BY SHINICHI MOCHIZUKI
IVAN FESENKO Date: April 3 2020 ）
Much like earlier articles from him (I’d missed this one
https://www.maths.nottingham.ac.uk/plp/pmzibf/rapg.pdf （ABOUT CERTAIN ASPECTS OF THE STUDY AND DISSEMINATION OF SHINICHI MOCHIZUKI’S IUT THEORY IVAN FESENKO Date: December 2019）
), it’s full of denunciations of anyone (including Scholze) who has expressed skepticism about the proof as an incompetent. There’s a lot about how Mochizuki’s work on the purported proof is an inspiration to the world, ending with:
In the UK, the recent new additional funding of mathematics, work on which was inspired by the pioneering research of Sh. Mochizuki, will address some of these issues.
which refers to the British government decision discussed here.
（ https://www.math.columbia.edu/~woit/wordpress/?p=11581 Not Even Wrong London Calling with Career Opportunities II Posted on January 27, 2020 by woit ）
There is a really good inspirational story in recent years about successful pioneering mathematical research, but it’s the one about Scholze’s work, not the proof of abc that experts don’t believe, even if it gets published.
（https://arxiv.org/abs/1909.07222
The work of Peter Scholze Michael Rapoport
(Submitted on 13 Sep 2019) This is my laudation for Scholze's Fields medal 2018.
https://arxiv.org/pdf/1909.07222 ）
|
- Inter-universal geometry と ABC予想 43
358 ：１３２人目の素数さん[]：2020/04/04(土) 11:34:38.85 ID:t13u2EPI - >>353-355
ご意見、３つとも正しいと思う
・海外のプロ数学者は、「論文審査通ったの？ だから？ なぜ通したのかの説明が無い限り、おれは納得しないぜ」というでしょ
だって、プロ数学者だもの
・でも、「RIMSの判定なんて身内もいいところ」とは言えない。だって、実名出しているんだから。柏原先生とか玉川先生とか。彼らもプロ数学者だ
・「8年も議論してごり押しして」も違う気がする。例えばさ、分野が違うと「分からせる」ってことが困難な場合がある。特に、相手に「分かろう」とする気が無いみたいなとき
数学では、過去にも あるあるでしょ。例えば、圏論とか、グロタン先生の代数幾何とか。古くはカントール先生の無限集合論とか
・「昔ファルティングスやラフォルグも間違えてて、そのあと修正して発表してる」は、許容範囲で、証明の細部で修正可能で、修正して証明成立なら
「ラフォルグなんてinventに載ったの間違ってたわけだし」は、論文取り下げの事態なら致命的だけれど、ちょっと可能性低い
（∵ SSの指摘や、識別の危機の指摘など、全部折り込んでの昨日4月3日のRIMSの発表でしょ、柏原先生とか玉川先生とか。だから、いままで出ている論点は全て解消の見込みがあっての審査パスでしょう）
ここら、プロ向けの解説が必要と思う
（プロは、審査通したの？ なぜ？ と思うよね。その説明責任を果たさないとね）
|
- 0.99999……は１ではない その７
948 ：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage]：2020/04/04(土) 11:46:57.00 ID:t13u2EPI - >>946
妄想のCIAごっこも
ここまで来れば
立派だよね
あほサルさんｗｗ(゜ロ゜；
|
- Inter-universal geometry と ABC予想 43
363 ：１３２人目の素数さん[]：2020/04/04(土) 12:42:25.35 ID:t13u2EPI - 例えば、上智の文学部の学生が、ランダウの伝記にある 「dx/sinxの積分はどうやって求める？」について質問に来たとする
まずは、チャート数IとII勉強してから、また来てねでしょうね
（参考）
https://kankyodou.blog.ss-blog.jp/2015-10-30-1
環虚洞：百学連環
「プロの数学者」になるには・・（時枝正ケンブリッジ大Trinity Hall 数学主任）2015-10-30
(抜粋)
15歳早々フランスへ単身渡り、ボルドーのリセGrand Lebrunに就学した
絵はお休みになった。言語という新世界に開眼したからである。憑かれたかの如く様々な言語を身につけてゆくのを目の当たりにしたリセの先生が「この子の頭の構造はどうなっているのだろう」と訝ったそうな
帰朝後、上智大学でギリシャ人J.Roussosに師事、古典語（ギリシャ、ラテン、ヘブライ）を専攻した。当時日本には18歳未満大学に入れるべからず、というきまりがあり、目をつぶってくれたのは上智だけだったのである
卒論のめどがついた時分、ひょんなめぐりあわせからランダウの伝記を繙いた
この伝記によればなんと、目覚めたランダウ先生、息子を相手に早速 「dx/sinxの積分はどうやって求める？」と口頭試問を始めた。そしてつまった息子に対し「どうしたんだ。こんなのがむずかしいのか」と笑ったという
私は、そこで、積分とやらの水準まで数学を独習しよう、と決心した
同伝記中、ランダウが「数学を身につけるには、教科書ではなく、問題集ーどんなものでもよいが、ただし問題がたくさんのっているものーが主要な役割を演じます」と諭すくだりがあった
ランダウの諭告を真に受け、なるべく大きな問題集を探して掘り出したのが・・・（ここに、ロシア語の著者名、問題集の表題が示されてあるのだが
言語が商売のてまえ、ロシア語だっておどろかない。一冬投資、ロシア語を学びながら дпк に取り組んだ。毎日7、8時間がんばった
約1/3進んだ一節で ∫ dx/sinx＝1ｎtg x/2 が求まるようになったが、勢いにのって進み（ロシア語と数学同時に進歩するので2乗に加速する
この期に及び私はふたつの事実に勘づいた
ⅰ）自分はこの手の問題がけっこうできる
ⅱ）しかしどうも数学にはこの手の問題があるらしい・・・
次の秋、私は数学の学部課程を正規に修むべく、オックスフォードに学士入学した
|
- Inter-universal geometry と ABC予想 43
364 ：１３２人目の素数さん[]：2020/04/04(土) 12:46:29.60 ID:t13u2EPI - >>363 つづき
>例えば、上智の文学部の学生が、ランダウの伝記にある 「dx/sinxの積分はどうやって求める？」について質問に来たとする
・時枝くんていうの？ 数学はどれだけやった？
・文学なので、殆どやってない？
・じゃ、「dx/sinxの積分はどうやって求める？」を、小一時間で理解させることは無理だね
・これ、IUTの命題3.12に類似かも
・IUTの命題3.12を簡単に教えて欲しい？ なんで、600ページの論文になっているか分かってる？
・簡単に言えるなら、600ページも要らないんだ
と、こう言ってしまったら、身も蓋もない
説明責任を、RIMSは果たすべし
その努力をすべし
だな
|
- Inter-universal geometry と ABC予想 43
372 ：１３２人目の素数さん[]：2020/04/04(土) 14:07:40.92 ID:t13u2EPI - >>371
・説明責任は果たす努力は、継続した方が良い
・それが、理解者を増やすことになる
・IUTの始祖が望月とすれば、IUTを伝道する使徒たちが努力すべきだよ
（参考）
https://ja.wikipedia.org/wiki/%E4%BD%BF%E5%BE%92
使徒（しと）は、狭義にはイエス・キリストの12人の高弟を指すが、それに近い弟子（パウロ、七十門徒など）にもこの語が用いられることがある。広義には、重要な役割を果たしたキリスト教の宣教者（「遣わされた者」）および、その宣教者の称号である。
十二使徒
前述のように、「十二使徒」は極めてルカ的概念である。ただし、ルカは「十二使徒」という言葉そのものは用いていない。新約中、この言い方は、「ヨハネ黙示録」21章14節のみである（マタイ10章2節については、前述の通り）。
|
- Inter-universal geometry と ABC予想 43
373 ：１３２人目の素数さん[]：2020/04/04(土) 14:10:03.90 ID:t13u2EPI - >>370
>玉川先生はともかく柏原先生はさ
>いくら柏原先生とはいえ分野も違うし、年齢も年齢だから
>厳密に理解してるのかな
さあ？
”厳密に”はともかく、確実なのは
SSの批判に対して、望月が正しいと確信して、IUTの審査を通したってことは言える
１点でも疑義があれば、通しはしないでしょ
|
- Inter-universal geometry と ABC予想 43
375 ：１３２人目の素数さん[]：2020/04/04(土) 14:19:18.06 ID:t13u2EPI - >>369
＞「君・・・大学１年の解析学の単位、とってるよね？」
ゆとりの落ちこぼれ のおサルさんｗ
”高校数学の美しい物語”を読みましょう～！！ｗｗ(゜ロ゜；
（参考）
http://w3e.kanazawa-it.ac.jp/math/category/sekibun/example/henkan-tex.cgi?target=/math/category/sekibun/example/int-frac(1)(sinx).html
積分 1/sinx - 金沢工業大学 2018年4月17日
https://mathtrain.jp/int_sincos
高校数学の美しい物語 レベル: ★最難関大学
サイン分の1，コサイン分の1の積分の２通りの方法 最終更新:2017/05/10
方法1：サイン分の1，コサイン分の1の積分は2乗分の1乗にして部分分数分解して解く
サイン分の1やコサイン分の1の積分は有名で，知らないとできませんが，知ってたら必ずできます。有名なパターンなので確実に抑えておきましょう。
この積分の値自体は覚える必要はありません，積分の方法を覚えてください。
方法2
上記の方法が一般的で，入試問題を解く際には方法1を用いればよいのですが，
sinx,cosx のどんな有理式も（手間はかかるけど）必ず積分できる万能な方法があるのでこちらも覚えておきましょう。
方法2： sinx,cosx の分数（有理式）の積分は tanx2=t と置換すれば必ずできる。（一般的には計算量が多くてめんどくさい）
|
- Inter-universal geometry と ABC予想 43
376 ：１３２人目の素数さん[]：2020/04/04(土) 14:20:43.13 ID:t13u2EPI - >>374
>もしかして、全く気付いてなかった？
当然気付いているｗ（>>375ww）
|
- Inter-universal geometry と ABC予想 43
380 ：１３２人目の素数さん[]：2020/04/04(土) 14:58:34.01 ID:t13u2EPI - >>352
>・タオは、「なんかよく分からない。チラ見では、ABC予想以外の結果が出てないのはおかしくない」とのたまう。単なる感想にすぎない
補足：
Kirti Joshi の Neukirch and Uchida からみのIUT応用論文がある
https://www.math.arizona.edu/~kirti/
Webpage of Kirti Joshi Recent Research
https://arxiv.org/pdf/1906.06840.pdf
Mochizuki’s anabelian variation of ring structures and formal groups Kirti Joshi December 11, 2019
(抜粋)
1 A prelude
Shinichi Mochizuki has shown that a p-adic field K (the term p-adic field in this paper will mean a
finite extension of Qp for some prime number p) can be recovered from its absolute Galois group
As was impressed upon me by Mochizuki, the existence of this variation of ring structures was discovered in the nineteen seventies
(for it is a consequence of existence of local field counter examples
to the global theorems of Neukirch and Uchida (see [25, 26] and its references) which assert that
absolute Galois group of a global field determines the field), but as far as I am aware, Mochizuki
appears to be the first to recognize its foundational importance and utility in fundamental problems
of arithmetic. This anabelian fluidity of the ring structures on the multiplicative monoid O.
I began thinking of this problem in Kyoto (Spring 2018)
and my preoccupation with it became more or less permanent on my return from Kyoto.
The idea, which I elaborate here, occurred to me in a recent lecture by Michael Hopkins at
the Arizona Winter School (2019). In one of his lectures, Hopkins narrated an anecdote about
Daniel Quillen’s discovery of the role of formal groups in topological cohomology theories: in
particular Quillen’s assertion (to Hopkins) that “as addition rule for Chern classes fails to hold, it
must therefore fail in worst possible way?namely by means of a formal group” (I am paraphrasing
both Hopkins and Quillen here).
|
- Inter-universal geometry と ABC予想 43
381 ：１３２人目の素数さん[]：2020/04/04(土) 15:09:35.01 ID:t13u2EPI - >>379
＞現状でそういう性善説的な解釈がまだ有効なのか、という話だな。
性善説というよりも、理性で考えればだな
１．いま、ある違いに気付いたとする
２．理性のある人は、さっさと間違いを認めて、早く軌道修正をはかる
早く修正した方が、ダメージは抑えられるから
３．理性よりも 自分の体面やかっこう付けを重視して、間違いを糊塗しようとして、収拾がつかなくなりダメージを大きくする人が居る
”間違い”が明白なら、誤魔化しようがないと思うのが、理性のある人
”間違い”が明白なのに、最後まで誤魔化せると思う人、非理性の人
４．はてさて、数学ではどうなのでしょうか？
発表され証明を審査した
１）「どうも間違っているようだが、RIMS身内の人だし、取り敢ず通す」
２）「間違っている論文を通したら、本人にもRIMSにも大きなダメージだ」
５．柏原先生と玉川先生は、当然 ４－2）だよね
なので、昨日の会見は、当然理性的判断のもと、「ちゃんと審査して正しい証明と思ったから審査を通した」までは言える
（性善説というよりも、理性で考えれば）
６．その先の 「その審査が本当に正しいのか？」は、分からない。そのための今年の国際会議じゃない？
|
- Inter-universal geometry と ABC予想 43
382 ：１３２人目の素数さん[]：2020/04/04(土) 15:10:41.67 ID:t13u2EPI - >>381 タイポ訂正
１．いま、ある違いに気付いたとする
↓
１．いま、ある間違いに気付いたとする
分かると思うが（＾＾；
|
- Inter-universal geometry と ABC予想 43
384 ：１３２人目の素数さん[]：2020/04/04(土) 15:17:14.26 ID:t13u2EPI - >>381 補足
あと、審査の過程なんて、どうでも良いとは言わないが、必ずしも公開する必要はないでしょ
１．きちんと、Q&A方式で、SS vs 望月・星の整理をしてほしい。どこでどう行き違いになっているのか？
教祖の文書はあるけれど、使徒がちゃんと分り易く伝道すべき
２．”識別の危機”なんてのも同じ
３．やっぱり、批判に対して、真摯に答えて、IUTを伝道しようという姿勢が大事だと思う
|
- Inter-universal geometry と ABC予想 43
385 ：１３２人目の素数さん[]：2020/04/04(土) 15:23:10.64 ID:t13u2EPI - >>383
＞いくらコロナ騒動とは言え、これ程の大きなことがコロナと並んで報道されないのは、各社ともアカンやつやったかなっておもってるからやろ
読売新聞乗っていたよ
https://news.google.com/stories/CAAqOQgKIjNDQklTSURvSmMzUnZjbmt0TXpZd1NoTUtFUWlmbmNlLWxZQU1FV0hxbWNNMmdnRDdLQUFQAQ?hl=ja&gl=JP&ceid=JP%3Aja
重要な記事
東京新聞
望月氏「ＡＢＣ予想」証明 京大教授 数学難問、専門誌に論文:社会(TOKYO Web)
京都大は三日、三十年以上にわたって未解決だった数学の難問「ＡＢＣ予想」を京都大数理解析研究所の望月新一教授（５１）が証明したと発表した。望月教授の論文が、同 ...
7 時間前
毎日放送
京大教授が数学の超難問「ABC予想」を証明 | MBS 関西のニュース
「最も重要な未解決問題」と言われた数学の超難問「ＡＢＣ予想」を京都大学の研究者が証明しました。
7 時間前
産経ニュース
ＡＢＣ予想は超難問 解ければフェルマーの最終定理証明も
京都大の望月新一教授が証明した「ＡＢＣ予想」は整数の性質に関する問題で、数学の多くの未解決問題の中でも超難問として知られる。ＡＢＣ予想は１以外の公約数を持た ...
昨日
毎日新聞
望月教授「ＡＢＣ予想」証明 検証８年「完全な論文」 京大数理研、掲載に自信
「完全な論文ができた」。数学界の超難問「ＡＢＣ予想」を証明した望月新一・京都大数理解析研究所教授（５１）の論文が、約８年の検証作業をへて学術誌に掲載されることに ...
13 時間前
朝日新聞
ABC予想証明の教授、ブログも独創的 「欅坂に興奮」
数学の超難問「ABC予想」を証明した京都大の望月新一教授（51）は、米国の名門大を飛び級で卒業し、32歳の若さで京都大教授になった異例の経歴の持ち主だ。研究者 ...
昨日
|
- Inter-universal geometry と ABC予想 43
390 ：１３２人目の素数さん[]：2020/04/04(土) 19:43:41.38 ID:t13u2EPI - >>386
>現状では「なぜか内部に査読前結果をリリースしたやつがいてそれを文科に報告した挙句、
>なにが起こったのか一度も説明がなかった」という状態。
>つまりRIMSに理性があるのか、ということ自体が疑問視されてる。
論点ずれているんじゃない？
RIMSに理性ではなく、査読者の理性でしょ
まずは、査読者の理性の有無で
「査読者の理性」を疑うかどうか
つまり、
１）もし、万一査読OKの論文が、出版後にアウト（つまりどうしようもない欠陥論文）だと分かったら？
→当人は勿論、査読者たち（今回実名が出た）と、出版元のRIMSにダメージあり
２）よって、１）を避けるべく慎重かつ確実な査読が求められ、査読者はそう努めたはず
３）RIMSとしては、査読者がGOサインを出したから、記者会見したわけだし、文科に報告したってことでしょ
|
- Inter-universal geometry と ABC予想 43
392 ：１３２人目の素数さん[]：2020/04/04(土) 19:55:50.43 ID:t13u2EPI - >>366
>説明責任というか、厳密に証明しているなら説明できる
>有識者が分からないと言ってるのに説明できないというのは、論理展開できてない
>そういう意味でアイレンベルクらやグロタンディークとは異なる
昔クロネッカーという人が、カントールの無限集合論を認めなかったという
ガウスが、アーベルの5次方程式の代数的可解性の論文をゴミ扱いしたという
一時的にそういうことはある
あと、理解されるのに、時間がかかることがある
ガウスは複素関数論を持っていたが、複素数を表向き使うのを隠したという（世間が理解できないと思ったから）
非ユークリッド幾何も持っていたが、公表しなかったという（世間が理解できないと思ったから）
革新的な理論が提唱されたとき
受入れられるのに時間がかかることがある
天動説とか、アインシュタインの相対性理論とか・・、望月IUTとか
|
- Inter-universal geometry と ABC予想 43
393 ：１３２人目の素数さん[]：2020/04/04(土) 19:58:50.97 ID:t13u2EPI - >>391
>KとTはまともなはずだ、という前提をとりたいのはわかるんだけど、
>全体としてもうそれ以外にはなにもセーフティネットがないんだよな。
だから、個人的には今年の国際会議だと思ったのだが
つまり、国際会議が終わって、IUT論文受理で発行だろうと、個人的には予想していたんだが
しかし、それより前に出すってことは
よほど自信があるのだろうし、その成否は今年の国際会議ではっきりすると思う
|
- Inter-universal geometry と ABC予想 43
394 ：１３２人目の素数さん[]：2020/04/04(土) 20:26:06.38 ID:t13u2EPI - >>365
>来たのがフィールズ賞受賞者で論文も読んで来たスティックスとショルツだったらどうでしょうかね
そうそう、そうなんだよね！！
で、理解させるのに失敗したんだ（＾＾；
スティックスとショルツが来たというよりも、森先生が呼んだという話しがあったでしょ、ウワサだが
で、森先生としては、「１週間くらい集中討議して、決着させてくれよ、望月先生」という意図だったと思うけどね
さて、話はそれるが、IUTにみんなどれだけの時間が割けるのか？
割くことがことができるのか？
１）一番は当人の望月新一先生（論文の書き手として20年くらい懸けている）
２）次が、弟子たち。あるいは、IUTネタで論文を書こうという人たち、書かせようという人たち
例えば、星、山下、南出、フェセンコ一派、Dupuy一派、Kirti Joshi たち、彼らは これで論文書いてメシのタネ
３）査読者 （真剣に論文読んだと思う）
４）その次が、スティックスとショルツくらいじゃない？
「話題のIUTか、なんぼのもんじゃ？」と覗いてみた
ワケワカ状態だが、「なんか命題3.12おかしくね？」と指摘して、論争になった
でも、スティックスとショルツたちにしたら、そんなに必死にIUTに取り組む必要ない
そこが、上記１）２）３）の方々と、大きく違う。IUTにがつがつ食い付かないといけないほど、腹減ってないんだよね
５）さらにスティックスとショルツよりも、時間が少ないのが、数学界でも、分野がずれている多くのヤジウマたち
彼らは、IUTなどのワケワカ理論に、貴重な研究の時間使うつもりはない！
スティックス・ショルツ vs 望月・星 の論争の行方を、外野から見ている人達です
なので、ショルツは天才だとしても、IUTに懸ける時間と真剣さが、当事者たちとは決定的に異なるってわけ
そこを、見落とすと、「ショルツが間違いを指摘しているのに、なんで査読通すの？」みたいに、疑問が解けないことになると思うよ
|
- 純粋・応用数学
98 ：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE []：2020/04/04(土) 23:06:17.76 ID:t13u2EPI - 数学は暗記か
https://rio2016.5ch.net/test/read.cgi/math/1571389817/52
（関連）
https://todai-counseling.com/?p=2391
東大医学部生の相談室
東大理系数学2020の入試問題・解答解説・難易度 2020.02.26
(抜粋)
第一問
第一問は以下のような出題でした。
https://todai-counseling.com/wp-content/uploads/2020/02/%E3%82%B9%E3%82%AF%E3%83%AA%E3%83%BC%E3%83%B3%E3%82%B7%E3%83%A7%E3%83%83%E3%83%88-2020-02-25-17.06.12.png
a,b,c,pを実数とする。不等式
ax^2+bx+c >0
bx^2+cx+a >0
cx^2+ax+b >0
を満たす実数xの集合と、x>pを満たす
実数xの集合が一致しているとする。
(1)a,b,cはすべて0以上であることを示せ。
(2)a,b,cのうち少なくとも1個は0であることを示せ。
(3)p=0であることを示せ。
第一問の難易度分析
不等式に関する標準的な証明問題です。
「すべて」や「少なくとも1個」などの条件を示すときには、背理法を使うことが多いという点に気をつけていれば難なく完答できたでしょう。
第一問(1)を解く上での考え方・ポイント
「すべて?である」ことを示すよりも、「どれか1つでも?なものがあったら不都合が起こる」ことを示してあげる方が楽なことが多いです。
いわゆる背理法を利用するというわけですね。
「すべて?」を示すときは背理法の利用を考える！
どれか1つでも負の数があると、2次の係数が負になっている不等式が出てきてしまいますが、このとき十分大きなxに対して絶対に不等式を満たさなくなってしまうので、x>pという集合と同じになるわけがないことが即座にわかります。
以下、解答例です。
a,b,cのうち少なくとも1つが負であると仮定する。このとき、対称性からaが負であるとして考えてよい。
aが負であることより、十分大きな実数xに対して
ax^2+bx+c>0
は成立しない。よって、与えられた3つの不等式をすべて満たす実数xの集合がx>pを満たす実数xの集合と一致することはありえない。
したがって、元の仮定が誤りであり、a,b,cはすべて0以上。
|
- 純粋・応用数学
99 ：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE []：2020/04/04(土) 23:12:09.78 ID:t13u2EPI - >>98 訂正
ax^2+bx+c >0
bx^2+cx+a >0
cx^2+ax+b >0
↓
ax^2+bx+c > 0
bx^2+cx+a > 0
cx^2+ax+b > 0
不等号と数字の間にスペースを入れないと、リンクのアンダーラインが入ってしまうんだな（＾＾；
|
- 純粋・応用数学
100 ：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE []：2020/04/04(土) 23:12:43.27 ID:t13u2EPI - >>98 参考
https://www.zkai.co.jp/zkai-door/tk-analysis-2020-toudai-mr/
Ｚ会
「東大理系数学」2020年度東大入試分析
(抜粋)
大問別のポイント
第１問
2次不等式についての証明問題で、あまり見かけないタイプ。
小問に従って考えていけばよく、内容は難しくないが、答案が書きにくい問題といえる。
攻略のためのアドバイス
東大理系数学を攻略するには、次の３つの要素を満たす必要がある。
●要求１● 高度な思考力
特別な知識は要求されないものの、高いレベルの思考力、発想力を試す問題が多く出題されている。他の大学では、一見しただけで典型問題だとわかる出題が多いが、東大では出題の仕方がかなり工夫されており、すぐには問題の解法が浮かびにくいものが多い。初見の問題に色々な面からアプローチして、解法を決める力が求められる。確率、整数の問題で主にこの力が問われる。
●要求２● 早く正確な処理力
例年、処理量の多い問題が出題され、比較的処理量の少ないものでも、1問あたり20～30分くらいかかるものもある。特に積分の求積問題で、ハードな計算を要求するものが多い。また，やや高度な出題も見られるが、処理力重視の問題は、方針が立てやすい。数式処理力の差は直接得点差につながりやすいので、速く正確に処理できる力を充実させておきたい。
●要求３●解ける問題を見極める力
東大の数学では、例年、5割程度取れれば合格ラインといえる量とレベルの出題である。つまり、全問を解く必要はなく、解く問題の選択が合否を分ける。過去問演習などを通して、完答できる問題を見極める力を養っておこう。小問ごとに解ける問題は、もちろん解くべきである。
まずは、苦手分野があれば、遅くとも受験生の夏休みまでには克服したい。ただし、基本的なことばかりやっていては、高度な思考力を要求される東大入試には太刀打ちできなくなる。
受験生の秋以降は実戦的な演習を行い、得点力アップを図ろう。また、答案を作成する力の養成も意識したい。
共通テストが終わったあとは、東大入試に即応したＺ会の問題で、最後の総仕上げをしよう。解答を作成する時間や、採点者にきちんと内容の伝わる答案作りを意識し、実戦力を完成させよう。
|
- 純粋・応用数学
101 ：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE []：2020/04/04(土) 23:14:54.18 ID:t13u2EPI - >>100 補足
>●要求１● 高度な思考力
>特別な知識は要求されないものの、高いレベルの思考力、発想力を試す問題が多く出題されている。他の大学では、一見しただけで典型問題だとわかる出題が多いが、東大では出題の仕方がかなり工夫されており、すぐには問題の解法が浮かびにくいものが多い。初見の問題に色々な面からアプローチして、解法を決める力が求められる。確率、整数の問題で主にこの力が問われる。
暗記数学を外してくるのが、東大の入試問題です
|
- Inter-universal geometry と ABC予想 43
399 ：１３２人目の素数さん[]：2020/04/04(土) 23:41:36.48 ID:t13u2EPI - >>398
>科研費とかの問題かね
>こんなに大きな結果でたから金何とかしてくれということか
単に予算なら
シーズンは秋でしょ
国際会議やってから、ＩＵＴ成立の記者会見やっても良かったと思う
なので、昨日やった意義は
１）正月の望月ブログ効果（やっぱ それなりに話題になって、想像だが、それでなんか２月の会議で審査通すことに決めたのかな）
２）「２月の会議で審査通すことに決めた」けど、プレス発表したいってことになって、いろいろ準備して４月の昨日に
３）戦略的には
・今年の国際会議の応援 （みんな議論しに来てね）
・で、国際会議を成功させて、来年あたりの学会賞ねらい（望月先生は賞などいらんというかもだが、若い人にはうれしいよね）
・ＩＣＭが2022年でしょ。そこをターゲットに、今年の国際会議を成功させて、ICM 2022のプログラムにＩＵＴを入れるべく働きかけるってことじゃない？
（参考）
https://www.mathunion.org/icm/icm-2022
ICM 2022
The International Congress of Mathematicians 2022 (ICM 2022) will be held in St Petersburg, Russia, 6 - 14 July 2022.
|