Inter-universal geometry とABC 予想47

Inter-universal geom ..

2:１３２人目の素数さん
21/10/17 19:35:19.61 fwc2Gnc1.net
前スレ
Inter-universal geometry とABC予想
46
URLﾘﾝｸ(itest.5ch.net)
Inter-universal geometry とABC予想
45
URLﾘﾝｸ(itest.5ch.net)
 Inter-universal geometry とABC予想
44
URLﾘﾝｸ(itest.5ch.net)
Inter-universal geometry とABC予想
43
URLﾘﾝｸ(itest.5ch.net)
Inter-universal geometry とABC予想42
URLﾘﾝｸ(itest.5ch.net)
Inter-universal geometry とABC予想 41
URLﾘﾝｸ(itest.5ch.net)
スレ41以前の過去スレの検索は
「Inter-universal geometry と
ABC予想41」から願います

3:１３２人目の素数さん
21/10/17 19:37:36.46 fwc2Gnc1.net
・2012年8月30日  
望月新一RIMS教授がIUT論文を
PRIMSへ提出
・平成25年度(2013年度)
日本学術振興会
グローバルCOEプログラム
京大G08 平成20年度採択
数学のトップリーダーの育成
事後評価結果
・コメント
IUTは報告も評価もされていない
URLﾘﾝｸ(www.jsps.go.jp)

4:１３２人目の素数さん
21/10/17 19:40:45.89 fwc2Gnc1.net
平成27年(2015年) 5月13日
中央教育審議会大学分科会大学院部会
・議事録
【岡本委員】
グローバルCOE不採択校と比較して
の資料はあるのか，これ。
それからもう1点，改善定着化指標と
いうようなもの，すなわちこれ改善
を試みているわけで，5年間やって，
その後，これをどう定着，あと5年後に
例えば同じことをやって，ちゃんと
それがどの程度定着しているのかと
いったような，この計画はあるのかと
いう，この2点をお願いします。
【藤田日本学術振興会課長】
申し訳ございません。
不採択校との比較の方はできて
おらないという状況でございます。
また，経過後のフォローということ
につきましても，今のところは予定は
ないという状況です。　
URLﾘﾝｸ(warp.ndl.go.jp)

5:１３２人目の素数さん
21/10/17 19:43:54.31 fwc2Gnc1.net
平成27年(2015年)5月13日
中央教育審議会大学分科会大学院部会
 ・資料5  独立行政法人日本学術振興会  グローバルCOEプログラム委員会
事務局
 研究成果例  G08 京都大学
数学のトップリーダーの育成
宇宙際タイヒミュラー理論
-数論におけるブレークスルー
宇宙際タイヒミュラー理論を用いる
ことによってabc予想と呼ばれる
数論の難問が解決することが2012年
に発表された。
日本の主な全国紙は言うに及ばず、
New York Times などでも報道され、
非専門家の間にも大きな話題を提供
している。
宇宙際タイヒミュラー理論は数理解析
研究所の望月新一教授(GCOE事業推進者)の独創によるものであるが、
その解説や応用には多くの若手研究者
が関与している。
掲載論文等Shinichi Mochizuki,
INTER‐UNIVERSAL TEICHMULLER
THEORY I
・(コメント)
日本学術振興会課長はGCOEの
経過後をフォローしないと言明した
が、京大G08について事後評価結果に
なかったIUTを持ち出しG08事後評価
結果を改変した

URLﾘﾝｸ(warp.ndl.go.jp)

6:１３２人目の素数さん
21/10/17 19:47:42.31 fwc2Gnc1.net
・平成28年(2016年)6月
文科省所管の独立行政法人  
大学改革支援・学位授与機構   
京都大学数理解析研究所  
第2期中期目標期間
(平成22年～  平成27事業年度)  
-現況調査表 -  
p28-3  資料 2. 発表論文数  
所員の発表論文数  査読付き論文のみ
  p28-10  事例4「数論幾何の研究」  
「望月新一による「宇宙際タイヒ
ミューラー理論」の構築とその結果
としての ABC 予想の解決は、
特筆すべき出来事である。」 
「当該論文は現在査読中であるが、」  「望月新一が同理論の概要を解説した  
業績番号1― (2)(2014)が、講究録別冊  (
B51)として刊行されている」
・コメント
講究録別冊B51査読責任者は志甫淳氏
URLﾘﾝｸ(www.niad.ac.jp)

7:１３２人目の素数さん
21/10/17 19:51:00.81 fwc2Gnc1.net
平成29年(2017年)6月
大学改革支援・学位授与機構　
-現況分析結果-
 京都大学
 注目すべき質の向上　
p28-4
 ○「数論幾何の研究」の「宇宙際  
タイヒミューラー理論」の構築と  
その結果としての ABC 予想に
関する論文は、国内外の主要メディア
で取り上げられている  
・コメント
RIMS提出の現況調査表で「IUT理論の
構築とその結果abc予想が解決した」
が削除された
URLﾘﾝｸ(www.niad.ac.jp)

8:１３２人目の素数さん
21/10/17 19:54:00.08 fwc2Gnc1.net
2017年(H29)11月
自己点検　評価報告書
京大数理解析研究所
・第2期中期目標期間
(平成22年～  平成27事業年度)
p6
注目すべき質の向上
○ 「数論幾何の研究」の「宇宙際
タイヒミューラー理論」の構築と
その結果としての ABC 予想に関する
論文は，国内外の主要メディアで
取り上げられている
・8-4 次世代幾何学研究準備センター
p104
数論幾何学，特に宇宙際タイヒ
ミューラー理論を中心に広く次世代
の幾何学の研究を推進するため，
研究および研究プロジェクトの
方向性や内容を検討・準備する
目的で，数理解析研究所教授 3 名を
併任教員として平成 29 年 12 月 1 日に
設置した.
今後，研究プロジェクトの進展と
共に，研究センターとして特任
教員も含めての運用を予定している.
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)

9:１３２人目の素数さん
21/10/17 20:06:07.83 9LukvHy7.net
京都大学
数理解析研究所要覧  
令和元年(2019年)8 月1日発行
 P18  ・次世代幾何学研究センター  
数論幾何学，特に宇宙際タイヒミュー
ラ-理論を中心に広く次世代の幾何学
 の研究を推進するため，
平成31年(2019年)4月1日に設置
された。
(量子幾何学研究センターは統合
された)
  P19  16　予算概要  支出状況  
(単位：千円）
 区分/平成28年度.平成29年度.平成 30
年度
度運営費交金/695,477.671,194.716,594  （内訳）  人件費/419,552.399,307.412,545  物件費 /275,925 271,887 304,049  
科学研究費. 補助金/142,138.115,602.108,934  
受託研究・受託事業 /
8,190.9,515.10,176  
共同研究/ 2,032. 2,648. 3,846  
寄附金/ 1,000. 553. 27,913  
合計/ 848,837.799,512.867,463  
＊外部資金は間接経費を含めた
受入額を計上している。   
P21  次世代幾何学センター
センター長 (併任）望月新一  
特任教授　京大理博柏原正樹  
特任教授　京大理博森重文  
特任助教　東大博（数理科学）
清水達郎  
教授(併任）玉川安騎男  
教授(併任）望月拓郎

URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)

10:１３２人目の素数さん
21/10/17 20:08:43.52 fwc2Gnc1.net
2019年4月25日
加藤文元「宇宙と宇宙をつなぐ数学
IUT理論の衝撃」
望月新一と加藤文元両氏はIUT理論
の主な考え方や関連する数学を議論
するため2005年7月から2011年2月15日
までセミナーを行った。
最後のセミナーでIUT理論の
「主定理」を議論した。p106
１刊行によせてp7-11
IUT理論提唱者望月新一京大教授
「より詳細な解説は本文に譲ります」
p7 (望月新一は加藤文元の解説に同意)
「不定性」「近似」「緩み」
例
天動説　地動説　相対性理論　
量子力学　素粒子の力学　
不確定性原理

11:１３２人目の素数さん
21/10/17 20:11:54.46 fwc2Gnc1.net
>>10
続き
２　パラダイム　p59
「数学はどのようにして「進歩」する
のでしょうか？
そこにはトマスクーンが言うように
「通常科学」の中で連続的・累積的に　積み重なる新しさと、「パラダイム　シフト」によって生じる新しさの二種類
があります」
「通常科学とは、トマスクーン
「科学革命の構造」(中山茂訳みすず
書房1971年)における用語で、一つ
のパラダイム(時代や科学の各分野に
おける支配的な研究上の規範、視点、
枠組みなどの意味)や様式に基づいた
科学活動のことであり、パラダイム
から与えられる問題や解き方などの
指針に基づいて研究を進める状態の
ことをいいます。
これに対する状態は、「科学革命」
期あるいは「パラダイムシフト」と
呼ばれている時期であり、この時期
には既存のパラダイムが破壊されたり
劇的に変化することで新しい科学の
枠組みが形成されます。」

12:１３２人目の素数さん
21/10/17 20:14:10.71 fwc2Gnc1.net
>>11
続き
3 IUT語　p51
「IUT理論は、一般的な数学のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・
概念体系を基盤として構築されて
いる」
4 RIMS主催訪問滞在型研究
2020年IUTカンファレンス
「IUT理論の拡がり」
　望月新一組織委員長
・コロナ禍より2021年へ延期
加藤文元は組織委員であり
加藤文元「宇宙と宇宙をつなぐ数学
IUT理論の衝撃」は「IUTTの拡がり」
の公式本である。
IUT「理解者」組織委員フェセンコ
によればベストセラーの文元本を早く
英訳して欲しい
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)

13:１３２人目の素数さん
21/10/17 20:18:52.15 fwc2Gnc1.net
ショルツェ.スティクスレポート
URLﾘﾝｸ(www.math.uni-bonn.de)
zb MATH Open ショルツェレビュー
・Unfortunately, the argument given
for Corollary 3.12 is not a proof, and
the theory built in these papers is
clearly insufficient to prove the ABC
conjecture.
URLﾘﾝｸ(zbmath.org)
qunta magazine
URLﾘﾝｸ(www.quantamagazine.org)

14:１３２人目の素数さん
21/10/17 20:21:29.90 fwc2Gnc1.net
ICM 2022
PLENARY, INVITED, PRIZE AND
SPECIAL LECTURES
・コメント
IUTT関連のLECTURESはありません

・The plenary speakers comprise
 21 of the world's leading mathematicians, representing 8 countries and all areas  
of mathematics.  
URLﾘﾝｸ(icm2022.org)

15:１３２人目の素数さん
21/10/17 20:24:19.21 fwc2Gnc1.net
- 現役数学者が教える大学数学-  　
アメリカ大学准教授   
望月新一氏のabc予想以前の功績。  
グロタンディーク予想の証明。
 遠アーベル幾何
URLﾘﾝｸ(m.youtube.com)

abc予想は証明はされてない！？  
日本人数学者の国際的な評価。
URLﾘﾝｸ(m.youtube.com)
 

16:１３２人目の素数さん
21/10/17 20:27:02.27 fwc2Gnc1.net
「Some instructive mathematical errors」
Richard P. Brent
September 23, 2021
・2.6 Mochizuki’s claimed proof
　of the abc conjecture。
>At the present time, all that we
can say with certainty is that the status
of Mochizuki’s proof is unclear.
URLﾘﾝｸ(arxiv.org)

17:１３２人目の素数さん
21/10/17 20:35:12.63 fwc2Gnc1.net
朝日新聞　2021.7.27　石倉徹也記者   
「ABC予想」証明出版でまた物議  
懐疑的見方消えず/興味を失う数学者も   
海外の発言
 ・仏紙「謎に包まれた数学の論争は  　ネットフリックスのドラマをほうふつ
とさせる展開だ」  
・英BBC「不可解な証明を巡る論争」
と題した記事では「ほとんどの数学者
は証明が失敗したと考え理解すること
をあきらめた」  
・英科学誌ネイチャー　論評  　
「不可解な論文が公式に出版される
ことに衝撃を受けた。ABC予想の「証明」は物議を醸したままだ」
 ・ABC予想を提唱した  ジョゼフ.
オステルレ仏ソルボンヌ大学名誉教授  
「重要な論文が望月氏に近い雑誌で  　
審査されたのは驚きだ」  
・フィールズ賞受賞者ピーターショルツ独ボン大学教授  
「証明の疑問点は明らかなのに解消
できていない。納得できる説明をして
ほしい」  
・望月氏の米プリンストン大時代の  　
指導教授.フィールズ賞受賞者
ゲルト.ファルティングス氏  
「論文は理解できなかった。
自分の研究に時間を割くことにした」
と朝日新聞の取材に答えた。

18:１３２人目の素数さん
21/10/18 10:25:06.99 zGdJMj/l.net
もうそのくらいで良いだろう

19:１３２人目の素数さん
21/10/18 11:54:14.09 26cL9/IC.net
>>12
まとめ
IUTTおよびIUT論文の評価　変遷  
IUT及びIUT論文の評価　A B C D E
  A  
「望月新一による「宇宙際タイヒミュー
ラー理論」の構築とその結果としての
ABC予想の解決は、特筆すべき出来事
である。」
 「当該論文は現在査読中であるが、」  「望月新一が同理論の概要を解説した  
業績番号1― (2)(2014)が、講究録別冊
として刊行されている」
一方、全体の発表論文数は 所員の発表
論文数は査読付き論文のみ
 B
宇宙際タイヒミュラー理論を用いる
ことによってabc予想と呼ばれる
数論の難問が解決することが2012年
に発表された。  
日本の主な全国紙は言うに及ばず、
New York Times などでも報道され、
非専門家の間にも大きな話題を提供
している。
宇宙際タイヒミュラー理論は数理解析
研究所の望月新一教授(GCOE事業推進者)の独創によるものであるが、その解説
や応用には多くの若手研究者が関与
している。
C
注目すべき質の向上 「数論幾何の研究」の「宇宙際タイヒミューラー理論」
の構築とその結果としての ABC
予想に関する論文は、国内外の主要
メディアで取り上げられている  
D  
全く評価されていない、またはabc予想
の証明がされていない
 E
IUT語。
IUT理論は、一般的な数学のパラダイム
の枠内では語れない、  全く新しい
フレームワークと言語.概念体系を基盤
として構築されている

20:１３２人目の素数さん
21/10/18 12:02:35.75 26cL9/IC.net
>>19
年表
 ・2012年8月30日  
望月新一RIMS教授がIUT論文を
PRIMSへ提出　  
・2013年度日本学術振興会  
京大G08 数学のトップリーダーの
育成事後評価結果　D  
・2015年5月13日
中央教育審議会大学分科会大学院部会  
日本学術振興会  グローバルCOE
プログラム委員会 研究成果例
京大G08  宇宙際タイヒミュラー理論  
「数論におけるブレークスルー」B  
・2016年6月  　
RIMSの現況調査表。
　RIMSが大学改革支援学位授与機構  　へ提出する。A  
・ 2017年6月
現況分析結果。
大学改革支援学位授与機構がRIMSの
現況調査表を評価　C 
・2017年12月1日  
IUTを中心とする次世代幾何学研究準備
センターを設置.望月新一センター長 C
・2018年3月  
森重文京大特別教授の提案より
望月星ショルツェスティクスが 京大
RIMSにてミーティング。  
ショルツェステイクスレポートD  
・2019年4月 望月推薦加藤文元  
「宇宙と宇宙をつなぐ数学」E  
・2019年4月1日 
IUTTを中心の次世代幾何学研究
センター設置。 
センター長.望月新一  教授.玉川安騎男  
特任教授.柏原正樹　森重文　 C 
・RIMS主催2020「IUTTの拡がり」  
→ 2021へ延期　BかつD  　
望月推薦加藤文元本は公式本
 ・2020年2月5日付け
IUT論文を受理　
PRIMS特別編集委員長
玉川安騎男および柏原正樹

21:１３２人目の素数さん
21/10/18 12:06:46.28 unI2Rmbi.net
IUTは宇宙際論
数学ではない

22:１３２人目の素数さん
21/10/18 15:44:30.21 POfxKQJb.net
哲学でもない

23:１３２人目の素数さん
21/10/18 15:53:33.47 nqlxCJNz.net
事の顛末まとめ
ABCについては
ZBmath reviewに反論もできず、
3.12の飛躍が9年経っても埋められず
Clearly insufficient to prove the ABC conjecture
でケリがついた。
IUTについては一部のマニアには面白いかもよ、ってレベルで落ち着いた。

24:１３２人目の素数さん
21/10/18 16:53:17.85 POfxKQJb.net
要するに話がつまらなくなった

25:１３２人目の素数さん
21/10/18 18:07:20.81 7A8oAhxJ.net
>>23
夢は終わったのか
お疲れ様でした

26:１３２人目の素数さん
21/10/18 23:38:05.44 cRrmgDJm.net
秋風や
兵どもが
夢の跡

27:１３２人目の素数さん
21/10/19 18:03:07.57 M9pJ07Yd.net
日曜の朝から急に寒くなった

28:１３２人目の素数さん
21/10/19 18:48:42.16 00ySQXQn.net
IUTの基本のアイディアすら理解できずに終わってしまうのはなんかモヤモヤする
本当は合ってるんじゃないの？

29:１３２人目の素数さん
21/10/19 18:54:35.74 zBMYJQIR.net
グローバルCOEやら現況調査票やら、評価の話する粘着崩れ君もう秋田

30:１３２人目の素数さん
21/10/19 18:54:51.88 M9pJ07Yd.net
abc予想が正しい可能性が残っているというのと
どれだけの差があるのだろうか

31:１３２人目の素数さん
21/10/19 18:57:03.78 M9pJ07Yd.net
IUTは飽きられてさえいない

32:１３２人目の素数さん
21/10/19 19:00:34.42 00ySQXQn.net
>>30
abc予想自体は3Dプロットした感じがなんだか正しそうってことで納得した
IUTはアイディアからしてさっぱり分からん

33:１３２人目の素数さん
21/10/19 22:00:37.94 a2/n9QC5.net
I didn’t really see a key idea that would
get us closer to the proof of the abc
conjecture.
by P.scholtze

34:１３２人目の素数さん
21/10/20 07:16:21.07 oDcPvOCw.net
支持者を増やすための努力は続けられているのだろうか

35:１３２人目の素数さん
21/10/20 07:42:08.51 LNuB0nyU.net
京大が霊長類研究所を事実上
「解体」へ　世界的な拠点、
研究資金不正の舞台
URLﾘﾝｸ(www.kyoto-np.co.jp)

36:１３２人目の素数さん
21/10/20 08:54:16.34 oDcPvOCw.net
そのニュースはもういい

37:１３２人目の素数さん
21/10/20 09:04:12.25 AZP7ejQ5.net
皆が皆自身をただのサルだとわかってしまったら
社会が崩壊するだろう

38:１３２人目の素数さん
21/10/20 10:11:40.22 A7608Z/+.net
伊原先生はノーコメント？

39:１３２人目の素数さん
21/10/20 10:38:49.13 7fdenmQQ.net
もうここでコメントされていると思う。
何ヶ月か前に。

40:１３２人目の素数さん
21/10/20 13:27:10.96 9OWgP5/n.net
結局誰もIUTってこういうものなんだよって教えてくれないところに数学者の底意地の悪さを感じる
理解すること自体に選民意識があるんだろうね
何も生み出せない人間の限界というか

41:１３２人目の素数さん
21/10/20 13:49:53.20 9cYjUwc0.net
>>40
誰もわからんからだよ
当たり前だけど論文読まなきゃ分かるはずない
しかし読んでなんらかの意味で自分にプラスになる事が期待できないなら1000ページ越の論文に挑戦する事はない
そんなのに本気で挑戦したら何ヶ月もかかってしまう
そして現時点で挑戦した人たちの感想聞く限りにおいて無駄になる可能性が高い
現時点ではもう誰も挑戦しようとしないよ

42:１３２人目の素数さん
21/10/20 13:51:43.53 AZP7ejQ5.net
俺は日本語しか読めないから論文が読めない
もし日本語で出してくれたら読んでみたいけどｗ

43:１３２人目の素数さん
21/10/20 14:58:56.32 9OWgP5/n.net
>>41
自分でやるしかないってわけか
abc予想のときはBの詐欺臭に憤って勢いで調べたけど
自分は数学者でもなんでもないから数学をやったところで一銭になるわけでもなし楽しくもない
人生における数学の優先順位は限りなく低いんだよね

44:１３２人目の素数さん
21/10/20 15:46:30.79 KpYERawY.net
NFTアート、ＮＦＴゲーム、ブロックチェーンゲームに今すぐ参入しなさい
これからこの市場は100倍になる
先行者利益は２～３年もしたら消えるからやるなら今しかない
今ならアイデアだけは凄い一発ネタや勢いがある尖った作品でも成功できる

45:１３２人目の素数さん
21/10/21 00:38:03.89 AJyXZjeD.net
>>37
新モンゴロイド形質っていちばん寒冷適応した霊長類って感じ丸出し
出っ歯丸出し

46:１３２人目の素数さん
21/10/23 07:29:48.66 Bd9CL3YV.net
>>45
自虐？

47:１３２人目の素数さん
21/10/23 08:13:17.67 hc3ntont.net
-nature-
Mathematicians welcome computer-assisted proof in
'grand unification’ theory
URLﾘﾝｸ(www.nature.com)

48:１３２人目の素数さん
21/10/23 21:34:29.42 WhoVYnTE.net
>>46
俺はもっと南方系の歯並びと北方系の歯並びが混在した八重歯乱杭歯タイプだが。

49:１３２人目の素数さん
21/10/27 23:29:29.95 vT/ET+Mo.net
IU幾何やABC予想に関する会話の
サロンとして使って下さい。   
荒らしはご遠慮願います

50:１３２人目の素数さん
21/10/27 23:47:40.74 3EfFA3/f.net
>>41
恐らく無駄だし、本当に理解者がいるならある程度読みやすくなる、本質的な解説は可能なはず
特にp進体、絶対ガロア群、位相群、圏論、アーベルスキームなどの知識を踏まえて
今のところ星の概説はそれに近いだろうけども、そういう概説書が出てこない時点で誰も理解してないよ
本人すらも

51:１３２人目の素数さん
21/10/27 23:57:58.18 DYGZSEZD.net
本人が理解してなかったらウケるｗ

52:１３２人目の素数さん
21/10/28 00:03:39.32 mtI3b8WZ.net
要するに
宇宙際ってどういう意味の宇宙のどういう意味の仕組みなのか？
ある種の楕円曲線の絶対ガロア群を正則でない位相群として見たらその宇宙はどういうものなのか
不定性とその具体例は何なのか
格子の縦横各々の意味は何なのか
数体のテータ因子の計算がその位相群や不定性によってどうやって行われるのか？何処がアラケロフ因子なのか
そういう論文を読むのに必要な要点が十年経って大してまとまっていないというのでは
何考えてんだかさっぱりわからんね。伝える気力ないでしょ。進展とか以前の話

53:１３２人目の素数さん
21/10/28 00:23:21.08 mtI3b8WZ.net
加藤みたいなフワフワしたイメージじゃなくてね
普通のしかしIUTでも意識されている既存数学とIUTの仕組みを埋める書き方を一度でもしてみろと
そういう連続性がないもの、見せることを放棄したものを革新だの革命だのいうならば
そら主流は一切認めないよ。そんなもん理解不可能なんだから
望月の解説を見ても中途半端に既存数学の概念や例に言及している印象を受けるし、
案外IUTとのギャップをちゃんと埋める書き方がなされているように見えない。それこそ読めばわかるみたいなね
つまり「概説として圧縮された解説」になってないんだよ

54:１３２人目の素数さん
21/10/28 08:12:25.87 0z5y5YWC.net
連続性などないのだよ
IUTは宇宙際論であって
数学ではないのだから

55:１３２人目の素数さん
21/10/28 08:44:42.34 6s8v0Qx9.net
Forcingは集合の宇宙の話として解説されたりするが
Imcompleteness theoremとつなげた話の方が分かりやすい
IUTも別の名前で解説した方が分かりやすいかもしれない

56:１３２人目の素数さん
21/10/28 12:14:38.49 mtI3b8WZ.net
ショルツがcondensedをleanの形式にしたのも明らかにIUTをちょっと意識してると思うわw
やれるならやってみろ的な

57:１３２人目の素数さん
21/10/28 20:25:11.63 dKd+J9Z1.net
角川ドワンゴ川上氏と加藤文元氏
に「宇宙と宇宙をつなぐ数学
-IUTの衝撃-」仲間の望月新一氏を
加え、カルチャーレベルのAIの勉強会
をしたらいかがだろうか。
computer-assisted proof in GUTの
ショルツェとはレベルも住んでいる
世界も全くちがうし

58:１３２人目の素数さん
21/10/28 22:22:52.15 NXSrxA86.net
もう、そろそろＩＵＴは忘れてもいいのでは？
ABC Conj. remains openでいいのでは？
他のOpen Problemにチャレンジしよう！

59:１３２人目の素数さん
21/10/28 23:11:01.17 1CEI9w+a.net
abc予想に対してより自然な理論を考えるべきだ、というのは全くその通りかと
だけども、ある程度IUTの考え方について見ると学ぶべき部分もあるにはあると個人的には思う
「やりたいこと」を抽出するならね。そしてそれが不可欠な情報ではないのも確かだけど

60:１３２人目の素数さん
21/10/28 23:13:28.66 1CEI9w+a.net
ヒントとまではいかないけども、abc予想に届くにはどうしたいのかという問題点を再確認するには
学べるところもある、という感じ

61:１３２人目の素数さん
21/10/30 01:13:35.69 okMbU2bS.net
IUT論文とabc予想の証明について
ショルツェ以前から疑義があり
ショルツェスティクスレポートと
ショルツェレビューが総括だね。
論文目的はabc予想の証明で
関連論文にはokayamaがある。
cor.3.12はq値かΘ値か不明瞭で
blurringもあるのに定義よりq値とQ値はら等しいと主張するなど証明されていない。cor.3.12からabc予想へ変換はした。
またRIMSは「査読中ながら概要論文を
根拠にIUTTを構築したからabc予想
を解決」と主張したが、
結局abc予想の数学の証明が不成立で
査読過程を含め2重に間違いだった

62:１３２人目の素数さん
21/10/30 01:19:09.18 okMbU2bS.net
以前からIUTによるabc予想の証明は
HoTTなどが進みcomputer-assisted
proofで検証されるまで待つとの意見が
あった。
scholtzeらはcomputer-assisted proof
inGUTを開発し検証に成功したし
K.Buzzardも関わっている。
IUT論文関連は具体的に発表されていないがどうなんだろう、
レビューを読んだ感想では
IUT語による不明瞭な言説や定義は
素粒子実験なら入力されてもトリガーの段階でノイズとしてリジェクト(排除)されるといったところかしら　

63:１３２人目の素数さん
21/10/30 13:32:51.12 9dOaNX2M.net
次世代幾何学研究センターとかIUT絡みで雇ってる奴らを動員して、
形式化のために毎月100人時間ぐらいタイプして貰えばいいんじゃないの？
論文に飛躍はない、各ステップはトリビアルって言ってるんだから、
そうしたら１，2年のうちに結論がでるだろう

64:１３２人目の素数さん
21/10/31 10:17:55.20 H3YRi4/M.net
このスレでも、IUT論文のabc予想証明は
不明瞭だから書き直しと言われていた
のにPRIMSは強行acceptした。
IUT論文を取り下げ書き直ししかない

65:１３２人目の素数さん
21/10/31 11:04:11.17 H3YRi4/M.net
Mochizuki’s claimed proof of the abc
conjecture
「At the present time, all that we can
say with certainty is that the status of
Mochizuki’s proof is unclear. 」
「we have given one example of
a proof that is disputed, in that
the author maintains that it is correct,
but a significant number
of experts disagree, see §2.6.
In such cases, time will tell eventually
the proof will be accepted as correct,注、
or the author and his supporters
will die and the proof will be relegated
to “the dustbin of history”.」
注
Possibly after being rewritten to
fill in gaps and make it more readily
comprehensible.

66:１３２人目の素数さん
21/11/01 07:19:51.12 bI18Q2KC.net
結局一種の礼儀もあるからあんまり無作法に「IUTTは間違っている」って業界内ではいわないのだろうな。
現実的には年追うごとに関わる人、言及売る人が減って、主要な人物が逝去して忘れらるという感じだろう。
もちろんどこかで風向きが変わるようなことがないとは限らない。

67:１３２人目の素数さん
21/11/01 12:42:54.31 xD546mc9.net
礼儀作法というか、わざわざ狂人に噛みつかれて粘着されてまで相手しなければいけないものでもないからな。
Clearly insufficientが結論で、もうコンセンサスができてるし。

68:１３２人目の素数さん
21/11/01 16:45:51.27 QIqW/5EV.net
望月先生の書き物の中に(ログスキーム)ー(スキーム)→フロベニオイドっていうのを見つけて、スキーム使ってないんだなあと思った。

69:１３２人目の素数さん
21/11/01 17:30:55.74 +74BYRwk.net
というかメタレベルの遠アーベル幾何学ってことなんだけども、それが外野には理解できないという

70:１３２人目の素数さん
21/11/01 23:23:14.28 FXtluqR0.net
IUT語は閉鎖コミュニティの秘技
computer proof systemsは
ICM2022のplenary speakerに
K.BuzzardがいるからXena の関連で
scholtzeの話があるかも。
しかしIUTについてはないだろうね。
ICM2022では数学の範疇にIUTTが
ないしIUT論文のabc予想の数学証明は書き直しのレベルだし

71:１３２人目の素数さん
21/11/01 23:38:47.02 +wJvLwoI.net
>>70
別にXenaだけに依存する必要はなくて、単純に形式化と代数幾何がある程度わかる人間が
RIMSのIUT研究者に接触すれば正否がはっきりしてくるだろうけど
Buzzardは元々モジュラー形式の代数幾何学で博士号だったっけ？
Perfectoidとかはやりがいがあり楽しいだろうね

72:１３２人目の素数さん
21/11/01 23:51:33.63 2htThak6.net
>>62のはなしです。

73:１３２人目の素数さん
21/11/02 07:05:41.64 SO97MB6t.net
IUTTの形式的な検証なんてできるのかね。

74:１３２人目の素数さん
21/11/02 07:15:22.06 TJU64mJz.net
IUTTが数学ならできるだろうね

75:１３２人目の素数さん
21/11/02 07:48:18.75 IVOYry0R.net
数学と認める人たちの数は増えているか

76:１３２人目の素数さん
21/11/02 07:56:07.78 1AfMjP6L.net
宇宙って上にあるような気がするけど
もしかしたら下だったりして
存在しても認識できなそうｗ

77:１３２人目の素数さん
21/11/02 12:01:35.13 ZkX0LPwd.net
>>73
述語論理で書けないならそれはそれで凄いことだろう

78:１３２人目の素数さん
21/11/03 00:54:36.27 QWipxPuO.net
(computer) Proof assistants
can’t read a maths textbook,
they need continuous input from
humans, and they can’t decide whether
a mathematical statement is interesting
or profound ― only whether it is correct, Buzzard says.

79:１３２人目の素数さん
21/11/03 22:45:16.73 +CGUrp6s.net
森重文先生が文化勲章

80:１３２人目の素数さん
21/11/04 06:52:23.54 Yp/1Q+tD.net
松沢哲郎.元京大特別教授
文化功労者の受賞者
京大霊長類研を解体
研究費不正受け　
時事2021.10.26
URLﾘﾝｸ(search.yahoo.co.jp)

81:１３２人目の素数さん
21/11/04 11:53:08.98 Grix9jM6.net
　
数学ではないという見方のほうが増えてないか？

82:１３２人目の素数さん
21/11/04 15:48:55.20 QFAkx4MD.net
割とガチで触れちゃいけないものにはなってるな

83:１３２人目の素数さん
21/11/06 10:45:57.52 IuL0Cy8V.net
一度abcを離れてiuttがより確実に数学的成果として得ているものを提示していけばいいように思うのだけど。
その論理自体が成立していないって事じゃないだろうならね。
新しい道具見せて、これでabc山制覇したっていってるけど証拠の録画が途中で飛んでるように見えるという人もいる感じか。
道具自体は確かに動くけどそれで高い山は無理という意見なら、まず中くらいの山を登ったしっかりとした証拠からみせてけばいいのに
そういう話でもないのかw

84:１３２人目の素数さん
21/11/06 10:59:02.73 JjkVf1Pv.net
>>83
Cor3.12からABC予想は証明できるが、肝心のCor3.12がIUTTから証明できない
つまり、望月新一の功績は、ABC予想を導く「望月新一予想」の提案で止まってる

85:１３２人目の素数さん
21/11/06 13:29:10.24 36fx/MEI.net
次号の「数学」に星さんの論説が載りますね

86:１３２人目の素数さん
21/11/06 14:34:42.16 H+plflzh.net
望月教授って小保方系って扱い？
信用回復の道はあるの？
まともな人はもう相手してくれない？

87:１３２人目の素数さん
21/11/06 14:41:50.93 JjkVf1Pv.net
>>86
> 小保方系って扱い？
　ま、捏造とかじゃないけど、証明の不備に対して
　誠意ある回答してない時点で、同類かもね
> 信用回復の道はあるの？
　同業者が理解可能な証明を示すしかないけど無理だろね
　弟子も同僚もフォローしないところをみると理解できてないんだろうね
> まともな人はもう相手してくれない？
　今のままならね
　ま、それだけで済めばいいけど　文科省が調査するとかいいだしたら
　最悪RIMSはつぶされるね　理研CDBと同じ
御愁傷様(-||-)

88:１３２人目の素数さん
21/11/06 15:11:56.25 36fx/MEI.net
>>文科省が調査するとかいいだしたら
どんな知識を持った人がそんなことを言いだせるのか
想像がつかない。

89:１３２人目の素数さん
21/11/06 16:02:50.20 Sf1N64Ku.net
証明の確かさについて大嘘こいて
研究費請求していたら潰されるんじゃない？
今までの業績を考慮されて生き残れるかも？
モッチーには期待していただけに
残念で仕方ないよ
ABC予想って今後何年間も
挑戦者は現れないんでしょ？
来たれ、第二のワイルズ

90:１３２人目の素数さん
21/11/06 16:10:37.75 ZPvwwdxW.net
もうずっと前からきていますけど

91:１３２人目の素数さん
21/11/06 16:45:49.09 JjkVf1Pv.net
>>90
呼んでない呼んでない

92:１３２人目の素数さん
21/11/06 17:59:04.70 ZPvwwdxW.net
>>91
何問も解決しているのに？

93:１３２人目の素数さん
21/11/06 18:08:37.06 JjkVf1Pv.net
>>92
その話はしないことにします
それより💊飲んでる？

94:１３２人目の素数さん
21/11/06 18:17:01.69 ZPvwwdxW.net
>>93
気持ち悪い

95:１３２人目の素数さん
21/11/06 18:34:49.72 d4o0hQ+Z.net
IUT論文は1部の1章と2章のみが
評価できる
In part I, the first two sections
deal with certain group-theoretic results,
typical in anabelian geometry,
for example about how profinite groups
can sit in tempered fundamental groups;
these may be of interest to specialists.

96:１３２人目の素数さん
21/11/06 18:45:01.02 JjkVf1Pv.net
>>94
脳の病　治そうね

97:１３２人目の素数さん
21/11/06 18:51:06.78 xqlXdb6E.net
おお
１年ぶりのここの板に来たら、
ＡBC予想証明がすっかり望月の間違いという事で決着がついていてワロタわｗ
応援ｽﾚは全く関係のないレスで埋め尽くされているしｗ、
これが数学版住人なりの最終回答だろうｗ
マスコミも科学雑誌も、結末を載せずシレっと無視しているだけに、
数学板は役目を果たしたと言える。
まあホント言うと、証明できてないのは望月にも分っていたよね、強がってただけで。
例のショルツとの論争で一番印象に残ったのは、望月が「若手の助けを求める」発言をしたこと。
つまり穴があるのを承知で、世界中の生きのいい若手に穴を埋めてもらうことを期待してたんだよ。
それがすぐ埋まるのなら、本質的証明は望月の手柄になるが、
そうはならなかったという事。

98:１３２人目の素数さん
21/11/06 19:19:29.68 36fx/MEI.net
ショルツェ

99:１３２人目の素数さん
21/11/06 21:40:53.80 oO0v+Npv.net
>>97
事の顛末まとめ
ABCについては
ZBmath reviewに反論もできず、
3.12の飛躍が9年経っても埋められず
Clearly insufficient to prove the ABC conjecture
でケリがついた。
IUTについては一部のマニアには面白いかもよ、ってレベルで落ち着いた。

100:１３２人目の素数さん
21/11/06 21:52:47.72 0wcSqO0e.net
>>97
専門家がそろって3.12の証明が分からんって言ってるときに
本人がブログで
「数学は論文によって完全に記録可能である」
というテーゼに疑義を唱えたりしてたからね
もう"察し"っていうか何というか

101:１３２人目の素数さん
21/11/06 23:10:20.69 VUVe3976.net
>>83
それなら既にフェルマーの別証明とかを出したが、相手にされていないのが現状ではないのかな

102:１３２人目の素数さん
21/11/07 00:23:49.52 9ZqMh491.net
数学じゃないんだからどうしようもないよなぁ

103:１３２人目の素数さん
21/11/07 00:32:19.65 EWZV0Qf3.net
Clearly insufficient to prove the ABC conjecture ！！

104:１３２人目の素数さん
21/11/07 00:51:58.12 wlrfuo7R.net
数学じゃないなら何ですか?

105:１３２人目の素数さん
21/11/07 01:06:03.10 cn25zmV9.net
祈りです

106:１３２人目の素数さん
21/11/07 03:17:30.78 dQJble9U.net
風土病

107:１３２人目の素数さん
21/11/07 07:22:08.82 OWug7gky.net
遠アーベル幾何学≠IUT
ショルツェレビュー　 >>95

108:１３２人目の素数さん
21/11/07 07:43:20.45 9dHCiX+S.net
>>97
> 例のショルツとの論争で一番印象に残ったのは、
> 望月が「若手の助けを求める」発言をしたこと。
これってYouTubeとかでまとめられてないん？
論争の始まりから証明には足りてないまで
って一つのドキュメントと思うんです
フェルマーの最終定理と対比させると
証明成功の場合と失敗の場合とで
決定的に違う部分や流れがおかしくなる場合の
兆候とか出てきて、
ワイルズや望月教授という
世紀の難問に挑戦した者の成功失敗を
大体で外野が判断する資料になると
思ってるんですよ
ABCは失敗っぽいから望月教授の協力は
ないだろうけどなー

109:１３２人目の素数さん
21/11/07 08:55:30.04 9dHCiX+S.net
成功の事例
2002年、年、ポアンカレ予想、ペレルマン、ロシア
1993年、フェルマーの最終定理、ワイルズ、イギリス
失敗の事例
2012年、ABC予想、望月教授、日本
日本人って・・・

110:１３２人目の素数さん
21/11/07 09:03:09.73 OWug7gky.net
望月新一京大教授がabc予想の証明に失敗
一方、
望月拓郎京大教授が柏原予想の証明に
成功した

111:１３２人目の素数さん
21/11/07 11:15:46.94 9ZqMh491.net
>>104
宇宙際理論もしくは宇宙際論

112:１３２人目の素数さん
21/11/07 13:53:51.07 cn25zmV9.net
あんなゴチャゴチャした造語だらけの理論は今になって見るとちょっとな
当時は何か凄いで誤魔化されたが、どう考えても異様だよな

113:１３２人目の素数さん
21/11/07 16:20:02.74 p+4oQP3j.net
問題が異様なんでしょ

114:１３２人目の素数さん
21/11/07 16:41:42.39 UCXgjBc9.net
abc予想は多項式のABC定理が
成り立つし多変数複素函数論
のネバンリンナ理論からも
予想されたしディオファントス
問題の重要な予想。

115:１３２人目の素数さん
21/11/07 16:44:51.80 UCXgjBc9.net
異様なのはIUTがディオファントス→
グロタンディーク→望月新一と公言していることでは？
ディオファントス、スキームと
遠アーベル幾何学のグロタンディーク
だけでokだったね

116:１３２人目の素数さん
21/11/08 07:27:32.85 uy+O2S8y.net
ABCはIUTTの中で言い換えられていてそれが系3.02として証明されているという主張。
一方で言い換えは認められているけど、証明はされているとはいえないという批判がある。
ワイルス定理（フェルマー予想）の別証明はABCに紐づいているから、
もっと他の整数論なり代数幾何の問題をIUTTで言い換えて証明されたものを発表していけばいいのに。
というか今セミナーとかでそうしているのだろうね。そこは宣伝してあげないのかね。

117:１３２人目の素数さん
21/11/08 08:15:17.95 iebpivg4.net
系3.02？さっぱりわからない。
たしかにIUTTは「ゴチャゴチャした造語だらけの理論」だからIUT語で
ロンダリングすればなんでもありだな

118:１３２人目の素数さん
21/11/08 15:09:50.71 rDxbyCib.net
星のサーベイに
“理論における様々な対象の構成は, もう少しで崩れてしまいそうな辛うじ
て保たれている均衡の上に成り立っており, そう簡単にはこの理論の真似はできない"
とあるから、理解者と言われる星も、最初は理論に違和感があったけど、最終的には腑に落ちたわけだから、
その辺の思考過程を"不正確な記述"なしに書き下せないのかな？
まぁ、それが難しいのかと思うけど。

119:１３２人目の素数さん
21/11/08 16:23:14.66 kwFf80VU.net
>>116
>>118
少なくともショルツらはIUT内部の言語から当然検討しているであろうし、その微妙さとやらを
ちゃんと大まかに伝えることすらできないとすればどうしようもないのではないか
何れにせよIUTを使わないと解けない問題ではないのはほぼ確実と思うけども

120:１３２人目の素数さん
21/11/09 07:14:23.71 4i2z7ooi.net
これでもっと主流に受け入れられるような方法でABCが解けたら、
IUTTも他の方向から存在感ださないといけなくなるだろうね。

121:１３２人目の素数さん
21/11/09 09:36:54.67 y02nGw/V.net
IUTTを構築しただけではabc予想の
解決にになりません、詭弁でなく明確で
正しい根拠に基づく数学の証明が
必要です。
まあ奇異なIUTはRIMSと関係者のネタで
今では加藤本、小山本、ニュートンなど出版業界のネタです。

122:１３２人目の素数さん
21/11/09 10:00:31.00 TIq+rcdK.net
>>120
いやそもそもabc予想しか応用がないとかいう時点で要らないから
その応用も疑わしいし

123:１３２人目の素数さん
21/11/09 13:02:18.49 Ayw4Vlev.net
>>121
小山や文元は月刊ムーの隣に置いたほうが違和感ないな

124:１３２人目の素数さん
21/11/09 13:55:24.14 xmCZ2cr2.net
小遣い稼ぎで堕天した人たち

125:１３２人目の素数さん
21/11/09 15:26:41.09 A2C21Aiw.net
黒川のコメントが欲しいところか

126:１３２人目の素数さん
21/11/10 08:15:45.64 aI9KtNY3.net
IUT has been debagged by Scholtze.

127:１３２人目の素数さん
21/11/10 09:05:21.73 j5zSLg8C.net
debagged?

128:１３２人目の素数さん
21/11/10 10:07:46.38 aI9KtNY3.net
I don't want to be debagged! Don't you play the giddy ox with me!

129:１３２人目の素数さん
21/11/10 10:39:53.11 aQiEh2Rq.net
関係者の人たちちゃんとIUT以外の論文も出してるの？

130:１３２人目の素数さん
21/11/10 11:40:21.98 anFWInyk.net
debagはJames Joyceの造語(Ulysses)だから
辞書には載っていないだろう。
しかし意味は読んで字の如しだ。
それ以上でもそれ以下でもない。

131:１３２人目の素数さん
21/11/10 13:24:18.23 j/IBj29T.net
IUTTに関することの決着は時間がかかるよ、もしかすると10年以上かかるかもしれない。

132:１３２人目の素数さん
21/11/10 14:03:49.24 kOKPHmno.net
IUT語はこれでしょ
「IUT理論は、一般的な数学のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・
概念体系を基盤として構築されて
いる」

133:１３２人目の素数さん
21/11/10 14:05:24.45 hWwrfMNW.net
どのみちIUTに人生かけるよりは片手間で横見しながら数論幾何やったほうがよいと思うがね

134:１３２人目の素数さん
21/11/10 17:43:50.57 1csNQjDe.net
いっそ微分幾何をやったら？

135:１３２人目の素数さん
21/11/10 18:20:55.26 hWwrfMNW.net
>>134
別に数論微分幾何だって理屈上は可能だろうが、ABC予想とかには遠回りになるな

136:１３２人目の素数さん
21/11/10 19:18:55.04 1csNQjDe.net
いっそリーマン予想をやったら？

137:１３２人目の素数さん
21/11/10 20:27:34.58 5jj6e9w4.net
>>135
本当にあるんだな
Alexandru Buium, Foundations of arithmetic differential geometry

138:１３２人目の素数さん
21/11/10 21:50:00.23 y92WOvOJ.net
IUTは楕円曲線のような面白味がないのが痛いな
モチベーションがどこにあるのかよく分からんって素人は思っちゃうね

139:１３２人目の素数さん
21/11/10 22:58:12.29 xabzZmgV.net
占い自動計算を唱えた細木数子氏が
亡くなっていた

140:１３２人目の素数さん
21/11/10 23:20:58.17 y2MCkiGv.net
zbmathのショルツェの評によると、
望月論文は１０００ページにわたって殆ど無価値らしい。
RIMSの検証チームでは誤りは発見できなかったと言っていたのに、
どうしてこんな真逆の結果になったのか。
一体検証チームは何を検証してたのか。確か４人だったよね。
何でショルツェが来日した時望月と星の二人だけで対応したのか。
検証したのが四人なら、少なくとも四人はIUTを語れるはずじゃん。
ほんとに検証していたのか？

141:１３２人目の素数さん
21/11/10 23:54:01.95 CmBG7Dpc.net
望月論文はありまぁす。

142:１３２人目の素数さん
21/11/11 07:34:52.98 uPoJT/RA.net
はじめまして。
お願いがあります。
ABC予想を証明しました、なのですが1ページの証明です。
正直、中学生レベルの証明です。
正しいとは思えないのですが、自分では、どこがおかしいか？わかりません。
そこで、お願いですが、採点していただけないでしょうか？
どこの論理が間違っているか？指摘してほしいです。
証明は、下記の私のホームページにあります。
アドレスからわかると思いますが、Googleサイト内にあるホームページです。怪しいサイトでは、ありません。
証明はPDFファイルになってます。
どうか、よろしくお願いいたします。
URLﾘﾝｸ(sites.google.com)

143:１３２人目の素数さん
21/11/11 07:51:15.07 bDzH4FTO.net
IUTTが無価値だと言うのは飛躍のある（とショルツが見なしている）過程をのぞけばあとは自明だって意味だよね。
問題はむしろABCの証明だけがセールスポイントだとしたらそれはどうなのというところだと思う。
もっといろいろ深い成果を喧伝して欲しいのだけどね。12月にまた京都で望月氏の講演がありますね。

144:１３２人目の素数さん
21/11/11 08:40:34.59 edr/KrQ2.net
12月の講演にメディアはどう対応するだろうか

145:１３２人目の素数さん
21/11/11 09:53:40.76 NSds9Tyg.net
scholtze zb math
IUT論文の目的
「In this series of papers on Inter-
Universal Teichmüller Theory 、、
the author aims to prove the ABC
conjecture of Masser and Oesterlé,
in close to effective form.」
問題点　例えば
「at some point in the proof of Corollary
3.12, things are so obfuscated that it is
completely unclear whether some object
refers to the q-values or the Θ-values,
as it is somehow claimed to be
definitionally equal to both of them,
up to some blurring of course, and
hence you get the desired result.」
abc予想は証明されていない
「the argument given for Corollary 3.12
is not a proof, and the theory built in
these papers is clearly insufficient to
prove the ABC conjecture.」
「Finally, part IV contains certain
technical computations standard
in number theory to translate Corollary
3.12 of part III into the ABC conjecture」
結局
cor.3.12はself- evidentでは
なく証明されていない。
まずIUT論文を取り下げて論文の書き直しとPRIMSがIUT論文を受理するまで
(査読中)についてRIMSの公開検証
が必要だ

次ページ