Interuniversal geometry とABC 予想59  

[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59   (1002ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

301(3): 2025/12/11(木)11:01 ID:vvUUANcY(1/4) AAS
なぜ1階論理か？

⑴ ユークリッド平面幾何。
タルスキの公理系は1階述語論理だからユークリッド幾何学も実閉体の条件で完全性.健全性.決定可能だ。

⑵ 新井敏康.数学基礎論

・数学の証明。

>数学の証明において用いられる仮定(公理)を明示しなければならなくなったら、それらは常に形式的に(基礎論の言葉で言えば1階論理で)表現可能であるべきである。
>原理的には1階論理で表現できて
そこでの形式的証明が書けない数学の真理は存在しない、というのが数学の「定義(の一部」になっているのだろう。
控えめに言っても、全数学は究極的には1階論理で形式化できる、ということは経験的事実である。
省5

302(1): 2025/12/11(木)15:16 ID:MVPRer44(1) AAS
数学コミュニティの内戦
動画ﾘﾝｸ[YouTube]

303(2): 2025/12/11(木)15:55 ID:vvUUANcY(2/4) AAS
>>13

m saidi外部評価委員について。

RIMS客員教授として望月新一RIMS教授とIUT論文の書き換えを行い、
一方第三者を装い外部評価委員としてIUT論文のレポートを提出し査読.受理へ影響を与える。
さらにAMSreviewを投稿する。
査読者の1人との疑念まである
マッチポンプ型の政治屋。
利益相反行為は明白。

m. saidi氏とRIMSの関係年表。

▫︎ 2012.8月30日
省12

304: 2025/12/11(木)16:22 ID:vvUUANcY(3/4) AAS
>>302

次回のテーマはm.saidi氏の利益相反行為とIUT論文査読への影響を調査しその結果を期待

305: 2025/12/11(木)23:20 ID:vvUUANcY(4/4) AAS
>>303

saidi AMS math review

外部ﾘﾝｸ:www.math.columbia.edu

306: 2025/12/12(金)11:13 ID:1CmfsJhS(1/5) AAS
まず数学の証明は1階論理(1階述語論理)
で表現する。

307: 2025/12/12(金)13:16 ID:1CmfsJhS(2/5) AAS
IUT論文は準備から読みづらく
大量の注釈で構成され大量の新用語が導入されている。
>>227->228

これはIUTが数学でなく「全く新しい理論」だから、
1階論理(一階述語論理)で証明をすっきりと書くことができない
>301

308: 2025/12/12(金)13:28 ID:1CmfsJhS(3/5) AAS
・
川上量生企画.望月新一監修.加藤文元著「宇宙と宇宙をつなぐ数学」。

P37
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
望月教授は、言うなれば、だれも
話したことがない、新しい言語を
用いて理論を組み立てました。

・P40
>IUT理論のように、あまりにも
新奇で斬新なものだったりすると
省12

309: 2025/12/12(金)15:35 ID:1CmfsJhS(4/5) AAS
>>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.

310(1): 2025/12/12(金)15:50 ID:1CmfsJhS(5/5) AAS
パーフェクトイド空間

バザード、コメリン、マソット著

パーフェクトイド空間は2012年にピーター・ショルツによって導入された、数論幾何学における洗練された対象である。
我々はLean定理証明器でパーフェクトイド空間を定義するのに十分な.位相幾何学.代数学.幾何学における定義と定理を形式化した。
この実験は、証明支援システムが単純な対象に関する長い証明を形式化することとはかなり異なる、その方向性の複雑さを扱うことができることを確認している

311(1): 2025/12/13(土)10:17 ID:IB110o6l(1) AAS
おっすオラオカルトマニア
あっちの応援スレにも書いたけど、SSの批判が間違っているという証明（LEAN4）の新版だ
外部ﾘﾝｸ:ideone.com

312: 2025/12/13(土)11:21 ID:0+gFBF1P(1) AAS
ノイズ除去

313: 2025/12/13(土)23:09 ID:4kLpryDW(1) AAS
>>310
位相空間はどう定義するんだろ
O∈2^2^X∧X∈O∧φ∈O∧∀U,V∈O(U∩V∈O)∧∀P⊂O(∪P∈O)
かな
でもいちいちここに戻るのって大変そう

314(1): 2025/12/14(日)02:24 ID:i6RK4yNy(1/5) AAS
>>311
オカルトマニアさんお久ぶりです。
確認ですが、

2018年　simplificationを含む
scholzestixレポートへ回答として2019年4月に川上量生企画.望月新一監修.加藤文元著「宇宙と宇宙をつなぐ」が発刊
された。(>16)(>17) (>22)

監修が望月新一だから望月新一本人の意見です。

p8 p9 p10
「IUTTでは、この足し算と掛け算の間にある「底なしに固いはの関係」を解体して変形を施すだけでなく、様々な「緩み」=「不定性」が必然的に付随してしまう、「ゆるゆる」な状態で復元するのです。
言い換えれば、復元後の、足し算
省25

315: 2025/12/14(日)02:43 ID:i6RK4yNy(2/5) AAS
>>314

続き

>IUT理論に対するSS批判の無効性の形式的証明

scholze stixは数学ではないIUTの核心部を指摘するためsimplificationの部分より組み立て矛盾を導いた。

IUT理論自体は未完成の全く新しい理論で空疎.間違ってすらいない。
数学の定理証明支援系leanが
トンデモIUT理論の補強になるとすれば興味深いがケビンバザードはIUTを茶番劇と言ってる

316: 2025/12/14(日)10:54 ID:aR9F7s94(1) AAS
画像ﾘﾝｸ[jpeg]:i.imgur.com

317: 2025/12/14(日)11:45 ID:i6RK4yNy(3/5) AAS
・STAP細胞スキャンダル
いもりの尾は切れても細胞が初期化され再生能力を獲得する。
これを応用しSTAP現象は
マウス細胞が酸溶液に晒されると初期化され再生能力を獲得する
こと。
STAP現象を確認したとするSTAP論文は主要マスコミやネイチャーへ大きな話題を提供したが、データ不正のため論文取り下げになった.
(STAP論文取り下げ事件)。
STAP現象は現在もだれも再現実験に成功していない。

・IUTスキャンダル　>7 >8
STAP論文で失敗した内閣府.文科省はIUTによるabc予想の解決。
省7

318: 2025/12/14(日)12:32 ID:i6RK4yNy(4/5) AAS
本来ならトンデモIUT構築によるabc予想解決は京大文科省が切り捨てるべきだが政治利用のため支援していく。
この状況に望月新一教授本人も開き直り
また利用していく。

➖ ➖
>>5
IUTTの検証.進捗情報の報告
2014年12月現在
京大数理解析研究所教授.望月新一

P5
>ABC予想には本質的に異なる
省1

319(1): 2025/12/14(日)18:49 ID:i6RK4yNy(5/5) AAS
2019年4月のKADOKAWA川上量生企画.望月新一監修.加藤文元著「宇宙と宇宙をつなぐ」の英訳本を海外向けへ
未だに発刊しないが、望月新一本人の
監修本だ早く発刊しろ。
fesenkoも発刊を熱望していたはず

320: 2025/12/14(日)21:13 ID:+S9KEuta(1) AAS
宇宙と宇宙をつなぐ数学　IUT理論の衝撃 (角川ソフィア文庫) Kindle版
加藤文元 (著)

321(1): 2025/12/15(月)09:54 ID:sNiJ5Xw2(1/3) AAS
発刊予定の海外向け英訳本は文庫本版
ではなく、
2019年4月.KADOKAWA発刊の川上量
生企画.望月新一監修.加藤文元著「宇宙と宇宙をつなぐ」の英訳だ。
数学本でなく数学とIUTの違いが書いてある後書きも含め一次資料だ。

322: 2025/12/15(月)09:59 ID:tszOPoTx(1) AAS
>「宇宙と宇宙をつなぐ」
それ数学書じゃないけど

323: 2025/12/15(月)10:25 ID:sNiJ5Xw2(2/3) AAS
>>321
　×宇宙と宇宙をつなぐ
⚪︎宇宙と宇宙をつなぐ数学

324: 2025/12/15(月)10:27 ID:4bK47q11(1) AAS
物理でも不可能ｏｒ未解明の事象なのに...

325(1): 2025/12/15(月)11:09 ID:Rzro6tTA(1) AAS
>>319
fesenkoさんが許諾を取って翻訳したらいいのでは？

326(1): 2025/12/15(月)11:59 ID:sNiJ5Xw2(3/3) AAS
>>325

・加藤文元ZMC所長(旧IUGC所長でfesenkoは副所長)が英訳あるのになぜ発刊しないのか疑問を述べていた。

元々加藤文元著だから

2019年4月発刊版英訳.川上量生企画.望月新一監修.加藤文元著「宇宙と宇宙をつなぐ数学IUT理論の衝撃」を加藤文元ZMC所長の元KADOKAWAが出版すれば良い。

327: 2025/12/15(月)12:11 ID:juoaeifs(1) AAS
>>326
元々英訳があるのか

328: 2025/12/16(火)00:44 ID:c6sH+hT9(1/2) AAS
・fesenkoは会見も講義も英語使用で日本語が不自由で、一方望月.加藤文元IUT本は日本語のみ。
発刊当時にfesenkoがベストセラーと騒ぎ絶賛したが金.予算面に興味を示すfesenkoが共鳴しただけだったのだろう。
最近AI機械翻訳が改善されたが
所詮概説確率だから文元所長の英訳も見てるかもしれない。

・fesenko.IUT講義
IUT理論の教科書・参考書
1
etale fundamental groups the presentation in online lecture notes such as Milne
math.
2
省2

329: 2025/12/16(火)00:57 ID:c6sH+hT9(2/2) AAS
AIによれば、Darksideには
ランサムウェア攻撃関連もある。
zen大学設置の母体となったKADOKAWAN高ニコニコなどがロシアBlackSuitよりランサムウェア攻撃され個人情報が流出し「身代金」を要求された事件があった。
Google.AIによれば原因は
「フィッシング攻撃によって従業員のアカウント情報が窃取され、それが社内ネットワークへの不正アクセスの足がかりとなったことと考えられています。」
「従業員のアカウント情報がフィッシング攻撃によって窃取されたことが根本原因」。
KADOKAWA関連が脆弱。
AI 特にchatGPTの進歩につれより巧妙なフィッシング詐欺が各分野で流行る

330: 2025/12/16(火)01:14 ID:QB2CdWz8(1) AAS
IUT一派の学問的誠実性の欠如は、日本の学術界の信頼を貶めている

331(1): 2025/12/16(火)02:50 ID:i0B0WSPf(1/2) AAS
もっちー元気かな

332: 2025/12/16(火)13:16 ID:svVxe/9Q(1/6) AAS
>>20

・京大数理研要覧
　2025年8月

外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp

333(1): 2025/12/16(火)13:41 ID:svVxe/9Q(2/6) AAS
京大数理研要覧　2025.08

・15 .次世代幾何学国際センター
広く次世代の幾何学の研究を推進し，
新しい数学の国際的認知度向上のために研究成果を広く世界に向け情報発信するとともに，国内外の若手研究者など多様な人材の育成を行うため，令和4 年4 月1 日に設置された。

・次世代幾何学国際センター。
2025年4月1日現在
・センター長 .望月新一.
・副センター長 .玉川安騎男.
・特任教授柏原正樹.
・特任教授森重文.
省22

334: 2025/12/16(火)13:44 ID:svVxe/9Q(3/6) AAS
>>333
・教授（併任）荒川知幸.
・教授（併任）小澤登高.
・教授（併任）大槻知忠.
・教授（併任）中西賢次.
↓
・教授　荒川知幸.
・教授　小澤登高.
・教授　大槻知忠.
・教授　中西賢次.
省1

335(2): 2025/12/16(火)15:51 ID:svVxe/9Q(4/6) AAS
>>331

次世代幾何学国際センターの目的は内規を見ると全く新しい理論IUTの拡散.拡大だ。

第3 条ユニットは，それぞれ当該各号に掲げる業務を所掌する。
（1 ）コア研究ユニット数論幾何学，特に宇宙際タイヒミューラー理論を中心に次世代の幾何学の創造を目指す研究力を強化し，国際共同研究強化を通じて新しい数学研究を加速すること。
（2 ）国際情報発信ユニット日本発の新しい数学の研究成果の国際的認知度向上を目的に，世界に向け積極的な情報発信を行うとともに，国際数学研究ネットワークを構築すること。
（3 ）多様な人材育成ユニット若手研究者を中心として研究交流・国際研究集会の運営等を行い，国内外の若手研究者等多様な人材を育成し，次世代研究集団を形成すること。

336: 2025/12/16(火)17:30 ID:2JucKhIB(1) AAS
>>335
>次世代幾何学国際センターの目的は内規を見ると全く新しい理論IUTの拡散.拡大だ。
おお！
とうとうIUTで世界に対峙できるわけだな

337: 2025/12/16(火)18:01 ID:JQ6ZwcOu(1) AAS
どうすんだろうねコレ
どうやって落とし前つけるんやろ

338: 2025/12/16(火)21:02 ID:i0B0WSPf(2/2) AAS
もっちーがコンピュータでabcに落とし前つけるらしいよ

339: 2025/12/16(火)21:09 ID:QUZ0Qd/3(1) AAS
まぁハナホジしながら見守っとくしかないわな

340: 2025/12/16(火)21:29 ID:/39U+x5Y(1) AAS
いったいどうやってプログラム書くのか？？

341(1): 2025/12/16(火)21:43 ID:IrqirGOo(1/2) AAS
lean かなんかで検証する話でしょ。まぁ最後の望みだわな

342: 2025/12/16(火)22:29 ID:svVxe/9Q(5/6) AAS
既にIUTの評価は望月新一教授本人より
「IUT論文は、全く新しい理論かつ
京大PRIMS 編集委に受理された2020年2月以降も言語体系含め未完成」と解明している。>>27

343: 2025/12/16(火)22:35 ID:svVxe/9Q(6/6) AAS
leanの対象は数学。
IUTは数学でなく全く新しい理論、
トンデモ。

344: 2025/12/16(火)22:59 ID:oVV9hqvp(1) AAS
>>341
望月一派がやるってんのなら一派にとって「最後の望み」と言ってもいいけど
leanを使える数論幾何学者がiutを勉強して形式化しろって
言ってるようなもんだから(>>246)、望みなどない

345: 2025/12/16(火)23:37 ID:IrqirGOo(2/2) AAS
いくらなんでも「iut教えてやるからお前らでleanに打ち込んでお墨付き与えてくれ」とか頭おかしすぎてありえないんでは？さすがに自分らで lean 勉強して入力するんでしょ？もうでなきゃ誰も納得しないよ。

346(1): 2025/12/17(水)07:54 ID:S0Xv7yLW(1) AAS
iutよりleanの使い方を学ぶ方がずーっと簡単だもんな
iut理解者ならたくさんいるんだろ

347(1): 2025/12/17(水)10:09 ID:Q7FX6bq6(1) AAS
なにかのAIに、これとこれのIUT文献見込んで
lean 解析やってくれとやればいいんでないの
あるいは、leanにAIが導入されれば同じことができる

348: 2025/12/17(水)12:10 ID:ZtRLwmfM(1) AAS
まぁコレもやるやる詐欺でやらんやろしな
やっても通らないのは本人達もわかってるんやろ

349: 2025/12/17(水)17:10 ID:aC/RmfgJ(1) AAS
>>347
望月新一.加藤文元IUT本によれば、IUT論文は望月新一語のIUT語で書かれ望月新一教授のみ理解できる全く新しい理論。p51
よって、
leanによる数学の定理証明支援
の形式化には自然言語による証明
が前提にありIUTはleanによる定理証明
形式化の対象外だ。　

なお、
このスレは望月新一教授の一次資料に基づきIUT応援CULTスレ
とは無関係。

350: 2025/12/17(水)21:02 ID:XVWV9mvL(1) AAS
もっちーが使うコンピュータて
京　kei かな？
京都大学だから

351: 2025/12/18(木)00:16 ID:msefiRw2(1) AAS
京　kyoh

色々ないみで　

352: 2025/12/18(木)12:25 ID:0QA+0I9x(1/4) AAS
>>346

>iut理解者

>>27を理解できましたか？
IUTは数学ではありません。

353: 2025/12/18(木)16:58 ID:DX1hqZXh(1) AAS
そりゃiut理解するよりlean理解する方が格段に楽でしょ？
iutはフィールズ賞受賞者ですら理解できないんだから

354(1): 2025/12/18(木)19:49 ID:0QA+0I9x(2/4) AAS
2014年12月　>>5
望月新一教授のIUT自己検証。

望月新一教授のみ準備論文からIUT理論に精通している。
世界の数論幾何学者.数学者は
IUTへ全くの素人(除望月新一.サイディ.星と山下剛8月×)で数学的判断を行う資格がない。

望月新一教授を頂点の体制で世界へIUTを布教する宣言をした。
IUT CULT布教の宣言

・望月新一監修加藤文元著IUT本によれば、IUT論文はパラダイム.シフト期のイノベーション理論で大論文で望月新一語で書かれている。>94

・現在の京大数理研.次世代幾何学国際センターは2014年12月発のIUT CULTのセンターだね。
内規　>335

355: 2025/12/18(木)19:52 ID:0QA+0I9x(3/4) AAS
wilsのFLT証明は表現論によるラングランズ対応.志村谷山予想の証明を含みスキームを使うがこちらは数学の発展。

356: 2025/12/18(木)20:00 ID:0QA+0I9x(4/4) AAS
wils→wiles

357: 2025/12/18(木)23:02 ID:Psd/eI6H(1) AAS
単著がほとんどないのに、パパの友達やパパの弟子に共著論文を書いてもらって、
なぜかわずか４０歳で京都大学の教授になった人が京大にいるそうだね。

詳しくはこのスレにGo!
2chｽﾚ:math

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

358(1): 2025/12/19(金)06:29 ID:X+BKC8ld(1) AAS
IUTそのものは数学として発展中なのではないか

359: 2025/12/19(金)06:40 ID:y9Q1DrJ/(1/3) AAS
>>358
そうかもしれない
批判されているのはABC予想の証明では無いと言う点
ただ
その批判の矛先がIUTの根幹に関わることでも有るかもしれないので
IUTの思想を進めるのも危険かも

360: 2025/12/19(金)06:45 ID:y9Q1DrJ/(2/3) AAS
無限小の存在を仮定して微積を構築したライプニッツ
その存在は一旦否定されたが超準解析学で復権できた
IUT界隈が実行すべきはそれと同様の復権をすることで
IUT自体を仮定して発展させることではないだろう

361(1): 2025/12/19(金)07:17 ID:0eFbxpYx(1) AAS
>>超準解析学で復権できた
「無限小」の数学における位置づけと
ニュートン・ライプニッツ理論の偉大さを
混同してはいけない
>>IUT自体を仮定して
無限小とパラレルに論ずるのは変

362: 2025/12/19(金)07:47 ID:BhWuCC4D(1) AAS
iut一派の学問的誠実性の欠如は日本の学術界の信用を貶めている

363: 2025/12/19(金)07:50 ID:y9Q1DrJ/(3/3) AAS
>>361
あなたはIUTが無限小のようには復権できないと思っているようですが
その可能性はゼロでは無いでしょう

364: 2025/12/19(金)12:59 ID:xxu3owV+(1) AAS
IUTで具体的計算は出来ないのかい？
数学って20世紀で終わった感あるよな
四則演算ない数学はつまらない

365: 2025/12/19(金)19:25 ID:BT+Rpueu(1/2) AAS
>>354

IUTは数学ではなくabc予想の「証明」装置.全く新しい理論で、次世代幾何学国際センターの中心の布教ユニットは望月新一センター長と玉川副センター長の支配下にある。

wilesのFLT証明や遠アーベル幾何学は数学でIUTと峻別すること。

366: 2025/12/19(金)19:49 ID:BT+Rpueu(2/2) AAS
>>28

F.Pop Stix らによるワークショップ
「遠アーベル幾何学と基本群の表現」

367: 2025/12/20(土)06:15 ID:sbpLW7AI(1) AAS
ユークリッド原論-ヒルベルト平面幾何-タルスキ公理系.実閉体と遠アーベル幾何学はGalois理論より成り立つ

368(3): 2025/12/21(日)03:23 ID:s0OztFz3(1/2) AAS
・IUT論文は数学ではなく全く新しい理論.トンデモ。
・京大数理研では査読中からabc予想が構築より肯定的に解決した。
・IUTは論文が受理以降も言語体系から未完成。
>>27

➖
IUT年表

⚫︎ 平成28年(2016年)6月　
　IUT論文査読中。 >9
文科省所管の独立行政法人  大学改革支援・学位授与機構宛
京都大学数理解析研究所  第2期中期目標期間(平成22年〜  平成27事業年度)
省33

369(4): 2025/12/21(日)03:29 ID:s0OztFz3(2/2) AAS
>>368

続き

⚫︎2022年4月
NHKスペシャル
数学者は宇宙をつなげるか？ａｂｃ予想証明をめぐる数奇な物語
>26

>加藤文元東工大教授
「徹底的に考えた結論として、無理であるという、非常にそういう意味では大きな結論に至ったんだと。
だから新しい数学を作らなければいけないと感じたとおっしゃってました」

>加藤博士「IUT(宇宙際タイヒミューラー理論)というのは、数学の基本的なところ、深層のところを揺るがす、地殻変動から起こっている理論ですので、現今の数学との違いをきちんと完全に言語化する、新しい数学の言語体系を、早急に作らなければいけないんじゃないか」
省7

370: 2025/12/21(日)04:27 ID:+GHH6plY(1) AAS
>>368
abc予想が構築　→abc予想がIUT構築

371(1): 2025/12/21(日)16:32 ID:QjcNA50a(1/7) AAS
>>369
>「徹底的に考えた結論として、無理であるという、非常にそういう意味では大きな結論に至ったんだと。
>だから新しい数学を作らなければいけないと感じたとおっしゃってました」
「新しい数学」だから数学なのだと思うけどね
どんな数学かはよく分からないけれど

372(1): 2025/12/21(日)16:35 ID:QjcNA50a(2/7) AAS
>>369
>現今の数学との違いをきちんと完全に言語化する、新しい数学の言語体系を、早急に作らなければいけないんじゃないか
加藤文元さんはそれなしに理解できたんではないの？
あるいは自分で考えてそれを理解したのではないの？
ならば加藤文元さんがその作業をやっても良いのでは
査読者でも数理研の界隈の他の誰でもいいけれど

373(1): 2025/12/21(日)16:37 ID:QjcNA50a(3/7) AAS
>>369
>ｐ∈ ｐが真の問題ではない。真の問題は、IUTがｐ≠Pであるにもかかわらずｐ=Pと仮定している点にある
矛盾からはすべてが出るから
本当にp≠Pかつp=Pとしているんなら論外だけど
さすがにそれはないんじゃないのかな

374(1): 2025/12/21(日)19:18 ID:xv9u57AY(1/6) AAS
>>371

2019年4月25日発刊。
川上量生企画望月新一監修加藤文元著「宇宙と宇宙をつなぐ数学 IUT理論の衝撃」=IUT本は2018年scholze stixレポートへの回答かつ望月新一監修より望月新一教授の意見です。

・加藤文元は望月新一と2人セミナーを2005年7月から2011年2月15日まで最後のセミナーでIUT理論の「主定理」3.11？を議論した。
ただし文元本人はIUTを十分理解していないと発言している。

IUTの特徴は　IUT本のとおり。
(>>15) ➖>19

一言でいえば
遠アーベル幾何は基本的に数学ですがIUTはパラダイムシフトした
「数学」でトンデモです。
省5

375: 2025/12/21(日)19:22 ID:xv9u57AY(2/6) AAS
・scholzeはIUTの目的がabc予想の「証明」と指摘している。
望月新一教授はIUTがトンデモでもOKなのだろう。
実際　他の証明方法はない、
準備論文から理解しているのは
望月新一のみ、数学者は望月新一の導きによる理解なしにIUTの「数学的」な評価はできない。
2014年12月 IUTの自己検証　
(>>5)->6

376: 2025/12/21(日)19:25 ID:xv9u57AY(3/6) AAS
>>373

woitブログ
James Douglas Boydコメント
2025.10.10については
(>>30)

取材した上でのコメントだ。

NHKスペシャルでは
玉川 RIMS教授.PRIMS特別編集委員会委員長発言。
「いわば現代の数学では、禁じ手になってるようなことも取り入れて、何かできないかということを考えたということなんですね。1＋1は2でありながら、1＋1は5であるとか。二つの直線が交わるということが起こりながら交わらないとか。本来だったら矛盾が起こるようなことを、活用できないかと考えた」と。

・DuppyもjoshiもトンデモIUTに洗脳されたからか大言壮語したりDuppy京都IUT一派に怯えたりjoshiなど言語がおかしい
省4

377(1): 2025/12/21(日)19:37 ID:DjQN6+L0(1) AAS
望月先生はABC予想を解けなかったから既存の数学では無理だと思ってIUTを作ったと
他の人が既存の数学でABC予想を解いちゃったらどうコメントするんやろ

378(1): 2025/12/21(日)19:38 ID:QjcNA50a(4/7) AAS
>>374
>・加藤文元は望月新一と2人セミナーを2005年7月から2011年2月15日まで最後のセミナーでIUT理論の「主定理」3.11？を議論した。
>ただし文元本人はIUTを十分理解していないと発言している。
そこまで勉強して十分ではないんですか
他の人でそこまで時間を割ける人も居なさそうですね
しかしそれならIUT本は完全に理解してないまま書かれたということですね
なんだかなあ
その本に期待することが実現されてないなら読んでも無駄ですね

379: 2025/12/21(日)19:38 ID:QjcNA50a(5/7) AAS
>>377
「俺が先にやった」じゃないですかね

380(1): 2025/12/21(日)20:09 ID:xv9u57AY(4/6) AAS
>>378
望月新一監修です。
つまり望月新一の意見です。

381: 2025/12/21(日)21:08 ID:xv9u57AY(5/6) AAS
>>372

>査読

(>>19)に答えがある。

現在はパラダイム.シフト期で大論文がIUT論文。

ディオファントス幾何のイノベーションだからabc予想の「証明」査読などは
旧時代の基礎論に拘束されない。
京大数理研の次世代幾何学国際センターはIUT論文受理以前からIUT布教のセンターとして望月新一教授を頂点に活動してきた。
数学でなくトンデモIUTの布教センターだ。

382(1): 2025/12/21(日)21:54 ID:QjcNA50a(6/7) AAS
>>380
望月さんはもちろん理解しているでしょうが
書いた加藤文元さんが理解不十分なら
その本で他人に理解を迫ることは無理です
どこが難しくどう説明されているか
結果だけ記載していても伝わりません

383: 2025/12/21(日)21:56 ID:QjcNA50a(7/7) AAS
望月さんは結果の記載が正しいかどうかは監修できるでしょうが
論理展開について詳しく説明するつもりもないのでは？
そんなところは「当然」と言い放つような気がします

384: 2025/12/21(日)22:13 ID:xv9u57AY(6/6) AAS
>>382
>望月さんはもちろん理解している

P37
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
望月教授は、言うなれば、だれも
話したことがない、新しい言語を
用いて理論を組み立てました。

望月新一しか理解できないんでしょ。
実際は望月新一のabc予想の証明がないから

385: 2025/12/22(月)06:33 ID:Vlu4+111(1) AAS
言語は意思伝達の手段の一つではなかったのか

386(1): 2025/12/22(月)22:14 ID:wUy3nejV(1) AAS
ショルツェはMOで一般人にも丁寧にレスして説明してあげてるのに、
我らがモチときたら、無視、答えない、たまに答えても罵倒、だもんな
そりゃ評価や印象も悪くなるわ
（非数学的側面）

387: 2025/12/22(月)23:03 ID:AFNpR4jP(1/3) AAS
>>43

2014年12月
望月新一によるIUTTの検証.
IUT論文の査読中に自己検証ですね。
IUT論文をパラダイムシフト期のイノベーションと位置付けた手口でしたとは

388(2): 2025/12/22(月)23:13 ID:AFNpR4jP(2/3) AAS
IUT年表
(>>368)➖(>>369)

⚫︎2020年1月.望月新一ブログ　

> 「∧・∨」の誤解こそが混乱の
本質的な原因

これ後で自ら否定していますよ

389: 2025/12/22(月)23:30 ID:AFNpR4jP(3/3) AAS
IUTスキャンダルは(>>27)

390(1): 2025/12/23(火)11:52 ID:GPAfkrzB(1/2) AAS
>>386

(>>31) mo
joshiの文書へscholzeは数学の視点から否定的な返答し望月新一は返答できず。

scholzeは森重文京大教授の提案よりstixと共に望月新一星と1週間滞在しIUT論文のcor.3.12を議論しレポートを書いた。

(>>19)
望月新一によれば　IUT論文は
「パラダイムシフト期においては、当分野に革命を起こすような大論文」。議論よりトンデモIUTを説教したんだろう。
scholzeは数学者だから理解できないのは当たり前で遠アーベル幾何は数学だったはず。
数学者を含めIUTを数学と勘違いする人が多い。

391: 2025/12/23(火)13:15 ID:C7NMmcyM(1) AAS
そりゃ宗教は理解できないわな
頭脳でなく信仰心の問題だから

392: 2025/12/23(火)18:56 ID:GPAfkrzB(2/2) AAS
kevin Buzzardが指摘しているが
LLMには幻覚の問題がある、
また数学証明は全て真が必要で
入試問題のように偽が混じった99点は許されない。

厳密性の定理証明支援系はまず定義も明確で自然言語で証明されていることが必要だ。
形式化中のwilesのFLTの数学証明はこれを満たしている。(>>32)

393: 2025/12/24(水)08:30 ID:lLnMlqUI(1/9) AAS
何度も指摘しているが、
・川上量生が企画し加藤文元著IUT本は望月新一監修より望月本人の意見でIUTの1次資料だ。(>>15) ->19 。

・特に(>>16)刊行によせては望月新一本人の文章で、IUTの緩み =「不定性」は例として物理の量子力学「不確定性原理」をあげている。
数学は数学証明に物理は実験観測結果に基づく。
(実際は量子物理の不確定性の関係.実験は射影測定だけではなく弱測定も成功している)。
IUTの緩み =「不定性」とは数学と
物理を混同した妄想トンデモを表している。
いや信心が必要というべきか

394(1): 2025/12/24(水)17:02 ID:hra2J6zG(1/5) AAS
>>388
>> 「∧・∨」の誤解こそが混乱の
>本質的な原因
>これ後で自ら否定していますよ
それはどこで分かるのですか？

395(2): 2025/12/24(水)17:13 ID:lLnMlqUI(2/9) AAS
>>27です。

・望月新一ブログ2022.5.02 。
2022年4月NHKスペシャル「数学者は宇宙をつなげるか?
abc予想証明をめぐる数奇な物語」について、

望月新一監修加藤文元著宇宙と宇宙をつなぐ数学を解説本の名で取り上げているが、
望月新一教授は、加藤文元の発言「現今の数学との違いをきちんと完全に言語化する、新しい数学の言語体系を、早急に作らなければいけないんじゃないか」を否定していない。

396: 2025/12/24(水)18:27 ID:lLnMlqUI(3/9) AAS
>>395

追記

woit blog .2022.4.9 「ABC on NHK 」

・up date

>Reports.
I’m seeing from those who have watched the program say that it does correctly explain that the proof is not accepted by many experts.
省2

397: 2025/12/24(水)18:29 ID:lLnMlqUI(4/9) AAS
外部ﾘﾝｸ:www.math.columbia.edu

398: 2025/12/24(水)19:50 ID:hra2J6zG(2/5) AAS
>>395
これは>>394に対してレスをしていただいたんでしょうか？けれど>>27には>>388
>これ後で自ら否定していますよ
否定しているような箇所がありますでしょうか？

399(1): 2025/12/24(水)19:53 ID:lLnMlqUI(5/9) AAS
日付が後

400: 2025/12/24(水)22:13 ID:hra2J6zG(3/5) AAS
>>399
それだけですか
理由としては
イマイチですね

上下前次 1-新書関写板覧索設栞歴

あと 602 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.035s