なぜ1階論理か？
⑴ ユークリッド平面幾何。
タルスキの公理系は1階述語論理だからユークリッド幾何学も実閉体の条件で完全性.健全性.決定可能だ。
⑵ 新井敏康.数学基礎論
・数学の証明。
>数学の証明において用いられる仮定(公理)を明示しなければならなくなったら、それらは常に形式的に(基礎論の言葉で言えば1階論理で)表現可能であるべきである。
>原理的には1階論理で表現できて
そこでの形式的証明が書けない数学の真理は存在しない、というのが数学の「定義(の一部」になっているのだろう。
控えめに言っても、全数学は究極的には1階論理で形式化できる、ということは経験的事実である。
・モデル。
>モデル論の出発点ともいえるTarskiの結果が教えるのは順序体としての実数(実閉体)及び標数0の代数閉体としての
複素数Cの公理系はそれぞれ完全である。つまりこれらの代数系に関する(1階論理で表現できる)命題はそのモデルによらずに真偽が決まっているのである。
さらにTarskiの証明は定義可能集合が
とても簡単なものに限られることまでしめしている。 数学コミュニティの内戦
https://youtu.be/FVhmIkCbqTg?si=D_FtDHcU0DYNh6IF" target="_blank" rel="noopener">https://youtu.be/FVhmIkCbqTg?si=D_FtDHcU0DYNh6IF>>13
m saidi外部評価委員について。
RIMS客員教授として望月新一RIMS教授とIUT論文の書き換えを行い、
一方第三者を装い外部評価委員としてIUT論文のレポートを提出し査読.受理へ影響を与える。
さらにAMSreviewを投稿する。
査読者の1人との疑念まである
マッチポンプ型の政治屋。
利益相反行為は明白。
m. saidi氏とRIMSの関係年表。
▫︎ 2012.8月30日
望月新一RIMS教授はRIMSの数学誌PRIMSへ4編のIUT論文を提出
▫︎ 2013年7月
望月新一RIMS教授とsaidiRIMS客員教授が検証と称し2人セミナーを行う。
望月新一自称の「検証」では、
望月氏がIUT論文の「修正」を行い結果
saidi氏はIUTTを正しいと評価した。
▫︎ 2018年2月
saidiは外部調査委員会の委員ながら来日せず、IUTTを高く評価するレポートのみを提出した。
▫︎ 2022年4月saidi氏はAMS math reviewへcor.3.12の疑義を無視したreviewを投稿した。
疑義は例えばzbmath のscholze reviewがありリンクされている。
・m. saidi RIMS客員教授
I.fesenko RIMS客員教授 >>302
次回のテーマはm.saidi氏の利益相反行為とIUT論文査読への影響を調査しその結果を期待 >>303
saidi AMS math review
https://www.math.columbia.edu/" target="_blank" rel="noopener">https://www.math.columbia.edu/
~woit/wordpress/?p=12775 まず数学の証明は1階論理(1階述語論理)
で表現する。 IUT論文は準備から読みづらく
大量の注釈で構成され大量の新用語が導入されている。
>>227
->228
これはIUTが数学でなく「全く新しい理論」だから、
1階論理(一階述語論理)で証明をすっきりと書くことができない
>301 ・
川上量生企画.望月新一監修.加藤文元著「宇宙と宇宙をつなぐ数学」。
P37
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
望月教授は、言うなれば、だれも
話したことがない、新しい言語を
用いて理論を組み立てました。
・P40
>IUT理論のように、あまりにも
新奇で斬新なものだったりすると
、通常の言葉に翻訳するには
多くの言葉や概念を巧みな比喩を
用いて説明するしかありません。
「宇宙間航行」や「異なる宇宙の間の通信」などという、ちょっと奇想天外なSF用語にも聞こえる言葉を大真面目に 使用するしかなくなります。
・IUT語 p51
「IUT理論は、一般的な数学の
パラダイムの枠内では語れない、
全く新しいフレームワークと言語・ 概念体系を基盤として構築されている
・
望月新一の専門がトンデモのIUTと異なりperfectoidのscholzeの専門は数学。
scholzeはIUTに素人だろう、
専門がトンデモでなく数学だから >>298
Perfectoid spaces
by Buzzard, Commelin and Massot
Perfectoid spaces are sophisticated objects in arithmetic geometry introduced by Peter Scholze in 2012。
We formalised enough definitions and theorems in topology, algebra and geometry to define perfectoid spaces in the Lean theorem prover。
This experiment confirms that a proof assistant can handle complexity in that direction, which is rather different from formalising a long proof about simple objects. パーフェクトイド空間
バザード、コメリン、マソット著
パーフェクトイド空間は2012年にピーター・ショルツによって導入された、数論幾何学における洗練された対象である。
我々はLean定理証明器でパーフェクトイド空間を定義するのに十分な.位相幾何学.代数学.幾何学における定義と定理を形式化した。
この実験は、証明支援システムが単純な対象に関する長い証明を形式化することとはかなり異なる、その方向性の複雑さを扱うことができることを確認している おっすオラオカルトマニア
あっちの応援スレにも書いたけど、SSの批判が間違っているという証明（LEAN4）の新版だ
https://ideone.com/xEQ1YU" target="_blank" rel="noopener">https://ideone.com/xEQ1YU>>310
位相空間はどう定義するんだろ
O∈2^2^X∧X∈O∧φ∈O∧∀U,V∈O(U∩V∈O)∧∀P⊂O(∪P∈O)
かな
でもいちいちここに戻るのって大変そう >>311
オカルトマニアさんお久ぶりです。
確認ですが、
2018年 simplificationを含む
scholzestixレポートへ回答として2019年4月に川上量生企画.望月新一監修.加藤文元著「宇宙と宇宙をつなぐ」が発刊
された。(>16)(>17) (>22)
監修が望月新一だから望月新一本人の意見です。
p8 p9 p10
「IUTTでは、この足し算と掛け算の間にある「底なしに固いはの関係」を解体して変形を施すだけでなく、様々な 「緩み」=「不定性」が必然的に付随 してしまう、 「ゆるゆる」な状態で復元するのです。
言い換えれば、復元後の、足し算
と掛け算の関係というのは、
本来の固い関係そのものでなく、
本来の固い関係に対する「一種類の 近似」でしかありません」
「底なしに固い」とされていた
概念的な構造の中に、
実は何らかの「不可避の内在的な緩み =「不定性」が存在するという発見 =発想の転換を軸に考えると、 次のような事例が頭に浮かびます」
「量子力学の場合、素粒子の力学
は、一つの固定された数学的
な仕組み(=古典力学に出てくる
ような微分方程式等)によって完全に決定されるものでなく、いわゆる「不確定性原理」に代表されるように、 様々な可能性に対する確率論的な分布という形でしか計算することができない、必然的かつ内在的な「不定性」を抱えている性質のものであることが、
理論の中心的な主張となっている」
P37
「ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
望月教授は、言うなれば、だれも
話したことがない、新しい言語を
用いて理論を組み立てました」
・IUT語 p51
「IUT理論は、一般的な数学の
パラダイムの枠内では語れない、
全く新しいフレームワークと言語・ 概念体系を基盤として構築されている
まとめると
・IUTは数学ではなく全く新しい理論と望月新一加藤文元が明言している。
・出版後も望月新一加藤文元は IUTの言語体系から未完成とした。
・範囲は物理の量子力学も含む
根拠なき妄想トンデモ.なんでもあり。 >>314
続き
>IUT理論に対するSS批判の無効性の形式的証明
scholze stixは数学ではないIUTの核心部を指摘するためsimplificationの部分より組み立て矛盾を導いた。
IUT理論自体は未完成の全く新しい理論で空疎.間違ってすらいない。
数学の定理証明支援系leanが
トンデモIUT理論の補強になるとすれば興味深いがケビンバザードはIUTを茶番劇と言ってる https://i.imgur.com/dfjmDNE.jpeg" target="_blank" rel="noopener">https://i.imgur.com/dfjmDNE.jpeg ・STAP細胞スキャンダル
いもりの尾は切れても細胞が初期化され再生能力を獲得する。
これを応用しSTAP現象は
マウス細胞が酸溶液に晒されると初期化され再生能力を獲得する
こと。
STAP現象を確認したとするSTAP論文は主要マスコミやネイチャーへ大きな話題を提供したが、データ不正のため論文取り下げになった.
(STAP論文取り下げ事件)。
STAP現象は現在もだれも再現実験に成功していない。
・IUTスキャンダル >7 >8
STAP論文で失敗した内閣府.文科省はIUTによるabc予想の解決。
を持ち出したが査読中のIUT論文は特例扱いとした。
2003年N大で虚偽申請スキャンダルがありハラスメント疑惑も指摘されていた点は無視して。>3
いもりの尾の再生→遠アーベル
幾何学.数学。
STAP現象による再生
→IUT構築による復元.トンデモ。
トンデモIUTは遠アーベル幾何学と混同および京大数理研を中心とした日本数学会の、数学より政治と予算体質より延命してきた。 本来ならトンデモIUT構築によるabc予想解決は京大文科省が切り捨てるべきだが政治利用のため支援していく。
この状況に望月新一教授本人も開き直り
また利用していく。
➖ ➖
>>5
IUTTの検証.進捗情報の報告
2014年12月現在
京大数理解析研究所教授.望月新一
P5
>ABC予想には本質的に異なる
手法による「別証明」が果たして存在 し得るか、疑問を抱かざるを得ないと いう意味においても「正しい理論」で ある 2019年4月のKADOKAWA川上量生企画.望月新一監修.加藤文元著「宇宙と宇宙をつなぐ」の英訳本を海外向けへ
未だに発刊しないが、望月新一本人の
監修本だ早く発刊しろ。
fesenkoも発刊を熱望していたはず 宇宙と宇宙をつなぐ数学 IUT理論の衝撃 (角川ソフィア文庫) Kindle版
加藤 文元 (著) 発刊予定の海外向け英訳本は文庫本版
ではなく、
2019年4月.KADOKAWA発刊の川上量
生企画.望月新一監修.加藤文元著「宇宙と宇宙をつなぐ」の英訳だ。
数学本でなく数学とIUTの違いが書いてある後書きも含め一次資料だ。 >>321
×宇宙と宇宙をつなぐ
⚪︎宇宙と宇宙をつなぐ数学 >>319
fesenkoさんが許諾を取って翻訳したらいいのでは？ >>325
・加藤文元ZMC所長(旧IUGC所長でfesenkoは副所長)が英訳あるのになぜ発刊しないのか疑問を述べていた。
元々加藤文元著だから
2019年4月発刊版 英訳.川上量生企画.望月新一監修.加藤文元著 「宇宙と宇宙をつなぐ数学IUT理論の 衝撃」を加藤文元ZMC所長の元KADOKAWAが出版すれば良い。 ・fesenkoは会見も講義も英語使用で日本語が不自由で、一方望月.加藤文元IUT本は日本語のみ。
発刊当時にfesenkoがベストセラーと騒ぎ絶賛したが金.予算面に興味を示すfesenkoが共鳴しただけだったのだろう。
最近AI機械翻訳が改善されたが
所詮概説確率だから文元所長の英訳も見てるかもしれない。
・fesenko.IUT講義
IUT理論の教科書・参考書
1
etale fundamental groups the presentation in online lecture notes such as Milne
math.
2
F. Kato’s book on IUT
「1math数学から2Darkside暗黒面=全く新しい理論トンデモへ転落」といわれているから消去したかも。 AIによれば、Darksideには
ランサムウェア攻撃関連もある。
zen大学設置の母体となったKADOKAWAN高ニコニコなどがロシアBlackSuitよりランサムウェア攻撃 され個人情報が流出し「身代金」を要求された事件があった。
Google.AIによれば原因は
「フィッシング攻撃によって従業員のアカウント情報が窃取され、それが社内ネットワークへの不正アクセスの足がかりとなったことと考えられています。」
「従業員のアカウント情報がフィッシング攻撃によって窃取されたことが根本原因」。
KADOKAWA関連が脆弱。
AI 特にchatGPTの進歩につれより巧妙なフィッシング詐欺が各分野で流行る IUT一派の学問的誠実性の欠如は、日本の学術界の信頼を貶めている >>20
・京大数理研要覧
2025年8月
https://www.kurims.kyoto-u.ac.jp/" target="_blank" rel="noopener">https://www.kurims.kyoto-u.ac.jp/
~kenkyubu/youran2025.pdf 京大数理研要覧 2025.08
・15 .次世代幾何学国際センター
広く次世代の幾何学の研究を推進し，
新しい数学の国際的認知度向上のために研究成果を広く世界に向け情報発信するとともに，国内外の若手研究者など多様な人材の育成を行うため，令和4 年4 月1 日に設置された。
・次世代幾何学国際センター 。
2025年4月1日現在
・センター長 .望 月 新 一.
・副センター長 .玉 川 安騎男.
・特任教授 柏 原 正 樹.
・特任教授 森 重 文.
・特任教授 中 島 啓.
・特任講師 陽 Yang 
