21/10/17 19:33:44.39 fwc2Gnc1.net
IU幾何やABC予想に関する会話の
サロンとして使って下さい。
荒らしはご遠慮願います
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
17: 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. https://arxiv.org/pdf/2106.07269.pdf
18:１３２人目の素数さん
21/10/17 20:35:12.63 fwc2Gnc1.net
朝日新聞 2021.7.27 石倉徹也記者
「ABC予想」証明出版でまた物議
懐疑的見方消えず/興味を失う数学者も
海外の発言
・仏紙「謎に包まれた数学の論争は ネットフリックスのドラマを ほうふつ
とさせる展開だ」
・英BBC「不可解な証明を巡る論争」
と題した記事では「ほとんどの数学者
は証明が失敗したと考え理解すること
をあきらめ た」
・英科学誌ネイチャー 論評
「不可解な論文が公式に出版される
ことに衝撃を受けた。ABC予想の「証明」は物議を醸したままだ」
・ABC予想を提唱した ジョゼフ.
オステルレ仏ソルボンヌ大学名誉教授
「重要な論文が望月氏に近い雑誌で
審査されたのは驚きだ」
・フィールズ賞受賞者ピーターショルツ独ボン大学教授
「証明の疑問点は明らかなのに解消
できていない。納得できる説明をして
ほしい」
・望月氏の米プリンストン大時代の
指導教授.フィールズ賞受賞者
ゲルト.ファルティングス氏
「論文は理解できなかった。
自分の研究に時間を割くことにした」
と朝日新聞の取材に答えた。
19:１３２人目の素数さん
21/10/18 10:25:06.99 zGdJMj/l.net
もうそのくらいで良いだろう
20:１３２人目の素数さん
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理論は、一般的な数学のパラダイム
の枠内では語れない、 全く新しい
フレームワークと言語.概念体系を基盤
として構築されている
21:１３２人目の素数さん
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特別編集委員長
玉川安騎男および柏原正樹
22:１３２人目の素数さん
21/10/18 12:06:46.28 unI2Rmbi.net
IUTは宇宙際論
数学ではない
23:１３２人目の素数さん
21/10/18 15:44:30.21 POfxKQJb.net
哲学でもない
24:１３２人目の素数さん
21/10/18 15:53:33.47 nqlxCJNz.net
事の顛末まとめ
ABCについては
ZBmath reviewに反論もできず、
3.12の飛躍が9年経っても埋められず
Clearly insufficient to prove the ABC conjecture
でケリがついた。
IUTについては一部のマニアには面白いかもよ、ってレベルで落ち着いた。
25:１３２人目の素数さん
21/10/18 16:53:17.85 POfxKQJb.net
要するに話がつまらなくなった
26:１３２人目の素数さん
21/10/18 18:07:20.81 7A8oAhxJ.net
>>23
夢は終わったのか
お疲れ様でした
27:１３２人目の素数さん
21/10/18 23:38:05.44 cRrmgDJm.net
秋風や
兵どもが
夢の跡
28:１３２人目の素数さん
21/10/19 18:03:07.57 M9pJ07Yd.net
日曜の朝から急に寒くなった
29:１３２人目の素数さん
21/10/19 18:48:42.16 00ySQXQn.net
IUTの基本のアイディアすら理解できずに終わってしまうのはなんかモヤモヤする
本当は合ってるんじゃないの？
30:１３２人目の素数さん
21/10/19 18:54:35.74 zBMYJQIR.net
グローバルCOEやら現況調査票やら、評価の話する粘着崩れ君もう秋田
31:１３２人目の素数さん
21/10/19 18:54:51.88 M9pJ07Yd.net
abc予想が正しい可能性が残っているというのと
どれだけの差があるのだろうか
32:１３２人目の素数さん
21/10/19 18:57:03.78 M9pJ07Yd.net
IUTは飽きられてさえいない
33:１３２人目の素数さん
21/10/19 19:00:34.42 00ySQXQn.net
>>30
abc予想自体は3Dプロットした感じがなんだか正しそうってことで納得した
IUTはアイディアからしてさっぱり分からん
34:１３２人目の素数さん
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
35:１３２人目の素数さん
21/10/20 07:16:21.07 oDcPvOCw.net
支持者を増やすための努力は続けられているのだろうか
36:１３２人目の素数さん
21/10/20 07:42:08.51 LNuB0nyU.net
京大が霊長類研究所を事実上
「解体」へ 世界的な拠点、
研究資金不正の舞台
URLﾘﾝｸ(www.kyoto-np.co.jp)
37:１３２人目の素数さん
21/10/20 08:54:16.34 oDcPvOCw.net
そのニュースはもういい
38:１３２人目の素数さん
21/10/20 09:04:12.25 AZP7ejQ5.net
皆が皆自身をただのサルだとわかってしまったら
社会が崩壊するだろう
39:１３２人目の素数さん
21/10/20 10:11:40.22 A7608Z/+.net
伊原先生はノーコメント？
40:１３２人目の素数さん
21/10/20 10:38:49.13 7fdenmQQ.net
もうここでコメントされていると思う。
何ヶ月か前に。
41:１３２人目の素数さん
21/10/20 13:27:10.96 9OWgP5/n.net
結局誰もIUTってこういうものなんだよって教えてくれないところに数学者の底意地の悪さを感じる
理解すること自体に選民意識があるんだろうね
何も生み出せない人間の限界というか
42:１３２人目の素数さん
21/10/20 13:49:53.20 9cYjUwc0.net
>>40
誰もわからんからだよ
当たり前だけど論文読まなきゃ分かるはずない
しかし読んでなんらかの意味で自分にプラスになる事が期待できないなら1000ページ越の論文に挑戦する事はない
そんなのに本気で挑戦したら何ヶ月もかかってしまう
そして現時点で挑戦した人たちの感想聞く限りにおいて無駄になる可能性が高い
現時点ではもう誰も挑戦しようとしないよ
43:１３２人目の素数さん
21/10/20 13:51:43.53 AZP7ejQ5.net
俺は日本語しか読めないから論文が読めない
もし日本語で出してくれたら読んでみたいけどｗ
44:１３２人目の素数さん
21/10/20 14:58:56.32 9OWgP5/n.net
>>41
自分でやるしかないってわけか
abc予想のときはBの詐欺臭に憤って勢いで調べたけど
自分は数学者でもなんでもないから数学をやったところで一銭になるわけでもなし楽しくもない
人生における数学の優先順位は限りなく低いんだよね
45:１３２人目の素数さん
21/10/20 15:46:30.79 KpYERawY.net
NFTアート、ＮＦＴゲーム、ブロックチェーンゲームに今すぐ参入しなさい
これからこの市場は100倍になる
先行者利益は２～３年もしたら消えるからやるなら今しかない
今ならアイデアだけは凄い一発ネタや勢いがある尖った作品でも成功できる
46:１３２人目の素数さん
21/10/21 00:38:03.89 AJyXZjeD.net
>>37
新モンゴロイド形質っていちばん寒冷適応した霊長類って感じ丸出し
出っ歯丸出し
47:１３２人目の素数さん
21/10/23 07:29:48.66 Bd9CL3YV.net
>>45
自虐？
48:１３２人目の素数さん
21/10/23 08:13:17.67 hc3ntont.net
-nature-
Mathematicians welcome computer-assisted proof in
'grand unification’ theory
URLﾘﾝｸ(www.nature.com)
49:１３２人目の素数さん
21/10/23 21:34:29.42 WhoVYnTE.net
>>46
俺はもっと南方系の歯並びと北方系の歯並びが混在した八重歯乱杭歯タイプだが。
50:１３２人目の素数さん
21/10/27 23:29:29.95 vT/ET+Mo.net
IU幾何やABC予想に関する会話の
サロンとして使って下さい。
荒らしはご遠慮願います
51:１３２人目の素数さん
21/10/27 23:47:40.74 3EfFA3/f.net
>>41
恐らく無駄だし、本当に理解者がいるならある程度読みやすくなる、本質的な解説は可能なはず
特にp進体、絶対ガロア群、位相群、圏論、アーベルスキームなどの知識を踏まえて
今のところ星の概説はそれに近いだろうけども、そういう概説書が出てこない時点で誰も理解してないよ
本人すらも
52:１３２人目の素数さん
21/10/27 23:57:58.18 DYGZSEZD.net
本人が理解してなかったらウケるｗ
53:１３２人目の素数さん
21/10/28 00:03:39.32 mtI3b8WZ.net
要するに
宇宙際ってどういう意味の宇宙のどういう意味の仕組みなのか？
ある種の楕円曲線の絶対ガロア群を正則でない位相群として見たらその宇宙はどういうものなのか
不定性とその具体例は何なのか
格子の縦横各々の意味は何なのか
数体のテータ因子の計算がその位相群や不定性によってどうやって行われるのか？何処がアラケロフ因子なのか
そういう論文を読むのに必要な要点が十年経って大してまとまっていないというのでは
何考えてんだかさっぱりわからんね。伝える気力ないでしょ。進展とか以前の話
54:１３２人目の素数さん
21/10/28 00:23:21.08 mtI3b8WZ.net
加藤みたいなフワフワしたイメージじゃなくてね
普通のしかしIUTでも意識されている既存数学とIUTの仕組みを埋める書き方を一度でもしてみろと
そういう連続性がないもの、見せることを放棄したものを革新だの革命だのいうならば
そら主流は一切認めないよ。そんなもん理解不可能なんだから
望月の解説を見ても中途半端に既存数学の概念や例に言及している印象を受けるし、
案外IUTとのギャップをちゃんと埋める書き方がなされているように見えない。それこそ読めばわかるみたいなね
つまり「概説として圧縮された解説」になってないんだよ
55:１３２人目の素数さん
21/10/28 08:12:25.87 0z5y5YWC.net
連続性などないのだよ
IUTは宇宙際論であって
数学ではないのだから
56:１３２人目の素数さん
21/10/28 08:44:42.34 6s8v0Qx9.net
Forcingは集合の宇宙の話として解説されたりするが
Imcompleteness theoremとつなげた話の方が分かりやすい
IUTも別の名前で解説した方が分かりやすいかもしれない
57:１３２人目の素数さん
21/10/28 12:14:38.49 mtI3b8WZ.net
ショルツがcondensedをleanの形式にしたのも明らかにIUTをちょっと意識してると思うわw
やれるならやってみろ的な
58:１３２人目の素数さん
21/10/28 20:25:11.63 dKd+J9Z1.net
角川ドワンゴ川上氏と加藤文元氏
に「宇宙と宇宙をつなぐ数学
-IUTの衝撃-」仲間の望月新一氏を
加え、カルチャーレベルのAIの勉強会
をしたらいかがだろうか。
computer-assisted proof in GUTの
ショルツェとはレベルも住んでいる
世界も全くちがうし
59:１３２人目の素数さん
21/10/28 22:22:52.15 NXSrxA86.net
もう、そろそろＩＵＴは忘れてもいいのでは？
ABC Conj. remains openでいいのでは？
他のOpen Problemにチャレンジしよう！
60:１３２人目の素数さん
21/10/28 23:11:01.17 1CEI9w+a.net
abc予想に対してより自然な理論を考えるべきだ、というのは全くその通りかと
だけども、ある程度IUTの考え方について見ると学ぶべき部分もあるにはあると個人的には思う
「やりたいこと」を抽出するならね。そしてそれが不可欠な情報ではないのも確かだけど
61:１３２人目の素数さん
21/10/28 23:13:28.66 1CEI9w+a.net
ヒントとまではいかないけども、abc予想に届くにはどうしたいのかという問題点を再確認するには
学べるところもある、という感じ
62:１３２人目の素数さん
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重に間違いだった
63:１３２人目の素数さん
21/10/30 01:19:09.18 okMbU2bS.net
以前からIUTによるabc予想の証明は
HoTTなどが進みcomputer-assisted
proofで検証されるまで待つとの意見が
あった。
scholtzeらはcomputer-assisted proof
inGUTを開発し検証に成功したし
K.Buzzardも関わっている。
IUT論文関連は具体的に発表されていないがどうなんだろう、
レビューを読んだ感想では
IUT語による不明瞭な言説や定義は
素粒子実験なら入力されてもトリガーの段階でノイズとしてリジェクト(排除)されるといったところかしら
64:１３２人目の素数さん
21/10/30 13:32:51.12 9dOaNX2M.net
次世代幾何学研究センターとかIUT絡みで雇ってる奴らを動員して、
形式化のために毎月100人時間ぐらいタイプして貰えばいいんじゃないの？
論文に飛躍はない、各ステップはトリビアルって言ってるんだから、
そうしたら１，2年のうちに結論がでるだろう
65:１３２人目の素数さん
21/10/31 10:17:55.20 H3YRi4/M.net
このスレでも、IUT論文のabc予想証明は
不明瞭だから書き直しと言われていた
のにPRIMSは強行acceptした。
IUT論文を取り下げ書き直ししかない
66:１３２人目の素数さん
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.
67:１３２人目の素数さん
21/11/01 07:19:51.12 bI18Q2KC.net
結局一種の礼儀もあるからあんまり無作法に「IUTTは間違っている」って業界内ではいわないのだろうな。
現実的には年追うごとに関わる人、言及売る人が減って、主要な人物が逝去して忘れらるという感じだろう。
もちろんどこかで風向きが変わるようなことがないとは限らない。
68:１３２人目の素数さん
21/11/01 12:42:54.31 xD546mc9.net
礼儀作法というか、わざわざ狂人に噛みつかれて粘着されてまで相手しなければいけないものでもないからな。
Clearly insufficientが結論で、もうコンセンサスができてるし。
69:１３２人目の素数さん
21/11/01 16:45:51.27 QIqW/5EV.net
望月先生の書き物の中に(ログスキーム)ー(スキーム)→フロベニオイドっていうのを見つけて、スキーム使ってないんだなあと思った。
70:１３２人目の素数さん
21/11/01 17:30:55.74 +74BYRwk.net
というかメタレベルの遠アーベル幾何学ってことなんだけども、それが外野には理解できないという
71:１３２人目の素数さん
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予想の数学証明は書き直しのレベルだし
72:１３２人目の素数さん
21/11/01 23:38:47.02 +wJvLwoI.net
>>70
別にXenaだけに依存する必要はなくて、単純に形式化と代数幾何がある程度わかる人間が
RIMSのIUT研究者に接触すれば正否がはっきりしてくるだろうけど
Buzzardは元々モジュラー形式の代数幾何学で博士号だったっけ？
Perfectoidとかはやりがいがあり楽しいだろうね
73:１３２人目の素数さん
21/11/01 23:51:33.63 2htThak6.net
>>62のはなしです。
74:１３２人目の素数さん
21/11/02 07:05:41.64 SO97MB6t.net
IUTTの形式的な検証なんてできるのかね。
75:１３２人目の素数さん
21/11/02 07:15:22.06 TJU64mJz.net
IUTTが数学ならできるだろうね
76:１３２人目の素数さん
21/11/02 07:48:18.75 IVOYry0R.net
数学と認める人たちの数は増えているか
77:１３２人目の素数さん
21/11/02 07:56:07.78 1AfMjP6L.net
宇宙って上にあるような気がするけど
もしかしたら下だったりして
存在しても認識できなそうｗ
78:１３２人目の素数さん
21/11/02 12:01:35.13 ZkX0LPwd.net
>>73
述語論理で書けないならそれはそれで凄いことだろう
79:１３２人目の素数さん
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.
80:１３２人目の素数さん
21/11/03 22:45:16.73 +CGUrp6s.net
森重文先生が文化勲章
81:１３２人目の素数さん
21/11/04 06:52:23.54 Yp/1Q+tD.net
松沢哲郎.元京大特別教授
文化功労者の受賞者
京大霊長類研を解体
研究費不正受け
時事2021.10.26
URLﾘﾝｸ(search.yahoo.co.jp)
82:１３２人目の素数さん
21/11/04 11:53:08.98 Grix9jM6.net
数学ではないという見方のほうが増えてないか？
83:１３２人目の素数さん
21/11/04 15:48:55.20 QFAkx4MD.net
割とガチで触れちゃいけないものにはなってるな
84:１３２人目の素数さん
21/11/06 10:45:57.52 IuL0Cy8V.net
一度abcを離れてiuttがより確実に数学的成果として得ているものを提示していけばいいように思うのだけど。
その論理自体が成立していないって事じゃないだろうならね。
新しい道具見せて、これでabc山制覇したっていってるけど証拠の録画が途中で飛んでるように見えるという人もいる感じか。
道具自体は確かに動くけどそれで高い山は無理という意見なら、まず中くらいの山を登ったしっかりとした証拠からみせてけばいいのに
そういう話でもないのかw
85:１３２人目の素数さん
21/11/06 10:59:02.73 JjkVf1Pv.net
>>83
Cor3.12からABC予想は証明できるが、肝心のCor3.12がIUTTから証明できない
つまり、望月新一の功績は、ABC予想を導く「望月新一予想」の提案で止まってる
86:１３２人目の素数さん
21/11/06 13:29:10.24 36fx/MEI.net
次号の「数学」に星さんの論説が載りますね
87:１３２人目の素数さん
21/11/06 14:34:42.16 H+plflzh.net
望月教授って小保方系って扱い？
信用回復の道はあるの？
まともな人はもう相手してくれない？
88:１３２人目の素数さん
21/11/06 14:41:50.93 JjkVf1Pv.net
>>86
> 小保方系って扱い？
ま、捏造とかじゃないけど、証明の不備に対して
誠意ある回答してない時点で、同類かもね
> 信用回復の道はあるの？
同業者が理解可能な証明を示すしかないけど無理だろね
弟子も同僚もフォローしないところをみると理解できてないんだろうね
> まともな人はもう相手してくれない？
今のままならね
ま、それだけで済めばいいけど 文科省が調査するとかいいだしたら
最悪RIMSはつぶされるね 理研CDBと同じ
御愁傷様(-||-)
89:１３２人目の素数さん
21/11/06 15:11:56.25 36fx/MEI.net
>>文科省が調査するとかいいだしたら
どんな知識を持った人がそんなことを言いだせるのか
想像がつかない。
90:１３２人目の素数さん
21/11/06 16:02:
91:50.20 ID:Sf1N64Ku.net
92:１３２人目の素数さん
21/11/06 16:10:37.75 ZPvwwdxW.net
もうずっと前からきていますけど
93:１３２人目の素数さん
21/11/06 16:45:49.09 JjkVf1Pv.net
>>90
呼んでない呼んでない
94:１３２人目の素数さん
21/11/06 17:59:04.70 ZPvwwdxW.net
>>91
何問も解決しているのに？
95:１３２人目の素数さん
21/11/06 18:08:37.06 JjkVf1Pv.net
>>92
その話はしないことにします
それより💊飲んでる？
96:１３２人目の素数さん
21/11/06 18:17:01.69 ZPvwwdxW.net
>>93
気持ち悪い
97:１３２人目の素数さん
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.
98:１３２人目の素数さん
21/11/06 18:45:01.02 JjkVf1Pv.net
>>94
脳の病 治そうね
99:１３２人目の素数さん
21/11/06 18:51:06.78 xqlXdb6E.net
おお
１年ぶりのここの板に来たら、
ＡBC予想証明がすっかり望月の間違いという事で決着がついていてワロタわｗ
応援ｽﾚは全く関係のないレスで埋め尽くされているしｗ、
これが数学版住人なりの最終回答だろうｗ
マスコミも科学雑誌も、結末を載せずシレっと無視しているだけに、
数学板は役目を果たしたと言える。
まあホント言うと、証明できてないのは望月にも分っていたよね、強がってただけで。
例のショルツとの論争で一番印象に残ったのは、望月が「若手の助けを求める」発言をしたこと。
つまり穴があるのを承知で、世界中の生きのいい若手に穴を埋めてもらうことを期待してたんだよ。
それがすぐ埋まるのなら、本質的証明は望月の手柄になるが、
そうはならなかったという事。
100:１３２人目の素数さん
21/11/06 19:19:29.68 36fx/MEI.net
ショルツェ
101:１３２人目の素数さん
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については一部のマニアには面白いかもよ、ってレベルで落ち着いた。
102:１３２人目の素数さん
21/11/06 21:52:47.72 0wcSqO0e.net
>>97
専門家がそろって3.12の証明が分からんって言ってるときに
本人がブログで
「数学は論文によって完全に記録可能である」
というテーゼに疑義を唱えたりしてたからね
もう"察し"っていうか何というか
103:１３２人目の素数さん
21/11/06 23:10:20.69 VUVe3976.net
>>83
それなら既にフェルマーの別証明とかを出したが、相手にされていないのが現状ではないのかな
104:１３２人目の素数さん
21/11/07 00:23:49.52 9ZqMh491.net
数学じゃないんだからどうしようもないよなぁ
105:１３２人目の素数さん
21/11/07 00:32:19.65 EWZV0Qf3.net
Clearly insufficient to prove the ABC conjecture ！！
106:１３２人目の素数さん
21/11/07 00:51:58.12 wlrfuo7R.net
数学じゃないなら何ですか?
107:１３２人目の素数さん
21/11/07 01:06:03.10 cn25zmV9.net
祈りです
108:１３２人目の素数さん
21/11/07 03:17:30.78 dQJble9U.net
風土病
109:１３２人目の素数さん
21/11/07 07:22:08.82 OWug7gky.net
遠アーベル幾何学≠IUT
ショルツェレビュー >>95
110:１３２人目の素数さん
21/11/07 07:43:20.45 9dHCiX+S.net
>>97
> 例のショルツとの論争で一番印象に残ったのは、
> 望月が「若手の助けを求める」発言をしたこと。
これってYouTubeとかでまとめられてないん？
論争の始まりから証明には足りてないまで
って一つのドキュメントと思うんです
フェルマーの最終定理と対比させると
証明成功の場合と失敗の場合とで
決定的に違う部分や流れがおかしくなる場合の
兆候とか出てきて、
ワイルズや望月教授という
世紀の難問に挑戦した者の成功失敗を
大体で外野が判断する資料になると
思ってるんですよ
ABCは失敗っぽいから望月教授の協力は
ないだろうけどなー
111:１３２人目の素数さん
21/11/07 08:55:30.04 9dHCiX+S.net
成功の事例
2002年、年、ポアンカレ予想、ペレルマン、ロシア
1993年、フェルマーの最終定理、ワイルズ、イギリス
失敗の事例
2012年、ABC予想、望月教授、日本
日本人って・・・
112:１３２人目の素数さん
21/11/07 09:03:09.73 OWug7gky.net
望月新一京大教授がabc予想の証明に失敗
一方、
望月拓郎京大教授が柏原予想の証明に
成功した
113:１３２人目の素数さん
21/11/07 11:15:46.94 9ZqMh491.net
>>104
宇宙際理論もしくは宇宙際論
114:１３２人目の素数さん
21/11/07 13:53:51.07 cn25zmV9.net
あんなゴチャゴチャした造語だらけの理論は今になって見るとちょっとな
当時は何か凄いで誤魔化されたが、どう考えても異様だよな
115:１３２人目の素数さん
21/11/07 16:20:02.74 p+4oQP3j.net
問題が異様なんでしょ
116:１３２人目の素数さん
21/11/07 16:41:42.39 UCXgjBc9.net
abc予想は多項式のABC定理が
成り立つし多変数複素函数論
のネバンリンナ理論からも
予想されたしディオファントス
問題の重要な予想。
117:１３２人目の素数さん
21/11/07 16:44:51.80 UCXgjBc9.net
異様なのはIUTがディオファントス→
グロタンディーク→望月新一と公言していることでは？
ディオファントス、スキームと
遠アーベル幾何学のグロタンディーク
だけでokだったね
118:１３２人目の素数さん
21/11/08 07:27:32.85 uy+O2S8y.net
ABCはIUTTの中で言い換えられていてそれが系3.02として証明されているという主張。
一方で言い換えは認められているけど、証明はされているとはいえないという批判がある。
ワイルス定理（フェルマー予想）の別証明はABCに紐づいているから、
もっと他の整数論なり代数幾何の問題をIUTTで言い換えて証明されたものを発表していけばいいのに。
というか今セミナーとかでそうしているのだろうね。そこは宣伝してあげないのかね。
119:１３２人目の素数さん
21/11/08 08:15:17.95 iebpivg4.net
系3.02？さっぱりわからない。
たしかにIUTTは「ゴチャゴチャした造語だらけの理論」だからIUT語で
ロンダリングすればなんでもありだな
120:１３２人目の素数さん
21/11/08 15:09:50.71 rDxbyCib.net
星のサーベイに
“理論における様々な対象の構成は, もう少しで崩れてしまいそうな辛うじ
て保たれている均衡の上に成り立っており, そう簡単にはこの理論の真似はできない"
とあるから、理解者と言われる星も、最初は理論に違和感があったけど、最終的には腑に落ちたわけだから、
その辺の思考過程を"不正確な記述"なしに書き下せないのかな？
まぁ、それが難しいのかと思うけど。
121:１３２人目の素数さん
21/11/08 16:23:14.66 kwFf80VU.net
>>116
>>118
少なくともショルツらはIUT内部の言語から当然検討しているであろうし、その微妙さとやらを
ちゃんと大まかに伝えることすらできないとすればどうしようもないのではないか
何れにせよIUTを使わないと解けない問題ではないのはほぼ確実と思うけども
122:１３２人目の素数さん
21/11/09 07:14:23.71 4i2z7ooi.net
これでもっと主流に受け入れられるような方法でABCが解けたら、
IUTTも他の方向から存在感ださないといけなくなるだろうね。
123:１３２人目の素数さん
21/11/09 09:36:54.67 y02nGw/V.net
IUTTを構築しただけではabc予想の
解決にになりません、詭弁でなく明確で
正しい根拠に基づく数学の証明が
必要です。
まあ奇異なIUTはRIMSと関係者のネタで
今では加藤本、小山本、ニュートンなど出版業界のネタです。
124:１３２人目の素数さん
21/11/09 10:00:31.00 TIq+rcdK.net
>>120
いやそもそもabc予想しか応用がないとかいう時点で要らないから
その応用も疑わしいし
125:１３２人目の素数さん
21/11/09 13:02:18.49 Ayw4Vlev.net
>>121
小山や文元は月刊ムーの隣に置いたほうが違和感ないな
126:１３２人目の素数さん
21/11/09 13:55:24.14 xmCZ2cr2.net
小遣い稼ぎで堕天した人たち
127:１３２人目の素数さん
21/11/09 15:26:41.09 A2C21Aiw.net
黒川のコメントが欲しいところか
128:１３２人目の素数さん
21/11/10 08:15:45.64 aI9KtNY3.net
IUT has been debagged by Scholtze.
129:１３２人目の素数さん
21/11/10 09:05:21.73 j5zSLg8C.net
debagged?
130:１３２人目の素数さん
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!
131:１３２人目の素数さん
21/11/10 10:39:53.11 aQiEh2Rq.net
関係者の人たちちゃんとIUT以外の論文も出してるの？
132:１３２人目の素数さん
21/11/10 11:40:21.98 anFWInyk.net
debagはJames Joyceの造語(Ulysses)だから
辞書には載っていないだろう。
しかし意味は読んで字の如しだ。
それ以上でもそれ以下でもない。
133:１３２人目の素数さん
21/11/10 13:24:18.23 j/IBj29T.net
IUTTに関することの決着は時間がかかるよ、もしかすると10年以上かかるかもしれない。
134:１３２人目の素数さん
21/11/10 14:03:49.24 kOKPHmno.net
IUT語はこれでしょ
「IUT理論は、一般的な数学のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・
概念体系を基盤として構築されて
いる」
135:１３２人目の素数さん
21/11/10 14:05:24.45 hWwrfMNW.net
どのみちIUTに人生かけるよりは片手間で横見しながら数論幾何やったほうがよいと思うがね
136:１３２人目の素数さん
21/11/10 17:43:50.57 1csNQjDe.net
いっそ微分幾何をやったら？
137:１３２人目の素数さん
21/11/10 18:20:55.26 hWwrfMNW.net
>>134
別に数論微分幾何だって理屈上は可能だろうが、ABC予想とかには遠回りになるな
138:１３２人目の素数さん
21/11/10 19:18:55.04 1csNQjDe.net
いっそリーマン予想をやったら？
139:１３２人目の素数さん
21/11/10 20:27:34.58 5jj6e9w4.net
>>135
本当にあるんだな
Alexandru Buium, Foundations of arithmetic differential geometry
140:１３２人目の素数さん
21/11/10 21:50:00.23 y92WOvOJ.net
IUTは楕円曲線のような面白味がないのが痛いな
モチベーションがどこにあるのかよく分からんって素人は思っちゃうね
141:１３２人目の素数さん
21/11/10 22:58:12.29 xabzZmgV.net
占い自動計算を唱えた細木数子氏が
亡くなっていた
142:１３２人目の素数さん
21/11/10 23:20:58.17 y2MCkiGv.net
zbmathのショルツェの評によると、
望月論文は１０００ページにわたって殆ど無価値らしい。
RIMSの検証チームでは誤りは発見できなかったと言っていたのに、
どうしてこんな真逆の結果になったのか。
一体検証チームは何を検証してたのか。確か４人だったよね。
何でショルツェが来日した時望月と星の二人だけで対応したのか。
検証したのが四人なら、少なくとも四人はIUTを語れるはずじゃん。
ほんとに検証していたのか？
143:１３２人目の素数さん
21/11/10 23:54:01.95 CmBG7Dpc.net
望月論文はありまぁす。
144:１３２人目の素数さん
21/11/11 07:34:52.98 uPoJT/RA.net
はじめまして。
お願いがあります。
ABC予想を証明しました、なのですが1ページの証明です。
正直、中学生レベルの証明です。
正しいとは思えないのですが、自分では、どこがおかしいか？わかりません。
そこで、お願いですが、採点していただけないでしょうか？
どこの論理が間違っているか？指摘してほしいです。
証明は、下記の私のホームページにあります。
アドレスからわかると思いますが、Googleサイト内にあるホームページです。怪しいサイトでは、ありません。
証明はPDFファイルになってます。
どうか、よろしくお願いいたします。
URLﾘﾝｸ(sites.google.com)
145:１３２人目の素数さん
21/11/11 07:51:15.07 bDzH4FTO.net
IUTTが無価値だと言うのは飛躍のある（とショルツが見なしている）過程をのぞけばあとは自明だって意味だよね。
問題はむしろABCの証明だけがセールスポイントだとしたらそれはどうなのというところだと思う。
もっといろいろ深い成果を喧伝して欲しいのだけどね。12月にまた京都で望月氏の講演がありますね。
146:１３２人目の素数さん
21/11/11 08:40:34.59 edr/KrQ2.net
12月の講演にメディアはどう対応するだろうか
147:１３２人目の素数さん
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の公開検証
が必要だ
148:１３２人目の素数さん
21/11/11 09:59:11.68 NSds9Tyg.net
>>145
scholtze → P.Scholze
149:１３２人目の素数さん
21/11/11 10:53:53.21 EfNTy4L6.net
IUTから非自明な数論上の構造・対応が抽出出来るとかだと証明に仮にギャップがあってももっと盛んに議論されてると思う
150:１３２人目の素数さん
21/11/11 13:30:11.74 FAB87kPa.net
>>147
ショルツが内容がないと指摘しているのは、具体的な計算の要点が無いということ
pirot objectがその論点になってるけども、エタール的対象なるものがスキームの宇宙達の誤差、ずれを
透過して計算する仕組みが多重充満同型なるトートロジカルな前提にあるに過ぎないから意味がないと
FrobenioidsとAAG３を読んでるのは間違いなさそうだし、本当に訳わからんのだろう
151:１３２人目の素数さん
21/11/11 13:36:44.57 FAB87kPa.net
望月は、その前提はトートロジカルなのではなく、群の微細な区別によって環宇宙の違いを捉えていると
言っているわけだけども、これは最終的には非可換図式によってしか捉えることができない
そういうリンクの仕組みは圏論の極限や余極限などの枠組みでは普通考えられないと見えるんだけども、
それを超えた理論というならばお手上げだろう
152:１３２人目の素数さん
21/11/11 14:16:26.44 GV0fmIIy.net
まあ単純に圏論理解してなかったいうオチはありえるんだよな
だいぶまえから圏論の理解がおかしいって言われてたし
153:１３２人目の素数さん
21/11/11 16:06:24.55 bDzH4FTO.net
結局長年の「勘」で正しいと言っているのに等しいところがあるのかしら。
154:１３２人目の素数さん
21/11/11 17:47:26.51 kmhQ8AOu.net
充満多重同型full poly-isomorphism
はIUTTによるabc予想の証明のため
の人工的な装置かしら
155:１３２人目の素数さん
21/11/11 22:09:00.25 b0oLhQp/.net
The argument given by the author
for taking not the obvios isomorphism
between Π’s
but the full poly-isomorphism is
that this is necessary because
the Θ-link does not respect the
interpretation of the elements of
these monoids as actual numbers.
156:１３２人目の素数さん
21/11/12 01:15:57.23 YfwU3ssB.net
細々と続くなあ
おっきく燃やそうぜ
157:１３２人目の素数さん
21/11/12 14:39:51.29 UVKuOivE.net
まぁ今年の整数論集会で
理解者が増えることを期待
158:１３２人目の素数さん
21/11/12 15:53:43.06 usmAsrOv.net
何らかの大きな進展があって公表されるといいですね。
159:１３２人目の素数さん
21/11/12 16:44:07.82 8TPfDO8S.net
> 理解者
IUTTの加藤文元本を英訳し講究録別冊へ
載せてくださいね。
お約束ですよ
160:１３２人目の素数さん
21/11/12 18:26:54.67 kwmh2paG.net
もうちょっと温めるのではいけなかったの？
本人にも証明できてないって分かってて、
証明したって発表しちゃったの？
いつかは証明失敗って証明されるって
分かっていたでしょうし、
他の人が証明できてないのに証明出来たーって
発表したなら証明失敗って
議論で負かす立場であったでしょうに
なんで、汚名を、、、なんで？なんで？
161:１３２人目の素数さん
21/11/12 18:29:06.95 UVKuOivE.net
>本人にも証明できてないって分かってて、
>証明したって発表しちゃったの？
そんな訳あるか
162:１３２人目の素数さん
21/11/12 19:53:59.92 1YPSFiBF.net
そんな訳あるよ
大々的に発表して、一年ぐらいの間に誰かが証明してくれれば、
数学の進歩になる。
163:１３２人目の素数さん
21/11/12 23:16:22.50 4HJy0Ugv.net
見切り発車の側面はもしかしたらあったかもしれんね
そもそもホントに理論に自信があるならprimsなんぞに投稿するわけがない
こんな大定理なのに
他の論文誌では到底アクセプトされない事は本人ももしかしたらわかってたのかもしれないし、ふprimsへの投稿も実は単なるアリバイ作りでアクセプトされるとは思ってなかったもある
知らんけど
164:１３２人目の素数さん
21/11/13 07:45:27.55 sQKreZdv.net
次々と関連論文でるねー
URLﾘﾝｸ(arxiv.org)
165:１３２人目の素数さん
21/11/13 09:53:11.99 cgC+N8bi.net
IUTTへの立場はいろいろある。
IUT語を信奉する、
解釈があーいえばjoyuタイプ、
正統で一般的な数学の発展から観察する、
2022ICMでIUTT関連なし
身内の会議は踊る、されど進まず
166:１３２人目の素数さん
21/11/13 14:11:05.89 ehfJU6bN.net
とりあえずNHKのドキュメンタリーを正座して待ちたいと思う。
167:１３２人目の素数さん
21/11/13 14:20:08.76 88qKv8hT.net
NHKは公共放送だからね。
NHKスペシャルでは
IUTTの太鼓持ち宣伝でなく
>>3から>>17までの疑義についても
放送することだ。
168:１３２人目の素数さん
21/11/13 15:14:21.79 FES7A
169:d9u.net
170:１３２人目の素数さん
21/11/13 15:19:21.22 c0RFxVGB.net
>>165 心配御無用
URLﾘﾝｸ(www6.nhk.or.jp)
調査報告
ＳＴＡＰ細胞 不正の深層
今月２日、英科学誌ネイチャーは、新型万能細胞の作製に成功したとして
世界的な注目を集めたＳＴＡＰ細胞の論文を取り下げたと発表。
研究成果は白紙に戻った。
日本を代表する研究機関である理化学研究所で起きた
史上空前と言われる論文の捏造。
改革委員会は、熾烈な研究費獲得競争の中で、
理研が“スター科学者”を早急に生み出すために
論文をほとんどチェックせずに世に送り出した実態や、
問題が発覚した後も幕引きを図ろうとする理研の隠蔽体質を断罪。
ＳＴＡＰ細胞の存在そのものが“捏造”された可能性について、
更に検証を進めるべきだと提言した。
しかし執筆者の小保方晴子研究ユニットリーダーは徹底抗戦。
真相は何か、背景に何があるのか、全容の解明には至っていない。
番組では、独自に入手した資料を専門家と共に分析。
関係者への徹底取材を通して論文の不正の実態に迫る。
更に、多くの疑義が指摘された論文がなぜ世に出されることになったのか、
その背景を探っていく。
171:１３２人目の素数さん
21/11/13 15:38:19.34 jp1tNJfp.net
IUTが完全に欠陥品というか、そういうことやりたいならこれでよくねっていう洗練に向くことになれば良い
IUTがありのままで評価されるとは俺は思わない
172:１３２人目の素数さん
21/11/13 23:29:31.47 o5Eryp65.net
>>167
NHKは提灯ニュースをたれ流した前科
がある。
stapと同様に検証報道をすべきだ
IUTTによるabc予想の「証明」に
ついて
>多くの疑義が指摘された論文がなぜ
世に出されることになったのか、
その背景を探っていく。
>3から>17、19と>20の事実は関係者の
インタビューとIUT論文の査読過程も
検証し放映すること
更にcor.3.12の「証明」について
ショルツェ.スティクス.望月新一星
ミーティングのショルツェへインタビューが絶対に必要だしself- evidentで
なかった。
NHKニュース 2020.4.3
難問「ABC予想」京大教授が証明
専門家「歴史に残る成果」
URLﾘﾝｸ(mobile.twitter.com)
(deleted an unsolicited ad)
173:１３２人目の素数さん
21/11/14 07:06:17.73 Ci/bJtJU.net
>>169
>提灯ニュースをたれ流した前科
第一報は仕方ない
記者は専門家じゃないからね
NHKスペシャルでは専門家による検証をお願いする
秘密ゲストでショルツも出演させてほしい
174:１３２人目の素数さん
21/11/14 07:23:09.43 wxtwjXvQ.net
ここまで騒動を大きくした戦犯、ショルツェは是非召喚してほしい
そしてホッジシアターの時点で無理解からの過度の単純化をして、結論をねじ曲げ、公に発信した罪を懺悔させてほしい
175:１３２人目の素数さん
21/11/14 07:29:43.84 Ci/bJtJU.net
>>171
騒動を大きくしたのはショルツじゃなくてRIMSじゃないかな？
既に2015年の国際会議の時点で「これはヤバいのでは？」と思われてたわけだし
ショルツェが「間違ってる」というなら望月新一がそれを指摘すれば終わる話
しかし実際には全くできなかった 懺悔するのはどっちだろうな？
176:１３２人目の素数さん
21/11/14 08:06:47.01 pUD27thS.net
>ここまで騒動を大きくした戦犯、
ショルツェ
IUT騒動は京大RIMSを中心とした
疑獄が原因だ。
例えばレスの>3から>17 と>19>20。
罵倒はフェセンコにしろIUTT一派や
サポーターの体質だな。
事実は、
森重文京大特別教授がショルツェへ
望月新一ショルツェのミーティング
を提案し、望月新一星ショルツェ
スティクスのミーティングを
ショルツェスティクスがレポートした
なぜミーティングは非公開だったのか？
森重文.ショルツェ.望月新一.スティクス.星へのインタビューが必要だ。
177:１３２人目の素数さん
21/11/14 10:25:09.15 Ci/bJtJU.net
NHKも今から手の内を明かしたくないんだろう
178:１３２人目の素数さん
21/11/14 11:07:31.06 yZmKZSWz.net
BG出演擁護がいまんとこ有力じゃない？w
179:１３２人目の素数さん
21/11/14 12:22:34.03 1u80cOkd.net
>>173
Gの空気っぷりワロタ
180:１３２人目の素数さん
21/11/14 13:00:55.19 pUD27thS.net
NHKスペシャルは手始めに
京大霊長類研究所の事件を報道
したらいいじゃん。
181:１３２人目の素数さん
21/11/14 14:26:08.24 endVXVl/.net
Gみたいな奴テニュアにあげた時点で数理研の首脳部がどうなってるかはお察しだった。
内部の議論とか自浄効果とか何もなく、独裁が罷り通ってるんだろうな。
182:１３２人目の素数さん
21/11/14 15:11:46.03 yZmKZSWz.net
IUTをフラッグシップにして高揚するという意味では完全に失敗したからなw
森や柏原の名前付けたとこでG云々どころではない問題だ
巻き返せると良いですな♥
183:１３２人目の素数さん
21/11/14 15:59:10.21 Ci/bJtJU.net
日本の記者会見三大💩発言
１．小保方晴子の「ＳＴＡＰ細胞はありまぁす」
２．玉川安騎男の「査読過程は墓場まで持っていく」
３．小室眞子の「全部自分が指示した」
184:１３２人目の素数さん
21/11/14 16:43:41.01 Fam9tmfJ.net
Taylor Dupuy@DupuyTaylor
Just finished filming with NHK for an upcoming documentary about the ABC conjecture!
Other people in the documentary: Kim, Faltings, Hoshi, Elkies, Fesenko, Granville, Katz
Elkies,Granville, Katz は批判的な立場？ 専門が数論寄りだけど専門外でもあるよね？
185:１３２人目の素数さん
21/11/14 17:26:08.93 2uXkl5CY.net
KimのIUT解説ペーパーは見たよ。
URLﾘﾝｸ(people.maths.ox.ac.uk)
186:１３２人目の素数さん
21/11/14 18:12:25.07 aC2yAAnC.net
Granvilleは、ABCが予想からABC証明になると、、
「ディリクレL関数のジーゲル零点」の論文が、得られる結果になる人？
URLﾘﾝｸ(dms.umontreal.ca)
URLﾘﾝｸ(dms.umontreal.ca)(Sep21).pdf
187:１３２人目の素数さん
21/11/14 18:38:19.58 Ci/bJtJU.net
>>183
日本語がおかしいね 日本人なら
”GranvilleってABCが予想から定理になると、、
「ディリクレL関数のジーゲル零点（は存在しない）」
という結果が得られる、という論文書いた人？”
と書くだろ？
188:１３２人目の素数さん
21/11/14 19:01:49.56 t3VmcHH+.net
日本、どの分野もそう�
189:ﾈんだけどトンデモほど注目を集めるんだよなあ
190:１３２人目の素数さん
21/11/14 19:08:57.88 zRKCbt4Z.net
しかしある意味“名を残す”という意味では論文がいよいよ失敗になってしまった方が名前は残るかもしれないな
ABC予想が証明されればもちろん大定理だけど、しかし同時代にFLTやポアンカレ予想が解かれてるのと見比べるとやや見劣りしてしまう
でも今回の論文がダメ隣れば数学史上の大スキャンダル
ある意味ワイルズやペレルマン抜くかもしれん
191:１３２人目の素数さん
21/11/14 19:14:12.29 WJAr9h48.net
フェルマーの最終定理か
FLTじゃ分からないよ
192:１３２人目の素数さん
21/11/14 19:28:55.39 Ci/bJtJU.net
>>186
ポアンカレ予想の解決が大成果であることは認めるけど
個人的には
「３次元ホモロジー球面って実はやたら沢山あるんだぜぇ」
という結果のほうがそそる
ちなみに証明したのは日本人の古田幹雄氏
193:１３２人目の素数さん
21/11/14 20:49:26.80 N1jnm7bs.net
>>183 >>184
ディリクレL関数のジーゲル零点で、仏リール大の論文頁14でIUTは誤差εが良好ってある。
URLﾘﾝｸ(dms.umontreal.ca)(Sep21).pdf
Elkiesも、ABCからモーデル予想の展開で、
URLﾘﾝｸ(academic.oup.com)
望月の論文発表に、「誰か分かったら教えて」と関心のあるコメントをしていた。、
URLﾘﾝｸ(quomodocumque.wordpress.com)
下記を読むと、明示的な定数でないけど、Rothの定理よりも誤差の少ない手法(仏リール大の誤差εと同様に扱える）ならば、多分嬉しいのでは？
NDE（Noam David Elkies略名） says: September 4, 2012 at 8:26 am
It would be shocking enough (and would fully justify JSE’s “holy crap” keyword) just to have a proof of ABC; effective (let alone explicit) constants may be too much to hope for, since we don’t have them yet even for Roth’s theorem, only an effective bound on the number of exceptions.
But for Roth, and other ineffective estimates in number theory (ranging from Siegel on class numbers to Faltings), the source of ineffectivity is that one needs more than one counterexample to get a contradiction.
Can anybody tell whether Mochizuki’s approach works this way too (assuming it works at all)?
194:１３２人目の素数さん
21/11/14 20:53:17.98 1u80cOkd.net
>>186
>やや見劣りしてしまう
そんなことはない
195:１３２人目の素数さん
21/11/15 06:13:02.53 WEM79JRU.net
本人のブログみたけど2020年時点ですでに糖みたいになってんだな、周りの人間に恵まれなかったのが残念
196:１３２人目の素数さん
21/11/15 07:27:55.84 qEFkMjts.net
NHKの番組はいつ見れるのかなぁ。
ショルツでないとは思わないけど、望月さん側で条件としてショルツ出さないなら協力するとか言ってたらやだなぁ。
197:１３２人目の素数さん
21/11/15 13:51:30.97 zma3CLTs.net
cor.3.12の不等式は望月予想�
198:ｶゃん。 まずIUT論文の査読過程の解明だろ
199:１３２人目の素数さん
21/11/15 14:27:39.58 zma3CLTs.net
>>191
>本人のブログみたけど2020年時点で
「内部」告発の用語まで使っていたが、
2012年8月に望月新一京大教授が
IUT論文をPRIMSへ提出。
2019年4月 査読中
RIMSは量子幾何学研究センターを
廃止統合しIUTTを中心に広く次世代
の幾何学の研究を推進するため
次世代幾何学研究センターを設置。
所属 センター長 望月新一教授
玉川安騎男教授
柏原正樹特任教授
森重文特任教授
2020年4月
PRIMSはIUT論文を受理
IUT論文のPRIMS特別編集委員会
IUT論文.著者望月新一
特別編集委員長 玉川安騎男
特別編集委員長 柏原正樹
利益相反で、RIMSの事業推進の
ために疑義が多いIUT論文を受理した
可能性が極めて高い、
査読過程の解明が必要だ
200:１３２人目の素数さん
21/11/15 14:45:28.55 sVzGnXg6.net
>>191 神輿は軽くてパーがいい。
狂ってしまった過去の人を利用してアレコレ画策した人たちが一番の問題だよね。
201:１３２人目の素数さん
21/11/16 03:21:12.78 jvDTkHSS.net
>>194
もうあんた出てこなくていいよ
文科省評価がどーたらとか
私怨レベルの言いがかりをよくもまあ粘着続けられるねぇ
自宅警備員もさぞかし暇なんだろうねえ
202:１３２人目の素数さん
21/11/16 03:22:42.40 jvDTkHSS.net
だいたいこのスレでアホな批判してんのは、こいつ一人だけだからね
ID変え変えお疲れさまです！
203:１３２人目の素数さん
21/11/16 04:37:23.77 YLpM9BN1.net
>196->197
24時間粘着のスレ監視員ご苦労さん
あなたのワンパターンのいいがかり
コピペ連呼は聞き飽きたしあらしです。
>だいたいこのスレでアホな批判してん
のは、こいつ一人だけだからね
ID変え変えお疲れさまです！
なぜか自然にID変わる時があるけど
理由はしらないし批判者は1人だけでは
ない。
査読過程の事実と疑問をのべているだけ
京大RIMSには都合が悪い事実かも
しれないが事実だ
>文科省評価がどーたらとか
私怨レベルの言いがかりを
よくもまあ粘着続けられるねぇ
文科省評価とどーたらと私怨を
詳しく述べてください。
文科省にも監督責任がある。
闇は深いし深い闇を解明するのが
NHKスペシャルのはず
204:１３２人目の素数さん
21/11/16 07:03:45.48 gRzlGBz8.net
>>196-197
夜は寝とけ
ただでさえ少ない脳細胞がますます少なくなるぞ！
205:１３２人目の素数さん
21/11/16 07:20:38.39 NiPPXuC6.net
NHKは100％肯定的な描き方になるだろうなぁ。
まだまだ数学界はIUTTに追いついていないが数十年たてば時代はIUTTになるだろう。
みたいな締めになると予想。
エンドロールのあとの１分間にショルツがでてきて1分だけブリーフィングするオチがつくと素敵。
"Die abc-Vermutung hat sich noch nicht gelöst. Ich möchte es sagen."
206:１３２人目の素数さん
21/11/16 07:26:18.14 K6BfBeoO.net
abc予想はまだ解けていないと申し上げておきたい
207:１３２人目の素数さん
21/11/16 10:07:35.75 UsNuKCZ3.net
>>200
ちょwwwそれはいくら何でもショルツをおちょくり過ぎてはwww
208:１３２人目の素数さん
21/11/16 11:57:12.87 V49hAxr1.net
編集としては
ショルツのそのコメントは最初に持ってくるべき
209:１３２人目の素数さん
21/11/16 12:20:20.81 Py+tZT9D.net
そもそもやたら長いだけで前提知識だけ見れば読めないという類いのものでもない。10年経っても空気が微妙
というのはそらもう
210:１３２人目の素数さん
21/11/16 12:23:20.99 Py+tZT9D.net
Katzはあんま関係なくねという人もいるけど、プリンス
211:トンのディオファントス幾何界隈の 狭いコミュニティの意見が大体反映されてると思って見たほうがいい
212:１３２人目の素数さん
21/11/16 12:26:13.79 V49hAxr1.net
リーマン予想の時のドブランジュと同様
Mochizukiは番組の最後に出すべきだろう
213:１３２人目の素数さん
21/11/16 13:20:09.07 NiPPXuC6.net
問題は制作者側が理論を理解できた上で番組作れるのかというところだけど。
そこはまず無理そうだから、加藤さんあたりが監修に入りそうだね。
214:１３２人目の素数さん
21/11/16 14:06:40.45 nLqif7o1.net
いやそこは森先生にお願いしないと
215:１３２人目の素数さん
21/11/16 19:50:50.91 Z0Zt8XJW.net
犬HKは些細さんを頃しちゃったから、どっちつかずで新規性ゼロの中途半端な内容で終わりそう。
216:１３２人目の素数さん
21/11/16 20:11:47.83 Py+tZT9D.net
>>204
多分加藤も理解してないけどね
217:１３２人目の素数さん
21/11/16 22:04:52.99 kd3eL4U0.net
>>180
２．玉川安騎男の「査読過程は墓場まで持っていく」
つまり、査読課程には後ろめたいところがある、
つまり、本当は正しいと確信できなかったけど査読を通したってことじゃん。
完全に白状しているよｗ
ＲＩＭＳによる検証チームも査読も、まったくテイをなしていなかったことは、
その後の展開を見れば誰の目にも明らかだけどね。
218:１３２人目の素数さん
21/11/16 22:12:02.48 kd3eL4U0.net
>>200
公共放送と名乗るのならそんなことは許されない。
そんなのはＵＦＯ肯定論の番組と変わらない。
219:１３２人目の素数さん
21/11/16 23:26:53.73 K6BfBeoO.net
犬アッチケーじゃなかった？
220:１３２人目の素数さん
21/11/16 23:38:47.80 Z0Zt8XJW.net
些細が死んで、さすがに懲りてるんじゃないか？
221:１３２人目の素数さん
21/11/17 00:19:55.02 Vahh9XmU.net
サイアス残党兵臭
222:１３２人目の素数さん
21/11/17 07:18:47.22 LXQ2v5Ui.net
NHK番組もう少し詳細（放送予定日とか、出演者とか）情報ないのかな。
Dupuyさんがインタビュー受けたっていうつぶやきが発端なの？
223:１３２人目の素数さん
21/11/17 10:06:38.13 CBpLsKO9.net
あんな雑魚取り上げる時点で取材力はお察し。。。w
224:１３２人目の素数さん
21/11/17 15:34:10.66 Wib7CdQz.net
まあ、
世界の数学界で意見を拝聴すべきは
まずICM2022の数論でPLENARY
SPEAKERのF.CALEGARIシカゴ大
教授ですね。
225:１３２人目の素数さん
21/11/17 15:42:29.59 4eA3YvUK.net
DupuyはGと戦闘力的にはあまり変わらない
226:１３２人目の素数さん
21/11/17 15:46:49.45 vdIoGlmj.net
HNKといえば映像の世紀
227:１３２人目の素数さん
21/11/17 19:25:40.98 FLQtrF2H.net
スペシャルもあるでよ
228:１３２人目の素数さん
21/11/17 22:20:13.37 appp+b5h.net
NHKといえば
刑事 コロンボ
フランケンシュタインの誘惑
科学史 闇の事件簿
229:１３２人目の素数さん
21/11/17 22:25:23.36 HGb+eRX7.net
先週の土曜日に
「パイルP-3の壁」を見た
これを見たのは3回目くらいか
230:１３２人目の素数さん
21/11/18 08:01:33.72 +OQj7lag.net
俺もみたよ
先入観も利用したトリックでしたが
231:１３２人目の素数さん
21/11/18 08:51:56.60 Ii4z+94D.net
ここで葉巻をやめたんだね
232:１３２人目の素数さん
21/11/18 14:28:08.19 H9FU6HQZ.net
Dupuyのツイート消えたな
NHKから怒られたか
233:１３２人目の素数さん
21/11/18 19:59:32.58 zslkXy4B.net
葉巻をやめたのは初めて知った
234:１３２人目の素数さん
21/11/18 21:46:55.28 Ii4z+94D.net
事件を解決し、港のそばのボートハウスから出て来て、同僚のクレイマー刑事に葉巻の火を借りるコロンボ
クレイマー「（葉巻は）やめたんじゃないんですか？」
ニヤリ、とコロンボ
コロンボ「まぁだまだ。やぁ、まだやめられませんよ。もうちょい、やらせてもらうよ。もうちょい。」
船着場へ降り、一人ボートに乗り込み沖へ向かって漕ぎ出すコロンボ。呆気に取られるクレイマー刑事
クレイマー「どこに行くんです！？」
コロンボ、最後に叫ぶように言う。
コロンボ「カミさん乗せてやろうと思って。せめてこのボートに」
どんどん遠くなっていくコロンボ。そしてエンドロール。
235:１３２人目の素数さん
21/11/18 21:50:43.49 LBzZh5S+.net
さらば提督
236:１３２人目の素数さん
21/11/18 22:14:23.67 23wv0kYN.net
まゆちゃん だいすき ！
237:１３２人目の素数さん
21/11/18 22:34:27.24 Ii4z+94D.net
RIMSがらみか
238:１３２人目の素数さん
21/11/18 23:19:28.31 VR1EFyEr.net
刑事「“SIM”ですよ」
コロンボ「でもR余っちゃう」
239:１３２人目の素数さん
21/11/19 00:57:14.58 FyOMRR1w.net
IUTならRIMSがらみよりぐるみだろう
先入観も利用した粗雑なトリック
240:１３２人目の素数さん
21/11/19 07:16:22.52 UrrN0sO5.net
五人論文は Kodai Math J なんか
なんか性善説に依るシステムを恣意的に利用してる感がたまらんのう
241:１３２人目の素数さん
21/11/19 10:30:37.31 FMnaiPLa.net
五人論文？
242:１３２人目の素数さん
21/11/19 12:22:53.31 b5afLtyT.net
身内ジャーナルにしか相手にされないもので、後ろ指をさされたまま、
一生ごまかしを続けるつもりなのかね、取り巻きたちは。
それでポストや研究費得られたとして、幸せな人生になりうるんだろうか、それは。
人間の良心が欠落しているサイコパスや自己愛性人格障害なら
こういう選択もありなんだろうな。
243:１３２人目の素数さん
21/11/21 03:45:13.28 JDdtT2T8.net
しかし同じファルティングス門下で意見が真っ二つというのが闇深いな
数学でそんな相違は普通生まれないのだから
244:１３２人目の素数さん
21/11/21 07:33:28.05 aIf1Q4xY.net
ScholtzeはRappoportの弟子だろう
245:１３２人目の素数さん
21/11/21 12:47:26.84 kXmWFiDm.net
>>218
Calegariはもう関心を持ってない
URLﾘﾝｸ(www.galoisrepresentations.com)
246:１３２人目の素数さん
21/11/21 12:52:48.54 5z6rVE55.net
なんか t と p が余計なような
247:１３２人目の素数さん
21/11/21 13:11:30.99 3mItsqON.net
五人論文は完全なフェルマーの別証明を与えたようだな
248:１３２人目の素数さん
21/11/21 14:34:22.63 kXmWFiDm.net
>>235
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
249:１３２人目の素数さん
21/11/21 15:05:56.88 b1/gQMi8.net
プレプリントが出たのは1年前の話だし、相変わらず日本語のウィキペディアにしか言及されてないな
世界には無視される理論になっちまったか
250:１３２人目の素数さん
21/11/22 07:37:20.23 4RnwgGf2.net
なんだかいよいよ「IUTT団」みたいになってきたの？
Alternative Mathみたいな感じ？？
251:１３２人目の素数さん
21/11/22 11:13:24.45 DWfxUSNp.net
>>241
身内では完全なのだろう
252:１３２人目の素数さん
21/11/22 13:03:28.50 JO3ids7F.net
職や予算がもらえるとはいえ、あんなことやってて虚しくならないのかね？
今後一生続けるとか普通なら生き地獄だと思うけど。。
253:１３２人目の素数さん
21/11/22 15:17:30.85 M7CUFpqW.net
>>246
水木しげるの「錬金術」の世界
254:１３２人目の素数さん
21/11/22 17:09:19.73 4RnwgGf2.net
いろいろ具体的な応用（ワイルズの定理の別証明とか）が出始めたみたいだけど、
そのうちリーマン予想に言及しそうですね。IUTTはゼータ函数に関わる側面があるみたい。
なんだ前世紀の未解決な主要問題が
255:結構解けてしまうかもしれない。 すごい、すごい。でもDr. Calegariが引用している写真の話はいまいちたとえの意味がわからない。 そのまま読むと、そういうことなの？？っていう感じなんだけど。。
256:１３２人目の素数さん
21/11/22 18:51:46.26 M7CUFpqW.net
>>いろいろ具体的な応用（ワイルズの定理の別証明とか）が出始めたみたいだけど、
ソースは？
257:１３２人目の素数さん
21/11/22 19:01:25.40 4RnwgGf2.net
math_jin
258:１３２人目の素数さん
21/11/22 19:05:50.15 JO3ids7F.net
虚構の上で何やろうと砂上の楼閣。
259:１３２人目の素数さん
21/11/22 22:39:48.48 ec2zTVFU.net
> Proof. Lemma 1.11 is well-known and entirely elementary.
こんな無駄な一行書く必要あるのか？
260:１３２人目の素数さん
21/11/23 02:40:28.55 /vmdY8i8.net
NHKなんて栗城のエセ登山番組出すくらいやからなあ
261:１３２人目の素数さん
21/11/23 07:14:01.40 BmHjxb18.net
5月18日、天候は晴れ。栗城さんはベースキャンプからキャンプ２（6,400m）へと向かう。そこで２泊し、20日午前6時ごろにキャンプ３へ向けて出発した。難関と言われる南西壁を登り始め、15時頃に7,400m辺りに到着。標高を少し下げてテントをはり、「翌朝１時に頂上へ向けて出発する」と無線連絡をした。しかし、20時30分ごろ「吐き気が止まらない。ちょっと異常な感じがして危ないかもしれない。今すぐキャンプ２に下ります」と無線で下山を伝える。23時ごろ「救助のため登ってくるシェルパのヘッドライトを目指す」と無線。この時点で栗城さんのヘッドライトは消えており、月明かりを頼りに下山をしていたと推定される。これを最後に、連絡が途絶え、翌朝シェルパが6,600m地点で栗城氏の遺体を発見した。下山中に滑落、全身を強打したことが死因である。
262:１３２人目の素数さん
21/11/23 08:40:34.46 cDpaziFl.net
リーマンとかポアンカレみたいなのだろうな、面白かったけど
263:１３２人目の素数さん
21/11/23 09:14:45.14 QSnsPEhH.net
>>252
え？
その一行望月先生の論文の抜粋？
264:１３２人目の素数さん
21/11/23 13:14:11.99 C70j/s00.net
>>254
栗城史多 知らんなぁ・・・多分、次の日には完全に忘れる
URLﾘﾝｸ(ja.wikipedia.org)
265:１３２人目の素数さん
21/11/23 14:29:28.16 7nmaQwyR.net
Because it's there.
266:１３２人目の素数さん
21/11/23 16:34:45.56 VoReGKZ5.net
>>255
どっちも内容的にひどかった記憶があるな
リーマンのほうはトンデモ証明を繰り返し出してるひとにスポット当てて意味がわからんかった
267:１３２人目の素数さん
21/11/23 17:30:13.43 C70j/s00.net
リーマン予想で再三トンデモ証明を書いてる
ド・ブランジュが主人公の番組を平気で作るＮＨＫなら
ＡＢＣ予想でワケワカラン証明書いた
望月新一が主人公の番組作ってもおかしくないね
数学のスの字もわからんド素人だから
何がどうおかしいかも全然わからんのだろう
それじゃ恥も罪も感じないわな
268:１３２人目の素数さん
21/11/23 19:52:10.50 QuF6t8hf.net
＞望月は、標準的な用語の非標準的な定義を使用しており、他の人の定義（標準的な定義）が矛盾につながると不平を言っています。
＞違いを無視しようと主張しなければ、彼らは本当にそうしません、そして私は彼がそれに固執する理由を理解していません。
URLﾘﾝｸ(thehighergeometer.wordpress.com)
269:１３２人目の素数さん
21/11/23 19:57:27.85 1lIvKD5i.net
まあそんなこった�
270:�うと思ってた 同時並行で研究してるから用語が被っちゃうんだ
271:１３２人目の素数さん
21/11/23 20:49:32.73 G7txW2Ui.net
望月新一京大RIMS教授推薦
加藤文元東工大教授著
-宇宙と宇宙をつなぐ数学IUT理論の衝撃- p51
「IUT語。IUT理論は、一般的な数学
のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・
概念体系を基盤として構築されて
いる」
272:１３２人目の素数さん
21/11/23 20:51:58.44 3XPGA5um.net
すでにある用語をわざわざヘンテコな言い回しするのはやましい気持ちがあるから。
273:１３２人目の素数さん
21/11/23 20:55:08.58 3XPGA5um.net
意識高い系がわけわからん横文字ばかり使うのと一緒だね。
奴らは内容がないから突っ込まれることを恐れている。
274:１３２人目の素数さん
21/11/23 20:58:53.07 uEOJww/4.net
最近もA.Unterbergerという擬微分作用素の黎明期の伝説的な研究者がリーマン予想の証明主張してたな
275:１３２人目の素数さん
21/11/23 21:07:22.60 uEOJww/4.net
望月といえば今でもグロタンディーク予想であって
初期に発表していたHA理論やp進タイヒ理論はスケールが大きい割にあまり影響を与えていないのだよな
276:１３２人目の素数さん
21/11/23 21:08:20.32 1lIvKD5i.net
>>264
いつからあった用語なのかが問題だ
277:１３２人目の素数さん
21/11/23 21:54:27.78 G7txW2Ui.net
>>239
なるほどね
278:１３２人目の素数さん
21/11/24 00:10:31.53 SPQO+GZo.net
>>261
前半だけ、もう少しましな訳を付けてみたよ
私が基礎的な圏論について書くものに対して、京都の誰かが耳を傾けてくれるのではないかという虚しい期待を抱きつつ、なぜ自分がこんなことをしているのかよくわからないのだが。IUTワークショップの組織委員会から（実際には望月さんから直接）、最近のIUTワークショップの（ほぼ秘密の）録画を見るために登録するようにという、かなり広く送られていると思われるメールを受け取った。メール自体は秘密ではなく、ここで見ることができる。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
さらに、「RCS」または「冗長コピー学派」と呼ばれている、基本的にはScholzeとStix、そして彼らのアプローチに同意する人々に対して、IUTの論文を理解しようと努めて欲しいという文句も言っている。メールには次のように書かれている。
--
残念なことに、IUTに関するある種の誤解が世界のある地域で続いていることに私は気がつきました。おそらく最も有名な誤解は、「冗長コピー」の存在を主張するものでしょう。この誤解は、「貼り合わせ (gluings)」にまつわる一般的なナンセンスに関する、よく知られた、基本的には大学院初歩レベルの数学に関わるものです。例えば、この誤解を射影直線のよく知られた貼り合わせ構造に「適用」してしまうと、この貼り合わせに現れるアフィン直線の2つのコピーは「冗長」であり、したがって区別できるという結論になります。この区別はすぐに矛盾を引き起こします。すなわち、射影直線が存在しないことの「証明」になってしまうのです。詳細は[EssLgc] (URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)) の序文とそこに記載されている文献に記載されています。
--
メールではこの文書 (URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)) を参照しているが、控えめに言っても、この文書はIUTのどの部分も数学的に正当化するものではない。
とにかく、望月が間違ったことをしないと思っている人がいるかもしれないので、私は、アフィン直線の「冗長な」コピーを使わずに、射影直線の完全で初歩的な構成を、証明付きで書き出した。
URLﾘﾝｸ(thehighergeometer.files.wordpress.com)
これは、Mac Laneの古典的な教科書「Categories for the Working Mathematician」に載っているpushout（＝貼り合わせ構造）の標準的な定義と、通常の射影直線の定義を使っている。それほど面白いものでもないが、誰かがしなければならないことだった。
このノートに書かれているタイプの推論が、いわゆる「RCS」がやっていることだと、私は正当な理由をもって主張する。それは標準的な圏論であり、標準的な数学だ。ここには言語的なトリックや混乱、深く有害な崩壊はない。望月さんは、標準的な用語の標準的でない定義を使って、他の人の定義（標準的なものだ）が矛盾につながると文句を言っている。違いを無視しようと主張したりしなければ実際には矛盾は起きないので、なぜ彼がそこにこだわるのか理解できない。
279:１３２人目の素数さん
21/11/24 00:19:48.70 79Oz/t/r.net
はあ。論争に関する論文と同じような話を別のテキトーな例を使って繰り返してんのかw
280:１３２人目の素数さん
21/11/24 00:34:15.90 sO5YhyxD.net
>>270
結局用語の定義で争ってるんだな
もう名前空間でもつけとけ
RIMS.もっちー.○○とかｗ
281:１３２人目の素数さん
21/11/24 07:10:40.86 SPQO+GZo.net
朝日の石倉がまた暴走してるな
5人論文がpublishされるという記事が朝刊に載ってる
京大とノッティンガムの著者しかいない論文が東工大の
雑誌に載る異常さについては完全スルー
282:１３２人目の素数さん
21/11/24 07:22:57.33 BM/cx+ua.net
なんだか結局「識別」問題が並行線をたどっているのだね。
決着はどうつくのだろう？？
283:１３２人目の素数さん
21/11/24 09:04:43.44 73sljFW6.net
最終定理は「おまけ」
284:１３２人目の素数さん
21/11/24 13:17:29.13 BM/cx+ua.net
なんかどんどん走ってきたけど、うまくいくといいなぁ。
285:１３２人目の素数さん
21/11/24 13:33:23.86 o9oj3uWY.net
まぁもうなんか正常路線に戻る事はないやろ
もうRIMSの人は3.12の周辺は" entirely elementary "で済ましてしまうと腹決めたようだ
しかしGerd Faltings, Peter Scholze, Terence Tao ら名だたるフィールズ賞受賞者達が理解できない論文がこのまま数学界で受け入れられるなとありえようはずもない
もうrimsの外の人で望月論文を勉強して理解してギャップを埋める作業を引き受けようと思う人間はでんやろ
そして中の人はこのまま批判の声はガン無視で突っ走ると決めたようだし、もうこのまま状況が変化するきっかけが出てくるとは思えない
もうずっとこのままだよ
286:１３２人目の素数さん
21/11/24 13:33:25.13 79Oz/t/r.net
トポロジーやガロア群のスペシャリストであるショルツがこの手の"distinguished objects"の理屈を
理解しないってことは尋常ではないんだが
素人にはこの論争の異様さがわかりにくいのではないか
287:１３２人目の素数さん
21/11/24 14:14:06.07 bnn5dm3H.net
>素人にはこの論争の異様さが
わかりにくいのではないか
ショルツェは森重文京大特別教授
の提言よりショルツェスティクス
望月新一星ミーティングをして
レポートを書いた、論争なんかない。
元々IUTが異様ですね
↓
>>263
288:１３２人目の素数さん
21/11/24 14:29:48.54 RRSYOh6Y.net
>>277
なんで数理論理君のレスってすぐ分かるんだろうな…
IUT批判派なのにIUT擁護派的な権威主義というか…
289:１３２人目の素数さん
21/11/24 14:36:44.95 BM/cx+ua.net
生きているうち決着つくのかなぁ。
290:あと10年くらいでIUTTについての認識が確定しないかなぁ。 もっとかかるかなぁ。
291:１３２人目の素数さん
21/11/24 14:54:53.52 CwYbEVNo.net
>>281
確定するとすれば誰かが望月論文のギャップを埋めた標準的な数学者なら誰でもちょっと頑張れば理解できるレベルの文章が作成された時やろな
それができない場合にはなし崩し的にいつのまにかなぁなぁに認められるなどという事はない
否定的に「反例が上がって否定的に決着がつく」も多分ないやろ
ショルツェの書評によれば3.12の前部分では特に問題ないみたいだし
疑義が上がってるのは3.12のみ
そして反例をあげようにもそこまでの記述が曖昧でハッキリしない部分がある、で自分が“オレの感覚ではこう埋めるしかない”という解釈で反例持っていったら望月先生には裏で爆笑したとかしないとかいう話が持ち上がってた
嘘かほんとかは知らんけどそれじゃ反例上がって否定的に決着もつきそうにない
天才の>>280が頑張って“補完レポート”作ってくれるのを待つしかないやろな
292:１３２人目の素数さん
21/11/24 15:08:02.00 YX6dr+Ej.net
もうとっくに確定してるでしょ。
人間関係や利害相反でリジェクトできない身内の三下ジャーナルに載せて、
細々と誤魔化していくしか道はなくなった。
決着はZBmathレビューでとうに終わったのだよ。
293:１３２人目の素数さん
21/11/24 15:58:26.63 CorSZ1Hb.net
否定されたからどうにか否定し返したくて何も繋がってないの草生える
294:１３２人目の素数さん
21/11/24 16:06:10.97 eZG8Gd2i.net
>>282
以前は問題ないというかほとんど自明な内容しかないという感想じゃないか、どっちかといえば
295:１３２人目の素数さん
21/11/24 16:09:20.98 J5LjYVQS.net
で、Cor. 3.12のギャップは埋まったの？
296:１３２人目の素数さん
21/11/24 16:32:42.56 BM/cx+ua.net
それまで自明なのにいきなりそこにくるとギャップがあるってどういうことなんだろうね。
297:１３２人目の素数さん
21/11/24 17:01:22.03 hB0IzbmK.net
By applying Definitions 3.3, 3.4, 3.5 ...
こんなの誰が読むんだ
298:１３２人目の素数さん
21/11/24 17:01:28.57 J5LjYVQS.net
>>287
数学あるある
このアイデアで行けそうだと思っても自明な議論しかできなくて肝心なところで詰まる
299:１３２人目の素数さん
21/11/24 17:20:35.64 BM/cx+ua.net
その自明というのはいくつか仮定がある上で話すとそこは必然的にそうなるという意味か。
ただその仮定が真とはいえないので途中であたかも仮定が真であるように飛躍してしまっているようなことかな。
わからんけど。想定して話始めているうちにいつのまにか事実としての話になっていたみたいな。
そうだとするとなかなか怖いよねw
300:１３２人目の素数さん
21/11/24 17:33:35.82 eZG8Gd2i.net
遥かに前段階から疑うとすれば、絶対遠アーベル幾何学とか関数体のホッジアラケロフ理論に言及する
トップクラスの幾何学者が国内含めどれだけいるかっていうね
ホッジ理論もアラケロフ理論も本来は数論幾何学では常識に近くなってきた理論であるにも関わらずだ
301:１３２人目の素数さん
21/11/24 18:01:21.34 BM/cx+ua.net
ドナルドソンの有名なポアンカレ予想４次元版の論文っていまだに理解している人が少なかったけど
若手のグループがきちんと理解できるように噛み砕いた（？）論文集を出したという記事がQuantaに載ってたなぁ。
でも、フィールズ賞までとった論文の理解者が40年近くたってもほとんどいないっていうのは
現代数学ってなんだろうって思った。
302:１３２人目の素数さん
21/11/24 18:05:55.47 0pgDOHR/.net
>>247
>水木しげるの「錬金術」の世界
スレちだが
妖怪 金霊 というのが、いるらし�
303:｢ね ゲゲゲの水木しげるさん、なつかしいな https://ja.wikipedia.org/wiki/%E9%87%91%E9%9C%8A 金霊(金玉、かねだま、かなだま)は、日本に伝わる金の精霊、または金の気。 厳密には金霊と金玉は似て非なるものだが、訪れた家を栄えさせるという共通点があり、金玉が金霊の名で伝承されていることもある。ここでは金霊、金玉の両方について述べる。 https://upload.wikimedia.org/wikipedia/commons/2/2a/SekienKanedama.jpg 鳥山石燕『今昔画図続百鬼』より「金霊」 金霊 鳥山石燕による江戸時代の妖怪画集『今昔画図続百鬼』によれば、善行に努める家に金霊が現れ、土蔵が大判小判であふれる様子が描かれている。 https://www.dailyshincho.jp/article/2015/12090810/?all=1 デイリー 新潮 週刊新潮 2015年12月10日号掲載 93歳で大往生「水木しげる」が大好きだったお金と睡眠と豪華な食事 2015年12月09日 漫画界はまた1人、巨匠を失った。『ゲゲゲの鬼太郎』などの妖怪漫画で一世を風靡した水木しげる氏（本名・武良茂）が、93歳の大往生を遂げたのだ。常日頃、大好きだと公言して憚らなかったのは、お金と睡眠と豪華な食事だったという。 https://www.dailyshincho.jp/app/amazon_image/api/image/4106022613_m.jpg 『水木しげる―鬼太郎、戦争、そして人生―』水木しげる 著／梅原猛 著／呉智英 著
304:１３２人目の素数さん
21/11/24 19:03:22.07 gn5Q+JSr.net
>>292
実はそういう話って結構あるよ
20世紀後半あたりの有名で誰でも知ってるような結果でも、実は証明が不完全で
最新の道具を使ってやっと理解できる証明が出来た、とかね
305:１３２人目の素数さん
21/11/24 19:32:22.82 bSmRi9Q7.net
この証明不完全だなとは思っても
それを直したところで、よっぽどの例外を除いて業績にはならんからな
任期ありの人間にしてみたら尚更そんな暇ない
306:１３２人目の素数さん
21/11/24 19:41:12.14 Ze+fcaRb.net
なるほど
307:１３２人目の素数さん
21/11/24 19:44:40.97 V7507mjy.net
>>292
＞ドナルドソンの有名なポアンカレ予想４次元版の論文
４次元版ポアンカレ予想を解決したのはフリードマンだろ
New Math Book Rescues Landmark Topology Proof
URLﾘﾝｸ(www.quantamagazine.org)
Michael Freedman’s momentous 1981 proof of the four-dimensional Poincaré conjecture was on the verge of being lost. The editors of a new book are trying to save it.
The Disc Embedding Theorem
URLﾘﾝｸ(global.oup.com)
308:１３２人目の素数さん
21/11/24 19:55:30.56 V7507mjy.net
ドナルドソンといえばエキゾチックR^4
そういや、今度朝倉書店から4次元多様体の本が出るんだよな
URLﾘﾝｸ(asakura.co.jp)
URLﾘﾝｸ(asakura.co.jp)
309:１３２人目の素数さん
21/11/24 19:58:39.51 cFGMwDNH.net
またやらかしたと聞いて
310:１３２人目の素数さん
21/11/24 20:01:22.06 bSmRi9Q7.net
さらに言うと
自分の仕事を完結させる為にはどうしてもその定理が必要
311: となったら その定理をそのまま引用して使って責任はその引用先 という例もなくはない この「ロンダリング」が行われると よっぽど大事な定理でない限り発見は無理
312:１３２人目の素数さん
21/11/24 20:15:37.21 JXSTWs56.net
>>297
そのQuantaに渡邉 忠之さんの大きな業績に関する記事があるね
URLﾘﾝｸ(www.quantamagazine.org)
313:１３２人目の素数さん
21/11/24 20:22:03.32 Ze+fcaRb.net
文系も二次資料からの引用で業績にして
その責任は引用先っていうのが問題視されているらしいな
国立大学独法化でさらに研究環境が厳しいのだろう
314:１３２人目の素数さん
21/11/24 21:13:50.71 2XqG0qz4.net
まあこんなことしてるようなら国立大学そのまま潰してもいいようが気さえするな
昔みたいに中国から呼んだらどうだ
315:１３２人目の素数さん
21/11/24 21:22:50.76 bSmRi9Q7.net
念の為言っておくと
別に日本だけの傾向ではないというか
むしろうわやめろ何をする
316:１３２人目の素数さん
21/11/24 21:23:09.43 8t7epn/6.net
>>295
あれ、ピーターショルツはcondensed mathematicsのある定理の証明に自信が持てないと、コンピュータで証明していましたよね