[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59
(1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(4): 2025/11/12(水)03:38 ID:5u0J6jYO(1/36) AAS
未だにcontroversialなIU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います
2(3): 2025/11/12(水)03:40 ID:5u0J6jYO(2/36) AAS
IUT応援スレと区別.混乱の防止のため、応援.信奉者の書き込みや本スレのレス引用は硬く遠慮ねがいます 。
懐疑的な意見も関係者等の匿名の
論理的な擁護も歓迎です。
前スレ
Inter-universal geometry とABC 予想58
2chｽﾚ:math
3(6): 2025/11/12(水)03:42 ID:5u0J6jYO(3/36) AAS
2006年3月14日
名古屋大学21世紀プログラム.
スキャンダル。
・名古屋大学大学院多元数理科学
研究科研究科長.金銅 誠之。
21世紀COEプログラム「等式が生む 数学の新概念」拠点形成報告書ならびに研究科長からのメッセージ
>数学におきましても最終的に学術誌に 掲載されることでその論が確定することに変わりありません．
外部ﾘﾝｸ[html]:www.math.nag...2005
4: 2025/11/12(水)03:44 ID:5u0J6jYO(4/36) AAS
平成25年度(2013年度)
IUT論文査読中
日本学術振興会
グローバルCOEプログラム
京大G08 平成20年度採択
数学のトップリーダーの育成
事後評価結果
外部ﾘﾝｸ[pdf]:www.jsps.go.jp
5(14): 2025/11/12(水)03:47 ID:5u0J6jYO(5/36) AAS
2012年8月 IUT論文査読中
・2012年はSTAP論文問題(野依 理研理事長)があった頃
特集2 公正な研究活動の推進に向けた取組研究.文科省作成 .
近年の研究不正行為の発生状況について
⑵ STAP論文問題
外部ﾘﾝｸ[pdf]:www.mext.go....6
・2012年8月望月新一著IUT論文が 京大数理解析研究所RIMS の数学誌PRIMSへ投稿された。
望月新一京大RIMS教授はPRIMS編集委員長。
以後、2012年8月よりIUT論文受理の2020年2月まで論文査読中
省6
6(8): 2025/11/12(水)03:49 ID:5u0J6jYO(6/36) AAS
>>5
つづき
・1。 P5
>ABC予想には本質的に異なる
手法による「別証明」が果たして存在 し得るか、疑問を抱かざるを得ないと いう意味においても「正しい理論」で ある。
・2。 P6
>IUTの場合「絶対遠アーベル幾何」や 「エタール.テ-タ関数の剛性性質」 「Hode.Arakelov理論」といったテーマについて既に深い理解とそれなりの研究業績を有する研究者なら、そのような
「つまみ食い」だけでIUTをかなり
本格的に理解することが可能かもしれませんが、幸か不幸かは別としてそれらのテーマに精通している研究者は(私自身を除けば)この世に存在しないのが実情です。
・3。P7
省1
7(1): 2025/11/12(水)03:51 ID:5u0J6jYO(7/36) AAS
平成27年(2015年) 5月13日
中央教育審議会大学分科会大学院部会
・議事録
【岡本委員】
グローバルCOE不採択校と比較しての資料はあるのか，これ。
それからもう1点，改善定着化指標というようなもの，すなわちこれ改善を試みているわけで，5年間やって，その後，これをどう定着，あと5年後に例えば同じことをやって，ちゃんとそれがどの程度定着しているのかといったような，この計画はあるのかという，この2点をお願いします。
【藤田日本学術振興会課長】
申し訳ございません。
不採択校との比較の方はできて
おらないという状況でございます。
省2
8(6): 2025/11/12(水)03:53 ID:5u0J6jYO(8/36) AAS
2015年5月13日.
IUT論文査読中。
中央教育審議会大学分科会大学院部会
・資料5
独立行政法人日本学術振興会
グローバルCOEプログラム委員会
事務局.
研究成果例 。
G08 京都大学 数学のトップリーダー
の育成 .
宇宙際タイヒミュラー理論 .
-数論におけるブレークスルー
宇宙際タイヒミュラー理論を用いることによってabc予想と呼ばれる数論の難問が解決することが2012年に発表 された。
日本の主な全国紙は言うに及ばず、New York Times などでも報道され、非専門家の間にも大きな話題 を提供している。
省14
9(8): 2025/11/12(水)03:58 ID:5u0J6jYO(9/36) AAS
⚫︎ 平成28年(2016年)6月
IUT論文査読中。
文科省所管の独立行政法人
大学改革支援・学位授与機構宛
京都大学数理解析研究所
第2期中期目標期間(平成22年〜
平成27事業年度)
-現況調査表 -
・p 28-3
資料 2. 発表論文数
所員の発表論文数
査読付き論文のみ
・p28-10
事例4
「数論幾何の研究」
「望月新一に よる「宇宙際タイヒミューラー理論」の構築とその結果としての ABC 予想の解決は、
特筆すべき 出来事である。」
「当該論文は現在査読中であるが、 」
「望月新一が同理論の概要を解説した業績番号1― (2)(2014)が、講究録別冊(B51)として刊行されている」
省14
10(1): 2025/11/12(水)04:01 ID:5u0J6jYO(10/36) AAS
2017年11月
IUT論文査読中。
自己点検.評価報告書 京大数理解析研究所
・第2期中期目標期間(平成22年〜 平成27事業年度)
p6
注目すべき質の向上
○ 「数論幾何の研究」の「宇宙際
タイヒミューラー理論」の構築と
その結果としての ABC 予想に関する論文は，国内外の主要メディアで取り上げられている
省9
11: 2025/11/12(水)04:04 ID:5u0J6jYO(11/36) AAS
加藤和也氏の講義録 cor.3.12について
(後に削除された.)
IUT論文査読中
・0476 １３２人目の素数さん
2018/04/01 08:56:03
2ページ目に書いてあるな
Frank Calegari says that even if the papers get accepted, he will not believe the proof just yet.
His blog post on the subject mentions a Japanese reader―I am that reader.
Peter Scholze, who everyone thinks is the greatest mathematician of this generation, says he cannot deduce 3.12 (which is the ABC conjecture,
in paper #4) from 3.11 (a summary of the first 3 ABC papers) in Mochizuki’s papers.
省3
12(3): 2025/11/12(水)04:06 ID:5u0J6jYO(12/36) AAS
内閣府が企画.最先端研究を訪ねて
【代数学】
遠アーベル幾何学
数論幾何学 ― 整数と図形の不思議で深い関係の追求 ―
京大数理研玉川安騎男教授
>例えば、1990年代にアンドリュー・ワイルズが証明したフェルマーの最終定理や、最近望月新一さんが証明したABC予想など、いくつもの数論の大問題が数論幾何学を用いて解かれています。
特に望月さんのABC予想の証明では、遠アーベル幾何学の理論や考え方が重要な役割を果たしています。
・文中の3枚の写真はIUT論文の
査読中の2017年に全て撮影
外部ﾘﾝｸ:www.sekaiwokaeyo.com
13(2): 2025/11/12(水)04:07 ID:5u0J6jYO(13/36) AAS
2018年2月
京都大学数理解析研究所
外部評価報告書
ジャン・ピエール・ブルギニョン委員長
➖ ➖
2018京都大学数理解析研究所
外部評価報告書
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
14(4): 2025/11/12(水)04:09 ID:5u0J6jYO(14/36) AAS
2018年3月. 論文査読中。
・森重文京大教授からscholzへ提案があり京大数理解析研にてscholz stix 望月新一星裕一郎の4者がabc予想.cor.3.12について議論した。
・経緯について
quanta magazine 2018.9.20
外部ﾘﾝｸ:www.quantama...conjecture-20180920
・scholz stixの報告は 2018年
・why ABC is Still aConjecture.
scholz. stix
省11
15(14): 2025/11/12(水)04:11 ID:5u0J6jYO(15/36) AAS
2019年4月25日査読中。
川上量生企画.望月新一監修.加藤文元著 「宇宙と宇宙をつなぐ数学IUT理論の 衝撃」。
scholz stixレポートへの回答書2021年 訪問滞在型研究 「宇宙際タイヒミュー ラー理論の拡がり」でも公式本。
フェセンコによればベストセラーの 文元IUT本を早く英訳して欲しい 。
・望月新一監修について
「おわりにかえて.川上量生p294
>日本で出したことのメリットとしては、望月先生と個人的にも親交の深い文元 先生に書いていただけたこと、 望月先生自身にも内容を監修して いただけたことがあります。」
・望月新一と加藤文元両氏は開発
途中の段階にあったIUT理論を
議論するために2005年7月から
省12
16(12): 2025/11/12(水)04:14 ID:5u0J6jYO(16/36) AAS
>>15
続き
p8 p9 p10
>IUTTでは、この足し算と掛け算の間にある「底なしに固いはの関係」を解体して変形を施すだけでなく、様々な
「緩み」=「不定性」が必然的に付随
してしまう、 「ゆるゆる」な状態で復元するのです。
言い換えれば、復元後の、足し算
と掛け算の関係というのは、
本来の固い関係そのものでなく、
本来の固い関係に対する「一種類の 近似」でしかありません。
省8
17(15): 2025/11/12(水)04:16 ID:5u0J6jYO(17/36) AAS
>>16
続き
P37
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
望月教授は、言うなれば、だれも
話したことがない、新しい言語を
用いて理論を組み立てました。
・P40
>IUT理論のように、あまりにも
新奇で斬新なものだったりすると
省8
18(4): 2025/11/12(水)04:19 ID:5u0J6jYO(18/36) AAS
>>17
続き
・パラダイム p59
「数学はどのようにして「進歩」するのでしょうか？
そこにはトマスクーンが言うように 「通常科学」の中で連続的・累積的に 積み重なる新しさと、「パラダイム シフト」によって生じる新しさの 二種類があります」
「通常科学とは、トマスクーン
「科学革命の構造」(中山茂訳みすず
書房1971年)における用語で、
一つのパラダイム(時代や科学の各分野における支配的な研究上の規範、視点、 枠組みなどの意味)や様式に基づいた 科学活動のことであり、 パラダイムから与えられる問題や 解き方などの指針に基づいて研究を 進める状態のことをいいます。
これに対する状態は、「科学革命」期あるいは「パラダイムシフト」と
省8
19(17): 2025/11/12(水)04:21 ID:5u0J6jYO(19/36) AAS
>>18
続き
・
p66.
論文の価値は何で決まるのか
>何をもって「新しい」と判断できるのか、「正しい」という基準は何か、という点は非常に専門的なポイントです。
>通常の発展時においては当面の題材やその時代における支配的な
問題に対する部分的なあるいは最終的な解決であったりしますが、
>「パラダイムシフト」期においては、当分野に革命を起こすような大論文であることもあるでしょう
・
省10
20(1): 2025/11/12(水)04:23 ID:5u0J6jYO(20/36) AAS
2019年8月1日
IUT論文査読中。
2019年京都大学 数理解析研究所要覧
・次世代幾何学センター 。
センター長 （併任） 望月新一 /
特任教授 京大理博 柏原正樹 /
特任教授 京大理博 森重文 /
特任助教 東大博（数理科学）
清水達郎 /
教授(併任） 玉川安騎男 /
省1
21(2): 2025/11/12(水)04:27 ID:5u0J6jYO(21/36) AAS
2020年2月5日
・RIMS教授より構成されたPRIMS編集委員会は4篇のIUT論文を受理。
2020年4月3日 記者会見
・玉川安騎男教授
「完全な論文ができた」
「全く新しい理論で、さらなるインパクトを生み出す可能性がある」毎日
・柏原正樹特任教授
「ＡＢＣ予想を証明した望月氏の論文が正しいものであると判断した」産経
省3
22(2): 2025/11/12(水)04:28 ID:5u0J6jYO(22/36) AAS
2021年4月
・PRIMSはPRIMSの出版物扱い
でIUT論文のPRIMS特別号が強行出版された。
日経
外部ﾘﾝｸ:www.nikkei.c...48290T00C20A4CR8000
23(2): 2025/11/12(水)04:31 ID:5u0J6jYO(23/36) AAS
2021年11月22日
D.Roberts
・An exercise in colimits contra Mochizuki 2021.11.22
・When not to say " universe" 2021.8.6
外部ﾘﾝｸ:thehighergeometer.wordpress.com
・Comments on Mochizuki’s 2018 Report
外部ﾘﾝｸ[pdf]:thehighergeometer.wordpress.com
24: 2025/11/12(水)04:32 ID:5u0J6jYO(24/36) AAS
2021年12月
井原康隆先生著「文化の土壌に自立の根」では
「2021年4月現在で「ほぼ700ページで 4部構成の大論文で、ABC予想への言及 は 最後の第4部corollary2.3 p687。
現時点で彼の証明に触れることは
できません。
筆者の2012年の論文も4部で引用されていますが、全体が理解できていません。
また、この稿を推敲中、定量的な結果も得られたという報告が、
数理研のプレプリント シリーズから 出されました(こちらは望月さんを含む 数人の共著です)が、 これについては さらに待たなくてはならないでしょう」
25(4): 2025/11/12(水)04:34 ID:5u0J6jYO(25/36) AAS
2022年1月
遠アーベル幾何学と宇宙際タイヒミュラー理論IUTは異なる。
▫︎ 岩波数学74巻1号 2022年1月
論説.遠アーベル幾何学の進展。
星裕一郎
1 序文
>ここ十数年の間にいくつかの進展のあった"セクション予想"や双有理 遠アーベル幾何学 といった遠アーベル幾何学のテーマ、そして、遠アーベル幾何学の大きな応用で ある"宇宙際タイヒミュラー理論"に ついて 本稿ではまったくふれることが できなかった。
外部ﾘﾝｸ:www.jstage.j...741001
26(3): 2025/11/12(水)04:36 ID:5u0J6jYO(26/36) AAS
2022年4月10日
NHKスペシャル。
数学者は宇宙をつなげるか？ａｂｃ予想証明をめぐる数奇な物語
完全版。発言集
・玉川 RIMS教授.PRIMS特別編集委員会委員長。
「いわば現代の数学では、禁じ手になってるようなことも取り入れて、何かできないかということを考えたということなんですね。1＋1は2でありながら、1＋1は5であるとか。二つの直線が交わるということが起こりながら交わらないとか。本来だったら矛盾が起こるようなことを、活用できないかと考えた」
・加藤文元東工大教授
「ａｂｃ予想が解けるんじゃないかと気がつかれたのは、彼が、HA理論というのを構築されたころなんですね。しかし、おそらく徹底的に考えたんだと僕は
思うんですけど、徹底的に考えた結論として、無理であるという、非常にそういう意味では大きな結論に至ったんだと。
だから新しい数学を作らなければいけないと感じたとおっしゃってました」
省6
27(20): 2025/11/12(水)04:38 ID:5u0J6jYO(27/36) AAS
UT論文が京大PRIMS
編集委に受理された2020年2月
以降もIUT論文は言語体系も
未完成。
1
2019年4月25日発刊 。
川上量生企画望月新一監修加藤文元著「宇宙と宇宙をつなぐ数学 IUT理論の衝撃」 では
・IUT語 p51
「IUT理論は、一般的な数学の パラダイムの枠内では語れない、
全く新しいフレームワークと言語・ 概念体系を基盤として構築されて いる」
2
・望月新一ブログ2022.5.02 。
省9
28(3): 2025/11/12(水)04:39 ID:5u0J6jYO(28/36) AAS
・Anabelian Geometry and Representations of Fundamental Groups
2024.9.29-10.4
➖
外部ﾘﾝｸ:www.mfo.de
・abstract
Anna Cadoret, Paris
Florian Pop, Philadelphia
Jakob Stix, Frankfurt
Adam Topaz, Edmonton
blob:外部ﾘﾝｸ:www.mfo.de
29: 2025/11/12(水)04:41 ID:5u0J6jYO(29/36) AAS
James Douglas Boyd
・
Inter-universal Teichmüller Theory
Conversations with Mochizuki
外部ﾘﾝｸ[pdf]:www.sci-sci.org
・
Voices of the Anabelian Geometry Community
(RIMS, Kyoto)
外部ﾘﾝｸ[pdf]:www.sci-sci.org
・inside the controversy
省3
30(3): 2025/11/12(水)04:44 ID:5u0J6jYO(30/36) AAS
woitブログ
James Douglas Boydコメント
2025.10.10
この∈ループとは何でしょうか？
望月氏と私が議論の中で確立したのは、
∈ループは(いわゆる）「素数ストリップ」の扱い方に起因する、という見解です（これはショルツとスティックスの批判の核心でもあります）。
したがって、IUT におけるディオファントスの目標は、たとえそうではないにもかかわらず、「素数ストリップ」と呼ばれる（悪い還元を持つ）特定の素数の集合を、あたかもそれらがすべての素数と同等であるかのように、何らかの形で扱うことです。
つまり、この集合は、より大きな素数の集合に属しています。それらを同等として扱うことは、本質的に、その一部が全体と同じであると言うことに他なりません。
したがって、この集合がｐであり、すべての素数がPであるならば、ｐ∈ P となる。
しかしここでは、IUTの設定がｐ=Pと仮定しているため、これはｐ∈ ｐを意味する。これが「∈ループ」という表現の起源であるが、私の見解では、これは本質的な問題に迫っていない。 ｐ∈ ｐが真の問題ではない。真の問題は、IUTがｐ≠Pであるにもかかわらずｐ=Pと仮定している点にある。したがって「∈ループ」とは、IUT内で矛盾を生じさせる同一視を婉曲に表現した言葉に過ぎない。
31(3): 2025/11/12(水)04:46 ID:5u0J6jYO(31/36) AAS
2024年6月
パラダイムが異なるIUTTから
数学へ通訳は不可能でjoshiも通訳に 失敗 した。
・math over flow.
Global character of ABC/Szpiro inequalities
>In the context of the conversations here and especially Yaakov Baruch's question above, the following report will be useful.
>Scholze has previewed this document and we have discussed its contents; it has also been sent to Mochizuki for preview.
No response from him yet.
省3
32(1): 2025/11/12(水)04:49 ID:5u0J6jYO(32/36) AAS
kevin Buzzard
2022ICM でPlenary and Invited Speakers
>Where is Mathematics Going?
Over the last 2,500 years, the way we do mathematics has changed surprisingly little. In Euclid’s Elements,
we see lemmas, theorems and proofs, with material building on earlier work and presented in essentially the same style as a modern mathematics textbook.
As a consequence of this inertia, humanity now possesses an extraordinary body of mathematical knowledge.
This knowledge is mostly correct,
sometimes poorly presented and poorly referenced, is sometimes only “known to
the experts,” contains plenty of errors (some serious), and gives rise to farcical situations such as the ABC conjecture,
an important conjecture with a published proof in a reputable journal that many do not believe is correct.
省1
33(6): 2025/11/12(水)04:50 ID:5u0J6jYO(33/36) AAS
kevin Buzzard
2022ICM でPlenary and Invited Speakers
>Where is Mathematics Going?
Over the last 2,500 years, the way we do mathematics has changed surprisingly little. In Euclid’s Elements,
we see lemmas, theorems and proofs, with material building on earlier work and presented in essentially the same style as a modern mathematics textbook.
As a consequence of this inertia, humanity now possesses an extraordinary body of mathematical knowledge.
This knowledge is mostly correct,
sometimes poorly presented and poorly referenced, is sometimes only “known to
the experts,” contains plenty of errors (some serious), and gives rise to farcical situations such as the ABC conjecture,
an important conjecture with a published proof in a reputable journal that many do not believe is correct.
省1
34(8): 2025/11/12(水)04:51 ID:5u0J6jYO(34/36) AAS
>>33
続き
>数学はどこへ行くのか？
過去2500年間、数学のやり方は驚くほど変化していません。
ユークリッドの『原論』には補題.定理. 証明が記されており、その内容は過去の研究を基盤としつつ現代の数学の教科書と基本的に同じスタイルで提示されています。
こうした惰性(慣性)の結果として、人類は今や驚異的な数学的知識の集積を誇っています。
この知識は大部分は正しいものの、 時には提示が不十分で参考文献も乏しく「専門家だけが知っている」という場合もあり、多くの誤り（中には深刻なものも）を含み、ABC予想のような茶番劇的な状況を生み出しています。 ABC予想は、著名な学術誌に証明が掲載されたものの、多くの人が正しいとは信じていない重要な予想です。
注意.
著名な学術誌は京大数理研
の数学誌PRIMS (望月新一編集委員長)
35: 2025/11/12(水)04:53 ID:5u0J6jYO(35/36) AAS
ICM2026
・Speakers
外部ﾘﾝｸ:www.icm2026.org
・arxive
外部ﾘﾝｸ:arxiv.org
36(2): 2025/11/12(水)04:58 ID:5u0J6jYO(36/36) AAS
・zen大学の設置認可を申請した日本財団 ドワンゴ学園準備会.(理事長：山中伸一)が IUGC創設.(加藤文元所長.フェセンコ副所長) も認可後突然取りやめ。
IUTTは設置認可宣伝の役割
・日本財団ドワンゴ学園準備会からの賞金が IUTの京大数理研へ 流れた
外部ﾘﾝｸ:zen.ac.jp
37(1): 2025/11/13(木)08:24 ID:0DRDKq6c(1/3) AAS
IUT-report-2025-10
＞・some local government in the United States of America
＞passed a law to the effect that, within its local
＞jurisdiction, π (i.e., the length of the cirumference
＞of a circle of unit radius) is equal to 3;
911の当てこすりの時もそうでしたが
根も葉もない噂を使ってアメリカ（人）を纏めて侮辱するとか
相変わらずなりふり構わないふるまいですね
円周率を３とする法律を通した米国地方政府など存在しません
（証拠を見つけられないのは私が無能だからでしょうか？）
省5
38(1): 2025/11/13(木)09:32 ID:UZovF/Sa(1/4) AAS
>>37
とは言え
そこはLeanの結果を提示しても
こういうこと（π=3や1/3>1/2）を信じている人の気持ちは変えられない
（からLeanによる検証は意味が無い？）
と言っている部分なので
例として辷ってるってだけは？
39(1): 2025/11/13(木)11:41 ID:UZovF/Sa(2/4) AAS
>>31
これですか？
外部ﾘﾝｸ:mathoverflow.net
40: 2025/11/13(木)11:58 ID:HgQBsP45(1/14) AAS
>>39
その通りです。
>2->36で他のレスも工事中より改善を試みます
41: 2025/11/13(木)12:05 ID:HgQBsP45(2/14) AAS
>>3
外部ﾘﾝｸ[html]:www.math.nagoya-u.ac.jp
42: 2025/11/13(木)12:12 ID:HgQBsP45(3/14) AAS
>>5
・
外部ﾘﾝｸ[pdf]:www.mext.go.jp
43(4): 2025/11/13(木)12:17 ID:HgQBsP45(4/14) AAS
>>5
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
44: 2025/11/13(木)12:23 ID:HgQBsP45(5/14) AAS
>>8
外部ﾘﾝｸ[pdf]:warp.ndl.go.jp
45: 2025/11/13(木)12:29 ID:HgQBsP45(6/14) AAS
>>9
外部ﾘﾝｸ[pdf]:www.niad.ac.jp
46: 2025/11/13(木)12:36 ID:HgQBsP45(7/14) AAS
>>10
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
47(1): 2025/11/13(木)12:40 ID:HgQBsP45(8/14) AAS
>>14
外部ﾘﾝｸ:www.quantamagazine.org
48: 2025/11/13(木)12:42 ID:HgQBsP45(9/14) AAS
>>14
外部ﾘﾝｸ[pdf]:www.math.uni-bonn.de
49: 2025/11/13(木)12:49 ID:HgQBsP45(10/14) AAS
>>15
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
50: 2025/11/13(木)12:56 ID:HgQBsP45(11/14) AAS
>>22
外部ﾘﾝｸ:www.nikkei.com
51: 2025/11/13(木)13:03 ID:HgQBsP45(12/14) AAS
>>25
外部ﾘﾝｸ:www.jstage.jst.go.jp
52: 2025/11/13(木)13:08 ID:HgQBsP45(13/14) AAS
>>28
参照のこと
・Public Abstract
・Public-Abstract-2440.pdf
Workshop Reports
Workshop Report 45/2024
53: 2025/11/13(木)13:13 ID:HgQBsP45(14/14) AAS
一応工事終了のお知らせ
54(1): 2025/11/13(木)21:22 ID:0DRDKq6c(2/3) AAS
>>38
他者をけなす目的で事実でないものを事実として述べたら
その文書の信憑性はその程度ということになりますね
これは確認を取らなかったという言い訳をしても同じことです
55: 2025/11/13(木)21:24 ID:UZovF/Sa(3/4) AAS
>>54
ここはすぐ修正できるところだし本論はそれでも成立するので
そこまで否定的にはなれないなあ自分は
56(1): 2025/11/13(木)22:41 ID:0DRDKq6c(3/3) AAS
例えば逆に考えて、あるアメリカ人が
日本人がAAA理論を理解できないのは
日本人がXXXだからだと非難していて
XXXが事実に反する誹りだった場合
そのアメリカ人を信用できますか？議論できますか？
57: 2025/11/13(木)22:49 ID:UZovF/Sa(4/4) AAS
>>56
誤解しやすい内容だったなら
まあ許せるかな
58(2): 2025/11/14(金)08:22 ID:pwYVSej5(1) AAS
>>23
327.１３２人目の素数さん 2025/09/17(水) 09:34:36.89
加藤氏と望月氏のコントをご覧ください
・
>Fumiharu Kato 加藤文元（Bungen）@FumiharuKato
>IUT理論における「宇宙」という用語が指し示すものが望月さん
>独特のものであるのは本当です。
その宇宙は集合論の宇宙とも、
>グロンタンディーク宇宙とも異なっていますので。
> 数学者は宇宙をつなげるか
省22
59: 2025/11/14(金)20:52 ID:VkFK3ZFA(1/2) AAS
そもそも望月 universe が Grothendieck universe なわけはない。なぜなら望月先生自身が自分が IUT を紹介した文章のなかで「数学者が数学の議論をはじめる場合、その universe を一つ固定する」などといってるけど、そもそも Grothendieck が想定した意味での Universe なら複数あって当たり前でだれも「ただ一つのユニバースを固定する」ことなどない。
固定されるのは意味論でありモデル。これは通常の数学基礎論で議論をはじめる場合ひとつ意味論を固定する。その固定した意味論が複数のユニバースを持っていても別に困らない、一個選んでそれしかないなどという仮定をいれることなどない。
この違いが分かってないのか、なんなのか知らないけど通常の数学基礎論の言葉使いとは違う単語を選択してる。まぁメチャメチャですわな。
60: 2025/11/14(金)20:57 ID:VkFK3ZFA(2/2) AAS
おそらく真相は集中講義かなんかで基礎論の講義をうけてるとき「数学の議論をはじめるときモデルを一つえらんで固定する」という話と「Grothendieck Universe を拡張した概念で Von Neumann Universe というのがあってそれは一つの Verses class の中に複数の Universe も持つ理論である」というのを聞きつけて「お、これなんか使えるんじゃない」とか思ったんじゃないかな？まぁ、そういうチャレンジをしてみるのは勝手だからやってもらっていいんだけど、やるならやるで、ちゃんと基礎論の勉強してからにすればよかったのにな。
61(2): 2025/11/15(土)06:43 ID:g+VK+66l(1/3) AAS
>>6
2023年8月
現状に関する簡素な報告
望月新一
Brief Report on the Current Situation
Surrounding Inter-universal Teichmüller Theory (IUT)
Shinichi Mochizuki
August 2023
省13
62(3): 2025/11/15(土)17:53 ID:g+VK+66l(2/3) AAS
>>19
前スレ58
0871 １３２人目の素数さん
2025/11/07(金) 13:13:47.33
IUTは数学ではありません。
川上量生企画.望月新一監修.加藤文元著「宇宙と宇宙をつなぐ数学」
.パラダイムシフト論による。
(>>788)
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
>望月教授は、言うなれば、だれも 話したことがない、新しい言語を 用いて理論を組み立てました。
省16
63(1): 2025/11/15(土)17:54 ID:g+VK+66l(3/3) AAS
>>19
前スレ58
0871 １３２人目の素数さん
2025/11/07(金) 13:13:47.33
IUTは数学ではありません。
川上量生企画.望月新一監修.加藤文元著「宇宙と宇宙をつなぐ数学」
.パラダイムシフト論による。
(>>788)
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
>望月教授は、言うなれば、だれも 話したことがない、新しい言語を 用いて理論を組み立てました。
省16
64(3): 2025/11/16(日)02:18 ID:I32R343u(1/4) AAS
>>14
□
⑴ ⑵ ⑶ 遠アーベル幾何学
Mochizuki, Shinichi
Topics in Absolute Anabelian Geometry
III: Global Reconsruction Algorithms
大域的復元のアルゴリズムについて
⑴
・Journal of Mathematical Sciences
The University of Tokyo
省25
65: 2025/11/16(日)02:39 ID:I32R343u(2/4) AAS
>>64
外部ﾘﾝｸ[html]:www.ms.u-tokyo.ac.jp
66: 2025/11/16(日)03:07 ID:I32R343u(3/4) AAS
>>64
外部ﾘﾝｸ[pdf]:ncatlab.org
67: 2025/11/16(日)15:41 ID:26xE/0f4(1) AAS
22/7 3rdアルバム「abc予想」
このアルバム発売が事態をあらぬ方向に転回させるということを
発表時に見通したものはいなかった
68: 2025/11/16(日)19:46 ID:I32R343u(4/4) AAS
ダークサイドミステリー
『宇宙戦争』パニック事件、
75年目の真実 100万人をだましたフェイクニュース
外部ﾘﾝｸ:www.web.nhk
69: 2025/11/17(月)08:15 ID:a7cACU/T(1/5) AAS
前スレ58より
0992
１３２人目の素数さん
2025/11/15(土) 22:40:21.47
そもそも遠アーベル幾何自体が
グロタンディークの妄想の産物な訳だし 意味がどのくらいあるものなのかね
ID:ugKLCP76(2/2)
70: 2025/11/17(月)08:17 ID:a7cACU/T(2/5) AAS
前スレ58より
0993
１３２人目の素数さん
2025/11/16(日) 00:46:11.37
個人的には縁アーベル幾何学はちゃんと方法論として機能すると思う。
iut とは区別して考えるべき。
ID:8hCLebTL
71: 2025/11/17(月)08:20 ID:a7cACU/T(3/5) AAS
前スレ58より
・
0994 １３２人目の素数さん
2025/11/16(日) 01:08:59.53
>>64から
・Mochizuki, Shinichi
Topics in Absolute Anabelian Geometry
III: Global Reconsruction Algorithms
大域的復元アルゴリズムについて
Faltings氏とscholze,stixが 高く評価
省17
72: 2025/11/17(月)08:29 ID:a7cACU/T(4/5) AAS
基本的なことは
>数学はどこへ行くのか？
Over the last 2,500 years, the way we do mathematics has changed surprisingly little
過去2500年間、数学のやり方は驚くほど変化していません。
kevin Buzzard
73(1): 2025/11/17(月)11:15 ID:a7cACU/T(5/5) AAS
IUT論文の目的はabc予想の「証明」。
証明のためには p≠Pながらp=Pと仮定したり望月新一語が多重にあり
IUT論文を京大数理研の数学誌PRIMSが受理する以前から京大数理研ではabc予想が肯定的に解決した。
全てはabc予想の「証明」のためにある。
・
前スレ58
0979 .976.
2025/11/15(土) 07:09:00.64
この件(>>58.)だけではない、
以前にもwoit氏ブログのコメント欄で 望月新一氏の説明がscholze氏へ の説明とjoshi氏への説明が異なっていると話題があった。
省8
74: 2025/11/17(月)15:14 ID:WMuvtTWk(1) AAS
長文の罵倒文書く暇はあるのに
いつまでも細部書き下ろさない、もう詰んでんだよこいつ
75(1): 2025/11/17(月)18:29 ID:0A35TjVy(1/13) AAS
数学の遠アーベル幾何学から全く新しい理論IUT「理論」へ、だね。
数学の遠アーベル幾何学のleanによる形式化にIUTを含め最後にIUTもleanより
形式化されたとする。
(>>58)の手口は定義が
全く新しい理論IUT→数学。
今回の手口は数学→全く新しい理論と
述べている。
茶番劇の日本数学界は悪貨が良貨を駆逐するか？
76(3): 2025/11/17(月)20:28 ID:bNQYs5dU(1) AAS
コピペ君は数学理解してないっすね
＞証明のためには p≠Pながらp=Pと仮定したり望月新一語が多重にあり
Boydも数学を理解してないから記事の数学部分は意味不明
社会学的部分は読む価値があった
＞数学の遠アーベル幾何学のleanによる形式化にIUTを含め最後にIUTもleanより
＞形式化されたとする。
まったく意味不明
形式化できたんなら認められるんじゃないの
ただし意図的にbugを悪用した疑いがあれば別
いずれにせよ形式化なんて話が進むわきゃない
省7
77: 2025/11/17(月)21:03 ID:0A35TjVy(2/13) AAS
>>73
scholzeとjoshiの混乱について
woit blog
Latest on abc 2020.3.3
・up date のscholzeコメントと
・コメント欄のscholze.joshi.pc
参照のこと。
外部ﾘﾝｸ:www.math.columbia.edu
78: 2025/11/17(月)21:15 ID:0A35TjVy(3/13) AAS
>>76
Boydは数学者でないけどIUT宇宙際は
全く新しい「理論」で数学ではないね。
早く角川は川上量生企画.望月新一監修
加藤文元著「宇宙と宇宙をつなぐ数学」
を英訳し公式に出版しなさい。
79: 2025/11/17(月)21:25 ID:0A35TjVy(4/13) AAS
>>75
追加
zmc
外部ﾘﾝｸ:zen.ac.jp
80(2): 2025/11/17(月)22:17 ID:0A35TjVy(5/13) AAS
前スレ58より
0980 １３２人目の素数さん
2025/11/15(土) 11:25:47.43
・0657 １３２人目の素数さん
2025/10/22(水) 00:08:26.07
>>47の境界情報宇宙論(IUT量子情報理論)の基礎である二者相互規定がLEAN4通ったから記念書き込み
外部ﾘﾝｸ:ideone.com
省26
81: 2025/11/17(月)22:34 ID:0A35TjVy(6/13) AAS
>>80
前スレ58
・0047
１３２人目の素数さん
2025/06/15(日) 22:07:22.53
ちな情報の存在論的条件から導かれる宇宙モデルに関しては、ほぼ形而上学なので哲学板に書いておいたので 興味があれば参照してくれ
情報の存在論的条件から導かれる宇宙モデル
外部ﾘﾝｸ:lavender.5ch...gi
省2
82: 2025/11/17(月)23:01 ID:0A35TjVy(7/13) AAS
>>76
あなたはIUTが数学と勘違いしています
83(1): 2025/11/17(月)23:02 ID:G/rJPCwa(1/7) AAS
まぁなんでもやってみたらいい。
iutが既存の数学体系に乗るならLeanが保証してくれる。
乗らないならどんな言語体系、推論体系持つのか、望月先生によれば学部生でもできるらしいから、ゲンツェンなりヒルベルトなり横目で見ながらiut基礎論自作してiut版leanでも作って通して見せればいい
84: 2025/11/17(月)23:05 ID:0A35TjVy(8/13) AAS
>iutが既存の数学体系に乗るならLeanが保証してくれる。
無意味では？
オカルトマニアさんは有能と思う
85(1): 2025/11/17(月)23:09 ID:G/rJPCwa(2/7) AAS
いや、正しいなら無意味じゃないよ。通らなかった場合は「お前の解釈がおかしい」と言い訳されるが、正しい場合には完全に通る。元々「正しいことを保証するためのツール」ちなみに論文の筆者なら読み方の曖昧さがないから逆向きのツールとしても使える。
86(1): 2025/11/17(月)23:10 ID:0A35TjVy(9/13) AAS
>>83
FLTの形式化は未だです
87(1): 2025/11/17(月)23:14 ID:0A35TjVy(10/13) AAS
>>85
正しいのは遠アーベル幾何学の部分
としIUTを遠アーベル幾何学に
含めるとしたら？
88(1): 2025/11/17(月)23:16 ID:G/rJPCwa(3/7) AAS
>>86
別にFLTの論文は普通の数学者が普通に行間を補完できてるのだからそんなツールに正しさを保証してもらう必要はない。
iutは現時点で普通の数学者が行間を埋められない。
というよりおそらくそもそも通常の数学の基礎論には乗せられない。もちろんleanも通らないやろ。
頑張ってねぇ
89(1): 2025/11/17(月)23:17 ID:0A35TjVy(11/13) AAS
>>88
ケビンバザードがFLTの形式化
に取り組んでいるよ
90(1): 2025/11/17(月)23:18 ID:G/rJPCwa(4/7) AAS
>>87
知らんがな
正しいと思ってるんならLean通してみたらいい。
そしたらみんな正しいと認めるよ。
91: 2025/11/17(月)23:19 ID:G/rJPCwa(5/7) AAS
>>89
やりたきゃやったらいいがな。そのロジックはこうなん？
・iutもfltもまだlean通ってない
・でもfltはlean通ってないけどみんな認めてる
・だからiutだけ認められないのはおかしい
アホか
92(1): 2025/11/17(月)23:21 ID:G/rJPCwa(6/7) AAS
てか君「数学の議論では議論の開始時点でモデルをひとつ固定するなんて聞いたことない」とか言ってた素人君じゃないの、
そんな程度でよく基礎論の議論するに参加できるね
93: 2025/11/17(月)23:27 ID:0A35TjVy(12/13) AAS
>>92
あちらのIUT応援 CULTスレのこと？。
94(1): 2025/11/17(月)23:30 ID:0A35TjVy(13/13) AAS
>>90
望月新一監修加藤文元著IUT本
p66.
論文の価値は何で決まるのか
>何をもって「新しい」と判断できるのか、「正しい」という基準は何か、という点は非常に専門的なポイントです。
>通常の発展時においては当面の題材やその時代における支配的な
問題に対する部分的なあるいは最終的な解決であったりしますが、
>「パラダイムシフト」期においては、当分野に革命を起こすような大論文であることもあるでしょう
・
p69「興味深い」ということ
省9
95: 2025/11/17(月)23:54 ID:G/rJPCwa(7/7) AAS
少なくとも望月先生がiut4で言ってた主張「基礎の公理を外したzfcなりbgなりの上ならiutの全論文は通常の基礎論上の文章として読める」はダメやろな。通常の基礎論の上では「公理を減らしたら証明できる」などという事はありえない。そもそもショルツが見つけた不具合も解決しとらんやろ。
そもそも結局iutが
「通常の数学では最初にひとつモデルを固定するという原則を外してみたら新しい手法ができるんじゃないか」
というアイデアを実現したものなら通常の基礎論上では全く議論できない。もちろんleanも通らない。
iutがまともに数学としてみなせるものになるには基礎論の作り直しからするしかない。俺にはどうやったらいいかサッパリわからんけど望月先生の言によれば学部の3回生レベルでできるらしいからできると思うならやってみればいい
96: 2025/11/18(火)00:29 ID:GFNvzk0j(1/9) AAS
望月新一監修加藤文元著IUT本
はscholze stixレポートへの回答
だ。
P37
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
→ワイルズのFLTの証明形式化は
既存の数学の発展課題だ。
基礎の議論はこちら。
>望月教授は、言うなれば、
だれも 話したことがない、新しい言語を 用いて理論を組み立てました。
省4
97: 2025/11/18(火)02:31 ID:GFNvzk0j(2/9) AAS
>正しいと思ってるんならLean通してみたらいい。
そしたらみんな正しいと認めるよ。
IUTは数学ではないしオカルト性が強い。
オカルトマニアさんは「境界情報宇宙論(IUT量子情報理論)の基礎である二者相互規定がLEAN4通ったlean4を通った」
と主張している。>>80
しかしオカルトマニアさんには皆否定
的だけど。
しかしトンデモIUTがleanを通った場合は日本数学界がIUTをみんな正しいと認める
んだね。
abc予想は京都限定定理から
省1
98: 2025/11/18(火)07:01 ID:F82Dr7YX(1/4) AAS
いや、lean通ったら全世界で認められるやろ
99(1): 2025/11/18(火)07:26 ID:GFNvzk0j(3/9) AAS
あら なぜICM2026にIUTがないの？
100: 2025/11/18(火)08:02 ID:EoZ2Z0xb(1/3) AAS
leanを通ったら全世界が認める
当然だ
（bugを意図的に利用して一時的に通すことは
不可能ではないだろうが、そんなん必ず発覚する）
しかし大勢でもう何年もやってるfltの形式化が
いつ終わるとも分からない現状を見ても
iutの形式化など（たとえ正しくとも）現実的でない
leanを通せという要求もありえない
そんなことより"functorial algorithm"等々の
未定義述語を明示的に定義しろっての
省1
上下前次1-新書関写板覧索設栞歴
あと 902 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.065s