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

（前“応援”スレが、1000又は1000近くになったので、新スレ立てる）
前スレ：Inter-universal geometry と ABC予想 (応援スレ) 74
https://rio2016.5ch.net/test/read.cgi/math/1755784703/
詳しいテンプレは、下記旧スレへのリンク先ご参照
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理論から得られると発表した 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
・日仏遠アーベル共同研究 Arithmetic & Homotopic Galois Theory IRN https://ahgt.math.cnrs.fr/activities/
://www.sankei.com/article/20240402-WNUUSYIAO5PRVNCBQSEEUETGMU/
産経 2024/4/2
宇宙際タイヒミューラー理論を提唱、望月新一氏らに賞金１０万ドル
同理論の発展に重要な貢献を果たした論文の執筆者に贈られる「ＩＵＴｉｎｎｏｖａｔｏｒ賞」の最初の受賞者として望月氏ら５人が選ばれ

://www3.nhk.or.jp/news/html/20230707/k10014121791000.html
NHK 数学「ABC予想」新たな証明理論の研究発展させる論文に賞創設 20230707
研究を発展させる論文を対象に、100万ドルの賞金を贈呈する賞が国内のIT企業の創業者によって創設されることになりました
▽新たな発展を含む論文を毎年選び、最大で賞金10万ドル
▽理論の本質的な欠陥を示す論文を発表した最初の執筆者に対しては100万ドル

://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”

このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
（なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！
つづく

もちろんトンチンカンやろな
お前の知能で理解できるはずもない

>>574
>１）
おまえ、番号つけるの好きだな
そのキモチワルイ風習　誰の真似？

＞下記
おまえ、下記っていうの好きだな
でもまともな人はいちいち下記とかいわねえよ

＞論理学の歴史で 現代論理学は (1676年頃)ライプニッツから 始まったらしい
おまえ、「らしい」って幼児語好きだな
でも大人はそういうとき「といわれている」と書くぞ　覚えとけ

＞だが、古代ギリシア哲学における論理学もあったわけだし
あったな　ベン図的論理学（笑）
専門的にいえば、一項述語しか現れない述語論理　

＞いろんな時代の数学者たちが 常に 論理学をもとに議論したわけでもない
＞（もちろん、非論理的には考えてないが）
そもそも数学が「定義から定理を導く証明」という形で
その正当性を根拠づけるようになったのは
始まりはエウクレイデスの「ストイケイア」（原論）かもしれんけど
実際にはもっと後のことだろうな
詳しいことはGrokにでも聞いてくれ（笑）

＞つまり、(1945年)戦後論理学の時代以前の数学者たちで、
＞多くの数学者は 一階述語論理では思考していなかったということになる
まあ、1930年のゲーデルによる一階述語論理の完全性定理以降だろうな
とはいえ、昔の数学者がそんな超絶推論をしてたわけでもないが

>というか、本来の人の思考は なんら 一階述語論理に縛られるものではない！ ここは押さえておきたいね
>繰り返すが、人の日常の思考は 一階述語論理に縛られるものではない
君は、一階述語論理の思考も理解できてない、こここそ押さえておきたいね
繰り返すが、君は一階述語論理の思考を全く理解できていない
だから大学１年の実数の公理もコーシー列も開区間と閉区間の違いも関数の連続性、一様連続性も
ぜーんぜん理解できずにものの見事に落ちこぼれた

ぜーんぶ「ブルバキ数学原論　位相」に書かれてる大学初年級レベル

>>578のつづき
＞一階述語論理とは？
＞精密思考には 非常に便利であり 現代の数学者はこれを学ぶから 共通言語にもなっているが
＞ちょっと現場の数学から遊離している意味もある

一階述語論理の何がそんなに難しいと思ってんのか分からんが
単に君が言葉をうまく喋れないだけだろう
つまり論理以前に国語がダメ（笑）

>ZFCは 全てが空集合Φから組み立てられるので、urelement(原始元)は許されない。
>現場の数学では多くは urelement(原始元)を導入して議論を進める。その方が 話が早い

そこ全然どうでもいいんだが（笑）
そもそも数学者は urelement(原始元) かどうかなんて全く意識しない

>圏論は？
>どちらかと言えば、(下記 TakuLabo 圏論とはなんなのか) 現場のオオザッパな話向きだが
>圏論的な基礎論も可能で、トポス（topos）から「直観主義的モデルも自然に現れる」という

「という」とかいってるけど
直観主義的モデルが現れる理由がなんだかわかってる？（笑）

これ位相の定義から出てくるんだよね
だから位相分かってない君には全然分からないよ（笑）

ということで、それだけの話なら圏論以前だな