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

（前“応援”スレが、1000又は1000近くになったので、新スレ立てる）
前スレ：Inter-universal geometry と ABC予想 (応援スレ) 76
https://rio2016.5ch.net/test/read.cgi/math/1759924222/
詳しいテンプレは、下記旧スレへのリンク先ご参照
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スレの中では このスレ立ては最初だったのです！
つづく

>>325のつづき

＞このとき、厳密な論理思考だけでは、どうにもならない
＞（厳密な論理思考は当然必要だが）
＞むしろ、予測（読み）が重要になる
＞論理以外の経験やカンも必要になる
＞つまりは、一階述語論理だけでは どうしようもない ってことだ

未来を予測するには現在の認識と現在から未来への変化の仕方の認識が必要
そして、変化の仕方を認識するには、過去の認識と過去から現在への変化の認識が必要
そこから「〇が□に対して●●であるならば〇が□を●●する」
とかいう法則を抽出する必要がある
そして法則の正当性は過去の条件から現在の状況が演繹できることである
決して個人の心理的欲求の投影として正当化してはならんし
そんな狂ったことで正当化できるわけもない

そして、〇〇は対象であり、●●は述語であるから、
当然主語、目的語を備えた述語文が必要であり
さらにそのような述語文に対する論理法則も必要
これの最低限のレベルが一階述語論理

つまり一階述語論理も分からんカラスの世田には
中国の過去から現在までの歴史も理解できんし
中国の将来も理解できんし
ただ中国が恵まれてて尊大なのが気に入らないとかいう
嫉妬感情だけで中国を詰っていい気分になる程度の
オナニー発言しかできんってこった（笑）

どうだ、カラスの世田
あまりにもズバリそのまますぎて、グウの音もでないだろ

ギャハハハハハハ！！！

一階述語論理は、アリストテレス論理学よりは強力

アリストテレス論理学は、根本的に単項述語文に関するものである
したがってラッセルパラドックスすら扱えない
ラッセルパラドックスを論じるには二項述語を扱えねばならない

「誰であれ、自分以外のすべての人のヒゲをそることはできない」

この文章で「ヒゲを剃る」という述語は、
ヒゲを剃る人「主語」とヒゲを剃られる人「目的語」の
二つの項を必要とする
これは「日本人である」とか「中国人である」とかいう
一つの項しかない述語とは全く異なる

まあ、国籍だけでギャアギャア騒ぐ国粋馬鹿野郎どもは
アリストテレス論理学で止まったままなのだろう（嘲）

ラッセルパラドックスは集合論の欠陥を示すものではなく
より一般に二項以上の述語文に対する定理と解釈できる

「Xが誰であれ、それぞれ特定の誰かYがいて、XがYを●●するのは、XがXを●●するときそのときに限る」

まあ、そのようなYはX自身に決まってるだろ、というのは明白だが
こんなことすら、アリストテレス論理学では扱い得なかったのだから
フレーゲはやっぱり大した論理学者だといっていい
ただ理論構成でちょっとしくじっただけのことである（笑）

御免、328の文章間違った（笑）

正しくは以下
「Xが誰であれ、それぞれ特定の誰かYがいて、XがYを●●するのは、YがYを●●するときそのときに限る」

この否定は
「ある特定のXがいて、任意のYに対して、XがYを●●するのは、YがYを●●しないときそのときに限る」

ここで、YがXだとすると、
「XがXを●●するとのは、XがXを●●しないときそのときに限る」
となって矛盾する

要するに、ラッセルパラドックスとは
「一階述語論理における、基本的な定理の否定文」
なので、一階述語論理が確立された現在では
その気になれば誰でも分かって当然なのである

わかったかな　カラスの世田君
（完）

；ｐ）；ｐ）；ｐ）；ｐ）；ｐ）