20/12/05 12:43:14.90 IssG98Nd.net
>>89
＞いま学部の楕円函数論（梅村）を読んでいるんだって？
いまだに学部の楕円"関"数論（梅村）すら読めないんだって？ｗ
だからさぁ
１．まず線型代数の教科書読め （１年）
２．次に多変数の微積分とベクトル解析の教科書読め（半年）
３．そして複素解析の基本的な教科書読め（半年）
あんたは１．からやらないとダメ
いきなり２．からとか３．からとか無理
ましてや全部抜きでいきなり梅村とかダメ・ゼッタイｗ
ま、俺が先に梅村読んで、いろいろ教えてあげるからさｗ
101:１３２人目の素数さん
20/12/05 12:43:38.42 ThnBH/eF.net
（翻訳で間違えました。コンピューターで「検証済み」ではなく「検証できる」という意味でした）
残った４桁のギャップ部分は、コンピューターで検証可能なので、別証明ができたとしているようです。（終）
102:１３２人目の素数さん
20/12/05 12:48:53.57 IssG98Nd.net
・行列式も知らん人にヤコビアンはわかりません
・線型空間わからん人にグリーンの定理はわかりません
・ヤコビアンがわからん人にコーシー・リーマンの方程式はわかりません
・グリーンの定理がわからん人にコーシーの積分定理も積分公式もわかりません
・コーシー・リーマンの方程式もコーシーの積分定理も積分公式も知らん人が
楕円関数の本読んだって、なんでそうなるかチンプンカンプンだからわかりません
103:１３２人目の素数さん
20/12/05 12:52:29.24 IssG98Nd.net
>>89
＞基本的なスキーム論、数体や局所体とその絶対ガロア群の理論
＞（数理研のＭ１年相当）
もうチベット高原並
◆yH25M02vWFhP は行った瞬間に高山病で悶絶するレベル
104:現代数学の系譜 雑談
20/12/05 16:18:55.98 zBA0g4/F.net
>>95
>（翻訳で間違えました。コンピューターで「検証済み」ではなく「検証できる」という意味でした）
>残った４桁のギャップ部分は、コンピューターで検証可能なので、別証明ができたとしているようです。（終）
ありがとう
確かに
そこの不足の４桁のギャップ部分は、コンピューターの能力問題だけなので
例えば、富岳使えばやれそうに思うな（＾＾
105:現代数学の系譜 雑談
20/12/05 16:56:56.66 zBA0g4/F.net
>>89
>カタツムリおじさん って、いま学部の楕円函数論（梅村）を読んでいるんだって？
楕円函数論（梅村）では、多分、全く足りないんじゃない？（＾＾；
(>>59より)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
RIMS-1933 Explicit Estimates in Inter-universal Teichm¨uller Theory By Shinichi MOCHIZUKI, Ivan FESENKO, Yuichiro HOSHI,
Arata MINAMIDE, and Wojciech POROWSKI
November 2020
これで、例えば下記とか キーワード”elliptic curve”の箇所を拾うと
（”elliptic curve”の箇所）
Abstract. ；the j-invariants of “arithmetic” elliptic curves,
Ｐ2；for the moduli stack of elliptic curves over Q.
Ｐ2；the effective arithmetic divisor determined by the q-parameters of an elliptic curve over a number field at arbitrary nonarchimedean places.
Ｐ3；Let EF be an elliptic curve over a number field F ⊆ Q that determines a Q-valued point of (Mell)Q which lifts [not necessarily uniquely!] to a point xE ∈ UX(F) ∩ UX(Q)≦d
Ｐ3； together with the fields of definition of the (3 ・ 5)-torsion points of a model EFtpd of the elliptic curve EF ×F Q over Ftpd determined by the Legendre form of the Weierstrass equation discussed above.
Ｐ5；In §1, we examine various [elementary and essentially well-known] properties of heights of elliptic curves over number fields.
Ｐ7；One fundamental observation － due to Porowski － that underlies the theory of the present paper is the following:
n satisfies the conditions (1), (2) if and only if n = 6
[cf. Lemma 3.1; Proposition 3.2; the well-known fact that 1 - ζ4, 1 - ζ8
are non-units at places over 2]. Following this observation, in Definition 3.3,
we introduce a new version of the notion of an “´etale theta function of standard type” [cf. [EtTh], Definition 1.9] obtained by normalizing ´etale theta functions at points arising from 6-torsion points of the given elliptic curve.
(引用終り)
ずっとこんな感じ
つづく
106:現代数学の系譜 雑談
20/12/05 16:59:05.23 zBA0g4/F.net
>>99
つづき
これは、ほんの一部で
梅村には、例えば下記みたいな記述は、無いでしょ？
・”the moduli stack of elliptic curves over Q”とか、
・”lifts [not necessarily uniquely!] to a point xE・・”とか
・”heights of elliptic curves over number fields”とか
・”´etale theta functions at points arising from 6-torsion points of the given elliptic curve”とか
こういうのは、無いんじゃないかな？
だから、梅村の楕円函数論は、
数論幾何向きではないと思うぜ（＾＾
ＩＵＴ読むには、全然足りないよね、多分ね（＾＾；
以上
107:現代数学の系譜 雑談
20/12/05 17:00:51.55 zBA0g4/F.net
>>99
余談ですが
(引用開始)
Ｐ7；One fundamental observation － due to Porowski － that underlies the theory of the present paper is the following:
n satisfies the conditions (1), (2) if and only if n = 6
[cf. Lemma 3.1; Proposition 3.2; the well-known fact that 1 - ζ4, 1 - ζ8
are non-units at places over 2]. Following this observation, in Definition 3.3,
we introduce a new version of the notion of an “´etale theta function of standard type” [cf. [EtTh], Definition 1.9] obtained by normalizing ´etale theta functions at points arising from 6-torsion points of the given elliptic curve.
(引用終り)
ここ、”One fundamental observation － due to Porowski －”ってところ
へーと、思ったな
Porowskiはえらいね
108:現代数学の系譜 雑談
20/12/05 17:21:05.74 zBA0g4/F.net
>>100
例えば、こんな感じじゃね？
梅村の楕円函数論だけじゃ
まあ、カタツムリおじさん、がんばれよ
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
整数論の最前線
楕円曲線の数論幾何
フェルマーの最終定理，谷山-志村予想，佐藤-テイト予想，そして・・・
伊藤 哲史?
京都大学理学部数学教室 ガロア祭
2007年5月25日(金) 17:45?18:45
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
伊藤 哲史 講義のページ
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
基礎数学からの展開 A (2009 年度前期の前半・伊藤担当) 2009 年 4 月 27 日 (月)
楕円曲線の数論幾何 (第3回)
楕円曲線の有理点は (見かけ以上に) 難しい
・4月27日配布プリント(PDF) : 楕円曲線の有理点は(見かけ以上に)難しい，階数28以上の楕円曲線 （上記）
・6月8日配布プリント(PDF) : 楕円曲線上の離散対数問題，10万ドルの懸賞問題(ECCp-359) URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
・6月15日配布プリント(PDF) : 楕円曲線と保型形式, 佐藤‐テイト予想，直角三角形の面積とバーチ‐スイナートン＝ダイヤー予想 URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
URLﾘﾝｸ(webcache.googleusercontent.com)
数論幾何におけるGalois表現 斎藤毅 東京大学 （本体が開けないのでキャッシュ）
URLﾘﾝｸ(www.math.titech.ac.jp)
アーベル多様体と数論 田口 雄一郎
これは 2013 年 7 月 28 日（日）の九州大学公開講座「現代数学入門」のための講義資料です。
(抜粋)
1.1. アーベル多様体とは 楕円曲線の高次元版である。では 楕円曲線 とは？
幾つかの見方がある：
(引用終り)
以上
109:現代数学の系譜 雑談
20/12/05 17:45:43.14 zBA0g4/F.net
>>102
>整数論の最前線
>楕円曲線の数論幾何
補足
１．カタツムリおじさんみたいな考えだと、いつまで経っても、”最前線”に立てないんじゃね？
２．アキレスと亀、アキレスが追いかけると、亀は逃げる
３．同様に、カタツムリおじさんが勉強するよりも、最前線が進むのが早いと思う
４．私見だが、まずダッシュして、上記のように”最前線”に立って、そこから振り返って、取り敢ず足りない分だけを補う。そうでもしないとね・・
５．いま、ヒマラヤにふもとから登る人いない。車とかで行って、頂上近くにベースキャンプ作って、登頂を目指す（富士山なら５合目まで車で行けるような）
６．いまどき現代数学の頂上（＝最前線）は、カタツムリおじさんみたいな考えだと、いつまで経っても、”最前線”に立てないんじゃね？
（学部や修士時代は、実力養成のためもあって、積み上げ大事と思うけど、ＤＲコースになったら、積み上げだけじゃ、”最前線”に立てない）
そもそも、カタツムリおじさんの流儀だと、IUT III Cor3.12 とか評論するの 10年早くね？
おっさん、いま 学部レベルの 梅村の楕円函数論読んでいるんだろ？
カタツムリおじさんの流儀なら、３年はＲＯＭってないと、評論する資格ないよね（＾＾
（実際、大外しの赤っ恥だろ？（＾＾； ）
（参考）
URLﾘﾝｸ(ai-trend.jp)
AVILEN AI Trend
2017/04/20
2020/04/14
ゼノンのアキレスと亀を分りやすく解説して考察する
コラム
ライター：IMIN
110:１３２人目の素数さん
20/12/05 17:46:03.13 IssG98Nd.net
>>99
>楕円函数論（梅村）では…
なんで「函数」って書くんだ？戦前の竹内の本じゃないぞ
未だに頭がダイニッポンテイコクのままなのか？ｗ
>多分、全く足りないんじゃない？
正則行列も知らん貴様こそ、全然数学の基礎が足らんｗ
>>100
>梅村の楕円函数論は、数論幾何向きではないと思うぜ
そもそも数論幾何とかいう以前の基礎が必要
ま、複素関数論の素養がゼロの貴様には、何言ってるかわからんか？
どうせコーシーの積分公式も留数も全然分かってないだろ
だからいってるだろ 複素関数論からやり直せ、とｗ
111:１３２人目の素数さん
20/12/05 18:00:08.95 IssG98Nd.net
>>103
＞カタツムリおじさんみたいな考えだと、
＞いつまで経っても、”最前線”に立てないんじゃね？
フジツボの貴様のやり方でも、１０年経ってもガロア理論が全然理解できないわけだが
１０年前に中学に入ったヤツでも、数学科に行ってればガロア理論くらい理解してるぞ
貴様、中坊に負けたってことだよ オカシイとおもわんのか？
＞カタツムリおじさんが勉強するよりも、最前線が進むのが早いと思う
それはないな
すでにわかっていることを学習するほうが
何もわからんところから新しい発見をするより遥かに早い
マジメに学習したことのある人ならわかる
大学で遊んで落ちこぼれた🐎🦌野�
112:Yの貴様には決してわかるまいが（嘲） ほんと、正則行列も知らんとかありえねぇｗｗｗｗｗｗｗ ＞私見だが、まずダッシュして、”最前線”に立って、 あんた、どうやってダッシュするんだ？ なんも力つけてないのに、頭の中でだけ念じて テレポーテーションできるとか思ってんのか？ｗｗｗ ＞いまどき現代数学の頂上（＝最前線）は、 ＞カタツムリおじさんみたいな考えだと、 ＞いつまで経っても、”最前線”に立てないんじゃね？ 立ってる奴がいるけどね 別にあんたみたいにネット検索だけして行けるわけないけどねｗ みんな努力してるけどね あんたみたいに、ただ漫然と テレポーテーションでいきなり頂上に立つことを念じる 正真正銘の🐎🦌野郎なんか一人もいないけどね（嘲） あんたは、そもそも数学の修士や学部卒どころか 理工系の人間の最低限の数学の理解にも達してないんだから まず線型代数の教科書、頭から読み直せよ まったく、逆行列の存在条件を1つも知らないとかどんだけ無知なんだよｗ
113:１３２人目の素数さん
20/12/05 18:08:02.88 IssG98Nd.net
＞IUT III Cor3.12 とか評論するの 10年早くね？
あんたは10年早いｗ
おれはあんたより2年は先を云ってるから8年早いｗ
数学科で代数専攻してた学部卒なら6年早い
大学院の修士修了で4年早い
数論幾何専門の博士で1年早い
・・・で、その人たちが
”IUTの論文読んで１年以上たつけど
何言ってんのか肝心なところが全然わかんねー”
っていってるってことは、埋まってないギャップがあるってことだよ
いくら何でも論文でてから8年も経つのに、
部外者が誰も理解できないとかありえない
114:１３２人目の素数さん
20/12/05 18:14:36.17 IssG98Nd.net
>いま 学部レベルの 梅村の楕円函数論読んでいるんだろ？
「はじめに」によれば、大学4年～大学院生を想定、とある
つまり
「大学４年も受講可能な、大学院向けの科目での講義テキスト」
ということ
「学部レベル」というのは、正しくは
「大学３年が受講する科目の内容」を指すが
楕円関数についていえは、複素関数論がわかっていればわかるから
学部生でも（というか数学科以外でも）わかるはずである
ただし、梅村の本を読むと
「これ、数学科の学生には重要ポイントだけど
工学部とかの学生はなにが面白いのかわからんだろうな」
という箇所がいくらもある
（例えば、楕円曲線の射影空間への埋め込みとか）
115:現代数学の系譜 雑談
20/12/05 18:25:54.58 zBA0g4/F.net
>>107
カタツムリおじさん、いまどき本を選ばないと
楕円函数論なんて本、やまほどあるよね
それに、ＰＤＦとかもダウンロードできる
楕円函数論で、なにやりたいんだ？
無目的に本読んでも、趣味ならいいけどね
そういうやり方は、数学アマはいいけど
数学プロは、やらないと思うよ
もっとテーマを絞って、もしＩＵＴを目標にするなら、明らかに梅村本は向いていないと思うぜ
そんなことも分からない人がさ
IUT III Cor3.12 がぁ～ とかさ、全く語る資格も、数学レベルにも達していないじゃん、おっさんは
116:１３２人目の素数さん
20/12/05 19:16:00.43 IssG98Nd.net
>>108
＞楕円函数論
楕円関数論な
あんたは戦前の人間か？ｗ
＞本、やまほどあるよね
そんなにたくさんあるか？
古典としては
フルヴィッツ・クーラント(1922)
竹内端三(1935)
戸田盛和(1976)
くらいだな
あとは、テータ関数なら
Mumford(1983-84)
いきなりMumfordを読むのが早いんだろうが
そもそも楕円関数からよくわかってないから
梅村浩(2000)を読むことにしただけ
イライラするなら貴様も読め
なにを怖がってる？
＞それに、ＰＤＦとかもダウンロードできる
とある大学の先生の講義資料で
あきらかに梅村を下敷きにしたものがある
本を読み始めてきづいた まあ、いいけど
あんた別に貧乏じゃないんだろ？
だったら１冊くらい買えばいいじゃん
たった￥５８００だよ 安いもんだ
117:１３２人目の素数さん
20/12/05 19:23:01.78 IssG98Nd.net
>>108
＞なにやりたいんだ？
とりあえず、楕円関数・テータ関数・モジュラー関数で遊びたいｗ
どうやったら面白く遊べるか、本読みながら考える
＞趣味ならいいけどね
そう、完全に趣味
大学の数学科に行く奴なんて、趣味で来てるようなヤツばっかりだぞｗ
初めから確率のアクチュアリーになりたいなんていう
俗な動機で入るヤツも皆無ではないだろうけど、つまらん
＞数学アマはいいけど
＞数学プロは、やらないと思うよ
プロになったことないからわからんｗ
しかし全く好奇心抜きで論文生産しやすいだけで
専攻選んだヤツはつまらん論文しか書けないと思うぞ
学問はエンターテインメントだから わかる？
118:１３２人目の素数さん
20/12/05 19:27:36.31 IssG98Nd.net
>>108
＞もしＩＵＴを目標にするなら
ＩＵＴそのものはどうでもいいｗ
＞明らかに梅村本は向いていないと思うぜ
君、読んでないんだろ？
君の想像は外れてるよ
119:１３２人目の素数さん
20/12/05 21:06:30.73 IssG98Nd.net
＞IUT III Cor3.12 がぁ～ とかさ、
＞全く語る資格も、数学レベルにも
＞達していないじゃん
君、達してるの？
正則行列も知らないくせにｗ
120:現代数学の系譜 雑談
20/12/05 22:00:15.73 zBA0g4/F.net
>>111
(引用開始)
＞明らかに梅村本は向いていないと思うぜ
君、読んでないんだろ？
君の想像は外れてるよ
(引用終り)
つー、>>99-100 www（＾＾
121:１３２人目の素数さん
20/12/05 23:06:43.38 rPHUYBPL.net
数論幾何とか言うなら、楕円函数というより楕円曲線だろう。
楕円函数と楕円曲線の区別もついてなかったのが雑談氏。
梅村氏は専門が代数幾何だし、マンフォードのテータ
のことまで書いてるなら、出版されてる楕円函数の本としては
最も代数幾何・数論幾何寄りなんじゃないかな。
122:１３２人目の素数さん
20/12/06 07:04:59.35 DTMWYA77.net
>>114
>(梅村の本は)出版されてる楕円函数の本としては
>最も代数幾何・数論幾何寄りなんじゃないかな。
せやろな
ｽﾚﾘﾝｸ(math板:82番)
ｽﾚﾘﾝｸ(math板:118番)
82と同様のこと書いてる本はあるやろけど
118のようなこと書いてる邦書はまずないやろな
ま、あってもええけどｗ
123:１３２人目の素数さん
20/12/06 13:11:24.90 iIQ6Ipbw.net
ショルツは今度はコンピューター使った証明に噛みついているのかよ
124:１３２人目の素数さん
20/12/06 13:42:00.92 H58nWYVa.net
ショルツは狙ってたabc解かれてご立腹中
125:１３２人目の素数さん
20/12/06 13:52:09.94 XzPiUTvB.net
cor3.12が正しいならばabc予想が正しい
までは示したっぽいけど、
まだcor3.12が正しいことを示せてないからな
126:１３２人目の素数さん
20/12/06 15:43:22.96 XzPiUTvB.net
というか森さんの招待を受けて、わざわざ来日して間違ってる箇所を指摘してあげた人に対して「噛み付いた」って礼節に欠ける発言だよな
127:１３２人目の素数さん
20/12/06 16:00:25.71 crU0maln.net
結局3.12の上に成り立つ砂上の楼閣なんだね。
128:１３２人目の素数さん
20/12/06 17:24:21.92 gKIPYiiE.net
まだ、アホが騒いでる
129:１３２人目の素数さん
20/12/06 17:41:23.79 7XRRqeNg.net
>>117
スレチでしょうがqwsk
130:１３２人目の素数さん
20/12/06 17:43:35.31 XzPiUTvB.net
>>122
>>16
(恐らくcor3.12が正しいと仮定すると)abc予想が証明できるとする論文が出た
131:１３２人目の素数さん
20/12/06 17:44:07.83 7XRRqeNg.net
間違えた
122は>>116
です
132:１３２人目の素数さん
20/12/06 18:44:44.48 DTMWYA77.net
>>119
礼節なんかなくてもいいけど
真理よりも自分の体面をとった行動は
数学界で永遠に非難されるだろうね
133:１３２人目の素数さん
20/12/06 23:14:42.09 zY6VrgC4.net
>>124
math_jinウォッチしてたらわかるよ
134:現代数学の系譜 雑談
20/12/06 23:16:56.31 V/gu0+4H.net
cor3.12が正しいことは
１．Promenade in IUTが、来年春に終り
２．来年秋に、IUT国際会議が、終り
３．2022年のICMで、IUTを取り上げて貰えばね
cor3.12が正しいことは、はっきりすると思うよ
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
RIMS
Promenade in Inter-Universal Teichmuller Theory
Org.: Collas (RIMS); Debes, Fresse (Lille).
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
Inter-universal Teichmuller Theory (IUT) Summit 2021 RIMS workshop, September 7 - September 10 2021
URLﾘﾝｸ(www.mathunion.org)
ICM 2022
Program Committee for 2022
The IMU Executive Committee will appoint the ICM 2022 Program Committee (PC) at its meeting in March 2019. The chair of the PC is appointed by the IMU President Carlos Kenig, and for the ICM in 2022 it is Martin Hairer of Imperial College, London. The PC will decide all speakers at the ICM 2022. Membership in the PC will only be made public at the Opening Ceremony of the ICM 2022. The reason for this secrecy is to protect the members of the committee from personal or political pressure from outside. Invitations to lecture at the International Congresses carry such high prestige that individuals or groups have always made efforts to influence the decisions of the committee.
The roles the Program Committee and the Organizing Committee play are described in the PC/OC Guidelines.
Chair of the ICM 2022 Program Committee:
Martin Hairer
Department of Mathematics, Imperial College London
135:１３２人目の素数さん
20/12/06 23:40:43.87 crU0maln.net
フェルマまでぶち上げといてI呼ばれなければ、大物は誰一人認めてないってことよね。
無事呼ばれるといいですね。
136:１３２人目の素数さん
20/12/07 00:01:35.00 b7qMiwLa.net
M一派って付き合い悪そうだな
まともそうな★でさえ忘年会に出ないとは、師匠もたいがいなんだろう
137:１３２人目の素数さん
20/12/07 01:07:46.30 1X9exzNs.net
Math jinって結局何者？
138:１３２人目の素数さん
20/12/07 06:50:33.22 ifA6lMeJ.net
>>127
漫然と会議のスケジュールだけ書かれてもね
そんなの数学知らない数学科の事務のオバちゃんでもできるよ
肝心なのは、「いつ」「どこで」以上に「誰が」「どうやって」
Cor 3.12の正当性を示すか、なんだけど
正則行列の条件も知らないオチコボレ君は黙っててくれるかな？
139:現代数学の系譜 雑談
20/12/07 07:33:24.42 iTXaP4Tf.net
>>131
>肝心なのは、「いつ」「どこで」以上に「誰が」「どうやって」
>Cor 3.12の正当性を示すか、なんだけど
１．それは、形式的には終わっているでしょ。英語では、過去完了形
２．つまり、IUTの査読が終わって、論文掲載が決まった
4月にRIMSのプレス発表があり、11月にはems.pressから2021年に特別号による掲載の発表があった
３．よって、通常の論文の正当性のステップを正しく踏んでいるいるのです
（参考）
URLﾘﾝｸ(ems.press)
ems.press
16 NOVEMBER 2020
Two PRIMS special issues to be published in 2021
Apostolos Damialis
The Publications of the Research Institute for Mathematical Sciences will publish two double special issues in 2021, one on Inter-universal Teichmuller Theory by Shinichi Mochizuki and one in honor of Masaki Kashiwara.
140:現代数学の系譜 雑談
20/12/07 07:41:51.09 iTXaP4Tf.net
>>132
＞>肝心なのは、「いつ」「どこで」以上に「誰が」「どうやって」
補足
１．「どうやって」は、いいよね。>>132の通りです。PRIMSの発行によって
２．「誰が」は、IUTの”Explicit”か、そうでないかみたいな
PRIMSの発行に先だって、だれか査読者（複数）が居て、査読が完了したと、プロ数学者は認める
その査読者の適性が問題かもしれないが、通常は問題にされないから、IUTだけそういう重箱の隅をつつくことはない
３．通常は、査読完了で論文が掲載されたとして、真の検証はそこからスタートするみたいなこと
だから、国際シンポジュームとか国際会議は重要です
QEDｗ（＾＾；
141:現代数学の系譜 雑談
20/12/07 07:52:12.68 iTXaP4Tf.net
>>132 タイポ訂正
３．よって、通常の論文の正当性のステップを正しく踏んでいるいるのです
↓
３．よって、通常の論文の正当性のステップを正しく踏んでいるのです
補足
・通常の論文の正当性のステップ：
・査読が終わって、正当性がある程度担保された
・「じゃあ、IUTが使って何かできないか、考えてみるか」、「自分の研究に使えないかな」などなどと、考える人多数
・その発展過程が、真の検証に繋がるのです
・その過程で、なにか出てくるかもしれない（バグとかね）
・良いんじゃ無いすか、それで
・５ｃｈで騒ぐ時は、杉田ってこと
以上
142:１３２人目の素数さん
20/12/07 19:05:35.77 ifA6lMeJ.net
>>132
>>「誰が」「どうやって」
>>Cor 3.12の正当性を示すか、なんだけど
>それは、形式的には終わっているでしょ。
>IUTの査読が終わって、論文掲載が決まった
>よって、通常の論文の正当性のステップを
>正しく踏んでいるのです
中身抜きの手続きの話だけするのは🐎🦌
論文では正当性が示されていない
そして、そのまま査読が通ってしまった
だから数学界における「大スキャンダル」になっている
このことをまず理解しような
143:１３２人目の素数さん
20/12/07 19:07:22.62 ifA6lMeJ.net
>>133
>「どうやって」は、いいよね。
>PRIMSの発行によって
何もやってないまま
PRIMS発行という「暴挙」が
実施されるけどね
>「誰が」は、IUTの”Explicit”か、そうでないかみたいな
>PRIMSの発行に先だって、
>だれか査読者（複数）が居て、査読が完了した
>と、プロ数学者は認める
>その査読者の適性が問題かもしれないが、
>通常は問題にされないから、
>IUTだけそういう重箱の隅をつつくことはない
もし、読者が「確かに正しい」と理解するなら
もちろん、査読者が誰かとか適性があるかどうか
とかいうのは全く問題にならない
し・か・し、読者が皆「これ正しいの？」と思うなら
「査読者、誰だよ！ちゃんと理解して通したのか？」
といわれるのは至極当然のこと
したがって査読者は別に名乗らなくても結構だが
一体なにを理解したのかについて、
別に論文を書いて示す必要がある
それが誠意というもの
わ・か・る・か 🐎🦌
144:１３２人目の素数さん
20/12/07 19:08:31.01 ifA6lMeJ.net
>>134
>査読が終わって、正当性がある程度担保された
そもそもその認識が間違ってるがな
>「じゃあ、IUTが使って何かできないか、考えてみるか」、
>「自分の研究に使えないかな」
理解できない理論を使う馬鹿はおらんよｗ
>その発展過程が、真の検証に繋がるのです
>その過程で、なにか出てくるかもしれない（バグとかね）
そういうのはね、論文が出版される前にやることなの
なんのためにプレプリントがあるのか、わかってる？
あんた研究したことあるの？プレプリント、知らないの？
これだから🐎🦌は困る
145:１３２人目の素数さん
20/12/07 21:22:27.10 CELMCSUg.net
馬鹿なアンチみっともない
アホらしい
146:１３２人目の素数さん
20/12/07 21:32:50.03 s/MtuH9N.net
別に「大スキャンダル」には全然なってない
147:１３２人目の素数さん
20/12/07 21:43:57.63 NRzV6Wss.net
>>138
この人中身のない発言をずっと繰り返してるな
148:１３２人目の素数さん
20/12/07 22:05:11.57 UdhDYPsq.net
正しい数学論文がrejectされているという、論文査読不正が何度も起きていますけど
149:１３２人目の素数さん
20/12/07 23:34:22.53 KyGvDI20.net
正しい論文をリジェクトするのは不正でも何でもないよ
150:１３２人目の素数さん
20/12/08 00:22:50.54 5woaxRnu.net
アンチがスキャンダルとか騒げば騒ぐほどアホらしくなる
低能アンチの戯れ言とかよりそれなりの数学者のいる論文の共著者信じるよ
本当にIUTは世界の数学を変えてしまったんだなと感慨深い
21世紀前半の数学の最大の事件
革命
151:現代数学の系譜 雑談
20/12/08 07:40:36.33 uF/zzuI4.net
>>143
全くです。同意です
この人、統合失調症のお薬を飲んでいるらしいけど
スキャンダルとか、妄想が激しい
＞低能アンチの戯れ言とかよりそれなりの数学者のいる論文の共著者信じるよ
同意です。それに、Promenade in IUT>>127に集う多数の数学者たちもいる。彼らは、IUTの賛同者であり、支持者です
>本当にIUTは世界の数学を変えてしまったんだなと感慨深い
> 21世紀前半の数学の最大の事件
>革命
ほんと、同意ですね
152:１３２人目の素数さん
20/12/08 08:57:05.71 5woaxRnu.net
普通にここの馬鹿なアンチどもより、論文の共同執筆者達のことを信じるわな
彼らも間違ってたらそんなことはやらない
IUTは世界の数学を書き換える革命なわけで
賊軍のアンチは消えゆくのみ
153:１３２人目の素数さん
20/12/08 09:20:32.54 im9PlLlg.net
それなりの数学者を信じるのにショルツ、タオ、サルナックは信じない謎
154:現代数学の系譜 雑談
20/12/08 13:57:03.18 xSgIEKy2.net
>>146
・ショルツェ氏は、院生以下の間違いだと、M先生にこき下ろされたでしょ
・タオは、単に、IUTの応用がないと宣うが、応用は出て来たから、無問題
・サルナックが、分けわからず寝言か？ 睡眠取るように言ってやれよ
155:１３２人目の素数さん
20/12/08 13:58:42.05 IAhLp4Y/.net
こうして世間は笹井朧型に騙された
156:１３２人目の素数さん
20/12/08 14:06:03.40 EynN1pF8.net
>>147
SSレポのRemark 5のFaltings’ theorem (Shafarevich conjecture) applied to the Weil restrictionを通常のFaltings' theoremと勘違いして院生以下だとこき下ろしてしまったあれ？
157:１３２人目の素数さん
20/12/08 14:13:05.62 NGg7UNhH.net
だってショルツもタオも他人事だもん
口を挟んで見たかっただけのただの馬鹿
自分の名で論文出す人生かかる奴の本気と比べものにならん
後はお前らアンチの寝言などゴミ
158:現代数学の系譜 雑談
20/12/08 14:17:49.43 xSgIEKy2.net
>>149
うーん、下記です
難しいことは分からないが
”(melo?)dramatic”と、
”at the advanced undergraduate/beginning graduate level. ”
が印象に残っている
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
・2018年3月、数理研で行なわれたIUTeichに関する議論を纏めた報告書 （および関連文書）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
COMMENTS ON THE MANUSCRIPT (2018-08
VERSION) BY SCHOLZE-STIX CONCERNING
INTER-UNIVERSAL TEICHMULLER THEORY (IUTCH) ¨
Shinichi Mochizuki
September 2018
P1
(C1) : Remark 5, “For fixed ... h(P) ? b.”: I can only say that it is a very
challenging task to document the depth of my astonishment when I first read this
Remark! This Remark may be described as a breath-takingly (melo?)dramatic
self-declaration, on the part of SS, of their profound ignorance of the elementary
theory of heights, at the advanced undergraduate/beginning graduate level. Indeed,
159:現代数学の系譜 雑談
20/12/08 14:22:19.15 xSgIEKy2.net
>>150
>だってショルツもタオも他人事だもん
>口を挟んで見たかっただけのただの馬鹿
ショルツェ氏は、本当に分からない
というか、誤解があると思うけど
純粋の自分のモノドロミー論と合わないと思ったんじゃないですかね？
で、森先生は、ショルツェ氏が（当時）次のICMでフィールズ賞をほぼ確実に取ると思っていたので
早めに、議論をさせて決着させようとしたのが、裏目だった気がする
でも、ことここに至れば
過去の細かい話にすぎない
ショルツェ氏が文句あるなら
正々堂々と主張すれば良いだけのこと
160:１３２人目の素数さん
20/12/08 14:29:11.33 EynN1pF8.net
>>151
まんまそこだな
Faltings’ theorem (Shafarevich conjecture) applied to the Weil restrictionを数学者に再講義するのはかえって失礼に値するとでも考えたのかもしれない
いずれにしてもこき下ろすのには失敗しているだろう
161:現代数学の系譜 雑談
20/12/08 22:24:21.79 uF/zzuI4.net
>>153
ども
機械翻訳ベースで訳しておきます
＜原文＞
Remark 5, “For fixed ... h(P) ≦ b.”:
I can only say that it is a very challenging task to document the depth of my astonishment when I first read this Remark!
This Remark may be described as a breath-takingly (melo?) dramatic self-declaration, on the part of SS, of their profound ignorance of the elementary theory of heights, at the advanced undergraduate/beginning graduate level.
＜DeepL訳を修正＞
備考5「固定された...h(P)≦bの場合」。
私が最初にこの備考を読んだときの驚きの深さを文書化することは，非常に挑戦的な作業であるとしか言いようがありません
この備考は，学部上級/大学院初級レベルの初歩的な理論を知らないことを，SSの側で息を呑むように(メロ？)ドラマ的に自己宣言したものと言えるかもしれません．
(引用終り)
こき下ろすのには失敗しているというよりも
第三者が読むと、M氏は冷静さを欠いていると思われるでしょうね
162:１３２人目の素数さん
20/12/09 02:54:10.77 NJ8ecruB.net
冷静さを装うことに価値を置いてないってだけでしょ
163:１３２人目の素数さん
20/12/09 05:59:20.51 50ljfqgF.net
メルカリで星の宇宙際入門の講究録別冊が売られとる！
164:現代数学の系譜 雑談
20/12/09 07:30:41.70 Y9fXtoyo.net
>>155
>冷静さを装うことに価値を置いてないってだけでしょ
まあ、”頭に血が上った”って状態で書いたんでしょうね
「書きすぎた」って謝罪して、取り消せば良いと思うけどね、大人なら
いまでも、ショルツェ氏を思い出すと、”頭に血が上る”ってことかな？ｗ
冷静になれば、良いと思うけどね
165:現代数学の系譜 雑談
20/12/09 07:33:05.02 Y9fXtoyo.net
>>156
>メルカリで星の宇宙際入門の講究録別冊が売られとる！
わろたｗ
ふと思ったけど、「星の宇宙際入門の講究録別冊」で、京大の内部にいる人なら
星先生のサインを貰って
サイン本として出せば、高く売れたかもねｗ
166:１３２人目の素数さん
20/12/09 09:13:04.46 gg1D7UIW.net
>>154
冷静さを欠いているのはもちろんだが、
それに加えてFaltings' theoremを勘違いしたままこの文を書いてるというのがね
これをSSレポートに反論してると言うのは厳しい
167:１３２人目の素数さん
20/12/09 09:22:00.03 OI6H1GwG.net
>>156
ほんとだ
そうばがわからんが、たかいとおもった
168:現代数学の系譜 雑談
20/12/09 10:32:34.74 0MhUk73M.net
>>159
＞それに加えてFaltings' theoremを勘違いしたままこの文を書いてるというのがね
＞これをSSレポートに反論してると言うのは厳しい
すまん、レベル高すぎで、理解できない
多分、M氏以外のIUT賛同数学者たち、”SSレポートに反論してる”に同意していると思うけど
で、この部分が、クリティカルなの？
もし、クリティカルで、M氏の主張不成立とIUT不成立に繋がるなら、論文にして、紙爆弾を投げてあげて。面白いから（＾＾
もし、クリティカルでなくとも（M氏の主張不成立とIUT不成立に繋がらないとしても）、
SS氏たちの名誉回復の意味で、
論文にして、紙爆弾を投げてあげて。それも一興（＾＾
169:１３２人目の素数さん
20/12/09 10:42:34.12 7RaZ/hCc.net
IUTもあと10年くらい経てば、ハッキリするんじゃね。
まぁ20年かもしれんがな。
ガロア理論も一般に理解されるのためには時間がかかったようだし。
全ては時間が解決すだろう。
170:１３２人目の素数さん
20/12/09 11:30:33.94 wTUZj13G.net
もう、馬鹿なアンチが騒いでいちゃもんつけてるだけ
勝負はついてる
171:１３２人目の素数さん
20/12/09 13:43:25.37 5zDiLu2g.net
ショルツアンチのこと？笑
172:１３２人目の素数さん
20/12/09 17:11:18.82 NJ8ecruB.net
IUTアンチのことだ
ショルツは噛み付き亀な。粘着な噛み方をするw
173:１３２人目の素数さん
20/12/09 19:19:59.49 POQT6ivC.net
>>161
>M氏以外のIUT賛同数学者たち、
>”SSレポートに反論してる”
>に同意していると思うけど
妄想ですな
174:現代数学の系譜 雑談
20/12/09 21:29:11.06 Y9fXtoyo.net
>>166
アンチの維新さん、出動ご苦労さんｗ（＾＾
M氏以外のIUT賛同数学者たち
みんな、SSとM＆Hのバトルは承知の上で
Promenade in Inter-Universal Teichmuller Theory（>>3）
に集う
そして、来年のIUT国際会議（>>3）にも集うだろうね（＾＾
みんな、SSとM＆Hのバトルは承知の上
当たり前ですよ、アンチの維新さんｗｗｗ（＾＾；
175:１３２人目の素数さん
20/12/09 21:36:59.66 XZq4VIb8.net
>>164
本当に馬鹿だね
お前みたいなIUTアンチはｗ
頭おかしい
176:現代数学の系譜 雑談
20/12/10 10:24:14.39 R5bxIRIe.net
>>161
＞＞それに加えてFaltings' theoremを勘違いしたままこの文を書いてるというのがね
M氏は、Faltings先生の直弟子だったのでは？
で、”Faltings' theoremを勘違いしたまま”ってのが
もし、本当だったら、面白い
大喜利なら、ザブトン100枚だな
いや、”Faltings' theorem”は全く分かってないけど、面白そうだ
紙爆弾作って、投げてほしいな～（＾＾
177:１３２人目の素数さん
20/12/11 08:48:26.60 M/I710QA.net
彼のあの文体じゃいくら書いても賛同を得られないよな
178:１３２人目の素数さん
20/12/11 12:21:17.71 zNMVE5rz.net
文体なんてどうでもいい
179:１３２人目の素数さん
20/12/11 18:11:15.06 M/I710QA.net
アンチのことだよ
180:現代数学の系譜 雑談
20/12/12 10:31:20.72 CvV0i5UV.net
ああ、アンチさんのことか（＾＾
因みに、下記Promenade in IUTの参加者が30数人居るのだが
ここに、IUTの査読者が居ると仮定して、また３グループと仮定して
１．まずは、Lille大のグループ。内部で、IUTゼミやったのでは？ それで、こんなに大勢で参加しているのでは？
２．次に、東工大のグループ。内部ゼミの話は同じ
３．三つ目は、阪大安田先生。確か、星先生のIUT入門の謝辞に、安田先生と、広島の松本先生、玉川先生とIUTゼミをやったと書いてあった
だから、全くの想像ですが、安田先生が査読を頼まれて中心になって、IUTゼミをやった気がするな（その後の焼き肉がどうかは不明）
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Promenade in Inter-Universal Teichmuller Theory
List of Participants
Org.: Collas (RIMS); Debes, Fresse (Lille).
181:現代数学の系譜 雑談
20/12/12 18:04:36.44 CvV0i5UV.net
書棚の肥しに、”数学のたのしみ 2005春 フォーラム＝楕円曲線：その魅惑の世界”があって
ふと手に取ると、下記、”志村・谷山予想とフェルマーの最終定理／藤原一宏”が目にとまった
ぱらぱらめくると、最後P68
”楕円曲線についてのSzpiroの予想や、その帰結である abc-予想を解決することが当面の最重要課題である・・24)
24)望月新一の進行中の仕事がある”とあるのを見つけた（＾＾
藤原一宏先生、2005年ころから、”望月新一の進行中の仕事”を知っていたんだ
というか、業界では有名な話だったのかもしれない
いま、2020年で、15年前のこと
もしIUTが正しく、Szpiroの予想、abc-予想を解決し、フェルマーの最終定理の別証明を与えているなら、
あらためて、凄い業績だと思う
きっと、正しいのでしょうね（＾＾
（参考）
URLﾘﾝｸ(www.nippyo.co.jp)
数学のたのしみ 2005春 発刊年月 2005.05
フォーラム＝楕円曲線：その魅惑の世界
目次
特集＝楕円曲線：その魅惑の世界
志村・谷山予想とフェルマーの最終定理／藤原一宏
182:１３２人目の素数さん
20/12/15 11:36:39.35 4VR9+PSW.net
数学者の人のツイートで、最新の共著論文も「Cor 3.12という条件つき」と指摘されましたねー
ABC予想が完全に証明されたので、ここからギャップを埋めていく作業に入る感じでしょうか
183:１３２人目の素数さん
20/12/15 18:03:08.31 f6oH4GwT.net
theHigherGeometerのことか
このひと別に遠アーベルの専門家でも何でもないじゃん
184:１３２人目の素数さん
20/12/15 18:09:31.13 IetGpV/e.net
アンチは馬鹿ばかりだから
ゴミ
185:１３２人目の素数さん
20/12/15 19:25:32.23 CEX8aew8.net
>>175
>数学者の人のツイートで、最新の共著論文も「Cor 3.12という条件つき」と指摘されましたねー
なら、以下の
>ABC予想が完全に証明されたので
はまったくの誤りだね
「Cor3.12から”強い”ABC予想が証明されたので」が正しい
>ここからギャップを埋めていく作業に入る感じでしょうか
そもそも、Cor3.12から何が導けるか
186:、とは無関係に 数論からCor3.12が導けることを示さない限り 数論としては完全に無意味だけどな （Cor3.12が成立しないなら、特に）
187:現代数学の系譜 雑談
20/12/15 23:56:18.78 8sGhvS17.net
>>178
”Cor3.12”の議論は、いずれどこかでやることになるでしょ
Promenade in ＩＵＴはないかも知れないが
来年の国際会議でもいいし、いまどきなら、Ｚｏｏｍで”Cor3.12”の公開バトルやれば、面白いと思うな（＾＾；
あと、math jin 氏のサイトに転載された HigherGeometer氏ね
彼のいうのは、半分はセイロンだけど、半分は尻馬でしょショルツェ氏の（自分ではＩＵＴなんも分かってない感じ）
いずれ、”Cor3.12”もこなれた議論になっていくと思うよ
「分かる説明がない」？ そりゃ、ケドラヤが分からんいうくらいだから、５ｃｈで「分かる」いう人がいたらへんだよ（HigherGeometer氏がケドラヤより上とはおもえんし）
一方で、Lille大の連中が、何にも訳分からず ”Promenade in ＩＵＴ”やっているかというと、そんなこともないだろう？ ガキの遊びじゃあるまいし（＾＾
みんな、ちゃんとプロ数学者の仕事としてやっているわけで、ＩＵＴを認めてやっているわけだ
そんなことは、時間が解決するものさ
そう、慌てなさんな
徐々にだが
着々と進んでいるよね。それは、今年の４月のプレス発表のときとの差分を取れば、認識できるはず
188:１３２人目の素数さん
20/12/16 04:56:22.24 Wq4YCLiQ.net
>>179
あ、１０年間、ガロア理論の基本定理を誤解し続けた
🐎🦌が臆面もなく固定ＨＮ＆トリップ付きで出てきたｗ
こいつ恥とか感じないんかな？
>”Cor3.12”の議論は、いずれどこかでやることになるでしょ
いつかどこかで誰かがやるだろう？ 他人事かよｗ
今ここでおまえがやれよ ＩＵＴ狂信者のおまえがｗ
できない？だったら黙れよ 固定HNやめろよ トリップやめろよ
🐎🦌がトンデモ発言しても、みっともないだけだろ
>そんなことは、時間が解決するものさ
>そう、慌てなさんな
時間だけ経っても、愛国🐎🦌以外には支持なんかされないよ
諦めろよ おまえは眞子にたかる金の亡者の小室圭か？
>徐々にだが着々と進んでいるよね。
🐎🦌の完全な妄想ｗｗｗｗｗｗｗ
Cor3.12は証明できないまま
「望月妄想理論」の病が狂賭で進行中
189:１３２人目の素数さん
20/12/16 07:42:45.35 BiNBGmDm.net
専門外の素人のScholzとか信じてアンチはアホだな
望月のもとに参集しだした数学者達は相手にしてないだろ
190:１３２人目の素数さん
20/12/16 07:57:27.35 Wq4YCLiQ.net
望月が日本人だというだけで信じてシンパはアホだな
海外の数学者は極一部を除いて相手にしてないだろ
191:１３２人目の素数さん
20/12/16 08:11:51.01 Wq4YCLiQ.net
2012年のネットでの論文発表以来、Cor3.12については
全く証明に値するものが書かれていない
つまり、Cor3.12は望月予想に過ぎないのだが、
望月もその取り巻きもこのことを全く明確にせず
あたかも自然数論からCor3.12が証明できたかの如く
語るのは完全な知的詐欺行為である
日本人が真に知的誠意を有
192:しているならば 目先の名声の獲得とかいう餌につられることなく Cor3.12が予想に過ぎないことを明確化させるべきである そうしないかぎりヨーロッパの白人どもに 「ま～た、アジアの黄色いサルが、口からデマカセのホラ吹きよった」 と罵られるのである
193:１３２人目の素数さん
20/12/16 09:38:16.07 BiNBGmDm.net
Scholz自体は門外漢が口を挟んでるだけだろ
そして、その周りの尻馬に乗る馬鹿だけ
194:１３２人目の素数さん
20/12/16 09:58:18.84 RgA+KN5w.net
>>176
専門家でないからなんと言うのか
つい最近もエンジニアとサイエンティストは違うから数学をやってきた人に工学は理解できない、という主張を受けたのだが、どうも餅は餅屋が普遍的に成り立つと無根拠に信じることが多いらしい
学問の垣根は学問が定めたのではないのに
195:１３２人目の素数さん
20/12/16 11:06:07.54 hUCqiRen.net
「日本人だから応援してる」って完全にお前の思い込みじゃん
痛々しすぎるｗ
196:粋蕎
20/12/16 12:50:05.76 Ne+lNEwk.net
確信しきっとるなら儲けを見込んで担保を巨額掛ければ良え物を其れせん云う事は不確信を
張ったりで他人に対してのみならず自身に対しても欺瞞誘導しとる云う事に他ならん
197:現代数学の系譜 雑談
20/12/16 22:17:46.76 P6+AMEe7.net
・Cor3.12の周りの証明が理解できないという数学者多数いることは事実
・Cor3.12の証明で、「なんかへん」と言った数学者二人（＝ＳＳ）
・ＩＵＴの応用がないと言ったタオ（しかし、応用はでつつある）
・さてその一方で、ＩＵＴを支持する数学者がじわじわ増えているのも事実
それが、Promenade in Inter-Universal Teichmuller Theory に集う 30数名にのぼる数学者たち
（特に、Lille大の増加がすごい）
・それ以外に、従来からＩＵＴを支持している、米Ｄｕｐｕｙ氏、Ｊｏｓｈｉ氏、加えて英 Fesenko氏（彼はロシア人でもある）
それから、米カリフォルニアバークレイから講演を頼まれたから、そこにも理解者がいるようだ
・Promenade in Inter-Universal Teichmuller Theoryは、順調に進んでいるようだし
来年は４本だての映画・・じゃなかった国際シンポジュームが予定されている
ちゃくちゃくですよ、ちゃくちゃくとね
198:現代数学の系譜 雑談
20/12/16 22:37:22.53 P6+AMEe7.net
余談だが、私も下記と同様のことをどこかで読んだが
小平先生が「強制法が理解できなかった」と書かれていた
だが、小平先生が理解できないから、強制法が間違いとか
そういうことはない。小平先生もそんなことは言っていない
つまり、分かる分からないと、正しい正しくないは別もの
なお、２名のＳＳは、証明がおかしいと言っている（ショルツェ氏のモノドロミーと合わないんだって）
そういうことを、きちんと腑分けしないと
アンチは、みそくそいっしょだよね
（参考）
URLﾘﾝｸ(www.)ろぐそく.com/r/２ちゃんねる/math/1207899938/
数学基礎論の質問スレッド その4
388 ： １３２人目の素数さん[] 投稿日：2009/01/10(土) 15:17:17
KleeneやSchoenfieldって良くないんですか？
小平先生ですら、この本で強制法が理解できなかったらしいのですが。不完全性定理はわかった気がした程度らしいです
今だったら、何の本がいいのでしょうか
199:１３２人目の素数さん
20/12/16 22:40:24.33 /IhgkJ+Q.net
てかcor3.12ってショルツから言われた後で証明追加したverが出てなかったっけ？確か数ページにわたる証明を望月さんが足してた気がするんだが。勘違いだったらすまんけど
200:１３２人目の素数さん
20/12/17 06:14:31.56 /LLmIxUL.net
>>188
RIMS主催の会議に参加したからといって、IUTを認めたことにはならんがな
「Cor3.12が正しかったら…」と期待してるだけで、望月の”証明”を認めたわけじゃない
そこ、はき違えたら、アウト
むしろ、証明を認めてないから、自分が証明できたら全部いただき、だから
会議の参加者は、全員望月の首を狙う敵と思ったほうがいいね
201:１３２人目の素数さん
20/12/17 06:17:15.59 /LLmIxUL.net
>>190
足したからOKってことにはならんがな
Scholzeの指摘にこたえるものではなかったってことで
ABC予想はいまだにopen problem これが現実
202:１３２人目の素数さん
20/12/17 06:30:20.65 /LLmIxUL.net
>>189
ところで、あなた、ガロア理論の基本定理は理解できましたか？
以前、「ガロア理論の基本定理」を完全否定する主張を声高に叫んでましたが
任意の有限群GについてGal(K/k)=Gとなる拡大があるからといって
その拡大をそのままGal(K'/Q)と”平行移動”できないことは理解しましたか？
203:現代数学の系譜 雑談
20/12/17 07:46:25.62 oSazJ0Tb.net
>>191
>RIMS主催の会議に参加したからといって、IUTを認めたことにはならんがな
>「Cor3.12が正しかったら…」と期待してるだけで、望月の”証明”を認めたわけじゃない
維新さん、妄想でしょ
１．Promenade in ＩＵＴに参加している数学者たち、当然 ＳＳ ｖｓ 望月・星の論争は知っているはず。文書も読んでいる
その上で、望月側についたってこと
２．Lille大から多数参加者がいるのは、Lille大内でＩＵＴのゼミをやったのでしょうね、きっと
そして、その上でＩＵＴが正しいと判断して参加していると思うよ
３．「Cor3.12が正しかったら…」は、第一関門としての査読である程度は担保された
実際来年早々に、正式に雑誌に掲載されることが決まっている
おっさん、そういう客観的な事実に基づかない、妄想の議論だから、皆からバカにされると思うよ
204:現代数学の系譜 雑談
20/12/17 08:07:04.41 oSazJ0Tb.net
南出とPorowski 氏が、3年ほど共同研究をして、望月ＩＵＴを発展させ、明示公式を導いて、強いＡＢＣ予想の証明と、それによるフェルマー最終定理の別証明を導いた
もし、Cor3.12がダメだったら？
二人のプロ数学者のキャリアとしての一番大事な20代の後半の数年間が、ドボンになるのです
二人は、当然、ＩＵＴが正しい信じて、明示公式の証明と、強いＡＢＣ予想の証明に立ち向かったに違いないのです
Promenade in ＩＵＴに参加している数学者たちも同じ
もし、Cor3.12がダメだったら？ 彼らは、自分の名前を出しているでしょ。名前を出している人は、当然、ＩＵＴが正しい信じているのです
205:１３２人目の素数さん
20/12/17 08:12:34.08 /LLmIxUL.net
>>195
「Cor3.12から弱いABC予想だけでなく強いABC予想も導ける」
というのは成果である
しかし、それは
「弱いABC予想だけでなく強いABC予想も導ける」
とは違う
もし、Cor3.12がダメだったら？
最初からやり直してください
それが数学ですから
数学は厳しい世界ですよ
それを理解して数学の世界に入ってきたんなら
死んでも本望でしょう
206:１３２人目の素数さん
20/12/17 08:21:01.75 /LLmIxUL.net
>>194
数学は戦争ではありませんよ
望月のCor3.12に興味があるなら、
望月がそれを証明したとは思ってなくても
会議には参加するでしょう
PRIMSに論文が掲載されたからといって
正当性が示されたことにはなりません
むしろ関係者が理解してないのに
論文掲載を強行したPRIMSは
数学者コミュニティでの
評価を下げたでしょうね
馬鹿なことをしたもんです
207:１３２人目の素数さん
20/12/17 09:46:53.73 PE76dulp.net
アンチは笑える
みっともない
208:現代数学の系譜 雑談
20/12/17 11:22:25.41 65QzzJ17.net
>>198
同意
脳内にうずまく妄想を書いているだけ
209:現代数学の系譜 雑談
20/12/17 16:35:03.11 65QzzJ17.net
>>196
>もし、Cor3.12がダメだったら？
>最初からやり直してください
やり直しは当然
数学だから云々関係ないよ
「最初から」か、部分修正で済むかは、具体的事案ごとでしょう
>>197
>望月のCor3.12に興味があるなら、
>望月がそれを証明したとは思ってなくても
>会議には参加するでしょう
名前を出している人以外の参加者もいる
参加者は公募していた
210:はず 文句あるなら、あなたもご参加を。そして、そこで文句言え 名前を出している人は、講師の側だろ。興味あるだけなら、一般参加だよ >むしろ関係者が理解してないのに >論文掲載を強行したPRIMSは >数学者コミュニティでの >評価を下げたでしょうね 日本国内で、IUTに疑問を表明している数学者の名前 具体的に挙げて見なよ 例の”某西野うんぬん”は、別にしてさ
211:現代数学の系譜 雑談
20/12/17 17:08:13.24 65QzzJ17.net
>>200
>日本国内で、IUTに疑問を表明している数学者の名前
>具体的に挙げて見なよ
確かに、数年前は、日本国内でもIUTに賛意を示す人は少数だったと思うけど
今年になって
・４月のRIMSプレス発表（玉川、柏原 両巨頭）
・その後、Promenade in ＩＵＴ 開始。特に、フランス Lille大からの大勢の参加
（国内からの参加者も多数いるし）
・さらに、欧州からPRIMSの別冊として、2021年発行のアナウンス
・さらには、米カリフォルニア バークレイからの望月先生への講演要請
・南出氏の明示公式とフェルマーの最終定理の別証明論文公開
などなど
日本国内でもIUTに対する空気は変わったと思うよ
212:１３２人目の素数さん
20/12/17 17:13:33.04 ZvJtRH5+.net
アンチはもちろん東大か京大卒だよね？
修士博士課程も修了して今は旧帝大の准教授以上だよね？
そうでなかったらスレの無駄だから大人しくしといてくれ
213:１３２人目の素数さん
20/12/17 19:13:46.06 /LLmIxUL.net
>>199
>脳内にうずまく妄想
ガロア理論の基本定理も誤解した貴方に
ＩＵＴの成否がわかるわけないですから
残念！！！
214:１３２人目の素数さん
20/12/17 19:18:05.88 /LLmIxUL.net
>>200
>文句あるなら、あなたもご参加を。そして、そこで文句言え
悪態つくひまがあったら、ガロア理論の基本定理の証明、読みましょうね
証明読まないから
「Gal(K/K')からGal(L/Q)が作れる！！！」
とか、口からデマカセのホラ吹くんだよ
どうやってK'を構築してるかわかれば
そんなホラ、口にした瞬間に
嘲笑されるってわかるんだけどねえ・・・
215:１３２人目の素数さん
20/12/17 19:21:32.36 /LLmIxUL.net
>>202
シンパ君は、東大卒で修士も博士もとって、今や旧帝大の准教授様かい？
じゃ、こんなところで発●して●違いカキコする暇があったら
IUTによるCor3.12の完璧な証明論文書こうね じゃあねｗｗｗ
216:１３２人目の素数さん
20/12/17 22:04:08.45 ZvJtRH5+.net
結局東大・京大じゃないのか・・・
そんな奴が、京大や外国の俊英が
複数で8年近く精査して決めたことに文句つけてるのか・・・
本人は草生やして愉快なようだが、笑い話にもならんな・・・
217:現代数学の系譜 雑談
20/12/17 23:39:31.69 oSazJ0Tb.net
>>203
おれは、当然ＩＵＴの成否などわからんよ
分かろうとも思わないが、もう少し加藤文元本より、数学的な解説があれば読んでみたいね
それはともかく、IUTの成否についていえば、真っ当な査読が完了し、来年2021年早々に出版されるというのが事実でしょ
おっさん、妄想も大概にしろよな
>>205
>IUTによるCor3.12の完璧な証明論文書こうね じゃあねｗｗｗ
おっさん、「Cor3.12の完璧な証明論文」は望月が書いてあるんだよ
査読は終わった。それが出版されるということが、それが理解できない？
もしIUTに何かギャップが発見されるとしても、それはSSの指摘とは別だろうさ
SSの指摘も含めて、複数の人が査読してOKを出しているんだからさ
>>206
>結局東大・京大じゃないのか・・・
いやいや、維新さんは「”自称”東大数学科出身」ですよ！ｗ
いまだけ、謙遜しているんだよ。まあ、”自称”だがね
218:現代数学の系譜 雑談
20/12/17 23:47:19.59 oSazJ0Tb.net
まあ、もし数学科の学部か修士の人が見ていたら
大学の整数論のプロ教員に
「IUTの真偽について、どう思いますか？」って聞いてみて（＾＾
おそらく
「去年までは、SSの議論もあり半信半疑だったが、今年に入って大きな動きがあった。
特に、フランス Lille大が支持している。IUTの明示公式からフェルマー予想の別証明を与える論文も出てきたところを見ると、
IUTは正しそうだ」
みたいなご意見の人が増えている気がするな
219:１３２人目の素数さん
20/12/18 05:54:59.85 gVC/T2EK.net
リール大じゃなぁ...
海外のディオファントス問題ガチ勢は無反応でしょ。
220:１３２人目の素数さん
20/12/18 06:17:11.11 wcP2xck3.net
>>206
>8年近く精査
8年もかかるわけないだろ
ショルツを呼んだ時点でもうヤバかった
森重文がどういうつもりでショルツを呼んだのかわからんが
望月にあきらめさせるつもりだったのかもしれん
しかし案に相違して突っ張り続けた
まるでＡ宮家のＭ子サマ
こうなったら国内では誰も止められない
結局そのまま査読完了 論文出版
世界に恥を晒した 日本数学界
221:１３２人目の素数さん
20/12/18 06:30:38.89 wcP2xck3.net
>>207
>おれは、当然ＩＵＴの成否などわからんよ
あたりまえだろ
正規部分群もガロア理論の基本定理も誤解した
工学部卒のド素人にわかるわけない
>分かろうとも思わないが
だったら口出すなよ ド素人
貴様はガロア理論の教科書、頭から読み直せ
>「Cor3.12の完璧な証明論文」は望月が書いてあるんだよ
日本語オカシイな おまえ朝鮮人か？
日本人ならこうかく
”「Cor3.12の完璧な証明」は望月の論文に書いてあるんだよ”
あのな、完璧な証明なら、即認められてるって
巨大な穴がぽっかりあいてて全然埋まってないから、海外の連中が
”意味わかんね 望月は気が●ったか？”
といってるわけ
いくら国内で「査読完了！論文出版！」とかわめいたって意味ないの
Ａ宮家のＭ子サマが「ＫＫとケッコンするんだもん！」といっても
「あんな金の亡者の母親にビタ一文だせるか、ヴォケ！」
という国民の怒りは消せないのと同じ
これで一時金出したら革命が起きて皇室は倒れる
222:１３２人目の素数さん
20/12/18 06:38:06.81 wcP2xck3.net
>>208
>…気がするな
「…と思う」の次は「気がするな」か
あのな、そういう言葉を文末につける時点で
「これはボクちゃん一匹の勝手な妄想です！」
って気づけよ、ヴォケ！
「ＩＵＴってどう思います？」
って数論幾何関係者に聞いた場合の想定回答
「成否以前に名前がイタすぎて恥ずかしいね
”宇宙際タイヒミュラー”って何？（失笑）
数学全体への影響？ないよ
例えばゲーデルの不完全性定理が数学に影響を与えたかい？
そんなこと全然ないだろ？ それと同じくらい何もないね
ＫＦ？ああ、彼は数学者としてはもう終わった”売文業者”だから（苦笑）」
223:１３２人目の素数さん
20/12/18 06:42:03.08 wcP2xck3.net
>>209
リール大って誰かいたっけ？
何か名前書いてあったけど、有名人？
224:１３２人目の素数さん
20/12/18 07:00:23.14 EhBCiRen.net
なんかスレの流れ見たら
やたらCor3.12だのショルツがーーだので溢れかえってるけど
数学界は誰もCor3.12だのショルツとの反論再反論だの
一向に興味もってねーーから
ばっかじゃねえのここの連中は
225:１３２人目の素数さん
20/12/18 07:06:34.85 EhBCiRen.net
おまえらもっと
他人から興味を持ってもらえること
自分が本当に美しいと思うこと
生産性があること
について語れよ
栄誉だの名声だの成果だの偉業だの
そんな事にしか興味ないバカは政治の話にでも首突っ込んでロ
226:１３２人目の素数さん
20/12/18 07:15:40.55 wcP2xck3.net
>>215
>他人から興味を持ってもらえること
>自分が本当に美しいと思うこと
については大いに賛同
>生産性があること
については意味がわからん
もし
「便利なこと」「役に立つこと」
と書いてくれたら、賛同したんだが
自分でもわからん言葉で書く
227:な 何を生産するのかわからんのに、生産性とかいう言葉で 「あ、おれ、今、意味あること語った」 とエクスタシーを感じるな 馬鹿になるぞ
228:１３２人目の素数さん
20/12/18 07:17:08.61 EhBCiRen.net
>>212
>あのな、そういう言葉を文末につける時点で
>「これはボクちゃん一匹の勝手な妄想です！」
>って気づけよ、ヴォケ！
横からだしどーでもいーけど
文末じゃなくて中身を具体的に批判して差し上げよう
>「成否以前に名前がイタすぎて恥ずかしいね
>”宇宙際タイヒミュラー”って何？（失笑）
「(グロタンディーク)宇宙」ってのはずっと昔からある圏論的な概念だぞ
>例えばゲーデルの不完全性定理が数学に影響を与えたかい？
>そんなこと全然ないだろ？
ゲーデルの不完全性定理の内容自体は数学に影響をあまり与えてないけど
ゲーデルの不完全性定理というモノを厳密に証明し得た事自体は
世界全体に影響を与えた
>数学全体への影響？ないよ
IUTが数学全体に影響を(今現在のところ)与えていないのは全くその通り
だから世界中のみんなは関心がない
IUTがやった事はよくてABCを解決しただけ
数学の構造自体に新しい境地も見通しも与えてない
229:粋蕎
20/12/18 07:23:39.02 cVYIW1AA.net
ギャップ…正にIUTバブル
果たして此のバブルは稠密なスポンジを形成するか、はたまた既にボイドと化しとるのか
230:１３２人目の素数さん
20/12/18 07:24:33.38 EhBCiRen.net
>>216
生産性とは、次につながっていく、夢を見させてくれるモノの事だよ
>便利なこと」「役に立つこと」
>と書いてくれたら、賛同したんだが
そんな刹那的な実利的なニュアンスの事を一切指してない
>何を生産するのかわからんのに、生産性とかいう言葉で
質問返しの詭弁ですね
一行一句で宇宙の始まりからの全てを記述仕切れるはしない
俺はまず「Cor3.12だの何だのって話はバカバカしい」という提案をしたまで
そこからもしあなたがなにか不服や腑に落ちない事があれば
それらは次の議論の展開の中でやりとりされればいい
「宇宙の始まりから完全に記述してないぞ」という煽りは従って詭弁
そういう質問返しではなく具体的に何がおかしいのか
今度はあなたが具体的に立証義務を負う番
231:１３２人目の素数さん
20/12/18 07:41:23.13 wcP2xck3.net
>>217
>「(グロタンディーク)宇宙」ってのはずっと昔からある圏論的な概念だぞ
で、IUTはそのグロテスク宇宙ｗに関わる理論かね？どうだ？
>ゲーデルの不完全性定理の内容自体は数学に影響をあまり与えてないけど
だろ？
>厳密に証明し得た事自体は世界全体に影響を与えた
上記の「世界」は、せいぜい論理学界だな
ボクは論理学やってたからゲーデルの成果はみな重大だと思うけど
一般の数学者はそんなもの一つも知らんうちにくたばるだろう
>IUTが数学全体に影響を(今現在のところ)与えていないのは全くその通り
>だから世界中のみんなは関心がない
>IUTがやった事はよくてABCを解決しただけ
>数学の構造自体に新しい境地も見通しも与えてない
だろ？
例えば、マチャセビッチによるヒルベルト第10問題の否定的解決は
論理学者にとっては実に興味深い成果であるが、
数論屋にとっては空のかなたの超新星爆発程度でしかないだろう
IUTのインパクトは第10問題の解決よりは大きいかもしれんが
結局数論内部の出来事でしかない
232:１３２人目の素数さん
20/12/18 07:45:10.40 wcP2xck3.net
>>219
>生産性とは、次につながっていく、夢を見させてくれるモノの事だよ
なら
他人から興味を持ってもらえること
自分が本当に美しいと思うこと
上記２点につながっていくこと
と書けばいい
いかがわしい熟語を使うと馬鹿になるぞ
P.S.
>「宇宙の始まりから完全に記述してないぞ」
どこの幻聴だ？ｗ
精神科で診てもらえ 貴様、統合失調症の可能性大だぞ
233:１３２人目の素数さん
20/12/18 09:13:04.83 jzZAqlSe.net
アンチは本当に馬鹿だな
人生かかってる数学者達がIUTに賛同して動き出してるのに、馬鹿なアンチが何を言ったって無駄なのに
Scholzとかは専門外の野次馬がいっちょかみしただけ、取るに足りない
馬鹿馬鹿しい
234:１３２人目の素数さん
20/12/18 10:37:51.20 SmbPcbGu.net
数論に関係ない、とか専門外だ、
という言が出てくるのは発言者が高々数論幾何しか理解できないからであって、
グロタンディークからショルツやテレンスタオに至るまで多岐にわたる分野に精通している(タオは代数が苦手とインタビューで答えていた記憶があるが、それでも日本の修士より得意だろう)
235:１３２人目の素数さん
20/12/18 11:57:37.33 zSOrmThu.net
「日本の修士より得意」くらいじゃ何もできんだろ
アホか
236:１３２人目の素数さん
20/12/18 13:46:43.78 SmbPcbGu.net
「日本の修士より得意」というのは「日本の博士より下手」といったことを得られるわけではないので、「何もできないと結論づける」ことは出来ない
かっこ内の補足「だけ」指摘する論点ずらしに加え、そのずらした論点での主張ですら「誤謬」が存在する
そして自分が「議論」が苦手なのを知ってか知らでか暴言で押し通そうとする
褒めることのできるポイントが残念ながら無い
237:１３２人目の素数さん
20/12/18 14:23:18.08 zSOrmThu.net
そんなこと言ったら>>223の2行目なんて完全なお前の憶測じゃん 説得力なし
必死な馬鹿だな
238:１３２人目の素数さん
20/12/18 14:31:33.72 hD1MyVpF.net
野次馬です
久しぶりに来たけどどうなった？
239:１３２人目の素数さん
20/12/18 15:29:01.30 SmbPcbGu.net
>>226
数論幾何以外が理解できているのであれば、当然数論以外の成果の意味や意義も理解できる
という推論だよ
ところで、例えば「1+1=2なので、2=1+1である」といった推論にも「憶測だ」と言うこと「だけ」は出来る
でもそれは「議論」ではないだろう？
240:１３２人目の素数さん
20/12/18 15:41:08.34 SmbPcbGu.net
>>227
最新状況は以下の通り(以下は「事実」であるはずなので、賛成とか反対とか無関係に同意いただけると思っている)
今月12月に、共著論文でIUTによってABC予想を完全に証明したとする論文が出た
ただし、ある数学者からはCor 3.12を仮定していると指摘されている
Cor 3.12の証明に納得していないとScholzeが述べて以降(つまりScholzeが今年の4月頃にある瑞lのブログのコャ＜塔gで触れて�以降)、Cor 3.12の証明は追記、書き直しされていない
よく知られているように矛盾からは何でも証明できるので、仮に「Cor 3.12が誤っていて、その上でCor 3.12が正しいと仮定した」場合、ABC予想をもちろん含む全ての命題を証明できる
したがって現状IUTが正しいかは分からないということになる
241:１３２人目の素数さん
20/12/18 15:43:24.92 zSOrmThu.net
>>228
「理解できている」なんて定性的な表現を何の担保もなしに使ってしまう不用意さ、
しかも数論幾何の理解と「1+1=2」のそれを安易に等置してしまう素朴さ
どれをとっても頭が悪すぎて話にならんな
242:１３２人目の素数さん
20/12/18 16:11:58.30 hD1MyVpF.net
>>229
丁寧な説明感謝です
論文は出たものの、まだ受け入れてない人もいて、それに対する納得のいく反論もなされてない
ってことか
でも正式に？論文が出たってのは大きいのかな
243:粋蕎
20/12/18 18:00:13.24 cVYIW1AA.net
>>222
其の論法は無意味
＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
シンパは本当に馬鹿だな
人生かかってる原発屋達が核燃料サイクルに賛同して動き出してるのに、馬鹿なシンパが何を言ったって無駄なのに
菅直人とかは専門外の野次馬がいっちょかみしただけ、取るに足りない
馬鹿馬鹿しい
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
ほら。じゃけぇ「信疑一如」や「君子は人を過信せず。また過疑せず」を心掛け
理解熟達者以外のあらゆる理解不足者は無定見（≠日和見）で居るべきなんじゃ｡
244:粋蕎
20/12/18 18:47:47.77 cVYIW1AA.net
本当に絶対に確かに正しい事ならば全財産を高額生命保険掛け生命込みを担保に主張する事が出来る｡
出来ないならば不確信が故の張ったりで他人に対してのみならず自分に対しても欺瞞しているに他ならん｡
他人の不確信へは張ったり
245:信念の叩き売り押し売りで標的を迷妄盲信に誘惑し騙し通し､ 自分の不確信滅り込みには張ったり信念で叩き出し尤もらしさを騙し騙し偽装しつつ自身も迷妄に耽り盲信する｡ ジークIUT公国軍ハイルモッチー IUTユートピア学園グレートモッチーティーチャー 聖IUT真理教モッチー尊師
246:１３２人目の素数さん
20/12/18 19:31:18.52 lBFTWv4r.net
アンチは頭おかしいな
247:１３２人目の素数さん
20/12/18 19:53:12.70 wcP2xck3.net
>>229
>今月12月に、共著論文でIUTによってABC予想を完全に証明したとする論文が出た
今月(12月)に、共著論文でIUTによって”強い”ABC予想を証明したとする論文が出た
・条件が強化されたので、「強い」を入れた
・一方、ギャップを埋めたわけではないので
「ギャップが無い」と誤解されかねない
「完全に」の文言は削除した
>ただし、ある数学者からはCor 3.12を仮定していると指摘されている
当該論文は、Cor3.12の証明を行ったものではない
>Cor 3.12の証明に納得していないとScholzeが述べて以降
>Cor 3.12の証明は追記、書き直しされていない
つまり、Cor3.12の証明については指摘に対応する修正ができないままである
>したがって現状IUTが正しいかは分からない
要するに、Cor3.12は定理ではなく、あくまで「予想」である
Cor3.12から矛盾が導かれれば、Cor3.12は否定される
248:１３２人目の素数さん
20/12/18 19:53:34.75 wcP2xck3.net
>>231
>正式に？論文が出たってのは大きいのかな
RIMSはこれで評判を下げた
249:１３２人目の素数さん
20/12/18 20:11:50.81 nIDiYVfL.net
もともと埋めるべきギャップがないなら、埋めようがない、という考え方もある。
250:１３２人目の素数さん
20/12/18 22:22:02.00 CjZlQfYN.net
単に読み抜けてる人多いのでは
251:１３２人目の素数さん
20/12/19 06:42:42.07 4b7NgT9S.net
そもそもギャップがないのなら、批判すらない、と思わんのか？ダラズが！
日本人バンザイといいたいだけのためにIUTは正しいといいはるシンパこそ頭オカシイ
ウソをホントだといいはることこそ日本、いや数学に対する冒涜と知れ！
252:１３２人目の素数さん
20/12/19 09:36:55.63 3WvcHhfj.net
>>239
ギャップが無くても批判が生み出されたのがIUTだよ
ショルツが批判したのが理由でIUTのギャップの有無を精査もせずにな
何故ならフィールズ賞受賞者が批判したからだ
権威にひれ伏す弱い心情のやつらだからフィールズ賞受賞者まで批判してるのならダメなんだろうという予断の心理が作用した
253:現代数学の系譜 雑談
20/12/19 12:46:46.00 VsuSehd0.net
>>240
同意
・過去例は、カントールをクロネッカーが批判したとか
・さらには、虚数や非ユークリッド幾何の世間の受容みたいなこと（ガウスは、結構慎重だったと言われる。ガリレオの宗教裁判みたいなことを心配したのかもね）
・あまりにも、従来の話からの乖離が大きいと、ついて行けない人多数。天動説と地動説がそれ
・世間の受容には時間がかかるが、しかしＩＵＴの受容はプロ数学者間では進んでいる気がする。その例が仏Lille大でしょう
254:現代数学の系譜 雑談
20/12/19 12:50:14.84 VsuSehd0.net
圏論なんかも、最初は空虚な一般論みたいに
”アブストラクトナンセンス”と批判されたらしい
でも、今は圏論は数学理論として市民権を、得ています
ＩＵＴも、もうすぐそうなると思うよ
255:１３２人目の素数さん
20/12/19 13:06:26.43 4b7NgT9S.net
>>242
>・・・と思うよ
その４文字を書いた瞬間に自分一匹の妄想と気づけ
ガロア理論の基本定理も理解できない
ジコ中愛国🐎🦌が数学板に書き込むんじゃねえ
貴様の💩で数学が汚れる（嘲）
256:現代数学の系譜 雑談
20/12/19 13:15:54.85 VsuSehd0.net
チラミで外しているかもしれないが
いまからＩＵＴを勉強しようとする人は
下記の南出論文 ”Explicit Estimates in ＩＵＴ
257:”を先に読むのが良いのでは 結構、ＩＵＴ Ｉ～ＩＶと ”μ6-Theory”との関連について、いろいろ書かれている そこを頭に入れておくと、議論の流れが掴みやすいかもね （私は、中身は全然読めないけど、1時間くらい流し読みして、そう思ったね） http://www.kurims.kyoto-u.ac.jp/~yuichiro/rims1933.pdf RIMS-1933 November 2020 Explicit Estimates in Inter-universal Teichm¨uller Theory By Shinichi MOCHIZUKI, Ivan FESENKO, Yuichiro HOSHI, Arata MINAMIDE, and Wojciech POROWSKI Contents Introduction 2 Acknowledgements 8 0. Notations and Conventions 8 1. Heights 9 2. Auxiliary numerical results 20 3. μ6-Theory for [EtTh] 22 4. μ6-Theory for [IUTchI-III] 25 5. μ6-Theory for [IUTchIV] 32 References 54 P4 Theorem A. (Effective version of the ABC inequality over monocomplex number fields) Theorem B. (Effective version of a conjecture of Szpiro) Let a, b, c be nonzero coprime integers such that Corollary C. (Application to “Fermat’s Last Theorem”)
258:１３２人目の素数さん
20/12/19 14:26:26.57 5PhEvb84.net
RIMSの存亡を賭けて発行してくれるんだよね＾＾
259:１３２人目の素数さん
20/12/19 15:02:23.88 4b7NgT9S.net
>>244
君はガロア理論の本をチラ見でごまかさずに
はじめから一字一句丁寧に読んだほうがいいね
本当の数学がどういうものか脳に焼き付けてごらん
生まれ変われるから
URLﾘﾝｸ(www.youtube.com)
260:１３２人目の素数さん
20/12/19 15:22:28.41 4b7NgT9S.net
チラ見でもわかること
Suppose that we are in the situation of the “µ6-version” of [IUTchIII], Corollary 3.12 [cf. Remark 4.2.6],
and that the elliptic curve EF has good reduction at every place ∈ V(F)good∩V(F)non that does not divide 2·3·5·l.
we observe that the various “log(q(－))’s” are independent of the choice of F□,
and that the quantity “| log(q)| ∈ R>0” defined in the µ6-version of [IUTchIII], Corollary 3.12 [cf. Remark 4.2.6],
is equal to (1/2l)·log(q) ∈ R [cf.the definition of “q_v” in [IUTchI], Example 3.2, (iv)].
Moreover, suppose that l ≥ 10^15.
Then one may take the constant “CΘ ∈ R” of the µ6-version of [IUTchIII],Corollary 3.12 [cf. Remark 4.2.6], to be
(l+1)/4·| log(q)|·{(1 + (12·dmod/l)) · (log(d_Ftpd ) + log(f_Ftpd )) + 4.08803 · e~∗mod · l－1/6· (1 －12/l^2 ) · log(q)}－ 1
and hence, by applying the inequality “CΘ ≥ －1” of the µ6-version of [IUTchIII], Corollary 3.12 [cf. Remark 4.2.6],
conclude that
1/6· log(q)
≤ (1 + (20·dmod/l)) · (log(d_Ftpd ) + log(f_Ftpd )) ~+ 4.0881 · e~∗mod · l
≤ (1 + (20·dmod/l)) · (log(d_F) + log(f_F
261:)) + 4.0881 · e∗mod · l. Corollary 3.12を前提した証明にすぎず Corollary 3.12自体は全く証明していない 真っ先に3.12で検索しただろ？ 気づけよ、🐎🦌
262:現代数学の系譜 雑談
20/12/19 15:59:57.53 VsuSehd0.net
>>247
チラ見でもわかること
”Suppose that we are in the situation of the “µ6-version” of [IUTchIII], Corollary 3.12 [cf. Remark 4.2.6],
and that the elliptic curve EF has good reduction at every place ∈ V(F)good∩V(F)non that does not divide 2·3·5·l.”
「the elliptic curve EF」出てくるけど
多分、梅村（下記）では届かないだろうってことだろうね
＜楕円関数・テータ関数・モジュラー関数＞
ｽﾚﾘﾝｸ(math板:52番)
結局、梅村「楕円関数論」を読むことにした
263:現代数学の系譜 雑談
20/12/19 16:06:06.97 VsuSehd0.net
>>247
>Corollary 3.12を前提した証明にすぎず
>Corollary 3.12自体は全く証明していない
"Corollary 3.12"の証明のためには、それ以前のＩＵＴ Ｉ～ＩＩＩ のおそらく、400～500ページが必要で
ＩＵＴ Ｉ～ＩＩＩ のためには、準備論文1000ページを超えるものが必要で
準備論文1000ページを読むためには、さらにまた膨大な数学のテキストを読む必要がある（下記な）
梅村一冊で済むわけないよね
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月研を志望する学生・受験生諸君へ
修士課程への入学を希望する学生に対しては次のような予備知識を
要求しております：
(1) 代数位相幾何の基礎的な知識（＝基本群や特異コホモロジー）
(2) リーマン面の基礎的な知識（＝line bundleやRiemann-Rochの定理）
(3) 可換環論やスキーム論の基礎的な知識（「松村」、「Hartshorne」を参照）
仮に修士課程に入学し、私の学生になった場合の、少なくとも最初の一年間の「カリキュラム」は
大体次のとおりになります：
(a) 「松村」、「Hartshorne」の復習
(b) 複素多様体や微分多様体の理論の復習
(c) エタール・トポス、エタール・コホモロジー、エタール基本群
(d) 曲線やアーベル多様体のstable reduction
(e) log scheme の幾何
(f) エタール基本群のweightの理論
また、これらの基本的なテーマの勉強が済んだら、
(i) crystalやcrystalline site, crystalline cohomology
(ii) Fontaine氏が定義した様々な「p進周期環」
(iii) p-divisible groupsとfiltered Frobenius moduleの関係
(iv) Faltingsのp進Hodge理論
(v) p進遠アーベル幾何
(vi) p進Teichmuller理論
のようなp進的なテーマに進むことなどが考えられます。（(v), (vi)については、本サイトの「論文」、
「過去と現在の研究」、または「出張・講演」をご参照下さい。）
264:１３２人目の素数さん
20/12/19 16:28:27.83 4b7NgT9S.net
>>249
>"Corollary 3.12"の証明のためには、それ以前の
>IUT Ⅰ～Ⅲ のおそらく、400～500ページが必要で
>IUT Ⅰ～Ⅲ のためには、準備論文1000ページを超えるものが必要で
>準備論文1000ページを読むためには、
>さらにまた膨大な数学のテキストを読む必要がある
じゃ、読んでｗ
ガロア理論の本すら読み通せずに
ガロア理論の基本定理を誤解する🐎🦌が
「IUTは正しいぃぃぃぃぃ」とかほざくなよ
ガロア理論の本、最初から読みなおせ
足立の本でも、他の本でもいいぞ
ま、でも、矢ヶ部は勧めない
素人は、現代的だと分かりにくいはずとか
わけもわからず思い込むが、実際は逆
265:現代数学の系譜 雑談
20/12/19 18:31:44.65 VsuSehd0.net
>>250
この維新のおっさん
なにを血迷っているのかね？
IUTの論文を読むのは、プロ数学者の仕事
おれが、簡単に読んで理解できるなら、その分プロ数学者の値打ちがないってこと。プロ野球のピッチャーの球を、アマが簡単に打てない理屈に同じじゃんか？ 簡単に打てるなら、プロの値打ちないよ
で、おっさん、自称東大数学科卒にして、その実底辺数学科のオチコボレでしょ？ いまごろ”梅村「楕円関数論」を読むことにした”って>>248
梅村「楕円関数論」をくさしているわけじゃない。お勉強は結構なことだよ
だが、そのレベルの頭でさ、「Corollary 3.12が理解できない」とかさ
「何言っているの？」ってこと
下記に、Promenade in IUTとかあるから、まずそれ読みなよ （星の「IUT入門」とかもあるよ）
でさ、読めそうなら、IUTのZoom会議に参加させてもらえよ。最低限それでしょ、それ。「Corollary 3.12が理解できない」とかさいう前にさ
自分の身の程もわきまえずに、「Corollary 3.12が理解できない」とかさ ｗ
「何言っているの？」ってこと
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Promenade in Inter-Universal Teichmuller Theory
266:現代数学の系譜 雑談
20/12/19 18:42:57.49 VsuSehd0.net
>>251
(引用開始)
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Promenade in Inter-Universal Teichmuller Theory
(引用終り)
このP3に、Fig. 1ってのがある
”Fig. 1. IUT, Topics & References as potential entry points.
● Diophantine: Heights, Faltings’ isogenies & Abc.
● Anabelian: Mono-anabelian reconstruction & Tripodal transports.
● Geometry: Multiradiality, Coricity & Arithmetic Analyticity vs Holomorphicity.
● Categorical: Frobenioids, Anabelioid, Prime Strips & Hodge Theaters.
● Meta-Abelian Theta: Mumford’s abelian constructions & Kummer theory.”
と説明があって
Fig. 1は、５重の同心円で、中心がIUTだ
円は、六角形状に分割されていて、上記の５つの●のポイントに加えて
さらに、IUT Geometry のセクションが加わって、６つのセクションになる
数えると、18くらいの要素で、IUT理論が出来上がっているという図解になっている
いまごろ”梅村「楕円関数論」を読むことにした”って>>248
レベルの頭でさ
自分の身の程もわきまえずに、「Corollary 3.12が理解できない」とかさ
「何言っているの？」ってことよｗ
267:１３２人目の素数さん
20/12/19 18:49:28.17 Xo0XxFhM.net
アンチは頭おかしい馬鹿だし
Scholzは別に間違ってると証明したわけでも何でもなく、
俺の経験と感触からはこの証明が成り立つとは思えないと言ってるだけだろ
で、望月にちゃんと証明追えと言われてもやらない、やる能力がない
完全に門外漢の野次馬の因縁じゃん
他の批判者に至ってはそれ以下
彼らは間違っているとの証明構成できない
Scholzらの批判を知った上で望月に雇われたわけでも人事権握られたわけでもない内外の
非日本人含む数学者が参集しだしたわけで
IUTが正しくアンチが野次馬の馬鹿なのは明らかだろ
268:現代数学の系譜 雑談
20/12/19 18:51:22.34 VsuSehd0.net
完全に
徹底的に
明らかに
IUTを理解するのに必要な数学の知識が
不足しているよね
おっさんには
269:現代数学の系譜 雑談
20/12/19 18:55:55.39 VsuSehd0.net
>>253
>Scholzは別に間違ってると証明したわけでも何でもなく、
>俺の経験と感触からはこの証明が成り立つとは思えないと言ってるだけだろ
そこは同意
それと、woitブログで露呈したのは、望月IUTを誤解していると、Dupuy氏から指摘されていたこと
原因は、これだと思うな
>で、望月にちゃんと証明追えと言われてもやらない、やる能力がない
"やる能力"はあると思うけど
誤解に嵌まってしまったと思うよ
それに、もうScholz氏は放置で良いと思う
時間が解決するでしょ
来年の国際会議から、2022のモスクワICMを経て、IUTの理解が広がれば、自然に�
270:ﾟ去の出来事になるんだから
271:１３２人目の素数さん
20/12/19 19:06:58.25 4b7NgT9S.net
>>251
血迷ってるのは、雑談君、あんただよｗ
IUTの論文どころか、ガロア理論の本も読めないくせに
何を力みかえって
「IUTは正しいぃぃぃぃぃ」
と発●してるんだ 🐎🦌
>いまごろ”梅村「楕円関数論」を読むことにした”って
>梅村「楕円関数論」をくさしているわけじゃない。
>お勉強は結構なことだよ
あんたも読めば？工学系でも読めるよ
「ガロア理論」の教科書より読みやすいし役に立つよ
>「Corollary 3.12が理解できない」とかさ
>「何言っているの？」
オレは情報科学専攻だからな
整数論も数論幾何もわかるわけないし
別にオレ自身がCorollary 3.12を
理解する必要もない
しかしその筋の人がこぞって何年も
「何言ってんだかわけわかんねー」
っていってる論文を正しいと言い切るほど
おめでたい自己中愛国脳は持ってないｗ
>下記に、Promenade in IUTとかあるから、まずそれ読みなよ
あんたはやめときｗ
ガロア理論の基本定理の証明以前の
ステートメントから誤読する🐎🦌には到底無理ｗｗｗ
>でさ、読めそうなら、IUTのZoom会議に参加させてもらえよ。
>最低限それでしょ、それ。
まずIUTを絶賛するあんたがその最低限をクリアしろよ
ま、工学部を最低の成績で卒業した🐎🦌には到底無理かｗｗｗ
>「Corollary 3.12が理解できない」とかさいう前にさ
それ、Scholzeに英文メールで言ってみろよ
鼻で笑われるぞ フフンってなｗｗｗ
>自分の身の程もわきまえずに、
>「Corollary 3.12が理解できない」とかさ ｗ
>「何言っているの？」ってこと
ガロア理論の基本定理も誤解する🐎🦌が
「Corollary 3.12は絶対正しいぃぃぃぃぃ」とか
「どの口がほざいてんだ？この🐎🦌」ってことｗｗｗ
272:１３２人目の素数さん
20/12/19 19:10:39.39 4b7NgT9S.net
>>252
なんか中身と無関係なことを一生懸命説明してイタイタシイねえ 雑談ちゃんｗ
だ～か～ら～、梅村「楕円関数論」読めって
目標は「第６章 楕円関数論の応用」の
「6.4 代数方程式を解く」
「6.5 5次方程式の標準形」
「6.6 5次方程式の解法」
ガロア理論が全然理解できなくてもわかるよ
どうせあんた解法しか理解できないんだろ？ｗ
273:１３２人目の素数さん
20/12/19 19:14:13.05 4b7NgT9S.net
>>253
>アンチは頭おかしい馬鹿だし
シンパこそ頭オカシイ自己中愛国🐎🦌だろ（嘲）
日本人だというだけで正しいぃぃぃぃぃと言い張るとか
どこの●違い野郎かよ 韓国・中国の反日愛国🐎🦌と同類じゃねえか
お互いに首掻き切り合って死ねよ
おまえらみたいな蛆虫に生きる価値なんかねえよ
さっさと肉になって食われちまえ 🐖野郎（嘲）
274:１３２人目の素数さん
20/12/19 19:17:58.03 4b7NgT9S.net
>>253
＞望月にちゃんと証明追えと言われても
望月こそ真っ先に自分の証明追えよｗ
完全に形式的な証明書いてみせろよｗ
自動証明器で完全にギャップをつぶしてみせろよｗ
専門家？全然あてにならねぇな
専門家の自惚れこそ誤りの最大の温床だぞ
自己批判ができないヤツは数学者失格 覚えとけ ダラズ！
275:１３２人目の素数さん
20/12/19 19:19:56.93 4b7NgT9S.net
>>254
完全に
徹底的に
明らかに
ガロア理論を理解するのに必要な数学の知識が
不足してい「た」よね
あんたには 雑談ちゃんよぉｗｗｗ
276:現代数学の系譜 雑談
20/12/19 20:28:32.58 VsuSehd0.net
維新さん、必死
自称東大数学科卒にして、その実数学科のオチコボレさんよ
話題逸らし、ご苦労さん
あんた "Corollary 3.12"を論じる力は、全然ないよね
つーか、５ｃｈ数学板って、そういう場所じゃないじゃん
そこに、鳥無き里のコウモリよろしく
「きーきー」訳の分からんことを喚きちらしてさ
自分がいかにも、数学科出身でございと言いたいわけ？
オチコボレ
無職
ヒキコモリの
５ｃｈでしか威張ることができない、無政府主義のおっさんあわれ
277:現代数学の系譜 雑談
20/12/19 20:39:14.86 VsuSehd0.net
余談だが、実際IUTは、「応援スレ」を必要とする段階はすぎたでしょ
おれなんか、もう関係なく、着々と前進しているよね
278:１３２人目の素数さん
20/12/19 20:40:57.64 4b7NgT9S.net
>>261
>あんた "Corollary 3.12"を論じる力は、全然ないよね
あんた ガロア理論の基本定理を理解する力、全然なかったよねｗｗｗｗｗｗｗ
それ�
279:ﾅガロアスレ８０超立てた？ 馬鹿じゃね？ >５ｃｈ数学板って、そういう場所じゃないじゃん いや、変質者のあんたが勝手に 「５ｃｈは犯罪やりほうだい！！！」 と思い込んでるだけｗ >無職ヒキコモリ ごめーん、定年後再就職で入ったクソ会社で 日中から数学板で犯罪カキコして暴れてる 変質クソ爺のあんたとはちがって 正社員であんたには到底無理な 知的業務に従事してるんだわｗｗｗ
280:１３２人目の素数さん
20/12/19 20:43:18.85 4b7NgT9S.net
>>262
IUTは完全に「トンデモ」としてメインストリームから外れたよな
あんたも真人間になりたいんなら、まずそのクソHN捨てな
ガロア理論も綺麗さっぱり諦めな
論理がわからんあんたには絶対無理だからｗｗｗ
281:現代数学の系譜 雑談
20/12/19 20:46:12.09 VsuSehd0.net
実際
・４月に査読完了の記者会見
・Promenade in Inter-Universal Teichmuller Theory スタート
・仏 Lille大からの大勢の参加
・望月先生の米カリフォルニア バークレーからの 招請講演
・延期されていた、国際会議が2021年に実施が決まり
・南出論文で、IUTの明示公式からフェルマーの最終定理の別証明が公表された
・PRIMSのIUT別冊の来年出版のアナウンス
着々と進んでいるよね
あとは、2022 モスクワICMに入れて貰って
（もちろん、国際的な数学の賞もあれば良いけど）
日本数学会で、IUT絡みでなにかの賞を貰えば良い
それで、IUTの認知としては、十分でしょ
勝負ありだよ
282:１３２人目の素数さん
20/12/19 20:51:04.47 4b7NgT9S.net
３段階更生法
第１段階：ＨＮから「現代数学の系譜」を除く
第２段階：ＨＮを止める
第３段階：そもそも書き込みを止める
まず、第一段階をやってみよう
「雑談 ◆yH25M02vWFhP」で書き込んでみ？
ウソ数学で見栄張る必要なくなって、肩の力ぬけるぜｗ