Inter-universal geometry と ABC予想 (応援スレ) 80

**１３２人目の素数さん** · 2025/12/17(水) 20:59:24.41

前スレ：Inter-universal geometry と ABC予想 (応援スレ) 79
https://rio2016.5ch.net/test/read.cgi/math/1764578260/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13
＜IUT最新文書＞
About the study of IUT by Ivan Fesenko http://ivanfesenko.org/wp-content/uploads/rapg.pdf https://ivanfesenko.org/?page_id=80
望月新一＠数理研 https://www.kurims.kyoto-u.ac.jp/~motizuki/
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論＜新展開＞ 2025年5月、中国の若手数学者の周忠鵬はフェルマーの最終定理の一般化がIUT理論から得られると発表した
・日仏遠アーベル共同研究 Arithmetic & Homotopic Galois Theory IRN https://ahgt.math.cnrs.fr/activities/
＜Grokipedia＞
Inter-universal Teichmüller theory https://grokipedia.com/page/Inter-universal_Teichm%C3%BCller_theory
遠アーベル幾何学 https://grokipedia.com/page/Anabelian_geometry

https://zen.ac.jp/lp/icp
IUT Challenger Prizeの紹介 2023年7月
審査の対象とする論文については、MathSciNetに載っていて、かつ、過去10年間に数論幾何の論文が10本以上掲載されている数学の専門誌に査読の上でアクセプトまたは掲載されたもの

://www.sankei.com/article/20240402-WNUUSYIAO5PRVNCBQSEEUETGMU/
産経 2024/4/2
宇宙際タイヒミューラー理論を提唱、望月新一氏らに賞金１０万ドル
同理論の発展に重要な貢献を果たした論文の執筆者に贈られる「ＩＵＴｉｎｎｏｖａｔｏｒ賞」の最初の受賞者として望月氏ら５人が選ばれ

://ahgt.math.cnrs.fr/activities/
Anabelian Geometry and Representations of Fundamental Groups. Oberwolfach workshop MFO-RIMS Sep. 29-Oct. 4, 2024
Org.: A. Cadoret, F. Pop, J. Stix, A.. Topaz
（J. Stixさん、IUT支持側へ）

://collas.perso.math.cnrs.fr/documents/Collas-Anabelian%20Arithmetic%20Geometry-IUT.pdf
“ANABELIAN ARITHMETIC GEOMETRY - A NEW GEOMETRY OF FORMS AND NUMBERS: Inter-universal Teichmüller theory or “beyond Grothendieck’s vision” Benjamin Collas Version 11/15/2023”

このスレの番号は前スレ43を継いでNo.44からの連番としています
（なお、このスレは本体IUTスレの43からの分裂スレですが、分裂したNo43スレの中ではこのスレ立ては最初だったのです！）
(余談)
Langlands program Geometric conjectures https://en.wikipedia.org/wiki/Langlands_program
In 2024, a 9-person collaborative project led by Dennis Gaitsgory announced a proof of the (categorical, unramified) geometric Langlands conjecture leveraging Hecke eigensheaves as part of the proof.[3][4][5][6]
つづく

**１３２人目の素数さん** · 2025/12/17(水) 21:10:57.39

/i/|ii!//|!/!i/´i/ 　 .|i |/ﾉ　　　　　　　　i＼i!ﾞ､:iヽ|:::|　ヽ 'i　 !　ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿!　　 | │　　　　　　　　川　ヽﾞ:ii ﾞ'∨ 　　 |　　　ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ　　　　　　　　ﾙ |ﾉﾉヽヾノ　　､,,,ﾉ,､　　　　 iヽ:::||:::::i'::::::::::::::::::::::::::::
　/　　￣ ´~~ﾞ''''　　　ﾞ''‐- ..,,　　　　　　　　 ,, ‐'　　　 `ﾞヾミｯ､,,　　　ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ|　　　　　　　　　　　　 i'　　　　　　　　i"　　　　　　　　 `'‐＝'　　 `'|/i!:::::i::::::::::::::::::::::::
　i |　:::::::ヽ::::ヽ::::::ヾ::　　　　ﾞ､　　　　　　　 l　　　　　　　〃:::::　　　　　　 i//::::ﾊ::::::::::::::::::i:::
　 i i　＼＼＼＼＼ヽ　　　　）　　　　　　　ヽ　　　　　　　′′′　　 / /:::::/:::::::::::::::::::|::::
!　 | i　　　　　　　　　　　　,,ｨﾉ　　　　　　　　<　　　　　　　　　::::　:　　 /:::::/:::::::::::::::::::/::::
i!　 i i!　　　　　　　　　　 /i/　　 ,r''''‐y'''.;､　　＼　　　　　　　　　　　　 /:::::/:::::/::::::::::::/:::::
ﾞi!　 | i　　　　　　　　　　/⌒' ､　Y:::::::::''::;;;;'.;.Y'⌒ﾞi　　　　　　　　　　　/::::::/::::::/::::::::::::/::::/i
　i　 i ﾞ!　　　　　　　　　ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r''　　　　　　　　　　/:::::::/::::::/::::::::::::/:::://
ﾞ､ii!　ﾞ| i　　　　　　　　　　　ﾉ　ゝ;;;:::::::::::::::::::;ﾉ。 `i　　　　　　　　　 //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl　ﾞi￤　　　　　　　　　　i 　｡ｌ '゛..　 ‐ｰ:::::i　　　 |　　　　　　　　 //::::::/::::::/::::::/:::/:::::i!::::::
　iiミ!　ハ　　　　　　　　 i　　l　,,,,::: :::;;;;;...{　°　ﾞ､　　　　　　／/::::://::::/::::::/:::::/::::i::::ii::
　i!ヾ!i　ﾞ､!　　　　　　　　　, '　　|:::　::::ヽ　 ..}　　　　 |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
　!ヽヾi　 iﾞ､　＿＿＿,,,／　　　}:: : 　;;;::: ::::::::}　　　ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::

**１３２人目の素数さん** · 2025/12/17(水) 21:11:43.41

つづき

https://ja.wikipedia.org/wiki/%E7%87%BB%E8%A3%BD%E3%83%8B%E3%82%B7%E3%83%B3%E3%81%AE%E8%99%9A%E5%81%BD
燻製ニシンの虚偽（くんせいニシンのきょぎ）、またはレッド・ヘリング（英語: red herring）は、本来の問題から注意をそらし、論点をすり替える論理的誤謬を指す用語である。また、ミステリーや探偵小説などで、読者や登場人物を誤った結論へ導くために用いられる文学的手法を指す語でもある[1] [2]。
論理的誤謬
非形式的誤謬としての「燻製ニシンの虚偽」は関連性の誤謬の一形態である。相手に反論する際に、本来の問題（論点）から他の問題へと注意をそらしたり、無関係な論点を導入して推論を行う誤り[3] [4] [5]。「論点変更の虚偽」（Mutatio Elenchi）の同義語

勝手な Simplification
勝手な略図を作って「ここに、ギャップあり」で「元の論文の証明でも、ギャップがある」と
冷静に考えれば、勝手な略図でギャップを論じても元の論文の証明がどうかは全く別の話
ドイツの若き天才数学者は、この単純なストローマン論法に無知だった。若いから・・
https://it.wikipedia.org/wiki/Teoria_di_Teichm%C3%BCller_inter-universale
Teoria di Teichmüller inter-universale 宇宙間タイヒミュラー
(機械訳)
ショルツとスティックスとの論争と出版
2018年7月16日、ショルツとスティックスはボン大学のウェブサイトに「なぜabcは依然として予想なのか」という報告書を掲載し、彼らの見解では望月の不等式がなぜ誤りなのかを説明しています。
望月の不等式は、IUTの基本的な結果および構成要素の一つです。望月によれば、この不等式を導いた系 3.12 のステップ XI (図 3.8 の下) の計算 (二重の和) 中に、彼は誤ってスカラー係数j 2を右辺に挿入したため、最終結果は全く異なる本質的に内容のない不等式となり、abc 予想の証明につながるアルゴリズムでは使用できません
略
この図では、同型性によれば、抽象シータパイロットオブジェクトはシータ因子の算術次数を一切エンコードしない。望月はグラフの左側にスカラー因子j 2を挿入しようとしたが、この挿入はモノドロミーにつながり、ひいては根本的な矛盾が生じる。ショルツとスティックスによれば、IUTにおける実数のコピーの一貫した同一視は、このスカラー因子を許容できない。たとえこのスカラー因子を保持できたとしても、この図は少なくとも O( l 2 ) 倍の交換性を持つため、系3.12の不等式は役に立たず、abc予想や類似の予想の証明全体が誤りであり、修復不能である

つづく

**１３２人目の素数さん** · 2025/12/17(水) 21:13:11.99

つづき

不等式の反証は、2人の学者が重要ではないと指摘した IUT のいくつかの単純化にも依存しています。そのいくつかは粗雑で、ホッジ劇場を双曲曲線Xに抽象的に同型のより単純な曲線に置き換えたり、同一のオブジェクトを異なるものと見なす代わりにそれらの間の方程式を使用したりしています。特に、ホッジ劇場は、原点がないため、一度穴があいた楕円曲線から派生したデータのセットに過ぎません。2 人の学者はまた、彼らの意見では、基本群を扱うことが必須となる点はないため、IUT の多くの部分に対する遠アーベル幾何学は群論と等価であると付け加えました。次に、エタールのようなデータ ( D ) を、内部自己同型を除いて群として考えられる抽象的な位相群 π1 ( X )によって提供されるデータとほぼ定義しました。さらに、フロベニウス的な描像は、本質的に位相群π 1 (X)とモノイドへの作用から構成されるため、エタール的な描像の改良版であると大まかに説明されている。望月は過度の単純化は許されないと主張したが、二人の学者は彼の反論に納得できないと反論した
https://ja.wikipedia.org/wiki/%E3%82%B9%E3%83%88%E3%83%AD%E3%83%BC%E3%83%9E%E3%83%B3
ストローマンは、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと
つづく

**１３２人目の素数さん** · 2025/12/17(水) 21:13:32.07

つづき

＜grokipedia IUTにおける”宇宙”説明抜粋＞（これ面白いぞ）
https://grokipedia.com/page/Inter-universal_Teichm%C3%BCller_theory
Inter-universal Teichmüller theory
(google訳)
l≥5[ 1]この理論は算術構造の標準的変形に焦点を当て、非アルキメデス的対数シータ格子と遠ベル的再構成法を導入することで、スキーム理論的なホッジ・アラケロフ理論の限界を克服し、幾何学的オブジェクトの互換性のない「宇宙」間でデータを比較します。[2]この理論の核となる革新性は、「ホッジ劇場」の構築にあります。これは、多重放射表現と宇宙間同型性を容易にし、ディオファントス設定における高さと値を正確に制御することを可能にします。[1]

導入
定義と概要
IUTの重要な特徴は、その「宇宙間」特性である。これは、非アルキメデス的かつ遠アーベル的な手法を用いて、異なる算術データの「宇宙」（本質的には同一の基礎構造の異なるラベル付けまたは表現）間に、シータリンクなどの同型性を確立することを包含する。 [1]これらのリンクは、フロベニオイド理論的要素と対数シータ格子要素を橋渡しし、これらの宇宙間で算術的正則構造を比較することを可能にする。[1]

歴史的発展
望月氏の貢献
3部構成のシリーズ「絶対遠アーベル幾何学の話題」（2012年から2015年にかけてのRIMSプレプリント）で詳述されている。これは、数体上の真双曲曲線の基底体、関数体、および尖点化データを、それらのエタール基本群から復元するためのアルゴリズム的手法を提供する。これらの定理は、解ける閉包の全体的再構成アルゴリズムによって例示され、数論幾何学への「モノ遠アーベル」アプローチを可能にし、IUT の宇宙間構造の直接の前身として、数体上の標準的な持ち上げと変形を強調しました。

IUTの概念自体は、望月がp進理論、モノアーベル再構成、ホッジ・アラケロフ構成におけるこれまでの革新を統合し、数体のための統一的な算術的タイヒミュラー枠組みを構築した2006年から2010年頃に誕生しました。この時期には、「宇宙間」変形、すなわち異なる算術データの「宇宙」が正準同型によって結び付けられる変形の徹底的な探究が行われ、2012年にはIUTを正式に定義する4つの画期的なプレプリントが発表されました。これらのプレプリントは、対数シータ格子とアーベルアルゴリズムを統合することで数体間の変形を可能にし、望月が20年にわたって進めてきたアーベル算術幾何学の軌跡の頂点を成すものでした。

p進タイヒミュラー理論
この古典的なp進枠組みは、複数のp進付値が相互作用する設定に変形を拡張することで、宇宙間タイヒミュラー理論への橋渡しとなり、剛性特性を維持しながら、異なる算術構造間での「宇宙間」比較を可能にする。これは、p進解析的データとエタール基本群再構成を混成することで、遠アーベル再構成に簡潔に結びつく。

つづく

**１３２人目の素数さん** · 2025/12/17(水) 21:13:45.65

/i/|ii!//|!/!i/´i/ 　 .|i |/ﾉ　　　　　　　　i＼i!ﾞ､:iヽ|:::|　ヽ 'i　 !　ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿!　　 | │　　　　　　　　川　ヽﾞ:ii ﾞ'∨ 　　 |　　　ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ　　　　　　　　ﾙ |ﾉﾉヽヾノ　　､,,,ﾉ,､　　　　 iヽ:::||:::::i'::::::::::::::::::::::::::::
　/　　￣ ´~~ﾞ''''　　　ﾞ''‐- ..,,　　　　　　　　 ,, ‐'　　　 `ﾞヾミｯ､,,　　　ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ|　　　　　　　　　　　　 i'　　　　　　　　i"　　　　　　　　 `'‐＝'　　 `'|/i!:::::i::::::::::::::::::::::::
　i |　:::::::ヽ::::ヽ::::::ヾ::　　　　ﾞ､　　　　　　　 l　　　　　　　〃:::::　　　　　　 i//::::ﾊ::::::::::::::::::i:::
　 i i　＼＼＼＼＼ヽ　　　　）　　　　　　　ヽ　　　　　　　′′′　　 / /:::::/:::::::::::::::::::|::::
!　 | i　　　　　　　　　　　　,,ｨﾉ　　　　　　　　<　　　　　　　　　::::　:　　 /:::::/:::::::::::::::::::/::::
i!　 i i!　　　　　　　　　　 /i/　　 ,r''''‐y'''.;､　　＼　　　　　　　　　　　　 /:::::/:::::/::::::::::::/:::::
ﾞi!　 | i　　　　　　　　　　/⌒' ､　Y:::::::::''::;;;;'.;.Y'⌒ﾞi　　　　　　　　　　　/::::::/::::::/::::::::::::/::::/i
　i　 i ﾞ!　　　　　　　　　ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r''　　　　　　　　　　/:::::::/::::::/::::::::::::/:::://
ﾞ､ii!　ﾞ| i　　　　　　　　　　　ﾉ　ゝ;;;:::::::::::::::::::;ﾉ。 `i　　　　　　　　　 //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl　ﾞi￤　　　　　　　　　　i 　｡ｌ '゛..　 ‐ｰ:::::i　　　 |　　　　　　　　 //::::::/::::::/::::::/:::/:::::i!::::::
　iiミ!　ハ　　　　　　　　 i　　l　,,,,::: :::;;;;;...{　°　ﾞ､　　　　　　／/::::://::::/::::::/:::::/::::i::::ii::
　i!ヾ!i　ﾞ､!　　　　　　　　　, '　　|:::　::::ヽ　 ..}　　　　 |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
　!ヽヾi　 iﾞ､　＿＿＿,,,／　　　}:: : 　;;;::: ::::::::}　　　ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::

**１３２人目の素数さん** · 2025/12/17(水) 21:13:52.81

つづき

理論的枠組み
インターユニバーサリティ
宇宙際タイヒミュラー理論（IUT）において、「宇宙」という基本概念は、ホッジシアター内の初期データと終端データのペアを指し、ガロア圏を備えたスキームや、単位群や値群を含む局所体の組合せ論的次元や算術的次元といった、異なる数学的構造を包含する。[9]これらの宇宙は、素数によって厳密に分離されている。素数によって、局所体の変化や数体の完備化を反映することで、異なるp進位における算術的性質が定義され、それによって、大域的埋め込みに依存しない局所-大域的分離が保証される。[9]この分離は、素数を抽象的な位相群として扱い、理論の本質的な焦点を維持するために従来のガロア群構造に依存することを回避している。[9]
宇宙間変形のメカニズムはIUTの橋渡し哲学の中核を成し、グローバル座標を呼び出さずに一つの宇宙から別の宇宙を再構築することを可能にする。 [9]このプロセスは抽象的な位相群上で動作する遠アーベルアルゴリズムを活用し、対数リンクやクンマー理論を介したΘ-およびq-絡み合いなどのツールを利用して、宇宙の構造的完全性を維持しながら変形を達成する。[9]意図的に、これらの変形は宇宙間の算術情報の転送を容易にし、統一された座標系を前提とすることなく、異なる算術領域にわたって互換性のあるデータを確立する。[9]

IUTにおける宇宙間写像は、同期共役性と切断クンマー理論を通じて構造の同時正則表現可能性を維持しながら、p進位をまたぐ算術正則性の保存の例である。[9]これらの写像は、ログ体積不変性や多重ラジアル表現などの主要な算術特性が変形プロセス中に維持されることを保証し、それによって宇宙間の橋渡しをしながら、さまざまな素数の値での正則特性を保存する。[9]シータリンクは、互換性に必要な論理関係を強制することにより、これらの橋渡しを実現する上で補助的な役割を果たす。[9]

多重放射表現
より広い枠組みでは、多重放射表現は、図の可換性を保証するために、対数殻のテンソルパケットのコンテナを構築します。
Θ-パイロット、評価ラベルに依存しない
Fℓ±F ℓ± -対称性。[9]双円錐形
F×μF × μ -プライムストリップは、対数-シータ格子の水平および垂直の矢印の両方に対して不変であり、これを検証する
Θ×μΘ × μ LGPリンクとlog -Kummer対応は、シータリンクと宇宙間写像をまたいで共役を同期させる論理AND関係を生み出す。

つづく

**１３２人目の素数さん** · 2025/12/17(水) 21:14:13.56

つづき

応用と影響
ABC予想の証明
{θj}固定パラメータに対する相対値
qこの比較から、ラジカルが
ラジアン( ab c )素因数の「多重放射状」分布を符号化する
a、b、c グローバルシータリンクは、これらの因子の対数体積が宇宙間変形の下で両立することを保証する。マルチラジアルアルゴリズムを適用してシータ値を並べ替えながら全体的なプロファイルを維持することにより、主張されている証明はこれらの評価の矛盾を制限し、それらを直接的に大きさに結び付けている。

この導出は、シータリンク領域における不確定性を制御するために、宇宙間枠組みに依存している。[28]

他の推測への影響
シータリンクを介したエタール基本群の標準分割を構築することにより、理論は数体上の双曲曲線上の有理点の高さに一様な境界を課し、ヴォイタの高さ不等式と一致し、固定種数の曲線に対して数値的に有効なバージョンを提供する。これらの進歩は、完全な切断予想を仮定せずに profinite 完備化の切断を再構成する宇宙間フレームワークに由来し、それによって次元 1 におけるヴォイタの予測の部分的な確認を提供する。
(引用終り)
以上
つづく

**１３２人目の素数さん** · 2025/12/17(水) 21:14:13.69

/i/|ii!//|!/!i/´i/ 　 .|i |/ﾉ　　　　　　　　i＼i!ﾞ､:iヽ|:::|　ヽ 'i　 !　ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿!　　 | │　　　　　　　　川　ヽﾞ:ii ﾞ'∨ 　　 |　　　ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ　　　　　　　　ﾙ |ﾉﾉヽヾノ　　､,,,ﾉ,､　　　　 iヽ:::||:::::i'::::::::::::::::::::::::::::
　/　　￣ ´~~ﾞ''''　　　ﾞ''‐- ..,,　　　　　　　　 ,, ‐'　　　 `ﾞヾミｯ､,,　　　ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ|　　　　　　　　　　　　 i'　　　　　　　　i"　　　　　　　　 `'‐＝'　　 `'|/i!:::::i::::::::::::::::::::::::
　i |　:::::::ヽ::::ヽ::::::ヾ::　　　　ﾞ､　　　　　　　 l　　　　　　　〃:::::　　　　　　 i//::::ﾊ::::::::::::::::::i:::
　 i i　＼＼＼＼＼ヽ　　　　）　　　　　　　ヽ　　　　　　　′′′　　 / /:::::/:::::::::::::::::::|::::
!　 | i　　　　　　　　　　　　,,ｨﾉ　　　　　　　　<　　　　　　　　　::::　:　　 /:::::/:::::::::::::::::::/::::
i!　 i i!　　　　　　　　　　 /i/　　 ,r''''‐y'''.;､　　＼　　　　　　　　　　　　 /:::::/:::::/::::::::::::/:::::
ﾞi!　 | i　　　　　　　　　　/⌒' ､　Y:::::::::''::;;;;'.;.Y'⌒ﾞi　　　　　　　　　　　/::::::/::::::/::::::::::::/::::/i
　i　 i ﾞ!　　　　　　　　　ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r''　　　　　　　　　　/:::::::/::::::/::::::::::::/:::://
ﾞ､ii!　ﾞ| i　　　　　　　　　　　ﾉ　ゝ;;;:::::::::::::::::::;ﾉ。 `i　　　　　　　　　 //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl　ﾞi￤　　　　　　　　　　i 　｡ｌ '゛..　 ‐ｰ:::::i　　　 |　　　　　　　　 //::::::/::::::/::::::/:::/:::::i!::::::
　iiミ!　ハ　　　　　　　　 i　　l　,,,,::: :::;;;;;...{　°　ﾞ､　　　　　　／/::::://::::/::::::/:::::/::::i::::ii::
　i!ヾ!i　ﾞ､!　　　　　　　　　, '　　|:::　::::ヽ　 ..}　　　　 |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
　!ヽヾi　 iﾞ､　＿＿＿,,,／　　　}:: : 　;;;::: ::::::::}　　　ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::

**１３２人目の素数さん** · 2025/12/17(水) 21:14:55.15

つづき

＜過去スレより再録＞
スレ46 ://rio2016.5ch.net/test/read.cgi/math/1589677271/273
アンチのみなさん、幼稚すぎ
小学生なみ
そういう議論は、本スレがアンチでお願いしますよ
ここでは、大人の議論をしましょうね

１．まず、論文の不正は、「医学・生命科学系の論文」に多い。だが、数学では、いまだ寡聞にして知らず。おそらく、これからも無いでしょう
２．「医学・生命科学系の論文」は、実験結果や診療の結果が記載されるのが普通で、ここは論文執筆者が、やろうと思えば捏造可能だ。しかし、数学では捏造の余地が皆無
　（これは、数学科学部卒でも同意してくれるだろう。同意できないのは、小学生です。どうぞ、本スレがアンチへ）
３．数学では捏造の余地が皆無で、もし意図して不自然なことをしても、すぐバレル。「おまえ、アホやなー」です
　あるいは、「わざと、ワケワカに書く」と小学生はいう。しかし、これも、誰も読めないなら、やっぱ「おまえ、アホやなー」です
４．査読者や、柏原・玉川がグルだとか、小学生はいう
　しかし、そんなことをしても、見る人が見れば、やっぱ「おまえら、アホやなー」です

ワケワカ小学生は、どうぞ相応しいスレへお願いしますｗｗ（＾＾；
（蕎麦屋さん、数理論理君も、どうぞそちらへｗ）

スレ46 ://rio2016.5ch.net/test/read.cgi/math/1589677271/883
１．RIMSをまず普通の論文と見れば良いと思うのだが？　つまり、「ちゃんと査読された」ということを認める
２．21世紀の数学は、高度に専門家されているので、専門外の先端の論文を理解するのは一苦労する。ショルツ氏も例外ではない
３．数学の検証に終りがない。査読は一次の通過でしかない。掲載論文のさらなる拡張あるいは一般化が検討されるのが普通。あるいは、他の分野への応用とか。その過程で、論文の真偽は常に検証されるものだ
そういう普通の視点で考えれば宜しいのではないですかね？
応援スレだが、この普通のことしか言ってないけどねｗ（＾＾

アンチが
・査読が終わったのは、RIMS内部の陰謀だとか、内部でデタラメをやっているとか
・果ては、数学でSTAPもどきの捏造数学論文事件で、関係者が全員グルだとか

笑える幼稚な議論
それは、別スレでやれよｗ（＾＾；
つづく

**１３２人目の素数さん** · 2025/12/17(水) 21:15:07.87

/i/|ii!//|!/!i/´i/ 　 .|i |/ﾉ　　　　　　　　i＼i!ﾞ､:iヽ|:::|　ヽ 'i　 !　ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿!　　 | │　　　　　　　　川　ヽﾞ:ii ﾞ'∨ 　　 |　　　ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ　　　　　　　　ﾙ |ﾉﾉヽヾノ　　､,,,ﾉ,､　　　　 iヽ:::||:::::i'::::::::::::::::::::::::::::
　/　　￣ ´~~ﾞ''''　　　ﾞ''‐- ..,,　　　　　　　　 ,, ‐'　　　 `ﾞヾミｯ､,,　　　ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ|　　　　　　　　　　　　 i'　　　　　　　　i"　　　　　　　　 `'‐＝'　　 `'|/i!:::::i::::::::::::::::::::::::
　i |　:::::::ヽ::::ヽ::::::ヾ::　　　　ﾞ､　　　　　　　 l　　　　　　　〃:::::　　　　　　 i//::::ﾊ::::::::::::::::::i:::
　 i i　＼＼＼＼＼ヽ　　　　）　　　　　　　ヽ　　　　　　　′′′　　 / /:::::/:::::::::::::::::::|::::
!　 | i　　　　　　　　　　　　,,ｨﾉ　　　　　　　　<　　　　　　　　　::::　:　　 /:::::/:::::::::::::::::::/::::
i!　 i i!　　　　　　　　　　 /i/　　 ,r''''‐y'''.;､　　＼　　　　　　　　　　　　 /:::::/:::::/::::::::::::/:::::
ﾞi!　 | i　　　　　　　　　　/⌒' ､　Y:::::::::''::;;;;'.;.Y'⌒ﾞi　　　　　　　　　　　/::::::/::::::/::::::::::::/::::/i
　i　 i ﾞ!　　　　　　　　　ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r''　　　　　　　　　　/:::::::/::::::/::::::::::::/:::://
ﾞ､ii!　ﾞ| i　　　　　　　　　　　ﾉ　ゝ;;;:::::::::::::::::::;ﾉ。 `i　　　　　　　　　 //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl　ﾞi￤　　　　　　　　　　i 　｡ｌ '゛..　 ‐ｰ:::::i　　　 |　　　　　　　　 //::::::/::::::/::::::/:::/:::::i!::::::
　iiミ!　ハ　　　　　　　　 i　　l　,,,,::: :::;;;;;...{　°　ﾞ､　　　　　　／/::::://::::/::::::/:::::/::::i::::ii::
　i!ヾ!i　ﾞ､!　　　　　　　　　, '　　|:::　::::ヽ　 ..}　　　　 |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
　!ヽヾi　 iﾞ､　＿＿＿,,,／　　　}:: : 　;;;::: ::::::::}　　　ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::

**１３２人目の素数さん** · 2025/12/17(水) 21:15:22.97

つづき
://www.youtube.com/watch?v=0VaEAVbTwhw
【世界で2番目のIUT理論研究拠点誕生】新しいオンライン大学「ZEN大学」設立に関する発表会｜IUGC 宇宙際幾何学センター
N高等学校・S高等学校 2023/06/06

公益財団法人日本財団と株式会社ドワンゴは、新しいオンライン大学「ZEN大学」を設立します。
2023年6月6日（火）に発表された『IUT理論研究拠点の設立』をご紹介する動画です。

◆Inter Universal Geometry Center
（所長：加藤文元／副所長：イヴァン・フェセンコ）
日本発の世界的な数学理論であるIUT理論を推進・普及し、数学の未来を切り開いていくための研究施設「IUGC（宇宙際幾何学センター）」を設立します。全てのコースに合格すれば、世界中のあらゆる大学の数学科の学生よりもIUT理論の知識が備わります。また、世界初となる、IUT理論を理解する数学者の裾野を広げるためのオリジナル入門講座も開設します。

◆ZEN大学とは
ZEN大学は、すべての人たちを対象にした、グローバル社会で活躍するための素養や教養を身に付けることができる “日本発の本格的なオンライン大学” です。
最先端のテクノロジーと最前線で活躍するプロフェッショナルの教員によって創り出される、質の高いオンデマンド授業を自分のペースで学べ、オンラインだけで大学卒業資格を取得することができます。
また、地域･企業と連携したフィールドワークや国際交流など多様なプログラム活動もあり、実社会で活躍するための実践力を養えます。
ZEN大学公式サイト：://zen-univ.jp

://www.icbs.cn/en/web/index/18009_1553670__
ICBS Satellite Conference on Algebraic and Arithmetic Geometry
2023 July 12th

Ivan Fesenko (Warwick University and Tsinghua University)
Higher adelic approach to the Tate-BSD conjecture
I will first present basics of two adelic structures on relative elliptic surfaces over Spec of the ring of integers of a number field or a smooth projective irreducible curve over a finite field and of the higher adelic zeta integral. Then I will concentrate on the higher adelic program to prove the equality of the arithmetic and analytic ranks of the generic fibre.

つづく

**１３２人目の素数さん** · 2025/12/17(水) 21:15:32.16

/i/|ii!//|!/!i/´i/ 　 .|i |/ﾉ　　　　　　　　i＼i!ﾞ､:iヽ|:::|　ヽ 'i　 !　ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿!　　 | │　　　　　　　　川　ヽﾞ:ii ﾞ'∨ 　　 |　　　ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ　　　　　　　　ﾙ |ﾉﾉヽヾノ　　､,,,ﾉ,､　　　　 iヽ:::||:::::i'::::::::::::::::::::::::::::
　/　　￣ ´~~ﾞ''''　　　ﾞ''‐- ..,,　　　　　　　　 ,, ‐'　　　 `ﾞヾミｯ､,,　　　ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ|　　　　　　　　　　　　 i'　　　　　　　　i"　　　　　　　　 `'‐＝'　　 `'|/i!:::::i::::::::::::::::::::::::
　i |　:::::::ヽ::::ヽ::::::ヾ::　　　　ﾞ､　　　　　　　 l　　　　　　　〃:::::　　　　　　 i//::::ﾊ::::::::::::::::::i:::
　 i i　＼＼＼＼＼ヽ　　　　）　　　　　　　ヽ　　　　　　　′′′　　 / /:::::/:::::::::::::::::::|::::
!　 | i　　　　　　　　　　　　,,ｨﾉ　　　　　　　　<　　　　　　　　　::::　:　　 /:::::/:::::::::::::::::::/::::
i!　 i i!　　　　　　　　　　 /i/　　 ,r''''‐y'''.;､　　＼　　　　　　　　　　　　 /:::::/:::::/::::::::::::/:::::
ﾞi!　 | i　　　　　　　　　　/⌒' ､　Y:::::::::''::;;;;'.;.Y'⌒ﾞi　　　　　　　　　　　/::::::/::::::/::::::::::::/::::/i
　i　 i ﾞ!　　　　　　　　　ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r''　　　　　　　　　　/:::::::/::::::/::::::::::::/:::://
ﾞ､ii!　ﾞ| i　　　　　　　　　　　ﾉ　ゝ;;;:::::::::::::::::::;ﾉ。 `i　　　　　　　　　 //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl　ﾞi￤　　　　　　　　　　i 　｡ｌ '゛..　 ‐ｰ:::::i　　　 |　　　　　　　　 //::::::/::::::/::::::/:::/:::::i!::::::
　iiミ!　ハ　　　　　　　　 i　　l　,,,,::: :::;;;;;...{　°　ﾞ､　　　　　　／/::::://::::/::::::/:::::/::::i::::ii::
　i!ヾ!i　ﾞ､!　　　　　　　　　, '　　|:::　::::ヽ　 ..}　　　　 |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
　!ヽヾi　 iﾞ､　＿＿＿,,,／　　　}:: : 　;;;::: ::::::::}　　　ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::

**１３２人目の素数さん** · 2025/12/17(水) 21:15:51.77

/i/|ii!//|!/!i/´i/ 　 .|i |/ﾉ　　　　　　　　i＼i!ﾞ､:iヽ|:::|　ヽ 'i　 !　ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿!　　 | │　　　　　　　　川　ヽﾞ:ii ﾞ'∨ 　　 |　　　ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ　　　　　　　　ﾙ |ﾉﾉヽヾノ　　､,,,ﾉ,､　　　　 iヽ:::||:::::i'::::::::::::::::::::::::::::
　/　　￣ ´~~ﾞ''''　　　ﾞ''‐- ..,,　　　　　　　　 ,, ‐'　　　 `ﾞヾミｯ､,,　　　ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ|　　　　　　　　　　　　 i'　　　　　　　　i"　　　　　　　　 `'‐＝'　　 `'|/i!:::::i::::::::::::::::::::::::
　i |　:::::::ヽ::::ヽ::::::ヾ::　　　　ﾞ､　　　　　　　 l　　　　　　　〃:::::　　　　　　 i//::::ﾊ::::::::::::::::::i:::
　 i i　＼＼＼＼＼ヽ　　　　）　　　　　　　ヽ　　　　　　　′′′　　 / /:::::/:::::::::::::::::::|::::
!　 | i　　　　　　　　　　　　,,ｨﾉ　　　　　　　　<　　　　　　　　　::::　:　　 /:::::/:::::::::::::::::::/::::
i!　 i i!　　　　　　　　　　 /i/　　 ,r''''‐y'''.;､　　＼　　　　　　　　　　　　 /:::::/:::::/::::::::::::/:::::
ﾞi!　 | i　　　　　　　　　　/⌒' ､　Y:::::::::''::;;;;'.;.Y'⌒ﾞi　　　　　　　　　　　/::::::/::::::/::::::::::::/::::/i
　i　 i ﾞ!　　　　　　　　　ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r''　　　　　　　　　　/:::::::/::::::/::::::::::::/:::://
ﾞ､ii!　ﾞ| i　　　　　　　　　　　ﾉ　ゝ;;;:::::::::::::::::::;ﾉ。 `i　　　　　　　　　 //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl　ﾞi￤　　　　　　　　　　i 　｡ｌ '゛..　 ‐ｰ:::::i　　　 |　　　　　　　　 //::::::/::::::/::::::/:::/:::::i!::::::
　iiミ!　ハ　　　　　　　　 i　　l　,,,,::: :::;;;;;...{　°　ﾞ､　　　　　　／/::::://::::/::::::/:::::/::::i::::ii::
　i!ヾ!i　ﾞ､!　　　　　　　　　, '　　|:::　::::ヽ　 ..}　　　　 |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
　!ヽヾi　 iﾞ､　＿＿＿,,,／　　　}:: : 　;;;::: ::::::::}　　　ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::

**１３２人目の素数さん** · 2025/12/17(水) 21:16:11.50

/i/|ii!//|!/!i/´i/ 　 .|i |/ﾉ　　　　　　　　i＼i!ﾞ､:iヽ|:::|　ヽ 'i　 !　ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿!　　 | │　　　　　　　　川　ヽﾞ:ii ﾞ'∨ 　　 |　　　ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ　　　　　　　　ﾙ |ﾉﾉヽヾノ　　､,,,ﾉ,､　　　　 iヽ:::||:::::i'::::::::::::::::::::::::::::
　/　　￣ ´~~ﾞ''''　　　ﾞ''‐- ..,,　　　　　　　　 ,, ‐'　　　 `ﾞヾミｯ､,,　　　ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ|　　　　　　　　　　　　 i'　　　　　　　　i"　　　　　　　　 `'‐＝'　　 `'|/i!:::::i::::::::::::::::::::::::
　i |　:::::::ヽ::::ヽ::::::ヾ::　　　　ﾞ､　　　　　　　 l　　　　　　　〃:::::　　　　　　 i//::::ﾊ::::::::::::::::::i:::
　 i i　＼＼＼＼＼ヽ　　　　）　　　　　　　ヽ　　　　　　　′′′　　 / /:::::/:::::::::::::::::::|::::
!　 | i　　　　　　　　　　　　,,ｨﾉ　　　　　　　　<　　　　　　　　　::::　:　　 /:::::/:::::::::::::::::::/::::
i!　 i i!　　　　　　　　　　 /i/　　 ,r''''‐y'''.;､　　＼　　　　　　　　　　　　 /:::::/:::::/::::::::::::/:::::
ﾞi!　 | i　　　　　　　　　　/⌒' ､　Y:::::::::''::;;;;'.;.Y'⌒ﾞi　　　　　　　　　　　/::::::/::::::/::::::::::::/::::/i
　i　 i ﾞ!　　　　　　　　　ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r''　　　　　　　　　　/:::::::/::::::/::::::::::::/:::://
ﾞ､ii!　ﾞ| i　　　　　　　　　　　ﾉ　ゝ;;;:::::::::::::::::::;ﾉ。 `i　　　　　　　　　 //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl　ﾞi￤　　　　　　　　　　i 　｡ｌ '゛..　 ‐ｰ:::::i　　　 |　　　　　　　　 //::::::/::::::/::::::/:::/:::::i!::::::
　iiミ!　ハ　　　　　　　　 i　　l　,,,,::: :::;;;;;...{　°　ﾞ､　　　　　　／/::::://::::/::::::/:::::/::::i::::ii::
　i!ヾ!i　ﾞ､!　　　　　　　　　, '　　|:::　::::ヽ　 ..}　　　　 |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
　!ヽヾi　 iﾞ､　＿＿＿,,,／　　　}:: : 　;;;::: ::::::::}　　　ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::

**１３２人目の素数さん** · 2025/12/17(水) 21:16:44.47

つづき
＜厳密だけが、数学ではない＞
＜数学と厳密＞
あなたのまったく逆を、渕野先生が書いている
”厳密性を数学と取りちがえるという勘違い”
https://www.amazon.co.jp/dp/4480095470
数とは何かそして何であるべきかデデキント訳解説渕野昌筑摩書房2013
「数学的直観と数学の基礎付け訳者による解説とあとがき」
P314
(抜粋)
数学の基礎付けの研究は，数学が厳密でありさえすればよい，という価値観を確立しようとしているものではない.
これは自明のことのようにも思えるが，厳密性を数学と取りちがえるという勘違いは，
たとえば数学教育などで蔓延している可能性もあるので，
ここに明言しておく必要があるように思える
多くの数学の研究者にとっては，数学は，記号列として記述された「死んだ」数学ではなく，
思考のプロセスとしての脳髄の生理現象そのものであろう
したがって，数学はその意味での実存として数学者の生の隣り合わせにあるもの，と意識されることになるだろう
そのような「生きた」「実存としての」(existentialな)数学で問題になるのは，
アイデアの飛翔をうながす(可能性を持つ)数学的直観」とよばれるもので，
これは，ときには，意識的に厳密には間違っている議論すら含んでいたり，
寓話的であったりすることですらあるような，
かなり得体の知れないものである

つづく

**１３２人目の素数さん** · 2025/12/17(水) 21:16:53.28

/i/|ii!//|!/!i/´i/ 　 .|i |/ﾉ　　　　　　　　i＼i!ﾞ､:iヽ|:::|　ヽ 'i　 !　ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿!　　 | │　　　　　　　　川　ヽﾞ:ii ﾞ'∨ 　　 |　　　ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ　　　　　　　　ﾙ |ﾉﾉヽヾノ　　､,,,ﾉ,､　　　　 iヽ:::||:::::i'::::::::::::::::::::::::::::
　/　　￣ ´~~ﾞ''''　　　ﾞ''‐- ..,,　　　　　　　　 ,, ‐'　　　 `ﾞヾミｯ､,,　　　ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ|　　　　　　　　　　　　 i'　　　　　　　　i"　　　　　　　　 `'‐＝'　　 `'|/i!:::::i::::::::::::::::::::::::
　i |　:::::::ヽ::::ヽ::::::ヾ::　　　　ﾞ､　　　　　　　 l　　　　　　　〃:::::　　　　　　 i//::::ﾊ::::::::::::::::::i:::
　 i i　＼＼＼＼＼ヽ　　　　）　　　　　　　ヽ　　　　　　　′′′　　 / /:::::/:::::::::::::::::::|::::
!　 | i　　　　　　　　　　　　,,ｨﾉ　　　　　　　　<　　　　　　　　　::::　:　　 /:::::/:::::::::::::::::::/::::
i!　 i i!　　　　　　　　　　 /i/　　 ,r''''‐y'''.;､　　＼　　　　　　　　　　　　 /:::::/:::::/::::::::::::/:::::
ﾞi!　 | i　　　　　　　　　　/⌒' ､　Y:::::::::''::;;;;'.;.Y'⌒ﾞi　　　　　　　　　　　/::::::/::::::/::::::::::::/::::/i
　i　 i ﾞ!　　　　　　　　　ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r''　　　　　　　　　　/:::::::/::::::/::::::::::::/:::://
ﾞ､ii!　ﾞ| i　　　　　　　　　　　ﾉ　ゝ;;;:::::::::::::::::::;ﾉ。 `i　　　　　　　　　 //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl　ﾞi￤　　　　　　　　　　i 　｡ｌ '゛..　 ‐ｰ:::::i　　　 |　　　　　　　　 //::::::/::::::/::::::/:::/:::::i!::::::
　iiミ!　ハ　　　　　　　　 i　　l　,,,,::: :::;;;;;...{　°　ﾞ､　　　　　　／/::::://::::/::::::/:::::/::::i::::ii::
　i!ヾ!i　ﾞ､!　　　　　　　　　, '　　|:::　::::ヽ　 ..}　　　　 |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
　!ヽヾi　 iﾞ､　＿＿＿,,,／　　　}:: : 　;;;::: ::::::::}　　　ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::

**１３２人目の素数さん** · 2025/12/17(水) 21:17:22.59

/i/|ii!//|!/!i/´i/ 　 .|i |/ﾉ　　　　　　　　i＼i!ﾞ､:iヽ|:::|　ヽ 'i　 !　ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿!　　 | │　　　　　　　　川　ヽﾞ:ii ﾞ'∨ 　　 |　　　ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ　　　　　　　　ﾙ |ﾉﾉヽヾノ　　､,,,ﾉ,､　　　　 iヽ:::||:::::i'::::::::::::::::::::::::::::
　/　　￣ ´~~ﾞ''''　　　ﾞ''‐- ..,,　　　　　　　　 ,, ‐'　　　 `ﾞヾミｯ､,,　　　ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ|　　　　　　　　　　　　 i'　　　　　　　　i"　　　　　　　　 `'‐＝'　　 `'|/i!:::::i::::::::::::::::::::::::
　i |　:::::::ヽ::::ヽ::::::ヾ::　　　　ﾞ､　　　　　　　 l　　　　　　　〃:::::　　　　　　 i//::::ﾊ::::::::::::::::::i:::
　 i i　＼＼＼＼＼ヽ　　　　）　　　　　　　ヽ　　　　　　　′′′　　 / /:::::/:::::::::::::::::::|::::
!　 | i　　　　　　　　　　　　,,ｨﾉ　　　　　　　　<　　　　　　　　　::::　:　　 /:::::/:::::::::::::::::::/::::
i!　 i i!　　　　　　　　　　 /i/　　 ,r''''‐y'''.;､　　＼　　　　　　　　　　　　 /:::::/:::::/::::::::::::/:::::
ﾞi!　 | i　　　　　　　　　　/⌒' ､　Y:::::::::''::;;;;'.;.Y'⌒ﾞi　　　　　　　　　　　/::::::/::::::/::::::::::::/::::/i
　i　 i ﾞ!　　　　　　　　　ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r''　　　　　　　　　　/:::::::/::::::/::::::::::::/:::://
ﾞ､ii!　ﾞ| i　　　　　　　　　　　ﾉ　ゝ;;;:::::::::::::::::::;ﾉ。 `i　　　　　　　　　 //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl　ﾞi￤　　　　　　　　　　i 　｡ｌ '゛..　 ‐ｰ:::::i　　　 |　　　　　　　　 //::::::/::::::/::::::/:::/:::::i!::::::
　iiミ!　ハ　　　　　　　　 i　　l　,,,,::: :::;;;;;...{　°　ﾞ､　　　　　　／/::::://::::/::::::/:::::/::::i::::ii::
　i!ヾ!i　ﾞ､!　　　　　　　　　, '　　|:::　::::ヽ　 ..}　　　　 |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
　!ヽヾi　 iﾞ､　＿＿＿,,,／　　　}:: : 　;;;::: ::::::::}　　　ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::

**１３２人目の素数さん** · 2025/12/17(水) 21:17:38.83

/i/|ii!//|!/!i/´i/ 　 .|i |/ﾉ　　　　　　　　i＼i!ﾞ､:iヽ|:::|　ヽ 'i　 !　ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿!　　 | │　　　　　　　　川　ヽﾞ:ii ﾞ'∨ 　　 |　　　ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ　　　　　　　　ﾙ |ﾉﾉヽヾノ　　､,,,ﾉ,､　　　　 iヽ:::||:::::i'::::::::::::::::::::::::::::
　/　　￣ ´~~ﾞ''''　　　ﾞ''‐- ..,,　　　　　　　　 ,, ‐'　　　 `ﾞヾミｯ､,,　　　ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ|　　　　　　　　　　　　 i'　　　　　　　　i"　　　　　　　　 `'‐＝'　　 `'|/i!:::::i::::::::::::::::::::::::
　i |　:::::::ヽ::::ヽ::::::ヾ::　　　　ﾞ､　　　　　　　 l　　　　　　　〃:::::　　　　　　 i//::::ﾊ::::::::::::::::::i:::
　 i i　＼＼＼＼＼ヽ　　　　）　　　　　　　ヽ　　　　　　　′′′　　 / /:::::/:::::::::::::::::::|::::
!　 | i　　　　　　　　　　　　,,ｨﾉ　　　　　　　　<　　　　　　　　　::::　:　　 /:::::/:::::::::::::::::::/::::
i!　 i i!　　　　　　　　　　 /i/　　 ,r''''‐y'''.;､　　＼　　　　　　　　　　　　 /:::::/:::::/::::::::::::/:::::
ﾞi!　 | i　　　　　　　　　　/⌒' ､　Y:::::::::''::;;;;'.;.Y'⌒ﾞi　　　　　　　　　　　/::::::/::::::/::::::::::::/::::/i
　i　 i ﾞ!　　　　　　　　　ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r''　　　　　　　　　　/:::::::/::::::/::::::::::::/:::://
ﾞ､ii!　ﾞ| i　　　　　　　　　　　ﾉ　ゝ;;;:::::::::::::::::::;ﾉ。 `i　　　　　　　　　 //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl　ﾞi￤　　　　　　　　　　i 　｡ｌ '゛..　 ‐ｰ:::::i　　　 |　　　　　　　　 //::::::/::::::/::::::/:::/:::::i!::::::
　iiミ!　ハ　　　　　　　　 i　　l　,,,,::: :::;;;;;...{　°　ﾞ､　　　　　　／/::::://::::/::::::/:::::/::::i::::ii::
　i!ヾ!i　ﾞ､!　　　　　　　　　, '　　|:::　::::ヽ　 ..}　　　　 |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
　!ヽヾi　 iﾞ､　＿＿＿,,,／　　　}:: : 　;;;::: ::::::::}　　　ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::

**１３２人目の素数さん** · 2025/12/17(水) 21:20:08.76

つづき

加藤文元氏メンタルピクチャー、形式化図式と数学の「理解」
IUTに欠落しているのは、メンタルピクチャー＆形式化図式か
(参考)
https://note.com/katobungen/n/nccba3ef014f6
note.com
なぜ微分積分学は不完全なのか？
加藤文元 2025年2月23日
メンタルピクチャー
私は数学や数学の理解に関するいくつかの概念とその用語を導入したいと思う。そのうちのひとつは「メンタルピクチャー（MP）」というものだ。

形式化された理論
メンタルピクチャーの対極にあるのは、形式化（formalize）されコード化された理論（FT）だ。
数学の研究論文における形式的●●●議論は、例えばLean4やCoqなどのコンピューター言語による形式化からすれば、まだまだ「非形式的（informal）」なものだろう。人間のやる数学はまだまだインフォーマルであり、行間が広く、とてもとても形式的議論とは言えない。
とはいえ、ここで「メンタルピクチャー（MP）」の対極にある概念としての「形式化された理論（FT）」は、人間の書いた論文の議論のようなものも含む、広い概念である。そして、数学の厳密化とか精密化とは、このような緩い意味での形式化
(*)　　MP ーーーー形式化ー＞ FT
のことである。

形式化図式と数学の「理解」
形式化図式は数学を「理解する」という行為の内実とも、深く関係している。人間による数学の理論とは、単なるコードの連なりとして理解することではない。それは理論のメンタルピクチャー（MP）と、それと形式的理論との関連付け、すなわち形式化図式を構築することである。メンタルピクチャーだけによる理解は危険であるが、メンタルピクチャーによる裏付け・接地のない理解は不健康である。それは健康でないだけでなく、理解の深さがないという意味でも、完全な理解とは言えない。

＜“big picture”＞
https://terrytao.wordpress.com/career-advice/theres-more-to-mathematics-than-rigour-and-proofs/comment-page-1/
There’s more to mathematics than rigour and proofs Terence Tao
3. The “post-rigorous” stage, in which one has grown comfortable with all the rigorous foundations of one’s chosen field, and is now ready to revisit and refine one’s pre-rigorous intuition on the subject, but this time with the intuition solidly buttressed by rigorous theory. (For instance, in this stage one would be able to quickly and accurately perform computations in vector calculus by using analogies with scalar calculus, or informal and semi-rigorous use of infinitesimals, big-O notation, and so forth, and be able to convert all such calculations into a rigorous argument whenever required.) The emphasis is now on applications, intuition, and the “big picture”. This stage usually occupies the late graduate years and beyond.
https://terrytao.wordpress.com/career-advice/
Career advice Terence Tao

つづく

**１３２人目の素数さん** · 2025/12/17(水) 21:20:31.59

つづき

謎の数学者の ”数学に向かない人”の話でも「絵」に例えています
これ“big picture”ですね。 “big picture”が分らないおサルさん(後述)ｗこれでしょうね；ｐ）
(参考)＜いまリンク切れだが＞
https://youtu.be/q-3IWEyfFQg?t=11https://youtu.be/q-3IWEyfFQg?t=1
数学に向かない人の数学書の読み方。数学者はこうやって読む
謎の数学者 2022/06/07
コメント
@gary8593
2 年前
「絵を描くように」という例えが、めちゃくちゃ腑に落ちました。
特に英語の文献を読む時に精読を心がけすぎて、全体像が掴めなくなることがよくあって困ってたので、参考にします。

https://en.wikipedia.org/wiki/Henri_Poincar%C3%A9
Henri Poincaré
https://en.wikipedia.org/wiki/The_Value_of_Science
The Value of Science (French: La Valeur de la Science) is a book by the French mathematician, physicist, and philosopher Henri Poincaré. It was published in 1904. The book deals with questions in the philosophy of science and adds detail to the topics addressed by Poincaré's previous book, Science and Hypothesis (1902).
(google訳)
直感と論理
最後に、ポアンカレは幾何学と解析学の科学の間に根本的な関係があるという考えを提唱しました。彼によれば、直感には二つの主要な役割があります。科学的真理を探求する上でどの道を進むべきかを選択すること、そして論理的展開を理解することです。
論理は確実性しか与えず、証明の手段である。直感は発明の手段である。
つづく

**１３２人目の素数さん** · 2025/12/17(水) 21:20:58.70

つづき
なお、
おサル＝サイコパス＊）のピエロ、不遇な「一石」、“鳥なき里のコウモリ”そのままで、“シッタカ”ぶり男で、アナーキストのアホ男です。
なお、IUTスレでは、「維新さん」と呼ばれることもあります。（突然“維新～！”と絶叫したりするからです（＾＾；　）
( ://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊）（Yahoo!でのあだ名が、「一石」）
（＊＊）注；://en.wikipedia.org/wiki/Hyperboloid Hyperboloid
Hyperboloid of two sheets ：://upload.wikimedia.org/wikipedia/commons/thumb/f/f2/Hyperboloid2.png/150px-Hyperboloid2.png
://ja.wikipedia.org/wiki/%E5%8F%8C%E6%9B%B2%E9%9D%A2 双曲面
二葉双曲面：://upload.wikimedia.org/wikipedia/commons/thumb/b/b5/HyperboloidOfTwoSheets.svg/180px-HyperboloidOfTwoSheets.svg.png
おサル、あいつは双曲幾何の修論でも書いたみたいだなｗ（＾＾）

1980年代にＷ大数学科に入学するも、初日に数学科の冷や水を頭から浴びせられる洗礼で
即日詰んだ男。お情けで学部は卒業するも修士は情報系に。就職はコンピュータ関係らしいが

就職が多分ブラックな仕事で統合失調症の薬を飲むようになったようだ
下記 ”統合失調症では知能低下と脳容積の減少がみられることが知られている”とある
高等数学の議論が出来なくなったんだ・・君は

(参考)
https://www.carenet.com/news/general/carenet/40333
統合失調症、脳容積とIQの関連
提供元：ケアネット
公開日：2015/07/17
　統合失調症では知能低下と脳容積の減少がみられることが知られている。オランダ・ユトレヒト大学医療センターの久保田学氏らは、統合失調症患者のIQと脳容積との関連について調査し、統合失調症における進行性の脳組織減少が、発症初期における相対的な認知機能低下と関連している可能性があることを報告した。JAMA Psychiatry誌オンライン版2015年6月17日号の掲載報告。

＜＊）サイコパスの特徴＞
（参考）://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
://kotowaza-allguide.com/to/torinakisatonokoumori.html#:~:text=%E9%B3%A5%E3%81%AA%E3%81%8D%E9%87%8C%E3%81%AE%E8%9D%99%E8%9D%A0%E3%81%A8%E3%81%AF%E3%80%81%E3%81%99%E3%81%90%E3%82%8C%E3%81%9F%E8%80%85,%E3%81%A6%E3%81%84%E3%82%8B%E3%81%93%E3%81%A8%E3%81%AE%E3%81%9F%E3%81%A8%E3%81%88%E3%80%82
鳥なき里の蝙蝠故事ことわざ辞典
【読み】とりなきさとのこうもり
【意味】鳥なき里の蝙蝠とは、すぐれた者がいないところでは、つまらぬ者が威張っていることのたとえ。
追記
オチコボレサイコパスおサルの連れの落ちコボレさんが、もう一匹います。
「箱入り無数目 (あほ二人の”アナグマの姿焼き"Part3ｗ)」の連れです https://rio2016.5ch.net/test/read.cgi/math/1736907570/
つづく

**１３２人目の素数さん** · 2025/12/17(水) 21:21:27.86

つづき
＜サイコパスのおサルのバカ発言＞
過去スレ55 ://rio2016.5ch.net/test/read.cgi/math/1623558298/813
813 名前：１３２人目の素数さん[sage] 投稿日：2021/06/24(木) 20:41:12.45 ID:mlJli1k0 [7/7]
>>789-790
(引用開始)
数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ
＞"intellectual debt"
確かにモチヅキは数学界に対して「知的負債」を負ってるね
自分の思いつきが論理的に正しいことを示す、という負債をね
(引用終り)
1．「数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜オカ、シムラ、モチヅキ」
　てめえ、何様のつもりだ？ 5ｃｈ数学板で便所の落書きしている数学落ちこぼれさんでしょ
　何をえらそうに！
2．「確かにモチヅキは数学界に対して「知的負債」を負ってるね
　自分の思いつきが論理的に正しいことを示す、という負債をね」
　てめえ、何様のつもりだ？
　論文書いて、査読してもらって、真摯に対応して査読を通してもらって出版してもらう
　ここまでは、終わったのです（＾＾
3．そして、今年6月末から4回の国際会議で、
　IUT普及の義務を果たします
4．おサルが理解できるように？
　それは無理！
　”（スレ55 ://rio2016.5ch.net/test/read.cgi/math/1623558298/158より）
　＜上昇列　０＜・・・＜ω　が有限列にしかなり得ない
　ことも分からん「考えなしの素人」に数学はムリ”
などという
　これじゃ。三歳児レベルの知能じゃんかｗ
　このおサルには、IUTは百年早いぜｗ（＾＾；
(引用終り)

つづく

**１３２人目の素数さん** · 2025/12/17(水) 21:21:59.12

つづき

一句”不勉強オチコボレのさばる便所板”（字余り）
不勉強、言い訳だけは、いちょまえ
オチコボレ、言い訳だけは、一流だ（追加）
不遇な「一石」“鳥なき里のコウモリ”そのままで、“シッタカ”ぶりの、アナーキストのアホ男

「ごーまんかましてよかですか?」
「アホな同僚や相手に構うことほど、人生ムダなことはないよね」
by レトリカ・ブログ（学院長川上貴裕）
百回音読しましょう！ｗ

(参考)
https://dic.pixiv.net/a/%E3%82%B4%E3%83%BC%E3%83%9E%E3%83%8B%E3%82%BA%E3%83%A0%E5%AE%A3%E8%A8%80
ピクシブ百科事典
ゴーマニズム宣言
『ゴーマニズム』とは、『傲慢』から作られた小林氏による造語で、各回の文末には「ごーまんかましてよかですか?」というキメ台詞

https://note.com/dcrg7mgm/n/n3eeb06fd35d0
アホな同僚や相手に構うことほど、人生ムダなことはないよね。
レトリカ・ブログ（学院長川上貴裕）
2024年11月2日

どうしようもない人（以下、アホ）に限って、「どういうメンタルしているんだ？」、「なんでこんなやつが正規で受かってるんだ！」と思うほど、平然とした顔で、のさばり続けているのですよね。

世の中、理不尽なことばかりです。
略す
上記のように嫌みをこぼす、アホな同僚が、おそらく、皆さんの周りにもいることでしょう。

でも、こんな愚かなアホのせいで、自分の心が疲弊したり、病んだり、最悪の場合、教職を諦めてしまうことになることほど、理不尽なことはありませんよね。

では、こんなアホには、どう対抗すればいいのか。

いえいえ、今日はそんな話ではないのです。

マザーテレサの名言に、
「愛の反対は、憎しみではなく、無関心です。」
という言葉があります。

まさにその通りです。
アホに対して、憎しみをもったり、エネルギーを費やしたり、感情的になったり、帰宅後も脳裏に思い出したりすることほど、人生を無駄にしていることはないのです。
略す
また、田村耕太郎さんの『頭に来てもアホとは戦うな！』という書籍も、おすすめです！ぜひ、読まれてみてください！
(引用終り)

なお、
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
低脳で幼稚なカキコ

上記は、お断りです！！
小学生がいますので、18金（禁）よろしくね！（＾＾

は、以上です

**１３２人目の素数さん** · 2025/12/17(水) 21:22:39.48

/i/|ii!//|!/!i/´i/ 　 .|i |/ﾉ　　　　　　　　i＼i!ﾞ､:iヽ|:::|　ヽ 'i　 !　ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿!　　 | │　　　　　　　　川　ヽﾞ:ii ﾞ'∨ 　　 |　　　ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ　　　　　　　　ﾙ |ﾉﾉヽヾノ　　､,,,ﾉ,､　　　　 iヽ:::||:::::i'::::::::::::::::::::::::::::
　/　　￣ ´~~ﾞ''''　　　ﾞ''‐- ..,,　　　　　　　　 ,, ‐'　　　 `ﾞヾミｯ､,,　　　ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ|　　　　　　　　　　　　 i'　　　　　　　　i"　　　　　　　　 `'‐＝'　　 `'|/i!:::::i::::::::::::::::::::::::
　i |　:::::::ヽ::::ヽ::::::ヾ::　　　　ﾞ､　　　　　　　 l　　　　　　　〃:::::　　　　　　 i//::::ﾊ::::::::::::::::::i:::
　 i i　＼＼＼＼＼ヽ　　　　）　　　　　　　ヽ　　　　　　　′′′　　 / /:::::/:::::::::::::::::::|::::
!　 | i　　　　　　　　　　　　,,ｨﾉ　　　　　　　　<　　　　　　　　　::::　:　　 /:::::/:::::::::::::::::::/::::
i!　 i i!　　　　　　　　　　 /i/　　 ,r''''‐y'''.;､　　＼　　　　　　　　　　　　 /:::::/:::::/::::::::::::/:::::
ﾞi!　 | i　　　　　　　　　　/⌒' ､　Y:::::::::''::;;;;'.;.Y'⌒ﾞi　　　　　　　　　　　/::::::/::::::/::::::::::::/::::/i
　i　 i ﾞ!　　　　　　　　　ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r''　　　　　　　　　　/:::::::/::::::/::::::::::::/:::://
ﾞ､ii!　ﾞ| i　　　　　　　　　　　ﾉ　ゝ;;;:::::::::::::::::::;ﾉ。 `i　　　　　　　　　 //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl　ﾞi￤　　　　　　　　　　i 　｡ｌ '゛..　 ‐ｰ:::::i　　　 |　　　　　　　　 //::::::/::::::/::::::/:::/:::::i!::::::
　iiミ!　ハ　　　　　　　　 i　　l　,,,,::: :::;;;;;...{　°　ﾞ､　　　　　　／/::::://::::/::::::/:::::/::::i::::ii::
　i!ヾ!i　ﾞ､!　　　　　　　　　, '　　|:::　::::ヽ　 ..}　　　　 |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
　!ヽヾi　 iﾞ､　＿＿＿,,,／　　　}:: : 　;;;::: ::::::::}　　　ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::

**１３２人目の素数さん** · 2025/12/17(水) 21:22:51.81

/i/|ii!//|!/!i/´i/ 　 .|i |/ﾉ　　　　　　　　i＼i!ﾞ､:iヽ|:::|　ヽ 'i　 !　ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿!　　 | │　　　　　　　　川　ヽﾞ:ii ﾞ'∨ 　　 |　　　ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ　　　　　　　　ﾙ |ﾉﾉヽヾノ　　､,,,ﾉ,､　　　　 iヽ:::||:::::i'::::::::::::::::::::::::::::
　/　　￣ ´~~ﾞ''''　　　ﾞ''‐- ..,,　　　　　　　　 ,, ‐'　　　 `ﾞヾミｯ､,,　　　ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ|　　　　　　　　　　　　 i'　　　　　　　　i"　　　　　　　　 `'‐＝'　　 `'|/i!:::::i::::::::::::::::::::::::
　i |　:::::::ヽ::::ヽ::::::ヾ::　　　　ﾞ､　　　　　　　 l　　　　　　　〃:::::　　　　　　 i//::::ﾊ::::::::::::::::::i:::
　 i i　＼＼＼＼＼ヽ　　　　）　　　　　　　ヽ　　　　　　　′′′　　 / /:::::/:::::::::::::::::::|::::
!　 | i　　　　　　　　　　　　,,ｨﾉ　　　　　　　　<　　　　　　　　　::::　:　　 /:::::/:::::::::::::::::::/::::
i!　 i i!　　　　　　　　　　 /i/　　 ,r''''‐y'''.;､　　＼　　　　　　　　　　　　 /:::::/:::::/::::::::::::/:::::
ﾞi!　 | i　　　　　　　　　　/⌒' ､　Y:::::::::''::;;;;'.;.Y'⌒ﾞi　　　　　　　　　　　/::::::/::::::/::::::::::::/::::/i
　i　 i ﾞ!　　　　　　　　　ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r''　　　　　　　　　　/:::::::/::::::/::::::::::::/:::://
ﾞ､ii!　ﾞ| i　　　　　　　　　　　ﾉ　ゝ;;;:::::::::::::::::::;ﾉ。 `i　　　　　　　　　 //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl　ﾞi￤　　　　　　　　　　i 　｡ｌ '゛..　 ‐ｰ:::::i　　　 |　　　　　　　　 //::::::/::::::/::::::/:::/:::::i!::::::
　iiミ!　ハ　　　　　　　　 i　　l　,,,,::: :::;;;;;...{　°　ﾞ､　　　　　　／/::::://::::/::::::/:::::/::::i::::ii::
　i!ヾ!i　ﾞ､!　　　　　　　　　, '　　|:::　::::ヽ　 ..}　　　　 |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
　!ヽヾi　 iﾞ､　＿＿＿,,,／　　　}:: : 　;;;::: ::::::::}　　　ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::

**１３２人目の素数さん** · 2025/12/17(水) 21:23:00.07

/i/|ii!//|!/!i/´i/ 　 .|i |/ﾉ　　　　　　　　i＼i!ﾞ､:iヽ|:::|　ヽ 'i　 !　ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿!　　 | │　　　　　　　　川　ヽﾞ:ii ﾞ'∨ 　　 |　　　ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ　　　　　　　　ﾙ |ﾉﾉヽヾノ　　､,,,ﾉ,､　　　　 iヽ:::||:::::i'::::::::::::::::::::::::::::
　/　　￣ ´~~ﾞ''''　　　ﾞ''‐- ..,,　　　　　　　　 ,, ‐'　　　 `ﾞヾミｯ､,,　　　ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ|　　　　　　　　　　　　 i'　　　　　　　　i"　　　　　　　　 `'‐＝'　　 `'|/i!:::::i::::::::::::::::::::::::
　i |　:::::::ヽ::::ヽ::::::ヾ::　　　　ﾞ､　　　　　　　 l　　　　　　　〃:::::　　　　　　 i//::::ﾊ::::::::::::::::::i:::
　 i i　＼＼＼＼＼ヽ　　　　）　　　　　　　ヽ　　　　　　　′′′　　 / /:::::/:::::::::::::::::::|::::
!　 | i　　　　　　　　　　　　,,ｨﾉ　　　　　　　　<　　　　　　　　　::::　:　　 /:::::/:::::::::::::::::::/::::
i!　 i i!　　　　　　　　　　 /i/　　 ,r''''‐y'''.;､　　＼　　　　　　　　　　　　 /:::::/:::::/::::::::::::/:::::
ﾞi!　 | i　　　　　　　　　　/⌒' ､　Y:::::::::''::;;;;'.;.Y'⌒ﾞi　　　　　　　　　　　/::::::/::::::/::::::::::::/::::/i
　i　 i ﾞ!　　　　　　　　　ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r''　　　　　　　　　　/:::::::/::::::/::::::::::::/:::://
ﾞ､ii!　ﾞ| i　　　　　　　　　　　ﾉ　ゝ;;;:::::::::::::::::::;ﾉ。 `i　　　　　　　　　 //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl　ﾞi￤　　　　　　　　　　i 　｡ｌ '゛..　 ‐ｰ:::::i　　　 |　　　　　　　　 //::::::/::::::/::::::/:::/:::::i!::::::
　iiミ!　ハ　　　　　　　　 i　　l　,,,,::: :::;;;;;...{　°　ﾞ､　　　　　　／/::::://::::/::::::/:::::/::::i::::ii::
　i!ヾ!i　ﾞ､!　　　　　　　　　, '　　|:::　::::ヽ　 ..}　　　　 |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
　!ヽヾi　 iﾞ､　＿＿＿,,,／　　　}:: : 　;;;::: ::::::::}　　　ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::

**１３２人目の素数さん** · 2025/12/17(水) 21:23:13.87

/i/|ii!//|!/!i/´i/ 　 .|i |/ﾉ　　　　　　　　i＼i!ﾞ､:iヽ|:::|　ヽ 'i　 !　ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿!　　 | │　　　　　　　　川　ヽﾞ:ii ﾞ'∨ 　　 |　　　ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ　　　　　　　　ﾙ |ﾉﾉヽヾノ　　､,,,ﾉ,､　　　　 iヽ:::||:::::i'::::::::::::::::::::::::::::
　/　　￣ ´~~ﾞ''''　　　ﾞ''‐- ..,,　　　　　　　　 ,, ‐'　　　 `ﾞヾミｯ､,,　　　ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ|　　　　　　　　　　　　 i'　　　　　　　　i"　　　　　　　　 `'‐＝'　　 `'|/i!:::::i::::::::::::::::::::::::
　i |　:::::::ヽ::::ヽ::::::ヾ::　　　　ﾞ､　　　　　　　 l　　　　　　　〃:::::　　　　　　 i//::::ﾊ::::::::::::::::::i:::
　 i i　＼＼＼＼＼ヽ　　　　）　　　　　　　ヽ　　　　　　　′′′　　 / /:::::/:::::::::::::::::::|::::
!　 | i　　　　　　　　　　　　,,ｨﾉ　　　　　　　　<　　　　　　　　　::::　:　　 /:::::/:::::::::::::::::::/::::
i!　 i i!　　　　　　　　　　 /i/　　 ,r''''‐y'''.;､　　＼　　　　　　　　　　　　 /:::::/:::::/::::::::::::/:::::
ﾞi!　 | i　　　　　　　　　　/⌒' ､　Y:::::::::''::;;;;'.;.Y'⌒ﾞi　　　　　　　　　　　/::::::/::::::/::::::::::::/::::/i
　i　 i ﾞ!　　　　　　　　　ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r''　　　　　　　　　　/:::::::/::::::/::::::::::::/:::://
ﾞ､ii!　ﾞ| i　　　　　　　　　　　ﾉ　ゝ;;;:::::::::::::::::::;ﾉ。 `i　　　　　　　　　 //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl　ﾞi￤　　　　　　　　　　i 　｡ｌ '゛..　 ‐ｰ:::::i　　　 |　　　　　　　　 //::::::/::::::/::::::/:::/:::::i!::::::
　iiミ!　ハ　　　　　　　　 i　　l　,,,,::: :::;;;;;...{　°　ﾞ､　　　　　　／/::::://::::/::::::/:::::/::::i::::ii::
　i!ヾ!i　ﾞ､!　　　　　　　　　, '　　|:::　::::ヽ　 ..}　　　　 |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
　!ヽヾi　 iﾞ､　＿＿＿,,,／　　　}:: : 　;;;::: ::::::::}　　　ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::

**１３２人目の素数さん** · 2025/12/17(水) 21:23:19.51

/i/|ii!//|!/!i/´i/ 　 .|i |/ﾉ　　　　　　　　i＼i!ﾞ､:iヽ|:::|　ヽ 'i　 !　ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿!　　 | │　　　　　　　　川　ヽﾞ:ii ﾞ'∨ 　　 |　　　ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ　　　　　　　　ﾙ |ﾉﾉヽヾノ　　､,,,ﾉ,､　　　　 iヽ:::||:::::i'::::::::::::::::::::::::::::
　/　　￣ ´~~ﾞ''''　　　ﾞ''‐- ..,,　　　　　　　　 ,, ‐'　　　 `ﾞヾミｯ､,,　　　ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ|　　　　　　　　　　　　 i'　　　　　　　　i"　　　　　　　　 `'‐＝'　　 `'|/i!:::::i::::::::::::::::::::::::
　i |　:::::::ヽ::::ヽ::::::ヾ::　　　　ﾞ､　　　　　　　 l　　　　　　　〃:::::　　　　　　 i//::::ﾊ::::::::::::::::::i:::
　 i i　＼＼＼＼＼ヽ　　　　）　　　　　　　ヽ　　　　　　　′′′　　 / /:::::/:::::::::::::::::::|::::
!　 | i　　　　　　　　　　　　,,ｨﾉ　　　　　　　　<　　　　　　　　　::::　:　　 /:::::/:::::::::::::::::::/::::
i!　 i i!　　　　　　　　　　 /i/　　 ,r''''‐y'''.;､　　＼　　　　　　　　　　　　 /:::::/:::::/::::::::::::/:::::
ﾞi!　 | i　　　　　　　　　　/⌒' ､　Y:::::::::''::;;;;'.;.Y'⌒ﾞi　　　　　　　　　　　/::::::/::::::/::::::::::::/::::/i
　i　 i ﾞ!　　　　　　　　　ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r''　　　　　　　　　　/:::::::/::::::/::::::::::::/:::://
ﾞ､ii!　ﾞ| i　　　　　　　　　　　ﾉ　ゝ;;;:::::::::::::::::::;ﾉ。 `i　　　　　　　　　 //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl　ﾞi￤　　　　　　　　　　i 　｡ｌ '゛..　 ‐ｰ:::::i　　　 |　　　　　　　　 //::::::/::::::/::::::/:::/:::::i!::::::
　iiミ!　ハ　　　　　　　　 i　　l　,,,,::: :::;;;;;...{　°　ﾞ､　　　　　　／/::::://::::/::::::/:::::/::::i::::ii::
　i!ヾ!i　ﾞ､!　　　　　　　　　, '　　|:::　::::ヽ　 ..}　　　　 |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
　!ヽヾi　 iﾞ､　＿＿＿,,,／　　　}:: : 　;;;::: ::::::::}　　　ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::

**１３２人目の素数さん** · 2025/12/17(水) 21:23:23.93

/i/|ii!//|!/!i/´i/ 　 .|i |/ﾉ　　　　　　　　i＼i!ﾞ､:iヽ|:::|　ヽ 'i　 !　ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿!　　 | │　　　　　　　　川　ヽﾞ:ii ﾞ'∨ 　　 |　　　ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ　　　　　　　　ﾙ |ﾉﾉヽヾノ　　､,,,ﾉ,､　　　　 iヽ:::||:::::i'::::::::::::::::::::::::::::
　/　　￣ ´~~ﾞ''''　　　ﾞ''‐- ..,,　　　　　　　　 ,, ‐'　　　 `ﾞヾミｯ､,,　　　ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ|　　　　　　　　　　　　 i'　　　　　　　　i"　　　　　　　　 `'‐＝'　　 `'|/i!:::::i::::::::::::::::::::::::
　i |　:::::::ヽ::::ヽ::::::ヾ::　　　　ﾞ､　　　　　　　 l　　　　　　　〃:::::　　　　　　 i//::::ﾊ::::::::::::::::::i:::
　 i i　＼＼＼＼＼ヽ　　　　）　　　　　　　ヽ　　　　　　　′′′　　 / /:::::/:::::::::::::::::::|::::
!　 | i　　　　　　　　　　　　,,ｨﾉ　　　　　　　　<　　　　　　　　　::::　:　　 /:::::/:::::::::::::::::::/::::
i!　 i i!　　　　　　　　　　 /i/　　 ,r''''‐y'''.;､　　＼　　　　　　　　　　　　 /:::::/:::::/::::::::::::/:::::
ﾞi!　 | i　　　　　　　　　　/⌒' ､　Y:::::::::''::;;;;'.;.Y'⌒ﾞi　　　　　　　　　　　/::::::/::::::/::::::::::::/::::/i
　i　 i ﾞ!　　　　　　　　　ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r''　　　　　　　　　　/:::::::/::::::/::::::::::::/:::://
ﾞ､ii!　ﾞ| i　　　　　　　　　　　ﾉ　ゝ;;;:::::::::::::::::::;ﾉ。 `i　　　　　　　　　 //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl　ﾞi￤　　　　　　　　　　i 　｡ｌ '゛..　 ‐ｰ:::::i　　　 |　　　　　　　　 //::::::/::::::/::::::/:::/:::::i!::::::
　iiミ!　ハ　　　　　　　　 i　　l　,,,,::: :::;;;;;...{　°　ﾞ､　　　　　　／/::::://::::/::::::/:::::/::::i::::ii::
　i!ヾ!i　ﾞ､!　　　　　　　　　, '　　|:::　::::ヽ　 ..}　　　　 |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
　!ヽヾi　 iﾞ､　＿＿＿,,,／　　　}:: : 　;;;::: ::::::::}　　　ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::

**１３２人目の素数さん** · 2025/12/17(水) 21:23:36.21

/i/|ii!//|!/!i/´i/ 　 .|i |/ﾉ　　　　　　　　i＼i!ﾞ､:iヽ|:::|　ヽ 'i　 !　ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿!　　 | │　　　　　　　　川　ヽﾞ:ii ﾞ'∨ 　　 |　　　ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ　　　　　　　　ﾙ |ﾉﾉヽヾノ　　､,,,ﾉ,､　　　　 iヽ:::||:::::i'::::::::::::::::::::::::::::
　/　　￣ ´~~ﾞ''''　　　ﾞ''‐- ..,,　　　　　　　　 ,, ‐'　　　 `ﾞヾミｯ､,,　　　ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ|　　　　　　　　　　　　 i'　　　　　　　　i"　　　　　　　　 `'‐＝'　　 `'|/i!:::::i::::::::::::::::::::::::
　i |　:::::::ヽ::::ヽ::::::ヾ::　　　　ﾞ､　　　　　　　 l　　　　　　　〃:::::　　　　　　 i//::::ﾊ::::::::::::::::::i:::
　 i i　＼＼＼＼＼ヽ　　　　）　　　　　　　ヽ　　　　　　　′′′　　 / /:::::/:::::::::::::::::::|::::
!　 | i　　　　　　　　　　　　,,ｨﾉ　　　　　　　　<　　　　　　　　　::::　:　　 /:::::/:::::::::::::::::::/::::
i!　 i i!　　　　　　　　　　 /i/　　 ,r''''‐y'''.;､　　＼　　　　　　　　　　　　 /:::::/:::::/::::::::::::/:::::
ﾞi!　 | i　　　　　　　　　　/⌒' ､　Y:::::::::''::;;;;'.;.Y'⌒ﾞi　　　　　　　　　　　/::::::/::::::/::::::::::::/::::/i
　i　 i ﾞ!　　　　　　　　　ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r''　　　　　　　　　　/:::::::/::::::/::::::::::::/:::://
ﾞ､ii!　ﾞ| i　　　　　　　　　　　ﾉ　ゝ;;;:::::::::::::::::::;ﾉ。 `i　　　　　　　　　 //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl　ﾞi￤　　　　　　　　　　i 　｡ｌ '゛..　 ‐ｰ:::::i　　　 |　　　　　　　　 //::::::/::::::/::::::/:::/:::::i!::::::
　iiミ!　ハ　　　　　　　　 i　　l　,,,,::: :::;;;;;...{　°　ﾞ､　　　　　　／/::::://::::/::::::/:::::/::::i::::ii::
　i!ヾ!i　ﾞ､!　　　　　　　　　, '　　|:::　::::ヽ　 ..}　　　　 |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
　!ヽヾi　 iﾞ､　＿＿＿,,,／　　　}:: : 　;;;::: ::::::::}　　　ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::

**１３２人目の素数さん** · 2025/12/18(木) 00:59:54.64

>>2
>と、同様に、従来の数学では実現出来ないことが
>望月の圏論幾何で実現できているってことでしょ
妄想ですね

**１３２人目の素数さん** · 2025/12/18(木) 01:01:31.12

>>3
>・日本数学会が、5人論文に論文賞を！日本がリーダーシップ発揮を！！
IUTによるABCの証明が受け入れられるように努力して
実際受け入れられなければ
現状ではあり得ません
I

**１３２人目の素数さん** · 2025/12/18(木) 01:02:53.98

>>5
>宇宙：素朴集合論ベン図の宇宙Uを Uven、基礎論の宇宙をUfnd、望月氏独自用語の宇宙Umtz
これはあなたの用語ですね？
あまり頭がよくないように見えます

**１３２人目の素数さん** · 2025/12/18(木) 01:12:11.17

>>24
>勝手な Simplification
>勝手な略図を作って「ここに、ギャップあり」で「元の論文の証明でも、ギャップがある」と
>冷静に考えれば、勝手な略図でギャップを論じても元の論文の証明がどうかは全く別の話
>ドイツの若き天才数学者は、この単純なストローマン論法に無知だった。若いから・・
余計なものを取り去って考察しているなら
問題のないことかも知れません
p→qの真偽にpの真偽はどうでも良いことについて
x=1→x^2=1
でも例にとって説明できますが
このような例を出すことがいわゆるsimplificationになるでしょう
正当な単純化であれば何の問題も無いのです

**１３２人目の素数さん** · 2025/12/18(木) 01:18:36.10

>>31
>１．まず、論文の不正は、「医学・生命科学系の論文」に多い。だが、数学では、いまだ寡聞にして知らず。おそらく、これからも無いでしょう
望月さんが不正をしようとしているかと言えばそれは可能性は低いと思います
イヤおそらくその可能性はゼロではないでしょうか
しかし間違いである可能性は結構あるように思います
また査読過程について不審も抱かれているように思います
それを不正と捉える人も居るかもしれませんが
査読者に過大な責任を負わせるのも酷でしょうし
査読者が自ら名乗り出て解説してくれることも望めませんから
不正であると断定するのは憚られます
しかし疑惑は残ったままということです

**１３２人目の素数さん** · 2025/12/18(木) 01:23:38.46

>>33
>◆Inter Universal Geometry Center
>（所長：加藤文元／副所長：イヴァン・フェセンコ）
認可申請での上記の看板は開学直前に下ろしました
これも不信を招くことではないでしょうかね
いずれにせよ
4年間はカリキュラムは変更できないのですから
IUGに向けての講義はあるわけです
ただIUGまでは扱わないのではないですかね
zen大学の学生がどのくらい有能かによるでしょうが
その理解にまで到達できる学生がいる可能性は低いのでは無いでしょうか

**１３２人目の素数さん** · 2025/12/18(木) 01:25:08.17

>>37
>”厳密性を数学と取りちがえるという勘違い”
といいますか数学は厳密でなくてはいけません
アイデアは自由ですが証明は厳密でお願いします

**１３２人目の素数さん** · 2025/12/18(木) 01:28:50.54

>>42
>謎の数学者の ”数学に向かない人”の話でも「絵」に例えています
>これ“big picture”ですね。
少なくともそれは理論を理解しないと得られないものを指していると思います
けっして理論を理解して居ない人が簡単に理解するための索引のようなものではないはずです
もし索引のようなものであるのなら"big picture"という言葉でたとえられていることを真面目に考える意義もないでしょう

**１３２人目の素数さん** · 2025/12/18(木) 07:18:44.64

551１３２人目の素数さん
垢版 | 大砲
2025/12/11(木) 07:29:51.19ID:Akx0S3mQ
現時点の数学界によるabc予想の受け止め

証明の不備を指摘されているのに指摘した相手を
罵倒するばかりですからもう相手にされていません

ICM全体講演によればabc予想の証明は一般に認められていない
Proceedings of ICM 2022, doi.org/10.4171/ICM2022/166
>This proof has now been published in a serious research journal,
>however it is clear that it is not accepted by the mathematical
>community in general.

『サイエンス』の記事によればabc騒ぎは解決済み
Science 2025, doi.org/10.1126/science.aec9014
>...disagreements in mathematics tend to be resolved quickly
>and definitively, even in the case of a particularly difficult
>conundrum called the abc conjecture.

『ネイチャー』の記事でもとっくに解決済み
Nature 2020, doi.org/10.1038/d41586-020-00998-2
>([SS]文書は) something many saw as death blow to his claims
> ...
>But several experts told Nature that much of the mathematical
>community considered the matter to be settled at that point.

結局は茶番劇にすぎなかったという評価
https://www.simonsfoundation.org/event/where-is-mathematics-going/
>...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.

**１３２人目の素数さん** · 2025/12/18(木) 07:19:47.86

569１３２人目の素数さん
垢版 | 大砲
2025/12/11(木) 08:54:05.58ID:Akx0S3mQ
望月氏への長期インタビューを行い氏から賞賛された
Boyd氏（IUGC conference及びIUT Summit 2025講演者）も
自分の記事で明確にScholze-Stixに軍配を挙げている

https://plaza.rakuten.co.jp/shinichi0329/diary/202501020000/
『新一の「心の一票」』新年のご挨拶2025
＞ジャーナリスト・イン・レジデンス (JIR) プログラムに
＞参加した海外の科学記者との、約一ヶ月に及ぶ長時間の交流
＞（やその後の、先方の原稿の点検作業）を通して、海外との
＞数学的対話においては、昨年まで全く想定していなかった
＞方向性の新展開を実現することができました。
＞特に、上述の科学記者の話ですが、これまで見てきた、
＞私の研究を取材対象とする記者と根本的に違う姿勢をとり、
＞研究の数学的内容と真摯に向き合い、私の研究に登場する
＞様々な数学的概念の歴史的成り立ちや、それぞれの数学的
＞概念の間の関係性の他、過去30年余りにわたって数理解析
＞研究所で築き上げられた「数論的遠アーベル幾何学文化」の
＞歴史的発展の仕組みの解明等、（つまらない炎上目的の、
＞これまでの取材とは一線を画した）本当に数学的内容の解説
＞中心の取材に心血を注き、膨大な時間と労力を費やされた
＞科学記者の献身ぶりが大変印象的でした。その取材を基にした
＞記事2編は、今年1月から春～夏頃に公開される見通しだそうです。

Boyd氏の記事

『Inter-Universal Teichmüller Theory: Inside the Controversy』
>Regarding the abc conjecture– I don't expect
>that the IUT proof strategy will find acceptance.
>I think the concerns raised by the 2018 manuscript
>by Professor Peter Scholze and Professor Jacob Stix,
>"Why abc is still a conjecture", will remain.

**１３２人目の素数さん** · 2025/12/18(木) 07:22:12.28

603１３２人目の素数さん
垢版 | 大砲
2025/12/11(木) 19:27:31.25ID:Akx0S3mQ
571
Boyd氏はIUGC conference及びIUT Summit 2025の講演者で
これらの集会中参加者にインタビューを積極的に行ってる
記事にあるのはBoyd氏個人の見解ではない

**１３２人目の素数さん** · 2025/12/18(木) 07:24:41.90

51１３２人目の素数さん
垢版 | 大砲
2025/12/02(火) 20:37:01.27ID:VFpzG13+
前スレで驚いたのは
setaが望月論文はもちろんS-S文書への反論等々を
zenzen読んでいなかったこと
英語が読めないんだから当然と言われりゃ当然だし
今更驚いてる俺の方がアホなのか

iut論文を"lavel"で検索してヒットしなかったから
ラベルが使われてないと勘違いするなんて
望月の論文・反論を読んでたら到底アリエナーイ

＞追記
＞とすると、やっぱ labelの管理が、重要キーワードだな

**１３２人目の素数さん** · 2025/12/18(木) 11:49:24.23

>>59
>アイデアは自由ですが証明は厳密でお願いします

高木貞治先生は、”我々は空虚なる一般論に捉われないで、帰納の一途に精進すべきではあるまいか”と
岡先生の”情緒”もまた同じ
その時代の頂点を極めた人は帰納やアイデアの重要性を説く

(参考)
https://rio2016.5ch.net/test/read.cgi/math/1764578260/503-505
前スレ2025/12/10より
＜一階論理偏重を糾すために＞
高木貞治下記
“ガウスが進んだ道は即ち数学の進む道である。その道は帰納的である。特殊から一般へ！それが標語である。数学が演繹的であるというが、それは既成数学の修行にのみ通用するのである。自然科学に於ても一つの学説が出来てしまえば、その学説に基づいて演繹をする。しかし論理は当り前なのだから、演繹のみから新しい物は何も出て来ないのが当り前であろう。若しも学問が演繹のみにたよるならば、その学問は小さな環の上を永遠に周期的に廻転する外はないであろう。我々は空虚なる一般論に捉われないで、帰納の一途に精進すべきではあるまいか”

数学が演繹的であるとき一階論理も役に立つだろう
しかし、帰納に目を転じると、そこは一階論理偏重ではどうにもならない世界が広がる
全体として、数学においても一階論理偏重ではだめってことだね

(参考)
https://www.mathsoc.jp/publications/tushin/backnumber/index-3-3.html
数学通信第３巻第３号1998
https://www.mathsoc.jp/assets/pdf/publications/tushin/backnumber/0303/hasegawa3-3.pdf
書評
高木貞治著：近世数学史談・数学雑談長谷川浩司
実際には一体何をしているのか？というのが、数学科の学生であってもなかなか得心できず、
また伝えるにも難しいところである。用語をならべても、また絵を書いてみたりしても、なかなか真意は伝わらない。
数学の研究もまた帰納というべきであり演繹は手段である、と言いはするが、その好例はなかなか示しうるところにないように思う。
数学において、知りたいと思う目標がいかにありうるか、それをこの本では初学者の目にもあきらかにしてくれる。
ガウスの驚異的能力を知らしめる算術幾何平均の項、そしてアーベルの明解を味わえる「初発の楕円函数論」の項などである

https://www.vrp-p.jp/acpedia/4775/
ACPEDIA コラム 20241111
数学は自然科学か（その２）
５．高木貞治氏の御言葉
恩師の恩師に当たる高木貞治氏の『近世数学史談』からの御言葉
“ガウスが進んだ道は即ち数学の進む道である。その道は帰納的である。特殊から一般へ！それが標語である。数学が演繹的であるというが、それは既成数学の修行にのみ通用するのである。自然科学に於ても一つの学説が出来てしまえば、その学説に基づいて演繹をする。しかし論理は当り前なのだから、演繹のみから新しい物は何も出て来ないのが当り前であろう。若しも学問が演繹のみにたよるならば、その学問は小さな環の上を永遠に周期的に廻転する外はないであろう。我々は空虚なる一般論に捉われないで、帰納の一途に精進すべきではあるまいか”
https://www.kurims.kyoto-u.ac.jp/~tshun/20231014s.pdf

**１３２人目の素数さん** · 2025/12/18(木) 12:14:18.61

ID:DT+Cnxh1さん、妄想でまくりだよ

>>64
>iut論文を"lavel"で検索してヒットしなかったから
>ラベルが使われてないと勘違いするなんて
>望月の論文・反論を読んでたら到底アリエナーイ

いみわからん
数学では "label"とか”添え字”とかほぼ同じ意味だよ
例えば、下記の有理数の集合論による構成で
整数の順序対 (a, b)
aが分子で、bが分母で
aになにか ”添え字”か "label"がついたと思えば良い
要するに、形式的には順序対 (a, b)ことだ
その上で、順序対 (a, b)に対してなんらかの数学的意味を定義するんだ

でな
iut論文の本体で、"label"即ち順序対に対してどういう定義がなされるかが問題で
英語の一般名詞の"label"について論じても無意味だよ
ショルツェ氏が、どこまで分かっているのやらｗ　（＾＾

https://ja.wikipedia.org/wiki/%E6%9C%89%E7%90%86%E6%95%B0
有理数
形式的な構成
→詳細は「商体」を参照
集合論の形式により、整数全体 Z から有理数全体 Q を構成することができる。まず整数の順序対 (a, b) で b ≠ 0 であるものの全体 E = Z ×(Z － {0}) を考える。

**１３２人目の素数さん** · 2025/12/18(木) 12:17:27.70

ID:DT+Cnxh1さん、妄想でまくりだよ

>>63
>Boyd氏はIUGC conference及びIUT Summit 2025の講演者で
>これらの集会中参加者にインタビューを積極的に行ってる
>記事にあるのはBoyd氏個人の見解ではない

単なる Boyd氏個人の見解ではないとしても
Boyd氏個人の見解が入っているよね
インタビューに個人の見解を加味しているところが
Boyd氏のオリジナルだろ？
何がいいたいの？ｗ　（＾＾

**１３２人目の素数さん** · 2025/12/18(木) 12:20:57.24

ID:DT+Cnxh1さん、妄想でまくりだよ

>>61
(引用開始)
ICM全体講演によればabc予想の証明は一般に認められていない
Proceedings of ICM 2022, doi.org/10.4171/ICM2022/166
>This proof has now been published in a serious research journal,
>however it is clear that it is not accepted by the mathematical
>community in general.
(引用終り)

それって、過去じゃん
3年前の

ある一人の数学者の意見
それだけでしょ？

ICM 2022で、評決しましたか？
IUTの会議をして決をとりましたか？ｗ

なんにもないよね
そして過去でしょ

**１３２人目の素数さん** · 2025/12/18(木) 15:50:24.02

前スレより
http://rio2016.5ch.net/test/read.cgi/math/1764578260/928
(引用開始)
>３）つまりは、命題：leanで形式化できるほど曖昧さなく記述されているなら、数学者は皆IUT論文が読める筈
>　の反例が Dennis Gaitsgoryの論文であってこの論文に対してドリンフェルドがギブアップ宣言だよと
あなたは
IUT同様盲目的にその論文が数学的に正しいと思っていて
数学的に正しい　ならば　leanが通る
とこちらも盲目的にそう思い込んでいるようですが
上記の反例になるというのなら
その論文が
leanで形式化できるほど曖昧さなく記述されている
ということを示さねばなりません
あなたは論文を読んでないのにそれが示せるのですか？
あるいは反例とは何かを理解してないのですか？
(引用終り)

さて、数学そのものではなく、
数学界、プロ数学者、プロ数学者の書く投稿論文について
経験則を書いてみよう
＜数学界＞
・プロ数学者の集まり
＜プロ数学者＞
・プロ数学者とは、(大学以上で)数学を職業とする人
＜プロ数学者の書く投稿論文＞
・経験則1：しばしば、証明の最後のレンガを積んだ人が賞賛される
・経験則2：優先権確保(早く出す)と　欠陥論文公表で栄誉を横取りされるリスクとのバランス（完璧を目指すべき）
・経験則3：専門分化が進んで、その道の専門家でないとイミフの論文多くなった（牧歌的時代は終わった）
・経験則4：複数著者の長大難解論文が増えた
・経験則5：共同研究者は居た方いい（経験則４との関連）
・経験則6：なにか賞はもらっておくに越したことはない（数学の”エラサ”なんて素人や分野外の他人にはワケワカよ。例岡先生はえらい）

（まず、”lean”を AI含む自動証明システムに置き換えよう。かつ、未来の発展も含める。いわば数学”神”だな）
第1幕
1)さて、上記の経験則を IUTに当てはめると望月氏は2012年に主観的には完成版としてネット公表した
2)しかし、多数のツッコミがあり、非明示公式に交代させられた
3)ショルツェ氏が登場してバトル中
第2幕
2022年、ポロウスキのアイデアで、5人論文として明示公式のIUT出版
第3幕
2025年、中国の若手数学者の周忠鵬はフェルマーの最終定理の一般化がIUT理論から得られることに（査読掲載は未）

当然ながら上記の3論文とも数学”神”lean がいるとして、その査問はパスするとの確信のもとに
著者は、公表したはずだ
そうでないと、経験則2により栄誉を横取りされるリスク大
第3幕まで来たから最初の望月IUTが成立する確度も高くなったと考えられる■

(参考)
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論
関連研究
2022年楕円曲線の6等分点を用いて、論文中のディオファントス的不等式中の定数の数値を明示したもの（非明示的な「定数」が現れない）に変更した、ポロウスキ、南出新、星裕一郎、フェセンコ、望月新一らの論文が、Kodai Mathematical Journalに掲載された
数論の結果
2025年中国の若手数学者の周忠鵬はフェルマーの最終定理の一般化がIUT理論から得られると発表した

**１３２人目の素数さん** · 2025/12/18(木) 15:54:11.38

>>69 タイポ訂正

2)しかし、多数のツッコミがあり、非明示公式に交代させられた
　↓
2)しかし、多数のツッコミがあり、非明示公式に後退させられた

**１３２人目の素数さん** · 2025/12/18(木) 16:25:01.41

>>69
>>３）つまりは、命題：leanで形式化できるほど曖昧さなく記述されているなら、数学者は皆IUT論文が読める筈
>>　の反例が Dennis Gaitsgoryの論文であってこの論文に対してドリンフェルドがギブアップ宣言だよと
結局あなたはその論文がその命題の反例であることを示せていません
関係のないことを書くよりも反例とは何かを理解すべきでは？

**１３２人目の素数さん** · 2025/12/18(木) 17:50:05.93

>>71
(引用開始)
>>３）つまりは、命題：leanで形式化できるほど曖昧さなく記述されているなら、数学者は皆IUT論文が読める筈
>>　の反例が Dennis Gaitsgoryの論文であってこの論文に対してドリンフェルドがギブアップ宣言だよと
結局あなたはその論文がその命題の反例であることを示せていません
関係のないことを書くよりも反例とは何かを理解すべきでは？
(引用終り)

意味わからん
１）そもそも
　命題：leanで形式化できるほど曖昧さなく記述されているなら、数学者は皆IUT論文が読める筈
　は、私が立てた命題ではないのだが
　この命題で IUT論文を論難するのが話がおかしいってことをダジャレで反論しているわけで
２）そもそもこの命題は厳密な数学命題ではないよね
　また ”IUT論文→その論文” と書き換えないとね
　つまり
　命題：leanで形式化できるほど曖昧さなく記述されているなら、数学者は皆その論文が読める筈
　と言い換えてみようね
　この命題ですぐ気づく二つの瑕疵がある
　一つは、”数学者は皆”の部分だ。皆＝∀ の意味なら当然この部分に反例が出るだろう（数学者だって皆人間だもの）
　もう一つは、時間について触れていない。つまり、ある時点で読めない数学者がいるからと言って
　さらに十分時間を掛けたときに、それまで読めない数学者が IUT論文が読めるようになるかもね
　そうすると、時間の点でもこの命題は成り立たないよね

だが、それはおいてここは場末の５ｃｈでダジャレで反論しているわけだよ
そのダジャレ反論に、ダジャレ反論を返しているなら意味わかるが
マジでロジカルに反論しているならアタマわるそうに見えるだけ・・

**１３２人目の素数さん** · 2025/12/18(木) 18:30:13.80

>>1
クソスレ立てんな

**１３２人目の素数さん** · 2025/12/18(木) 19:02:42.84

>>72
>命題：leanで形式化できるほど曖昧さなく記述されているなら、数学者は皆IUT論文が読める筈
>　は、私が立てた命題ではないのだが
>　この命題で IUT論文を論難するのが話がおかしいってことをダジャレで反論しているわけで
その命題に沿って反例を上げようとして失敗してますよ
それから
>一つは、”数学者は皆”の部分だ。皆＝∀ の意味なら当然
この部分に反例が出るだろう（数学者だって皆人間だもの）
まあここは確かに
しかし彼の言いたいのは
IUTの論文がleanに乗るくらい曖昧でなく記述されているのなら
その分野に明るいたとえばscholzeさんなら読んで理解できるだろう
ということです
数学者皆できれば当然scholzeさんもできますから
>　もう一つは、時間について触れていない。つまり、ある時点で読めない数学者がいるからと言って
>　さらに十分時間を掛けたときに、それまで読めない数学者が IUT論文が読めるようになるかもね
>　そうすると、時間の点でもこの命題は成り立たないよね
？まるで違うことをいってますよ
IUTを理解できる数学者が（現在はいないがいずれは）いるかもしれない
ということはp→qのqに当たることですよ
それとp→qを混同しましたね
もしqが真（あなたの言うようにいずれ出てくるとして）なら
p→qも真ですので全く反例にもなっていません
ダジャレと言って逃げた気になっているようですが
あなたは全く辻褄の合わないことを書いているだけなんです

**１３２人目の素数さん** · 2025/12/18(木) 19:09:29.45

　＿＿＿＿＿
　|＿＿＿＿　＼□ □
　　　　　　　/　/　　＿＿＿＿＿
　　　　　　/　/　　　|＿＿＿＿＿|
　　　　　/　/
　　　　/　/
　　　　￣
　　　　　　　　　　　　　　　　　　　　　　　　　(⌒ ⌒ヽ
　　　　∧＿∧　　　　　　　　　　　　　（´⌒　　⌒　　⌒ヾ
　　　（　　　　）　　　　　　　　　　　（'⌒　;　⌒　　　::⌒　　）
　　　　（￣￣￣￣┴-　　　　　　（´　　　　　）　　　　　:::　）
　　　　 | 　（　　　 *≡≡安倍晋三（´⌒;:　　　　::⌒`）　:;　　）
　　　　/　 /　　　∧ 　　＼　　　　（⌒::　　　::　　　　　::⌒　）
　　　 /　/　　　/ 　＼　　　＼　　　（　　　　ゝ　　ヾ　丶　　ソ
　　 /　/　（￣）　　|　|＼　（￣）　　　ヽ　　ヾ　　ノノ　　ノ
　 /　（　ノ　（　　|　| 　＼ﾉ　（
⊂- ┘（　　　） └--┘ （　　　）
　　　　ＵＵＵＵ　　　　　　ＵＵＵＵ

**１３２人目の素数さん** · 2025/12/18(木) 19:09:49.58

　＿＿＿＿＿
　|＿＿＿＿　＼□ □
　　　　　　　/　/　　＿＿＿＿＿
　　　　　　/　/　　　|＿＿＿＿＿|
　　　　　/　/
　　　　/　/
　　　　￣
　　　　　　　　　　　　　　　　　　　　　　　　　(⌒ ⌒ヽ
　　　　∧＿∧　　　　　　　　　　　　　（´⌒　　⌒　　⌒ヾ
　　　（　　　　）　　　　　　　　　　　（'⌒　;　⌒　　　::⌒　　）
　　　　（￣￣￣￣┴-　　　　　　（´　　　　　）　　　　　:::　）
　　　　 | 　（　　　 *≡≡安倍晋三（´⌒;:　　　　::⌒`）　:;　　）
　　　　/　 /　　　∧ 　　＼　　　　（⌒::　　　::　　　　　::⌒　）
　　　 /　/　　　/ 　＼　　　＼　　　（　　　　ゝ　　ヾ　丶　　ソ
　　 /　/　（￣）　　|　|＼　（￣）　　　ヽ　　ヾ　　ノノ　　ノ
　 /　（　ノ　（　　|　| 　＼ﾉ　（
⊂- ┘（　　　） └--┘ （　　　）
　　　　ＵＵＵＵ　　　　　　ＵＵＵＵ

**１３２人目の素数さん** · 2025/12/18(木) 20:23:58.67

>>74
>しかし彼の言いたいのは
>IUTの論文がleanに乗るくらい曖昧でなく記述されているのなら
>その分野に明るいたとえばscholzeさんなら読んで理解できるだろう
>ということです
>数学者皆できれば当然scholzeさんもできますから

ふっ
ID変わっているが、>>72です　（＾＾

まず、聞いておきたいが
あなたは数学の研究論文で投稿査読されて掲載された論文が1本でもありますか？
見るところないよねｗ

もちろん、私も無いがｗｗ
それでも、まず数学論文の証明から入ろう
（議論がまずければ、定期巡回しているプロ数学者（名誉教授）から、チャチャ入れがあるだろう）

1）そもそも数学論文の証明では、無駄な部分がないものだ（無駄な部分があるとかえって分りにくい）
　（学部レベルの数学内容でその分野の専門家が周知のことも省かれる。紙数に制限があったりするから）
2）そういう無駄な部分がない証明において "simplification" をすればどうなるか？
　あきらかにかつ当然ながら証明を構成する必要な部分を "simplification" してしまうことに
　それで、「必要な部分を "simplification" して」おいて、M先生に「証明に不具合が出来た」は無いよね
3）証明にダメだしするためには
　a)ギャップを指摘する　b)証明に使われた命題やレンマの反例存在を示して潰す（ただ一つのレンマで可）
　c)演繹により既存の理論との矛盾を指摘する（下記ディミトロフ、ヴェンカテシュ）
　の3択だが、 "simplification" はこの3つのどれでもない

なお、"simplification" はプライベートな議論では大変有用で良く使われる
「あなたの言いたいこと要するにこういうことですね」とか
学生が「証明の要点は、△△とｘｘと〇〇ですね」という
（くどいが、学生が「証明の要点は、△△とｘｘと〇〇ですが、これ証明にギャップができる」は、アホかバカかと言われるｗ）

https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論
プレプリントの発表と当初の反応
2012年10月、ヴェッセリン・ディミトロフ[11]とアクシェイ・ヴェンカテシュにより「エタール・テータ関数が素数"2"で分割する悪い場所においては正しく機能しなくなる」障害に基づく数値的な有効性の指摘があった[12]。望月は改訂版を公開し[13]、論文中のディオファントス的不等式中の定数の数値は明示されない形に変更された

**１３２人目の素数さん** · 2025/12/18(木) 20:38:26.88

>>77
全く別の話にねじ曲げるあなたは下らない人です
反例の意味を理解していないため
何を言えばいいのか混乱の極みとなり
自分が考える全く別の話をし始める
これっていつものあなたの常套手段ですね
以前の圏論のだじゃれ（でしたっけ？別の言い方だったような…）でもそうでしたが
言いたいことと言わねばならないことをごっちゃにして
お茶を濁してやり過ごそうとしているのでしょう
そんな態度では
数学の議論はもとより
整合性のある話をすることも無理でしょう

**１３２人目の素数さん** · 2025/12/18(木) 20:43:32.61

>>66
望月が論文でもS-Sへの反論でもlabelの話をずーっとしてんのに
"lavel"で検索してヒットしなかったからlabelの話をしてないなんて
誤解したお前のオツムの出来がアリエナーイってこと
分かった？
"univers"とか連呼してたし数学も英語も中学生以下のオツムってこと
自覚できた？

**１３２人目の素数さん** · 2025/12/18(木) 20:55:18.12

>>77 追加
>IUTの論文がleanに乗るくらい曖昧でなく記述されているのなら
>その分野に明るいたとえばscholzeさんなら読んで理解できるだろう
>ということです
>数学者皆できれば当然scholzeさんもできますから

1）IUTの論文を理解するためには基礎になる遠アーベルに近い専門家が有利
　Scholze氏の専門は、遠アーベルから少し離れている(パーフェクトイド空間)
2）一方で、IUTの論文を理解したという遠アーベルの専門家は多数いる
　例えば、Promenade in IUT の Collas (RIMS); Dèbes, Fresse (Lille)
　加えて、星裕一郎「宇宙際Teichmüller 理論入門」のP102の
　謝辞に名前が挙っている玉川安騎男、松本眞、安田正大ら
　加えて、Math Reviews誌(米国)に肯定するレビューを寄稿したモハメド・サイディ

要するに、長大難解論文は読める数学者もいれば読めない数学者もいる
遠アーベルに近い数学者で読めた人は多数
遠アーベルに遠い数学者で読めたというがトンチンカンが一人（S氏）

もちろん、論点として読めた人の理解度が問題になる
残念ながら、IUT検定試験は存在しないｗ
だから自主申告によらざるを得ない（＾＾
まあ、IUT関連の投稿論文を見るのは一つの手段
例の5人論文と周忠鵬論文と二つある

https://ja.wikipedia.org/wiki/%E3%83%9A%E3%83%BC%E3%82%BF%E3%83%BC%E3%83%BB%E3%82%B7%E3%83%A7%E3%83%AB%E3%83%84%E3%82%A7
ペーター・ショルツェ（1987年12月11日 -
業績
ショルツェの研究は、数論幾何学、例えばp進数とその応用に集中している。
パーフェクトイド空間の概念を導入した

https://www.kurims.kyoto-u.ac.jp/~bcollas/Promenade-IUT/index.html
Promenade in Inter-Universal Teichmüller Theory
Org.: Collas (RIMS); Dèbes, Fresse (Lille).

https://www.kurims.kyoto-u.ac.jp/~yuichiro/introduction_to_inter-universal_teichmuller_theory.pdf
星裕一郎:「宇宙際Teichmüller 理論入門」
P102
謝辞
2013 年度に合計 100 時間以上にも及ぶセミナーで宇宙際 Teichm¨uller
理論について説明してくださった山下剛さんに, そして, そのセミナーを共に乗り切りそこでの数々の議論に
お付き合いくださった玉川安騎男先生, 松本眞先生に, 感謝申し上げます.
本稿に対していくつもの有益な指摘をくださった安田正大先生と査読者の方に感謝申し上げます

https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論
2022年4月、モハメド・サイディ（RIMSの共同研究者）は Math Reviews誌の書評で、宇宙際タイヒミュラー理論の系3.12に関連した定理 3.11を肯定するレビューを寄稿した
2022年7月に数学誌Kodai Mathematical Journalに掲載された、ヴォイチェフ・ポロウスキ、南出新、星裕一郎、イヴァン・フェセンコ、望月新一らの査読付き論文[44]で、IUT理論に登場する不等式を数値的に明示的な形に帰結され、強いABC予想の証明、デュサールの式略
2025年5月、中国の若手数学者の周忠鵬はフェルマーの最終定理の一般化がIUT理論から得られると発表した

**１３２人目の素数さん** · 2025/12/18(木) 20:58:00.37

>>78
ふっ
”まず、聞いておきたいが
あなたは数学の研究論文で投稿査読されて掲載された論文が1本でもありますか？
見るところないよねｗ”と聞いたけど>>77

はぐらかしか？

**１３２人目の素数さん** · 2025/12/18(木) 21:00:07.01

>>79
話は真逆だろ
望月氏は labelの話をずーっとしてんだろ？
で？
ショルツェ氏は、labelを剥がしたらおかしくなるという
でもそれって、数学以前じゃんかｗｗｗ

**１３２人目の素数さん** · 2025/12/18(木) 22:14:20.98

>>82 補足

数学黒歴史をつくったショルツェ氏
ある証明について自分勝手な simplification をしたら
証明が成立しなくなりましたという

普通にストローマン論法だが
うぶなプロ数学者は、ストローマン論法を知らないから ”キョトン”
ストローマン論法は、ある種ディベート論法でディベートや政治討論では常用です

https://ja.wikipedia.org/wiki/%E3%82%B9%E3%83%88%E3%83%AD%E3%83%BC%E3%83%9E%E3%83%B3
ストローマン（英: straw man）は、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと、あるいはその歪められた架空の主張そのものを指す

**１３２人目の素数さん** · 2025/12/18(木) 22:24:43.43

>>83 補足

数学以外
例えば政治討論ではなんらか simplification は必須
つまり「米国トランプ大統領と日米関係」という題の討論会を行うとする

米国トランプ大統領は、今年1月から米国の大統領になった
だから、1月からかれがやってきた政策を重要な事実を集めて要約しなければならない

かつ ”日米関係”というとき今年起こったこともさることながら
来年どうなるか？そういう議論も必要になる
このときに、なんらかの simplification＝自分なりの要約が必要だ

”simplification＝自分なりの要約”がないと
議論が進められない

ところが、これが数学では全く違う話になる
simplification は、できるだけ避けてきちんとステップを踏んで
一歩一歩確実な議論が求められる特に証明の正否検討ではね

ここに simplification手法を持ち込んだショルツェ氏は
彼は天才だが
証明の否定にsimplification手法を使うのはお手付きだな

**１３２人目の素数さん** · 2025/12/18(木) 22:42:31.83

>>83
いつまでも自説にこだわりますネストローマンさん
その部分はあなた自身がストローマン論法で非難している
下らない人ですよ

**１３２人目の素数さん** · 2025/12/18(木) 22:44:19.10

>>84
そこも問題のない使い方をしているのかもしれませんから
IUTの論文を読んで理解していてなおかつsholzeさんの批判がどういうものかを理解できていなければ
何も言うことは出来ません
それをあえて言うあなたは卑怯です

**１３２人目の素数さん** · 2025/12/18(木) 22:45:41.31

>>82
何を言われているか理解してませんね
彼はあなたの行動を非難してますよ

**１３２人目の素数さん** · 2025/12/18(木) 22:50:12.09

単著がほとんどないのに、パパの友達やパパの弟子に共著論文を書いてもらって、
なぜかわずか４０歳で京都大学の教授になった人が京大にいるそうだね。

詳しくはこのスレにGo!
https://rio2016.5ch.net/test/read.cgi/math/1710668608/

親父は（元）東大教授で、息子は京大教授。
確率論という広いくくりで同じ専門というだけでなく、
もっと狭い確率解析というくくりでも同じらしい。

**１３２人目の素数さん** · 2025/12/19(金) 00:00:49.49

>>85-87

1）ふっ
”まず、聞いておきたいが
あなたは数学の研究論文で投稿査読されて掲載された論文が1本でもありますか？
見るところないよねｗ”と聞いたけど>>77
はぐらかしか？

2）”simplification手法”は、形式論として
　証明の不具合を指摘するのには、適さない
　証明の不具合をキチンと指摘するのには、a)ギャップ、b)反例、c)矛盾の3通りが主になる

3）”simplification手法”を、証明の不具合の指摘に使うことはよろしくない！
　つまり数学論文の証明は一般的に無駄な部分は無いのが普通であって
　それを”simplification”すると筆者が証明に必要としている部分を”simplification”しているってことだ
　それゆえ、証明に必要としている部分を”simplification”すれば証明に不具合が起きて当然だ
　（若いドイツの数学者は若いな。とち狂っている）

**１３２人目の素数さん** · 2025/12/19(金) 00:39:38.98

こいつ認知症？

**１３２人目の素数さん** · 2025/12/19(金) 00:41:17.87

高木クラス

**１３２人目の素数さん** · 2025/12/19(金) 04:10:01.20

ばかだなあ
本質を見破られちゃって
年初の日記でブチ切れてるだけの悲しいオッサンの話してんのか？

>>83

**１３２人目の素数さん** · 2025/12/19(金) 05:33:01.58

>まず、聞いておきたいが
>あなたは数学の研究論文で投稿査読されて掲載された論文が1本でもありますか？
>見るところないよね

君は？ないだろ？

なんだ、同じ素人じゃん！　仲良くしようぜ！
まあ、ボクはさすがに「正方行列だから正則行列！」なんていったりしないけどさ
君が高卒素人なら、ボクは・・・さしずめ大卒素人かｗ

**１３２人目の素数さん** · 2025/12/19(金) 05:49:27.50

ただの大卒素人から見て、Scholzeの発言は
「IUのどこがどうわからないか」
を尋ねる方法としては全然オーソドックス

「simplificationしたら、自明な等式しか導けないですよね？」
ということで、いったい何をやろうとしているのか説明させようとした

これに対して、相手は感情的に激昂し、何も根本的に説明できなかった
つまり、IUは壮大な言い訳でしかなく、中身は特になかった

IUTのTが系3.12で、IUはその正当化だとすると
今の状況は、系3.12だけ「公理」として放り出されてる感じ

**１３２人目の素数さん** · 2025/12/19(金) 05:51:37.56

＞本質を見破られちゃって
＞年初の日記でブチ切れてるだけの
＞悲しいオッサン

ちなみに、てちヲタらしい

そういう私は、こないだ乃木坂を卒業した久保チャンを推してました

ドルヲタ同士、仲良くしようぜｗ

**１３２人目の素数さん** · 2025/12/19(金) 05:55:23.38

研究は失敗の連続だから
IUが壮大な失敗作だとしても
全然責められることではない

ただ失敗を認められないのは残念かな
気持ちはわかるけどね

てちも秋元康が２１世紀の山口百恵とするべく
売り出そうとしてたことは分かるけど
結果は大失敗だったね

てちが欅坂を脱退してから
てちと同い年の久保チャンは
急速に伸びてきたよね
もともと有能だったけど

卒業後もタノシミダナ

**１３２人目の素数さん** · 2025/12/19(金) 05:57:35.26

総括
・IUは残念だが失敗だった
・てちも残念だが失敗だった
・MSもAYも失敗を認めよう

**１３２人目の素数さん** · 2025/12/19(金) 05:59:16.21

ということで

**１３２人目の素数さん** · 2025/12/19(金) 05:59:32.69

本スレは

**１３２人目の素数さん** · 2025/12/19(金) 05:59:50.01

終了！！！

**１３２人目の素数さん** · 2025/12/19(金) 06:23:06.99

>>89
scholzeさんが何を指摘しているかあなたは理解して居ません
余計なものを取り去って本質的なことを指摘しているのなら
何の問題も無いことです
それを
理解もせず非難するあなたこそが案山子論法を使っているのです

**１３２人目の素数さん** · 2025/12/19(金) 06:26:07.95

社会的・政治的力学のくびき
爆笑した

権力使って税金抜いてるオッサンのセリフかよw

**１３２人目の素数さん** · 2025/12/19(金) 06:28:05.81

ZFCですらないのにleanとか無理だろww

**１３２人目の素数さん** · 2025/12/19(金) 06:31:14.65

>>89
>>79はあなたのことを批判しているのに>>82は無関係なことしか書いていません
いつものように卑怯な人です

**１３２人目の素数さん** · 2025/12/19(金) 06:34:30.62

>>80
ｐ→qのqの事例を挙げてp→qの反例だとは噴飯モノです
qの事例が本当にそうかも分かりませんが

**１３２人目の素数さん** · 2025/12/19(金) 07:37:08.25

>>90-105
(引用開始)
>まず、聞いておきたいが
>あなたは数学の研究論文で投稿査読されて掲載された論文が1本でもありますか？
>見るところないよね
君は？ないだろ？
(引用終り)

回答は>>77より下記再録
”もちろん、私も無いがｗｗ
それでも、まず数学論文の証明から入ろう
（議論がまずければ、定期巡回しているプロ数学者（名誉教授）から、チャチャ入れがあるだろう）
1）そもそも数学論文の証明では、無駄な部分がないものだ（無駄な部分があるとかえって分りにくい）
　（学部レベルの数学内容でその分野の専門家が周知のことも省かれる。紙数に制限があったりするから）
2）そういう無駄な部分がない証明において "simplification" をすればどうなるか？
　あきらかにかつ当然ながら証明を構成する必要な部分を "simplification" してしまうことに
　それで、「必要な部分を "simplification" して」おいて、M先生に「証明に不具合が出来た」は無いよね
3）証明にダメだしするためには
　a)ギャップを指摘する　b)証明に使われた命題やレンマの反例存在を示して潰す（ただ一つのレンマで可）
　c)演繹により既存の理論との矛盾を指摘する（下記ディミトロフ、ヴェンカテシュ）
　の3択だが、 "simplification" はこの3つのどれでもない
なお、"simplification" はプライベートな議論では大変有用で良く使われる
「あなたの言いたいこと要するにこういうことですね」とか
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論
プレプリントの発表と当初の反応
2012年10月、ヴェッセリン・ディミトロフ[11]とアクシェイ・ヴェンカテシュにより「エタール・テータ関数が素数"2"で分割する悪い場所においては正しく機能しなくなる」障害に基づく数値的な有効性の指摘があった[12]。望月は改訂版を公開し[13]、論文中のディオファントス的不等式中の定数の数値は明示されない形に変更された”
(引用終り)

さらに補足すれば
1）"simplification" は、誰にでも可能。例えば、中高一貫校生でも。「ボク、IUTを"simplification" したら、こうなった」とかｗ
2）数学においては、"simplification" は常道ではない。が、非公式なプライベートの議論では許される
3）ショルツェ氏の"simplification" も、京都の5日間のプライベートの議論限りでは許される
4）しかし、おおやけの文書としては成り立たない。多分、まともな雑誌ならばそのままでは査読が通らない

そういうことです

**１３２人目の素数さん** · 2025/12/19(金) 07:44:28.77

>>106
あなたはscholzeさんの指摘を理解しておらず
勝手な思い込みで批判を行うストローマン論法の卑怯な人です

**１３２人目の素数さん** · 2025/12/19(金) 07:45:56.78

>>106
>さらに補足すれば
数学的に
全く問題が無いことかも知れません
それはIUT自体とscholzeさんの指摘と
どちらもよく理解した上でないと判断できないことです

**１３２人目の素数さん** · 2025/12/19(金) 07:49:00.01

>あなたは数学の研究論文で投稿査読されて掲載された論文が1本でもありますか？ないよね
|君は？ないだろ？
>もちろん、私も無いが

じゃ、黙ろうか

永遠に

**１３２人目の素数さん** · 2025/12/19(金) 07:51:17.04

Scholze文書のポイントはScholzeのsimplificationではなく
望月新一がなんら反駁できなかったこと

そして望月新一は自ら意味不明の怪文書を書いて自爆した
説明できないならできないと認めればいいのに

哀れな人ですね　
彼も、そしてその支持者も

**１３２人目の素数さん** · 2025/12/19(金) 11:18:56.00

IUTはSGAと同じでZFCGのフレームワークの中で数学をやっている

**１３２人目の素数さん** · 2025/12/19(金) 11:21:12.56

Scholtzeはなぜインタビューに応じなかったのだろう

**１３２人目の素数さん** · 2025/12/19(金) 11:26:17.71

>>107
>あなたはscholzeさんの指摘を理解しておらず
>勝手な思い込みで批判を行うストローマン論法の卑怯な人です
>それはIUT自体とscholzeさんの指摘と
>どちらもよく理解した上でないと判断できないことです
>Scholze文書のポイントはScholzeのsimplificationではなく
>望月新一がなんら反駁できなかったこと

うむ
１）数学証明の可否対立論争で、数学史上”simplification”というストローマンを使ったのは Scholze氏が初
　数学証明の議論に、ディベートの論争テクニックをね。彼は、政治やビジネスでも成功できるかも
　Scholze氏が天才であることは確かだろう
２）ところで日銀植田和男総裁 ”1974年東大数学科卒業、東京大学経済学部へ学士入学”（入学は御大と同じかも）
　で経済学には数学は役立つが、数学とは違うよね
　日本経済をどうとらえるか？ GDPとか経済指標はあるが、しばしば経済統計は遅れがあるし
　かつ所詮数字は現実を”simplification”したものにすぎない
　さらに重要なのは、(未来予測)経済の見通しでこれは天気予報ほどには当たらないｗ　（＾＾
　なので、数学＋属人的なカンの良さが必須なのだね総裁には。単なる数学者では務まらない
３）言いたいことは、現実に生きる人は”simplification”は、非常に重要だということ
　生物として生きていく上でもね。なので、多分”simplification”は本能として備わっている能力だろう

さて、上記で論じたように ”simplification”は、人が普通に日常的にやっていることだね
中高一貫校の高校クラスになると数学徒は IUTの”simplification”くらいやるかも

だが、中高一貫校数学徒の”simplification”に、望月先生がいちいち事細かに指摘・指導する必要はない
だいたいあっているとかだいぶ違っているよ程度のコメントで十分

Scholzeさんにも、同じことを言った。”だいぶ違っているよ”と
ただ余計な一言が入った ”学部レベルの理解”だと。そして舌禍になったｗ　（＾＾

(参考)
https://ja.wikipedia.org/wiki/%E3%82%B9%E3%83%88%E3%83%AD%E3%83%BC%E3%83%9E%E3%83%B3
ストローマン（英: straw man）は、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと、あるいはその歪められた架空の主張そのものを指す

https://ja.wikipedia.org/wiki/%E6%A4%8D%E7%94%B0%E5%92%8C%E7%94%B7
植田和男（うえだかずお、1951年〈昭和26年〉9月20日 - ）は、日本の経済学者[1]。第32代日本銀行総裁。専門はマクロ経済学、金融論。東京大学名誉教授。Ph.D.。
概要
東京教育大学附属駒場高等学校卒業。東京大学理学部、同大学経済学部卒業。東大経済学部在学中は宇沢弘文（数理経済学）、小宮隆太郎（国際金融論）、浜田宏一（国際金融論）の下で学ぶ[2]。
学歴
1974年東京大学理学部数学科卒業、東京大学経済学部へ学士入学

**１３２人目の素数さん** · 2025/12/19(金) 11:48:17.22

>>111-112
>IUTはSGAと同じでZFCGのフレームワークの中で数学をやっている

ちょっと一言
数学者がよく「ZFCだ ZFCGだ」と口にするけど
分かって言っているか疑問だよ

ZFCで、真面目にその通りやったら無茶苦茶になる
ZFCは、urelementを許さない。が、通常の数学では urelementを気楽に導入する
また、1+2=３は ”{{ }}＋{{ }, {{ }}}＝{{ }, {{ }}, {{ }, {{ }}}}”となるが
これだと圧倒的に視認性が悪い
なので、数学者の「ZFCだ ZFCGだ」は、基礎論屋さんの受け売りにすぎないことが多い
まじめな基礎論として受け取るなってことだろう

>Scholtzeはなぜインタビューに応じなかったのだろう

ポイントは Scholtze氏はフィールズ賞取って、数学界のスーパースターになったからだろう
IUTは、ゴミだと。だけど、恨みはある。遺恨だね
因みに、Stix氏は "simplification"＝藁人形は分かっていると思う
なので、京都の５日間の議論限りとして、公のコメントは控えるってことでしょ

(参考)
https://ja.wikipedia.org/wiki/%E5%8E%9F%E5%A7%8B%E5%85%83_(%E9%9B%86%E5%90%88%E8%AB%96)
原始元(げんしげん、英語: urelement ドイツ語の接頭辞 ur- は「原始的な」を意味する)とはオブジェクトであってそれ自身は集合でないが、集合の要素には成り得るもののことである。原始元は原子、アトムとも呼ばれることがある。また、日本語文献でも翻訳せずにurelementのまま用いられることも多い

https://en.wikipedia.org/wiki/Natural_number
Natural number
Set-theoretic definition
0 = { }
1 = 0 ∪ {0} = {0} = {{ }}
2 = 1 ∪ {1} = {0, 1} = {{ }, {{ }}}
3 = 2 ∪ {2} = {0, 1, 2} = {{ }, {{ }}, {{ }, {{ }}}}

**１３２人目の素数さん** · 2025/12/19(金) 11:57:02.59

>>114
>ちょっと一言
バカに発言権は無い

>数学者がよく「ZFCだ ZFCGだ」と口にするけど
>分かって言っているか疑問だよ
分かってないのはおまえだけ

**１３２人目の素数さん** · 2025/12/19(金) 12:07:39.53

>>111 蛇足

２）ところで日銀植田和男総裁 ”1974年東大数学科卒業、東京大学経済学部へ学士入学”（入学は御大と同じかも）
　↓
２）ところで日銀植田和男総裁 ”1974年東大数学科卒業、東京大学経済学部へ学士入学”（東大教養入学は御大と同じかも）

**１３２人目の素数さん** · 2025/12/19(金) 13:42:13.20

lean勝手に改造して通りましたとかいうんだろうなw

**１３２人目の素数さん** · 2025/12/19(金) 14:04:05.58

{{{...{}...}} とか言ってるゴミが数学基礎論の議論ができるはずもない

**１３２人目の素数さん** · 2025/12/19(金) 14:13:51.03

>>115
>>数学者がよく「ZFCだ ZFCGだ」と口にするけど
>>分かって言っているか疑問だよ

少し補足しておくと

20世紀のZFCは、あたかも古代ギリシャの幾何原本と類似だ
ZFCは、基礎論の強制法をやるには適している
が、普通の数学をやるには適さない

21世紀の現代幾何学は、古代ギリシャの幾何原本ではやれないだろう（基本は定規とコンパスの幾何だから）
同様に、ZFCでは空集合から順に実数構成などをやるがこれを一般の現代数学でやる一般の数学者はいない
（多分、一般の数学者は基礎論の知識は学部教養程度で止まっていて、聞きかじりのZFC議論なのだろう）

(参考)
https://www.math.chuo-u.ac.jp/ENCwMATH/
ENCOUNTERwithMATHEMATICS 中央大
https://www.math.chuo-u.ac.jp/ENCwMATH/ewm78.pdf
第78回 ZFC集合論 2025年1月10日（金），11日（土）
http://www.math.chuo-u.ac.jp/ENCwMATH/EwM78_Usuba.pdf
薄葉季路：位相空間の距離化可能定理

**１３２人目の素数さん** · 2025/12/19(金) 14:29:04.68

わかっているやつは{{{...{}...}}}とか言わんのは確か

**１３２人目の素数さん** · 2025/12/19(金) 14:35:09.87

958 名前：１３２人目の素数さん[] 投稿日：2025/12/18(木) 15:23:41.82 ID:jw/hx0TF [4/4]
>.957
誤　tan(π/2)₌∞
正　tan(-π/2)₌-∞

ま、複素直線で考えたら同じだけど
一応、実軸上で考えとくので

**１３２人目の素数さん** · 2025/12/19(金) 17:45:59.98

>>114
>因みに、Stix氏は "simplification"＝藁人形は分かっていると思う
>なので、京都の５日間の議論限りとして、公のコメントは控えるってことでしょ
>(参考)
>https://ja.wikipedia.org/wiki/%E3%82%B9%E3%83%88%E3%83%AD%E3%83%BC%E3%83%9E%E3%83%B3
>ストローマン（英: straw man）は、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと、あるいはその歪められた架空の主張そのものを指す

おもうに
おそらくは
柏原先生、玉川先生も
"simplification"＝藁人形は
分かっていると思う
藁人形というディベート用語は知らないとしても

**１３２人目の素数さん** · 2025/12/19(金) 17:50:43.56

>>114
>数学者がよく「ZFCだ ZFCGだ」と口にするけど
>分かって言っているか疑問だよ
Gは要らないけれどZFCはみな勉強はしてますよ
明示的には使わないけれど
あと
真クラスが登場する可能性がある当たりは
十分注意しますね
そんなのが必要な人は少ないけど
>なので、数学者の「ZFCだ ZFCGだ」は、基礎論屋さんの受け売りにすぎないことが多い
何が「なので」なのか意味不明
>因みに、Stix氏は "simplification"＝藁人形は分かっていると思う
分かってるって思うというのはかなり傲慢では？