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/21(日) 17:08:57.80

プログラム検証になぞらえて考えると、
系3.12はあくまで要求仕様でしかない
で、系3.12を満たすプログラムはまだ書けてない
これが現状

ちなみに選択公理も実は要求仕様
「こういう選択関数が存在しますよ」というだけ

で、公理だから別に選択関数を実現する必要はない

系3.12も公理だというなら、別にプログラムはなくてもいい
ただし、系3.12から矛盾が導かれないなら、という但し書きつき

系3.12から矛盾が導かれたら、The END
これまた現状

選択公理に関しては
「選択公理ありの集合論で矛盾するなら、なしでも矛盾する」
ということまでは分かってる

系3.12で同様の証明は・・・いまのところできそうもない
強制法で扱えるレベルを超えてるらしいので

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

>>210
書かれていることから判断しても
あなたにscholzeさんの指摘を評価する資格はありません
卑怯極まりない人です

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

>>210
>ストローマンは、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと
これを行っているのがあなたです

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

＞比較的公平に望月IUTを応援しよう

そもそも「IUを応援する」という態度が公平性を欠いてる（笑）

＞今年日本ノーベル賞が二人

そもそも日本人が賞をとったとかそんなことで喜ぶのがマジ狂ってる
自分と全然関係ない他人のことじゃん（笑）

＞あきらかに間違っている議論があります
＞ショルツェ氏のSS文書・・・

誤　あきらかに間違っている議論
正　間違いであってほしい議論

SS文書を読めば
「定理3.11から系3.12を導く証明　マジでわけわかんね
　わけわかんない場所を無視すると　自明な不等式しか出てこねえ
　系3.12を導ける、今の数学で正当化できる証明あんの？ないんじゃね？」
という否定的な問いかけと分かる

これに対して望月新一は
系3.12を導ける、今の数学で正当化できる証明を示せたか？
答えはNO

この時点で、IUは終わった
いまだに「まだだ、まだ終わらんよ」とかいってるのは
自己愛的自国愛に狂う人だけ

精神科で診てもらったほうがいいよ
マジ病んでるから　みんなもそう思うだろ？

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

望月新一は系3.12という「予想」を提案しただけで
その予想については有用性を認める人が多々いるが
予想自体が数学的に正当化できると認められたわけではない

IUは残念ながら完全に失敗
別に失敗自体は構わんが
失敗を失敗と認めないのは残念

IU論文をPRIMSで無理矢理アクセプトしたのは日本数学界の黒歴史
こんなことを素晴らしいと誇るのは狂人だけ

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

IUを誇るのは特攻を誇るのと同じくらい狂ってる

特攻を自慢する人は、特攻が完全な自発的行為だと言い張るが、全くのウソ
完全に強制であり、軍によるパワーハラスメント

パワハラを賞賛するとかマジやべぇ　そういう話よ

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

>>210
>”simplification”手法は、ディベート論法です
>あきらかにストローマン（藁人形論法）です
問題は系3.12の証明が証明になってないことであって、simplificationはどうでもよい。それをあげつらってるセタこそがストローマン。

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

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

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

p→qの形式の命題の反例とは何かを理解していないから
>>69,72のような呆れる他ないことを真顔で書いてしまうのです

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

>>217
自己愛的自国愛者は「自国民を誇りたい」という（●った）欲求が先にあって
その欲求を妨げるものをとにかく否定するという発想でしか思考できないので
まあ、●ってますね　

まず、自国民を誇っても意味ないと気付く必要がある
さらに、（ウソをついてまで）自分を誇るという行為は
自分に何の利益をもたらさないどころか
損害を与えると気づく必要がある

これは病気であって正常な行動ではない