25/11/15 09:04:25.98 ugKLCP76.net
ところであなたは
加藤文元という方が
「望月氏のIUT理論における宇宙はグロタンディーク宇宙のことではない｣
と言ったらしいですが（どこで？）これはどういう意味だと思ってますか？
あるいはIUT界隈ではどう受け止められているんでしょう？
51:１３２人目の素数さん
25/11/15 09:10:53.65 ugKLCP76.net
どうようにIUTで出て来る｢宇宙｣がグロタン宇宙ではないと開設してる人が居ますが
When not to say “universe”
August 6, 2021 ~ David Roberts
URLﾘﾝｸ(thehighergeometer.wordpress.com)
これについての界隈での評価はどうなんでしょう？
52:１３２人目の素数さん
25/11/15 09:39:04.67 v01wjltj.net
>>49
あなた自身の評価は？
53:１３２人目の素数さん
25/11/15 10:04:38.20 ugKLCP76.net
>>50
同じような指摘をあちこちで見かけますから
そうかも知れないなと思ってますが
IUTに詳しくないので評価できないところですかね
54:１３２人目の素数さん
25/11/15 10:16:05.97 v01wjltj.net
確定したものがあると思いますか
それともあなた自身で確定させたいですか
55:現代数学の系譜 雑談
25/11/15 10:26:39.06 Jxqf+IQV.net
>>47
>>だが、Stixさんは 多分断った。彼は、IUTについては いままで一切発言していない。完黙です
>sholzeさんと一緒に数理研に来て議論して一緒に疑義を表明してるのでは？
その一番詳しい説明が、下記の taro-nishinoの日記の 3月 24, 2019 ですね
さて、数学的論点は、主にショルツは ラベル付け 無しでは 機能しないと言い
望月氏は 「ラベル付けまでして異なるものだと主張しています」っところです＊）
（＊）なお taro-nishino氏は アンチIUTなので”現在のキャテグリ論では同型なオブジェクトの間を区別出来ません”と コメントを付記している
注：IUTに適当かどうかは不明ですが、区別できないものいを ラベル付けして区別することは 数学ではありますよ
卑近な例が 虚数単位の+iと-iで ラベルが+と-です
別に、 x^3=1の虚数根 ωとω^2では ラベルが指数の1と2 等です
（片方をラベルで決めれば もう一つが決まり 区別できる））
で、森重文が声を掛けたことですが、当然 旅費は日本持ちで京都に来て貰ったのです
5日間のホテル代と 航空費2人分 仮に 一人100万円として 二人で計200万円
200万円を 一声で出せるのは 森先生が RIMSの重鎮だからですね
また森先生は、当時IMUの総裁で ショルツがフィールズ賞当確を知っていて
「早く火消しをしておこう」と思った(フィールズ賞を取った後では 多忙になるから)
ところが、”火に油”になってしまったというのが 実際に起こったことですね （＾＾
森重文先生が、望月氏に”ショルツはフィールズ賞当確だ”を伝えれば 違ったかも
（>>43 at the advanced undergraduate/beginning graduate level は 言わなかったでしょう）
だが、”ショルツはフィールズ賞当確”は極秘事項で 口外できなかった・・
前置きが 長くなったが スティックス氏も 非公式な議論とし simplification手法は ありとしても
しかし、公式の数学では ストローマン論法という自覚もあると思います。だから、その後はIUTにはノーコメントです
つづく
56:現代数学の系譜 雑談
25/11/15 10:27:03.42 Jxqf+IQV.net
つづき
(参考)
URLﾘﾝｸ(taro-nishino.blogspot.com)
taro-nishinoの日記
ABC予想の壮大な証明をめぐって数学の巨人達が衝突する
3月 24, 2019
昨年末(2017年12月16日)に某新聞が誤報に近いことを報道したことも記憶に新しいでしょう。そんな情報に振り回されないために今回の記事です。
紹介する記事は"Titans of Mathematics Clash Over Epic Proof of ABC Conjecture"です。その私訳を以下に載せておきます。URLﾘﾝｸ(www.quantamagazine.org) quantamagazine Erica Klarreich September 20, 2018
(抜粋)
マスコミの問合せに対し、論文は受理されていないとPRIMSはすぐに応答した。しかし、彼等がそんなことをやっている以前に、ショルツは長い間数論学者達にプライベートで言っていたことを公に述べることを決心した。証明を取り巻く議論全体が"余りにも社会問題になっていた"と彼は判断した。"すべての人はこれが如何に証明ではないような気がするだけを語っていたが、誰も実際に'誰も証明が分からない箇所は何とここにある'と言ってなかった"。
だから、Calegariのブログポストの下のコメント欄にショルツは"系3.12の証明の中の図3.8以降のロジックを全く追えない"と書いた。彼は更に"証明を理解していると主張する数学者達はそこではもっと言わなければならないことを認めたがらない"と追記した。
京都大学での望月の同僚であり、フィールズ賞受賞者の森重文はショルツに彼と望月の間の会合を促進するという申し出を書いた。ショルツは今度はスティックスに手を差し伸べ、3月に両者は京都へ望月と星とでやっかいな証明を議論するために旅行した。
ショルツとスティックスは"議論が絶対に働かないやり方を特定している"とカリフォルニア大学サンディエゴの数学者キラン・ケッドラヤは言った。彼は望月の論文群を深く研究している。"だから、もし議論が正しければ何か異なること、ショルツとスティックスが述べることよりも更に難解な何かをしなければならない"。
更に難解な何かはまさに証明がやっていることだと望月は強く主張する。異なると見なすべき数学オブジェクトの間の勝手な同定を作るという間違いをショルツとスティックスはしていると彼は書いた[訳注: 同型なオブジェクトをあえてラベル付けまでして異なるものだと望月博士は主張しています。しかし、現在のキャテグリ論では同型なオブジェクトの間を区別出来ません]
(引用終り)
以上
57:１３２人目の素数さん
25/11/15 10:33:41.40 ugKLCP76.net
>>52
自分の認識を持ちたいとは思ってますよ
しかし現状眺めているだけなので
よく知っていそうな人がどう考えているかを
知りたいと思ってます
58:１３２人目の素数さん
25/11/15 10:36:53.75 ugKLCP76.net
>>53
>だから、その後はIUTにはノーコメントです
もう論破したからあとは面倒くさくなったと思っているかも？
59:１３２人目の素数さん
25/11/15 10:41:30.01 ugKLCP76.net
>>36
>直観的には、強制法は集合論の宇宙 V をより大きい宇宙 V* に拡大することから成り立っている
でも実際にはモデルの話であって
可算モデルを別の可算モデルにする手法らしいですよ
60:１３２人目の素数さん
25/11/15 10:46:48.06 ugKLCP76.net
あと
>>36
URLﾘﾝｸ(ja.wikipedia.org)
にある
>直観的には、強制法は集合論の宇宙 V をより大きい宇宙 V* に拡大することから成り立っている
では
V*=V×{0,1}={(x,0),(x,1)|x∈V}
にしてますけどこれもVの部分クラスですから
大きいと言うのもどうかなって感じです
「中に入れ込む」みたいなイメージですかね
61:現代数学の系譜 雑談
25/11/15 11:03:00.07 Jxqf+IQV.net
>>56
>>だから、その後はIUTにはノーコメントです
>もう論破したからあとは面倒くさくなったと思っているかも？
一番可能性が高いのは
・望月先生の 罵倒癖を見抜いた （>>43 at the advanced undergraduate/beginning graduate level ）
・メンドクサイ人みたいだから、関わらないようにしようという 大人の態度
・”IUTの真贋は そのうちに分るだろう”と
スティックス氏は、オトナですね
ショルツ氏よりも
日本には「金持ち喧嘩せず」の格言がある
ショルツ氏も フィールズ賞とったら 大数学者の態度と風格であるべきで
遺恨試合を引き摺って zbMATH Review 書くのはねぇ～ がきんちょでしょ
62:１３２人目の素数さん
25/11/15 11:09:38.35 ugKLCP76.net
>>59
>遺恨試合を引き摺って zbMATH Review 書くのはねぇ～ がきんちょでしょ
私には言行一致で誠実な人に見えますけどね
63:現代数学の系譜 雑談
25/11/15 11:12:53.36 Jxqf+IQV.net
>>57-58
>>直観的には、強制法は集合論の宇宙 V をより大きい宇宙 V* に拡大することから成り立っている
余談ですが、小平先生が コーエンだったかの 強制法の論文を読もうとしたけど
ワケワカだったと なにかに書いていた
私の おすすめは >>13 より
URLﾘﾝｸ(konn-san.com)
石井 大海
URLﾘﾝｸ(konn-san.com)
強制法セミナー第0回：忙しい人のための強制法 石井 大海 2024-06-02
強制法は、与えられた現在の集合論のモデル（宇宙、universe）に新たな元を付加して拡張するための一般的な枠組みである
です
図解がある
>>17の
加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」
＜“big picture”＞ Career advice Terence Tao
ですね （＾＾
64:現代数学の系譜 雑談
25/11/15 11:19:46.59 Jxqf+IQV.net
>>60
>>遺恨試合を引き摺って zbMATH Review 書くのはねぇ～ がきんちょでしょ
>私には言行一致で誠実な人に見えますけどね
誠実ねぇｗ
ショルツ氏は フィールズ賞とったら 大数学者として
彼で無ければできない 大きな仕事が沢山あるはずで・・・
まあ、それ（Review 書く）は 彼の選択肢の一つですが
zbMATH Review なんて 書きたいやつに書かせれば 良いのでは？
ショルツ氏と同じ意見を書くかもしれないし
そうでないかもしれないし
望月IUTの成否など 歴史の審判に任せればいいのです
スティックス氏は、オトナだから そういう態度でしょ
65:１３２人目の素数さん
25/11/15 11:39:24.19 ugKLCP76.net
>>61
>石井 大海
>URLﾘﾝｸ(konn-san.com)
>強制法セミナー第0回：忙しい人のための強制法 石井 大海 2024-06-02
どうもありがとう
66:現代数学の系譜 雑談
25/11/15 11:46:58.19 Jxqf+IQV.net
>>63
どうもです
因みに 石井 大海さん
早稲田 数学科→ 筑波 数学 博士です（下記）
URLﾘﾝｸ(konn-san.com)
プロフィール konn-san.com
自己紹介
数学と関数型プログラミングを愛でる博士（理学）。数学（集合論をはじめとした数学基礎論および計算代数）と本格ミステリ、関数型プログラミング。時々パズル。
受賞歴・資格等
2015年度 第十四回茗渓会賞
2013年度 早稲田大学基幹理工学部卒業生総代
2013年度 早稲田大学基幹理工学部長賞最優秀賞（第一回）
年表
2019/03 筑波大学大学院 数理物質科学研究科 数学専攻 博士後期課程修了
2017/04〜2019/03 日本学術振興会特別研究員（DC2）
2016/04〜 筑波大学大学院 数理物質科学研究科 数学専攻 博士後期課程
67:現代数学の系譜 雑談
25/11/15 11:59:08.11 Jxqf+IQV.net
>>61 補足
>URLﾘﾝｸ(konn-san.com)
>強制法セミナー第0回：忙しい人のための強制法 石井 大海 2024-06-02
>強制法は、与えられた現在の集合論のモデル（宇宙、universe）に新たな元を付加して拡張するための一般的な枠組みである
あと、(参考)>>13 より 薄葉先生 再録
URLﾘﾝｸ(www.mathsoc.jp)
企画特別講演 2017年度年会 日本数学会
薄葉 季路 (早大理工)
集合論の宇宙 —Universe と Multiverse—
URLﾘﾝｸ(www.mathsoc.jp)
発表スライド『集合論の宇宙 Universe と Multiverse』
P7
到達不能基数
Remark
到達不能基数の存在はグロタンディーク宇宙と同値である
(引用終り)
で、21世紀のいまどきに
”宇宙”といえば、こちらの意味ですね
むかしむかし グロタンディークが書いたという
強制法以前の SGA”宇宙”を持ち出して
これが、数学の業界標準ですよね とか言ってもね・・
それ 浦島太郎さんで
いまどきの数学者は びつくり
「浦島太郎さん 早く玉手箱あけて 煙を・・・」
ですね
プリンストン大学飛び級の数学大天才に
下世話な 基礎論数学用語の使い方は
関係ないといえば それまでですが・・（＾＾
68:１３２人目の素数さん
25/11/15 15:15:19.09 +RARlpD5.net
まぁ Grothendieck 宇宙なわけないわな。「数学者が議論を始める時点でひとつ固定するもの」が Grothendieck 宇宙なわけない。そもそも Grothendieck 宇宙そのものが、「Versus class に含まれていて Versus class とおなじような役割をはたしてくれる何か」なわけだから「一つに固定」するわけがない。
ようするに望月先生はこの「モデル」と「宇宙」をわざとか、誤解か、真相はわからんけど同一視してるんやろ。もちろんそんなのむちゃくちゃなんやけどな。
プリンストンの飛び級かなんかしらんけど基礎論では学部生レベルでしかない。
69:現代数学の系譜 雑談
25/11/15 17:21:29.04 Jxqf+IQV.net
>>66
>まぁ Grothendieck 宇宙なわけないわな
>基礎論では学部生レベルでしかない
ヒキコモリ数学基礎論くんか
あのな、基礎論以外の 普通の数学者は
ZFCとか ZFCGとか 真面目には考えてないわけで
まあ、望月先生も 「ZFCG内には 収まっていると思う」程度の 当たり障りのないことで
流しておけば それで良かったんだよ
IUT自身の本論とは 無関係でね
ところが、Inter-Universal → 宇宙際 → 宇宙と宇宙をつなぐ
まで来ると、それは 完全に 文学で ”妄想”だよ
（文学的 ”妄想”から 着想を得たらしいけど）
だけど、それと IUTの本論の数学とは
無関係ってこと
下記の Yourpedia にある通りです
(参考)
URLﾘﾝｸ(ja.)ｙｏｕｒpedia.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
宇宙際タイヒミュラー理論
目次
13 数学基礎論による厳密な定式化
以下の問題点が指摘されている。
・ 同じ言語上の二つの理論において、保存的拡大という用語を使用している。特にZFCGはZFCの保存的拡大ではない。
・ ZFCは無限個の公理からできている。仮に有限個の公理型に分類しても定式化の仕方によるので9個とは言い切れない。
これらは細部や用語上の問題ではなく、一階述語論理などの基本的な性質に関連するため、Inter-universal Teichmuller Theory IV の Section3 は集合論や数理論理学における文脈では意味をなさない主張になっており、著者が数理論理学について理解をしていない可能性があるという意見がある。（ただし論文の構成上、宇宙際タイヒミュラー理論の正当性とは関係ないとみられている。）
70:１３２人目の素数さん
25/11/15 18:24:23.65 y+Q/Jkno.net
>>67
>あのな、基礎論以外の 普通の数学者は
>ZFCとか ZFCGとか 真面目には考えてないわけで
集合論≠数学基礎論≒数理論理学
おまえ数学基礎論を誤解しとる ていうか集合論も論理学も初歩の初歩から分かってない
71:１３２人目の素数さん
25/11/15 18:28:35.16 y+Q/Jkno.net
>>67
>・ 同じ言語上の二つの理論において、保存的拡大という用語を使用している。特にZFCGはZFCの保存的拡大ではない。
>・ ZFCは無限個の公理からできている。仮に有限個の公理型に分類しても定式化の仕方によるので9個とは言い切れない。
こんなのは初歩の初歩の初歩 わざわざコピペすんな馬鹿
72:１３２人目の素数さん
25/11/15 18:33:27.46 y+Q/Jkno.net
分かってないから「これコピペすれば頭良いと思われるだろう」という馬鹿な考えでコピペする
愚かなことはやめたまえ みっともないから
73:現代数学の系譜 雑談
25/11/15 19:03:14.84 Jxqf+IQV.net
>>68-70
ふっふ、ほっほ
力点は、そこでに ない
『Inter-universal Teichmuller Theory IV の Section3 は集合論や数理論理学における文脈では意味をなさない主張になっており、著者が数理論理学について理解をしていない可能性があるという意見がある。（ただし論文の構成上、宇宙際タイヒミュラー理論の正当性とは関係ないとみられている。）』
の
IUT IV の Section3 ・・
（ただし論文の構成上、宇宙際タイヒミュラー理論の正当性とは関係ないとみられている。）
の部分だ
つまり
IUT IV の Section3 は、独立した Section であって
全体の構成の 単なる基礎論のご説明にすぎず
よって それより 前の部分とは 切り話して考えるべきだと
そういうことです
74:現代数学の系譜 雑談
25/11/15 19:04:36.30 Jxqf+IQV.net
>>71 タイポ訂正
力点は、そこでに ない
↓
力点は、そこに ない
75:１３２人目の素数さん
25/11/15 19:38:26.19 9BdHzCaB.net
>>67
iutの問題はzfcがどうとかいうレベルの話じゃない
お前の知能では理解できないよ
76:１３２人目の素数さん
25/11/15 19:44:34.31 9BdHzCaB.net
基礎論なんて勉強しなくても普通の数学者は困らない。
「こういうふうに議論を進めれば基礎論的な問題は発生しない」というルールを先人が整備してるからな。そのルールどおりやってれば問題ないし、それで大体解ける。問題はそのルールを逸脱したなにかをやりたい場合。やりたいならやればいい。しかしそれなら先人が整備してくれたのと同じような作業をやらんといかん。当たり前やろ？でiutはやってない。おそらくこれからもやらない。できないんやろ。もうそのうちできるという言い訳ができる猶予は残ってない。もう終わってます。数学の世界で界隈で抵抗してる生き残りが退場したら終わり
77:現代数学の系譜 雑談
25/11/15 20:04:09.78 Jxqf+IQV.net
>>73-74
ふっふ、ほっほ
その基礎論の話を
圏論でも 同じ話ができる
圏論なんて それほど勉強しなくても普通の数学者は困らない
「こういうふうに議論を進めれば圏論的な問題は発生しない」というルールを先人が整備してるから
望月氏は、新しい圏論を作ったとは言っていない
圏論を使って、新しい数学を作ったという
だから、先人が整備した圏論のルール通りなら
「圏論的な問題は発生しない」となるよ （＾＾
78:１３２人目の素数さん
25/11/15 20:56:23.11 ugKLCP76.net
>>71
>IUT IV の Section3 は、独立した Section であって
>全体の構成の 単なる基礎論のご説明にすぎず
>よって それより 前の部分とは 切り話して考えるべきだと
>そういうことです
けれど
そこが構成の正当性のキモかもしれませんよ
79:１３２人目の素数さん
25/11/15 21:22:50.47 ugKLCP76.net
>>62
>望月IUTの成否など 歴史の審判に任せればいいのです
自分で審判できる人は積極的に審判すべきだと思いますね
80:１３２人目の素数さん
25/11/15 21:38:51.46 9BdHzCaB.net
できない
iutの基礎論絡みの不完全さは一部ではダメなんだろうなと思われてたけど、もしかしたら誰かがちゃんとした体系を出してくる可能性もないではないから後になってバツが悪くなるのも嫌だからハッキリダメだと言ってなかったけど、それももう終わりですな。
後なんか勘違いしてるようだけど圏論持ち出しても解決なぞしない。言語の設定と推論規則の設定を出さない限り無駄。圏論だからそれれがいらんわけないやろ。お前がそれに類することに挑戦してたhp出してたやろ？アレのiutを扱えるバージョンが出てこないとダメ。
これまでどこにも出てきてない。そしてこれからもでない。
終わってる
81:現代数学の系譜 雑談
25/11/15 23:16:37.63 Jxqf+IQV.net
前スレより
ｽﾚﾘﾝｸ(math板:1000番)
>3）それに、ある人を評価するには 評価する人が 対象者よりもレベルが上である必要があるが その証明がないよね
あなたのscholzeという人への評価がまさにそれですか
(引用終り)
大事なところだから、ハッキリさせて置くが
弘法も筆の誤り
誰しも、間違いはある
たいがい、数学の教科書で 初版には 正誤表が出される
それは、数学の教科書の評価とは 全く別の話
scholze氏の simplification手法は、ディベートでの ストローマン論法>>35
数学は、ディベートとは違う
ディベートのような 詭弁に近い論法で 相手との論争に勝っても 数学的には無意味です
詳しくは、>>35に書いた通りです
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
弘法も筆の誤り（こうぼうもふでのあやまり）は、平安時代の日本からのことわざ。
概要
その道に長じたような人であっても、その道において失敗をすることもあるということを意味する[1]。
82:現代数学の系譜 雑談
25/11/15 23:28:37.82 Jxqf+IQV.net
>>76-78
>>望月IUTの成否など 歴史の審判に任せればいいのです
>自分で審判できる人は積極的に審判すべきだと思いますね
同意ですよ
下記 IUT Challenger Prize
”理論の本質的な欠陥を示す論文を発表した最初の執筆者に対しては100万ドル”
Scholze氏が、>>35の “Why ABC is still a conjecture” [URLﾘﾝｸ(www.math.uni-bonn.de)
に 加筆して 専門誌に投稿して 論文をアクセプト、掲載してもらって
100万ドル賞金を請求されれば、よろしいかと
もちろん、あなたでも・・ （＾＾
(参考)テンプレ>>1より
URLﾘﾝｸ(zen.ac.jp)
IUT Challenger Prizeの紹介
(抜粋)
2023年7月
審査の対象とする論文については、MathSciNetに載っていて、かつ、過去10年間に数論幾何の論文が10本以上掲載されている数学の専門誌に査読の上でアクセプトまたは掲載されたものに限ります
://www3.nhk.or.jp/news/html/20230707/k10014121791000.html
NHK 数学「ABC予想」新たな証明理論の研究発展させる論文に賞創設 20230707
研究を発展させる論文を対象に、100万ドルの賞金を贈呈する賞が国内のIT企業の創業者によって創設されることになりました
▽新たな発展を含む論文を毎年選び、最大で賞金10万ドル
▽理論の本質的な欠陥を示す論文を発表した最初の執筆者に対しては100万ドル
83:現代数学の系譜 雑談
25/11/15 23:41:21.14 Jxqf+IQV.net
層 圏 トポスではないが
集合、クラス、宇宙、Conglomerate (mathematics)
数学の英単語集に ”Conglomerate ”なるものが あるという（下記）
ご参考まで
URLﾘﾝｸ(en.wikipedia.org)(mathematics)
Conglomerate (mathematics)
In mathematics, in the framework of one-universe foundation for category theory,[1][2] the term conglomerate is applied to arbitrary sets as a contraposition to the distinguished sets that are elements of a Grothendieck universe.[3][4][5][6][7][8]
Definition
Technically this is organized by changes in terminology: when a Grothendieck universe
U is added to the chosen axiomatic set theory (ZFC/NBG/MK) it is considered convenient[9][10]
・to apply the term "set" only to elements of U,
・to apply the term "class" only to subsets of U,
・to apply the term "conglomerate" to all sets (not necessary elements or subsets of U).
As a result, in this terminology, each set is a class, and each class is a conglomerate.
ついでに
URLﾘﾝｸ(en.wikipedia.org)
Universal set
In set theory, a universal set is a set which contains all objects, including itself.[1] In set theory as usually formulated, it can be proven in multiple ways that a universal set does not exist. However, some non-standard variants of set theory include a universal set.
Theories of universality
Universal objects that are not sets
Main article: Universe (mathematics) URLﾘﾝｸ(en.wikipedia.org)(mathematics)
The idea of a universal set seems intuitively desirable in the Zermelo–Fraenkel set theory, particularly because most versions of this theory do allow the use of quantifiers over all sets (see universal quantifier). One way of allowing an object that behaves similarly to a universal set, without creating paradoxes, is to describe V and similar large collections as proper classes rather than as sets. Russell's paradox does not apply in these theories because the axiom of comprehension operates on sets, not on classes.
The category of sets can also be considered to be a universal object that is, again, not itself a set. It has all sets as elements, and also includes arrows for all functions from one set to another. Again, it does not contain itself, because it is not itself a set.
84:現代数学の系譜 雑談
25/11/15 23:57:12.15 Jxqf+IQV.net
夫は数学者 谷本明夢
4年間リジェクトされ続けた論文を 執念で通して
結果として この論文が 最も引用数の高い論文になった話
面白い
URLﾘﾝｸ(www.nippyo.co.jp)
数学セミナー 2025年12月号
夫は数学者
あれから 4 年後―……谷本明夢 56
85:１３２人目の素数さん
25/11/15 23:58:52.68 Jxqf+IQV.net
>>82
夢を明(み)る ような・・・
86:１３２人目の素数さん
25/11/16 00:23:20.20 7nC0hPqW.net
>>79
scholzeさんの真意が分からないあなたの非難はまさにあなたが書いたとおりに天に向かって唾を吐いているのです
87:１３２人目の素数さん
25/11/16 00:26:21.21 7nC0hPqW.net
>>83
巡回ご苦労様です
88:１３２人目の素数さん
25/11/16 00:50:50.10 8hCLebTL.net
審判もなにも、そもそもなんも書いてないからな。判定もくそもない。
89:１３２人目の素数さん
25/11/16 05:29:40.51 2oD8CV1x.net
現代数学の落伍者 雑談 ◆yH25M02vWFhP＝かつての日本
望月新一＝かつての現人神であった天皇
IUT＝かつての日本軍
ショルツェ＝マッカーサー
90:１３２人目の素数さん
25/11/16 06:11:18.13 2oD8CV1x.net
中国に喧嘩売る日本は身の程知らず
数学板読者に喧嘩売る◆yH25M02vWFhPは身の程知らず
91:１３２人目の素数さん
25/11/16 07:10:27.70 bI1obZN3.net
老兵は死なず
ただ消え去るのみ
92:１３２人目の素数さん
25/11/16 07:32:04.01 kAoOd+f+.net
喧嘩売ってるのは中国な
日本は「隣家が火事になるとうちも危ないから火消の備えが必要」と言っただけなのになぜか中国が発狂し日本に喧嘩売ってきた
なんで？ 放火する気満々だから？
93:１３２人目の素数さん
25/11/16 07:38:58.80 kAoOd+f+.net
総領事がこともあろうに駐留国の国家元首斬首予告とか常軌を逸している
本国は素直に謝罪すれば良かったもののなぜか擁護 あらら やっちゃったね 知らねーぞ もう取り返しつかんぞ
これで「中国は野蛮なならず者国家」ということが世界中に発信されてしまった
もし最初からそれが狙いだったとしたら高市ってめちゃくちゃ有能だなｗ
94:１３２人目の素数さん
25/11/16 07:44:00.56 kAoOd+f+.net
「勝手に突っ込んできたその汚い首は一瞬の躊躇もなく斬ってやるしかない。覚悟が出来ているのか」
君の敬愛する中国様の本性出ちゃったね
そういえばこの言い様、なんとなく君のに似てるなｗ 似た者同士ってことかｗ
95:１３２人目の素数さん
25/11/16 07:51:03.60 kAoOd+f+.net
あの国の常軌を逸した言動は、これまでの戦狼外交の成功体験から来てるのだろう
かつてあの国は空前の好景気で誰もが公然と批判するのを避けてきたが、今は超がつく不景気、なのに昔のやり方を変えられないのは時節・潮流がまったく読めていない
これは予想より早く崩壊するかもしらんね
96:１３２人目の素数さん
25/11/16 08:05:50.52 bI1obZN3.net
かつてインドネシア大使が似たような暴言で
帰国させられた時
毛沢東の命令で
周恩来以下の高官たちが
空港に彼を出迎えたそうだ
97:１３２人目の素数さん
25/11/16 08:07:49.39 kAoOd+f+.net
今回の騒動は日本が核武装する大義名分になる
なにしろ国家元首を殺害予告されたうえに謝罪どころか喧嘩売られた訳だからな
そこまで見越しての国会答弁だったとしたら100年に一人の有能
98:１３２人目の素数さん
25/11/16 08:10:15.11 kAoOd+f+.net
喧嘩売ってきた国は核を大量保有している
喧嘩売られた日本が核武装しちゃいけない道理が無い
99:現代数学の系譜 雑談
25/11/16 08:12:31.86 bJgXpWGQ.net
>>84
>Scholzeさんの真意が分からないあなたの非難はまさにあなたが書いたとおりに天に向かって唾を吐いているのです
1）”真意”とか、非数学の読心術（テレパシー）は別として
Scholze氏がやったことは、>>35に書いたが
ストローマン論法（simplification手法）です
2）つまり、simplification手法で 自分勝手な アブストラクトを作って
作った アブストラクトにおいて「こんな矛盾が生じる」と論じている
3）これは、数学証明の是非を論じるときには、完全にアウトです
（補足）
・simplification手法やアブストラクト（要約）は、数学の証明以外においては 常套手段です
・が、数学の証明を論ずるときは、この手法は許されない
・数学者の多くが、Scholze氏の ディベート風 ストローマン論法（simplification手法）
に 虚を突かれたと思いますよ
(参考)>>35 より再録
URLﾘﾝｸ(zbmath.org)
zbMATH Reviewer: Peter Scholze (Bonn)
Inter-universal Teichmüller theory. I: Construction of Hod
100:ge theaters(2021). (抜粋) “Why ABC is still a conjecture” [https://www.math.uni-bonn.de/people/scholze/WhyABCisStillaConjecture.pdf] that discusses the issues in slightly more detail. ”2.1.Glossary: IUTT-terminologyandhowwemaythinkoftheseobjects. This will involve certain radical simplifications, and it might be argued that such simplifications strip awayall the interesting mathematics that forms the core of Mochizuki’s proof.” ここで ”radical simplifications”が、ストローマンでアウト！ （政治ディベートでは ストローマンは常套手段だが、数学では許されない！） https://ja.wikipedia.org/wiki/%E3%82%B9%E3%83%88%E3%83%AD%E3%83%BC%E3%83%9E%E3%83%B3 ストローマン（straw man）は、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと、あるいはその歪められた架空の主張そのものを指す
101:１３２人目の素数さん
25/11/16 08:13:03.96 kAoOd+f+.net
>>94
昔から基地外ってことだな
独裁国家はほぼほぼ基地外
102:１３２人目の素数さん
25/11/16 08:15:18.55 bI1obZN3.net
国民たちは
バカとハサミは使いようと
思っているだろう
103:現代数学の系譜 雑談
25/11/16 08:20:52.08 bJgXpWGQ.net
>>89
>老兵は死なず
>ただ消え去るのみ
御大か
巡回ご苦労さまです
下記の彌永 昌吉先生 ガロアの時代 ガロアの数学 第二部 数学篇
2002年8月だから、原稿は95歳くらいか
いま、医学の進歩がありますから
まだまだ、いけますよ
＜アマゾン＞
ガロアの時代 ガロアの数学 第二部 数学篇 (シュプリンガ-数学クラブ) 単行本（ソフトカバー） – 2012/6/5
彌永 昌吉 (著)丸善出版
有名なガロアの主著をフランス語原文から翻訳し、読者がガロア自身の論文をなるべく原文に近い形で理解できるよう、現代数学と歴史的経緯の2つの側面から解き明かす―。90歳を超えてなお現役であり続ける著者は、この前例のない新しい試みに取り組み、『ガロアの時代ガロアの数学』第二部数学篇として完結させた。著者の学問に対する真摯な姿勢と、これから数学を学ぼうとする全ての世代への暖かい眼差しが、読者をガロア理論の世界へといざなう、珠玉の名篇である。
URLﾘﾝｸ(ja.wikipedia.org)
彌永 昌吉（いやなが しょうきち、1906年4月2日[1] - 2006年6月1日[1][2]）は、日本の数学者。東京大学名誉教授
単著
・『ガロアの時代ガロアの数学 第2部』 シュプリンガー・ジャパン、2002年8月 ISBN 4-431-70802-2
104:１３２人目の素数さん
25/11/16 08:50:47.17 7nC0hPqW.net
>>97
>ストローマン論法（simplification手法）です
望月さんの主張の根幹をえぐり出したのかもしれませんから
そうも断定はできません
105:１３２人目の素数さん
25/11/16 08:54:59.94 2oD8CV1x.net
>>90
●ねよ ネグリト土人（嘲）
おまえらなんか、中国の敵じゃねえよ カス！
106:１３２人目の素数さん
25/11/16 08:56:44.84 2oD8CV1x.net
>>91
身の程知らずなバイタ女
金髪爺のフニャ●ンでもいける変態
107:１３２人目の素数さん
25/11/16 08:58:36.93 2oD8CV1x.net
>>92
金髪爺と●●Xするネグリト土人女の
変態っぷりも存分にでちゃったね（嘲）
キミも、白人と●●Xしたい変態だったか
108:１３２人目の素数さん
25/11/16 09:00:26.35 2oD8CV1x.net
>>93
ネグリト土人はかつて身の程しらずにも中国に侵攻し大惨敗した
こんな自己愛●人どもは地球上から消えてなくなったほうがいい
イスラエル同様の正真正銘の害悪
109:１３２人目の素数さん
25/11/16 09:02:31.88 2oD8CV1x.net
>>94
東アジアの大国と、極小の島が、全く同じ力を持つと思うネグリト土人
●ねよ 核で全滅しろよ 身の程知らずのネグリト土人
110:１３２人目の素数さん
25/11/16 09:04:32.66 2oD8CV1x.net
>>95
単に身の程知らずのネグリト土人どもが
おろかにも核武装して自爆死したいだけ
よろしい ならば全面核戦争だ！！！
焼かれて●ねい！！！ ネグリト土人
111:１３２人目の素数さん
25/11/16 09:06:14.08 2oD8CV1x.net
>>96
今すぐ全面核戦争でネグリト土人の島を地球上から消してあげよう
身の程知らずの思い上がりの報いを受けよ ●には●を！！！
112:１３２人目の素数さん
25/11/16 09:06:49.26 kAoOd+f+.net
>>102
ほらね、そうやって発狂して論理的に受け答えができないのあの国にそっくり
そんなにあの国を敬愛してるなら帰化しろよ
113:１３２人目の素数さん
25/11/16 09:09:25.58 2oD8CV1x.net
>>98
ネグリト土人も事実上独裁体制の●●外
まさか欧米とまったく同じだとおもってる？
わけのわからん土人の言葉をしゃべり
わけのわからん土人の神を信仰する
わけのわからん土人の分際で？
114:１３２人目の素数さん
25/11/16 09:09:57.68 kAoOd+f+.net
>>103-108
ここまで発狂するってことはただの左翼じゃなく在日か？
日本から出てけよ薄汚い在日野郎
115:１３２人目の素数さん
25/11/16 09:11:58.14 kAoOd+f+.net
>>110
おまえ独裁の意味わかっとるんか？ どこぞの国みたいに選挙投票率99％とかねーぞ日本はｗ
116:１３２人目の素数さん
25/11/16 09:15:50.51 kAoOd+f+.net
独裁だったらなんで先の選挙で与党が惨敗して参政党が躍進したんだよｗ 矛盾じゃねーかｗ 独裁の意味もワカラン池沼かよ
117:１３２人目の素数さん
25/11/16 09:16:47.61 2oD8CV1x.net
>>109
ネグリト土人は論理を知らんから教えてあげよう
純粋に論理的であれば、トートロジー以外導けない
トートロジーでない命題を結論として導くには
トートロジーでない命題を前提として立てるしかない
いかなる前提を立てるかは論理で決めることではない
ネグリト土人のいう「われらネグリト土人が第一」は
彼らの勝手な前提であって、なんら論理によるものではない
中国が東アジア最強であることは、地政学による結論であり
地政学の前提は、中国が勝手に決めたことではない
またここ数千年の歴史は、地政学の前提と矛盾しない
一方で１９４５年のネグリト土人の大惨敗は
ネグリト土人の「われらネグリト土人が第一」という前提が
現実と整合しない決定的証拠である
あきらめろ
ネグリト土人は珍しい習俗をもつ土人として
保護対象になる以外に生存の道はない
今からでも遅くはない 狩猟採集生活にかえれ
冗談じゃなく マジで
118:１３２人目の素数さん
25/11/16 09:17:35.39 kAoOd+f+.net
与党惨敗＆参政党躍進は移民政策反対の民意の反映だろうが
与党が絶対負けないことが独裁なんだよ馬鹿
119:１３２人目の素数さん
25/11/16 09:17:46.96 2oD8CV1x.net
>>111
土人は土器でもつくってろ（笑）
120:１３２人目の素数さん
25/11/16 09:18:47.83 kAoOd+f+.net
>>114
独裁の意味もワカラン土人が何言っても無駄
121:１３２人目の素数さん
25/11/16 09:19:43.22 2oD8CV1x.net
>>112 ネグリト土人の与党野党は、プロレス並の茶番
>>113 参政党は実は与党 これまたプロレス並の茶番
122:１３２人目の素数さん
25/11/16 09:22:37.81 kAoOd+f+.net
>>118
池沼が何言っても無駄
移民政策反対の民意が選挙結果に反映されていることが民主国家である何よりの証拠 独裁主義者は日本から出てけ
123:１３２人目の素数さん
25/11/16 09:25:53.19 2oD8CV1x.net
>>115
ネグリト土人の社会を実際に支配してるのは大企業と富裕層
「移民」なんてまずいないし、そもそも「移民」が発生する理由はカネ
124: そしてそのカネを稼いでるのは大企業と富裕層 投資とかいって高利でカネ貸して利子で不労所得を得る これがネグリト土人が白い毛むくじゃらの連中から教わった悪い方法 こんなくだらぬことでカネを儲けたせいで 「おれたちが東アジアで一番」 とか自惚れるようになった しかしながらそんなものは所詮ハナクソ ネグリト土人どもは白い毛むくじゃらどもに騙されてる だいたい白い毛むくじゃらども自身が 「こんなこといつまでやってても仕方ないんじゃね」 と気づきつづある ネグリト土人はつねに一歩遅れてる そのせいでこの前も空気よまずに戦争おっぱじめて大敗 また同じあやまちを繰り返すか？ 時代の空気よめないネグリト土人
125:１３２人目の素数さん
25/11/16 09:27:46.67 2oD8CV1x.net
>>119
ネグリト土人が何言っても無駄
移民政策なんていうどうでもいい枝葉末節のことで一喜一憂するのが
大学にも行けぬ高卒レベルのIQ100以下のネグリト土人の残念な現実
ネグリト土人のエセ民主制は自爆ファシズム（笑）
126:１３２人目の素数さん
25/11/16 09:33:13.45 2oD8CV1x.net
与党野党はただの目くらまし
真の支配者はその陰に隠れてる
どっちの党が政権とっても
資本主義体制は否定されない
移民がいようがいまいが
富裕層以外にカネは落ちてこない
IQ100以下の高卒ネグリト土人にはこの事実は分からない
IQ120程度の小賢しいネグリト土人は自分たちだけ得しようとする
しかしネグリトはそこで終わり
IQ140レベルの真の賢者がまずいない
だからネグリトは常に失敗する
127:１３２人目の素数さん
25/11/16 09:36:31.75 kAoOd+f+.net
>>121
おまえみたいな独裁主義者が権力を持てない民主主義国家日本は素晴らしい国
128:１３２人目の素数さん
25/11/16 09:51:58.30 2oD8CV1x.net
>>123
真の支配者の存在に気づけないネグリト土人って正真正銘の愚か者
129:１３２人目の素数さん
25/11/16 10:02:38.41 kAoOd+f+.net
>>124
おまえみたいな基地外が権力持つとポルポト政権カンボジアみたいになる
そんなことにならない民主主義国家日本に感謝するんだな 感謝しないなら日本から出てけ
130:現代数学の系譜 雑談
25/11/16 10:07:04.05 bJgXpWGQ.net
>>101
(引用開始)
>ストローマン論法（simplification手法）です
望月さんの主張の根幹をえぐり出したのかもしれませんから
そうも断定はできません
(引用終り)
1）simplification手法は、数学の証明以外では 普通の手法で
例えば、要約（アブストラクト）は 数学でも常用です
2）しかし、数学の証明で 自分勝手な アブストラクト 作って
”アブストラクト 作ったら ギャップできた”論法は
数学の証明には 適さない
3）仰るように、万に一つ「主張の根幹をえぐり出した」はあり得るとしても
それなら、もう一度 アブストラクトでなく
”IUT論文そのもの の ここの この箇所にギャップあり”を 示さなければいけない
数学の証明における 不備の指摘とは そういうものです
繰り返すが、ストローマン論法（simplification手法）による ギャップ指摘は アウトです■
131:１３２人目の素数さん
25/11/16 10:15:44.24 2oD8CV1x.net
>>125
ドナルド・トランプきどりのネグリト土人がなんかいうとる（笑）
132:１３２人目の素数さん
25/11/16 10:19:57.89 2oD8CV1x.net
>>126
ショルツェが間違ってるなら、間違いを指摘すればいい
別に望月新一本人でなくても星でも山下でもカトブンでもフェセンコでもいい
でも星も山下もカトブンもフェセンコもダンマリ
望月新一は反論したつもりだが、相変わらず何言ってんのかわからん始末
自分以外誰もわからん証明なんか、証明じゃねえよ
ネグリト土人はそんなこともわかんねえのか？
だからおまえらは戦争に負けるんだよ！！！
133:１３２人目の素数さん
25/11/16 10:21:54.87 2oD8CV1x.net
ネグリト土人がダメな点
・前に他人がやったことを、時代と自分の力量を考えず、周回遅れでそっくりそのまま実行する
案の定、大失敗する（笑）
134:１３２人目の素数さん
25/11/16 10:24:21.05 2oD8CV1x.net
ネグリト土人は、セオリー（理論）が理解できない
だから、他人のやったことのメソッド（方法）だけ真似る
しかし前提条件が違えば同じことやっても成功しない
残念ながら論理がわからんネグリト土人は
自分の失敗理由を永遠に理解できないまま
同じあやまちを性懲りもなく繰り返すだろうお
135:１３２人目の素数さん
25/11/16 10:32:02.03 7nC0hPqW.net
>>126
>繰り返すが、ストローマン論法（simplification手法）による ギャップ指摘は アウトです■
内容を理解していないあなたの指摘自体がそのストローマン論法ですよ
136:１３２人目の素数さん
25/11/16 12:46:08.98 JnLfiES0.net
まぁコイツの物言いにロジックなんぞないわな
駄々こねてるだけのクズやからな
137:現代数学の系譜 雑談
25/11/16 12:55:35.66 bJgXpWGQ.net
>>131
>繰り返すが、ストローマン論法（simplification手法）による ギャップ指摘は アウトです■
内容を理解していないあなたの指摘自体がそのストローマン論法ですよ
(引用終り)
違う、形式論理として、証明論で simplification手法（＝ストローマン論法）は
数学の外道だってことです
1）数学の証明は、厳密でなければならない
2）厳密とは、論理にギャップがないこと＊）
3）数学の証明は、普通は極めて緻密で 余計な部分が 殆ど存在しない
4）その証明に対して 例えば5つの要素で成り立っているとして
それを3要素に simplificationしたら ギャップあり という論法は 当然成立しない■
追記
当然ながら、元々5つの要素が必要だとされる証明で、それを3要素に減らしたら ”ギャップあり”は 当たり前ですよ
注＊）例えば 下記 ”ワイルズによるフェルマーの最終定理の証明”において、1点 不備が見つかり、その修正に ほぼ1年
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
ワイルズによるフェルマーの最終定理の証明
証明の発表とその後
発表の後、ニック・カッツがワイルズの論文の査読を行うレフェリーの一人として指名された。カッツはレビューにおいて、ワイルズに証明に関する様々な質問をしたが、そのうちにワイルズ自身も認めるギャップが証明に含まれることがわかった。証明の重要な箇所（ある種の群の位数に上限を与える部分）の誤りであり、コリヴァキアン＝フラッハ法を拡張するのに使用したオイラー系（英語版）が不完全だったというものだった。
ワイルズによれば、1994年9月19日の朝、彼はほとんど誤りの訂正を諦める寸前で、証明に失敗したことを認める瀬戸際におり、他の数学者が証明を発展させ、誤りを探すことができるように証明の詳細を発表しようとしていた。彼は証明がなぜ不完全だったのかを理解するための最後の確認をしていたが、不意に、コリヴァキアン＝フラッハ法の適用の際に問題となっている部分そのものが（コリヴァキアン＝フラッハ法のアプローチから得た経験を援用することで）岩澤理論の適用を可能にすることに気がついた。それぞれのアプローチは単体では不適切だが、両者のアプローチを組み合わせ、双方のアプローチのツールを使用することでギャップを取り除き、（ワイルズが最初に出した論文では証明が与えられていなかった）すべての場合に有効な類数公式(Class Number Formula, CNF)を与えた
1994年10月6日に、ワイルズは3人の同僚（ゲルト・ファルティングスを含む）に彼の新しい証明を査読するように頼んだ[15][16]。1994年10月24日にワイルズは2つの論文を投稿した。この2つの論文は精査され、最終的に1995年5月にAnnals of Mathematicsで発表された。
・Modular Forms, Elliptic Curves and Galois Representations（モジュラー形式、楕円曲線およびガロア表現）[3]
・Ring theoretic properties of certain Hecke algebras（ある種のヘッケ代数の環論的性質）[4]
後者がワイルズとテイラーの共著で、主論文で訂正が必要だった箇所を修正し、必要な条件が満たされていることを証明したものである
(引用終り)
138:１３２人目の素数さん
25/11/16 13:19:48.84 7nC0hPqW.net
>>133
いいえ
ストローマン論法で非難しているのはあなたです
139:１３２人目の素数さん
25/11/16 13:47:02.74 JnLfiES0.net
どんなにロジカルな言葉を投げても「そんな事ないないないないない」というだけ。小学生のガキ
140:１３２人目の素数さん
25/11/16 13:52:34.55 kAoOd+f+.net
>>133
そもそもショルツェは何の証明もしてないだろ 望月論文が証明になってないと言ってるだけ
おまえはそこから既に分かってない
141:１３２人目の素数さん
25/11/16 13:54:34.54 kAoOd+f+.net
というか>>133は証明とは何か分かってないの丸分かり
142:１３２人目の素数さん
25/11/16 13:56:11.93 kAoOd+f+.net
もし証明とは何であるか分かってたら>>133みたいなど素人丸出しのナイーブな文章は書かないからね
143:１３２人目の素数さん
25/11/16 14:00:02.90 kAoOd+f+.net
数理論理学に証明論という分野があるくらいなんだから、
証明というものがおまえの考えてるようなナイーブなものの訳ないだろ
もしそんなんだったら学問として成立せんわ
144:１３２人目の素数さん
25/11/16 14:10:53.93 kAoOd+f+.net
高校までの数学と違い、大学数学はほとんど証明
証明が何であるかも分からんってことは大学数学全滅ってこと
なんで数学板なんかでホルホルしてんの？ おまえ向きの板は別にあるだろうに
145:現代数学の系譜 雑談
25/11/16 14:33:18.98 bJgXpWGQ.net
>>134
いいえ
ストローマン論法で非難しているのはあなたです
(引用終り)
分ってないね
まず、simplificationという手法が、人の日常の思考で
如何に重要で、如何に常用されているか から語ろう
1）日常 決断を必要とするときは 多い
その決断とは、未来の起こりうる結果についての判断だ
下記の加藤 文元氏の京大生物から数学科への転向の話
そもそも、なんで生物へ？ なんで 生物から数学科へ？
”simplification”なしには、説明がつかない
2）つまり、A:生物とB:数学と 選択肢が2つあるとして
入学時は 無意識の”simplification”思考で 生物を
４年時は 無意識の”simplification”思考で 数学科を
この選択は、決して数学ロジックでは解けない
だが、人生の選択とは そういうもので、人が生来持っている思考能力です
３）さて、”simplification”思考は、人生の決断には 重要なのだが
例外は 数学の証明のとき。”simplification”思考は、封印しなければならない
”simplification”思考を使ったら、それは基本 ストローマン論法に堕してしまうのです
URLﾘﾝｸ(ja.wikipedia.org)
加藤 文元（1968年7月27日 - ）
人物・エピソード
大学に入学した当初は、数学の専門家になろうとは毛頭考えていなかったという。むしろ、「数学科に行くと性格が悪くなる」という一種の偏見を持っており、数学科は避けていた。
生物学のほうが面白そうだ、あるいはお金になりそうだと思うようになり、生物学科に進学した
4年生に進級する際、自分に生物学は向いていないと感じ、またサークルも引退したため、大学を休学して仙台にある実家に帰った。何もすることがなく手持ち無沙汰であったときに目に入ったのが、『おもしろい数学教室』という小学生のときに数学者である祖父に買ってもらった本だった。その中に書かれている「二乗しても変わらない無限に続く数」という概念に目が留まった
このとき、どうやら自分が見たこともない数の世界があると気付いたのだという。そこからその概念に興味を持ち始め定理をまとめた
それをトーリック多様体で有名な小田忠雄（当時東北大学教授）に見せたところ、「無手勝流であるが、クルト・ヘンゼルという数学者が約100年前に書いたp進数の体系と全く同じものである」と言われた。さらに小田教授が驚き評価したのは、「ヘンゼルの補題」というp進数を扱う上で最も基本となる定理を何も見ずに編み出したという点であった
そこで、小田教授に勧められた『可換体論』（永田雅宜著）という数学書を参考にヘンゼルの補題を追証明することにした
すると、苦労した証明の言い回しを現代数学は巧妙に「きれいな言葉」で行なっており、そこから数学の魅力に惹かれていった。このとき、もはや生物学を学ぶ気はなくなっていたという。その後、数学科へ転向した
URLﾘﾝｸ(ja.wikipedia.org)
ストローマン（straw man）は、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと、あるいはその歪められた架空の主張そのものを指す
146:現代数学の系譜 雑談
25/11/16 14:44:48.97 bJgXpWGQ.net
>>141 訂正＆補足
訂正
例外は 数学の証明のとき。”simplification”思考は、封印しなければならない
”simplification”思考を使ったら、それは基本 ストローマン論法に堕してしまうのです
↓
例外は 数学の証明の議論とき。”simplification”思考は、封印しなければならない
”simplification”思考を使ったら、それは基本 ストローマン論法に堕してしまうのです
かな
補足
・証明を考え出すときは、”simplification”思考 あるいは 閃き おもいつい ”Aha!”
は、重要です
・岡潔先生は、これを”情緒”と呼びました （＾＾
(参考)
(google検索)
岡潔 ”情緒”とは
AI による概要
岡潔にとっての「情緒」とは、単なる気分や感情ではなく、**自然の美しさに感動する「美しいと思える心」**です。それは人間の心の中心であり、雑念を払い清らかな状態で物事を感じ取る静かな感情で、数学などの学問においても本質を捉えるために不可欠だと考えられました。
学びや創造の源泉
数学の発見は、論理だけでなく「情緒」によってもたらされると考えました。
「美しい」と感じる心を育むことが、学問の探求や創造性を高めるために必要だとしています。
URLﾘﾝｸ(www.agh.aoyama.ed.jp)
青山学院高等部
「論理と情緒－論理を超えた先にあるものを見据えて」
数学科教諭 2018年6月1日
みなさんは岡潔という数学者をご存知でしょうか。今年の2月に日本テレビ系列で『天才を育てた女房－世界が認めた数学者と妻の愛』という岡潔の奥様を主人公にしたドラマが放映されたり、予備校講師の林修さんが「部屋は散らかっているが本人は何がどこにあるかがわかっている人のことを「岡潔型人間」と分類したり、ここ最近テレビでも取り上げられる機会が何回かあったので名前は聞いたことがあるという人もいることでしょう。
私が岡の言葉で忘れられないものがあります。それは「数学の本質は『計算』や『論理』ではなく、情緒の働きだ」というものです。その言葉に出会うまで私は数学の本質は『計算』や『論理』にあると思っていたので大変大きな衝撃を受けました。ちなみに「情緒」とは簡単に言えば「感情」とか「感受性」のことです。例えば道端に咲いている花を見て「ああきれいだな」と思う心と言ってもいいでしょうか。数学を研究するときにはそのような気持ちを持つことが大切であるというのです。
世界的な数学者がこのようなことをいうのですからこの言葉は数学の本質の一端を表しているのでしょう。
147:１３２人目の素数さん
25/11/16 14:48:37.13 7nC0hPqW.net
>>141
あなたは理解していません
それはいつもあなた自身が行っていることですよ？
理解して居ないのにストローマンを作りだして非難しています
くだらない人です
148:現代数学の系譜 雑談
25/11/16 14:52:37.16 bJgXpWGQ.net
>>142 さらに 訂正＆補足
訂正
例外は 数学の証明のとき。”simplification”思考は、封印しなければならない
”simplification”思考を使ったら、それは基本 ストローマン論法に堕してしまうのです
↓
例外は 数学の証明の議論とき。”simplification”思考は、封印しなければならない
”simplification”思考を使ったら、それは基本 ストローマン論法に堕してしまうのです
↓
例外は 公式の数学の証明の議論とき。”simplification”思考は、封印しなければならない
”simplification”思考を使ったら、それは基本 ストローマン論法に堕してしまうのです
かな
補足
・プライベートな 議論のときは なんでもありです
・が、ショルツェ氏のような ”simplification”の使い方
とくに zbMATH Reviewer URLﾘﾝｸ(zbmath.org) がダメ
・もし“Why ABC is still a conjecture” [URLﾘﾝｸ(www.math.uni-bonn.de)
までならば、プライベートな 議論なので 許容範囲と思います
149:１３２人目の素数さん
25/11/16 14:53:13.74 JnLfiES0.net
一連のセタスレでコイツの数学力がゴミなのは確定しとるからな。なーんもできんなんの役にも立たんゴミ
150:現代数学の系譜 雑談
25/11/16 15:03:44.48 bJgXpWGQ.net
>>143
あなたは理解していません
それはいつもあなた自身が行っていることですよ？
理解して居ないのにストローマンを作りだして非難しています
(引用終り)
１）数学の証明のロジックの基本を言っています
”理解 ウンヌンかんぬん”は、論点外しですよ
２）つまり、「数学の証明の キモは ロジックが (厳密に)キチンと 繋がっていること」です
数学の証明が、（公的に）成立していないことを 指摘する方法は 二つ
i)ギャップあり を示す
ii)反例あり を示す（証明に使われている 定理や補題のどれか一つで可）
３）ショルツェ氏の ”simplification”による 証明の論難は
数学の証明論では、基本 ストローマン論法に堕してしまう
151:現代数学の系譜 雑談
25/11/16 15:06:01.79 bJgXpWGQ.net
>>145
>一連のセタスレでコイツの数学力がゴミなのは確定しとるからな。なーんもできんなんの役にも立たんゴミ
ヒキコモリ数学基礎論くんか
ご苦労さまです
おクスリ のんでいるか？
健康に気をつけて がんばってくれ
152:１３２人目の素数さん
25/11/16 15:12:09.45 BOyzW7zS.net
>>146
scholzeという人が何を言わんとしているか
そのロジックを理解して居ないのでしょう？
つまりストローマンを作りだして非難しているのはあなたです
153:１３２人目の素数さん
25/11/16 15:14:59.64 BOyzW7zS.net
>>146
> ”理解 ウンヌンかんぬん”は、論点外しですよ
まるで理解していないということは認めましたね
ストローマンさん
下らない人ですね
154:１３２人目の素数さん
25/11/16 15:20:56.86 kAoOd+f+.net
>>146
>１）数学の証明のロジックの基本を言っています
だーかーらー
ショルツェは何の証明もしてないっつーの
おまえ言葉通じんの？ 言語障害？ 病院池
155:１３２人目の素数さん
25/11/16 15:23:48.00 kAoOd+f+.net
そもそも
>数学の証明のロジックの基本
って何や？
おまえ自分が言ってること理解しとるか？
数学理解できないんだからせめて自分が言ってることくらい理解しろや
156:１３２人目の素数さん
25/11/16 15:30:14.74 kAoOd+f+.net
理解して言ってるなら
>数学の証明のロジックの基本
とは何か言ってみ？ 言い訳せずにな
157:１３２人目の素数さん
25/11/16 15:38:05.00 26xE/0f4.net
iut論文出版当時のNatureの記事でも
こんどのBoydの記事でも
数学社会の大勢はS-Sの議論を受け入れて
既に決着済みと見做していると報じてるのに
seta猿はなに明後日の方を向いて頑張ってんだ？
iut側が要求されてるのはS-Sが指摘した問題点を
回避する方法論を数学として成立するやり方で提示すること
たとえば万歩譲ってS-Sが主張を撤回したとする
そしたらiut論文が受け容れられるかと言ったら
全然そんなこたあない
だってそのまま読んだら数学として成立してないんだから
158:１３２人目の素数さん
25/11/16 16:32:09.70 2oD8CV1x.net
>>141
>「数学科に行くと性格が悪くなる」
残念ながら、あたってるな
カトブンは数学者になったせいで性格が悪くなった（笑）
159:１３２人目の素数さん
25/11/16 16:35:34.96 2oD8CV1x.net
>>142
＞証明を考え出すときは、
＞”単純化”思考 あるいは 閃き 思いつき ”Aha!”は、重要です
＞岡潔は、これを”情緒”と呼びました
結論
何ひとつ証明が思い付かないし理解もできない世田には全く情緒がない
160:１３２人目の素数さん
25/11/16 16:41:57.03 2oD8CV1x.net
>>146
＞「数学の証明の キモは ロジックが (厳密に)キチンと 繋がっていること」です
望月のIUTによるABC予想の証明はロジックが厳密にキチンとつながってない
それをショルツェは指摘した 世田がロジックわからないから理解できないだけ（笑）
＞数学の証明が、（公的に）成立していないことを 指摘する方法は 二つ
＞i)ギャップあり を示す
＞ii)反例あり を示す（証明に使われている 定理や補題のどれか一つで可）
ショルツェのやったことはi) つまりギャップを示した
radical simplification は、厳密な定義がない点について
そのような方法で厳密性を確保した場合ii)の矛盾が生じることを示した
したがって、望月がなすべきことはただ一つ
「ギャップを埋めること」
しかし彼にはそれができなかった
つまり証明できなかった、ということ
証明でないものを証明だと言い張るのは、
大学１年の微積も線形代数も分からん
世田君のような大学数学落伍者だけ（笑）
161:１３２人目の素数さん
25/11/16 16:45:07.72 2oD8CV1x.net
>>153
＞setaはなに明後日の方を向いて頑張ってんだ？
世田君は自国自慢をしたいだけですね
大学１年の数学で落伍してプライドをコナゴナに打ち砕かれた彼にとって
自尊心を回復するためにできることといえば
最先端の数学について検索した結果をコピペしてリコウぶることと
日本の数学者の業績を自慢して日本すげぇと誇ること
どっちも●違いのすることですがね
彼は●違いだから自分が●違いだって分からないんですよ
162:１３２人目の素数さん
25/11/16 16:51:06.36 jvBfhEs3.net
どうせコイツの右派的思想もウソ。囲碁が打てるのもウソ。ぜーんぶウソ。人格が破綻してる。ウソをつくことになんの躊躇いもない。
163:１３２人目の素数さん
25/11/16 17:12:03.98 BOyzW7zS.net
>>158
これもかも
>>83
>83 1 名前:１３２人目の素数さん 投稿日:2025/11/15(土) 23:58:52.68 ID:Jxqf+IQV
>>>82
>夢を明(み)る ような・・・
164:１３２人目の素数さん
25/11/16 17:20:32.31 2oD8CV1x.net
>>158
さすがの愛国界隈も
現代数学の落伍者 世田 ◆yH25M02vWFhP
を仲間と認めたくないようです
わかる！
165:１３２人目の素数さん
25/11/16 17:24:38.66 2oD8CV1x.net
世田に関するプロファイリング
年齢 ６０代
地位 実はお偉いさん それゆえ尊大
囲碁 好きみたいだが、ぶっちゃけそんなに強くない
現役時代はパワハラ上司 部下のうけは最悪
上司には媚び諂うのでウケはいい それだけで出世
つまり加齢臭プンプンの昭和老人の典型
166:現代数学の系譜 雑談
25/11/16 17:38:21.34 bJgXpWGQ.net
>>148-149
>scholzeという人が何を言わんとしているか
>そのロジックを理解して居ないのでしょう？
その話は テンプレに入れた >>11より再録
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(Meijidai%202002-03).pdf
Anabelioidの幾何学 望月新一（京都大学数理解析研究所）2002年3月
P2 大域的な乗法的部分群スキームを、元々の作業の場としていた集合論的な‘宇宙'
において構成することをひとまず諦め、全く別の、独立な宇宙における、
元の対象たちE､F、K等のコピーE◎､F◎、K◎に対する乗法的部分群スキームの構成を目指す
＜IUTのコピーとラベルの話＞
(参考)
１）（SCHOLZE氏は ラベルが無意味だと主張するが・・）
URLﾘﾝｸ(www.math.uni-bonn.de)
Why abc is still a conjecture PETER SCHOLZE AND JAKOB STIX
Date: July 16, 2018.
P4
2.1.Glossary: IUTT-terminology and how we may think of these objects.
To facilitate the discussion,we will describe (only)the notions that are strictly relevant to explain what we regard as the error.
This will involve certain radical simplifications, and it might be argued that such simplifications strip awayall the interesting mathematics that forms the core of Mochizuki’s proof.
２）次に Kirti Joshi で、Joshiの SCHOLZE文書批判を読むべし
URLﾘﾝｸ(arxiv.org)
[Submitted on 29 Apr 2025]
Final Report on the Mochizuki-Scholze-Stix Controversy
Kirti Joshi
This report provides my mathematical findings regarding the Mochizuki-Scholze-Stix controversy surrounding Mochizuki's Inter-Universal Teichmüller Theory.
３）さらに 望月氏の反論を読む
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
[9] On the Essential Logical Structure of Inter-universal Teichmuller Theory in Terms of Logical AND "∧"/
Logical OR "∨" Relations: Report on the Occasion of the Publication of the Four Main Papers on
Inter-universal Teichmuller Theory. PDF NEW!! (2024-03-24) URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
167:現代数学の系譜 雑談
25/11/16 17:48:44.50 bJgXpWGQ.net
>>151
>そもそも
>>数学の証明のロジックの基本
>って何や？
ホイヨｗ （＾＾
(参考)
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
証明 (数学)
証明 (英語: Mathematical proof) とは、ある命題が正しいことを主張するための一連の演繹のこと。証明の各段階においては、前提（公理、定理等の認められた事実）や仮定から推論規則によって新たな命題を導くという形態をとる。ある証明の中で導入された仮定は、証明の別の部分で証明されるか、その証明の中で否定されなければならない（背理法）。
命題 P を証明したいとき、P をそのまま証明することを直接証明という。それに対して P が真であることを直接証明する代わりに、P と同値な別の命題が真であることを証明する方法を間接証明という（これらはあくまで直観的な分類に過ぎず、数学的な定義があるわけではない）。
代表的な方法
証明の代表的なテクニックを以下に示す。
対偶法
命題 P⇒Q を証明する代わりに、これと同値な ￢Q⇒￢P を証明する方法（￢は否定）。[2]
背理法（帰謬法）
命題 P を証明する代わりに、￢P が偽であることを証明する方法（￢P が偽であることを証明するには、￢P を仮定して矛盾を導けばよい）。[3]
転換法
全ての状況が P, Q, R のいずれかに分類でき、A, B, C が独立であるとする。今「P⇒A」「Q⇒B」「R⇒C」が証明できていたとする。このとき、それらの逆「A⇒P」「B⇒Q」「C⇒R」も成立する。
同一法
A ⇒ B が成り立ち、B を満たすものがただひとつであれば、B ⇒ A が成り立つ。
ディリクレの箱入れ論法（鳩の巣原理）
n+1 個以上のボールのそれぞれが n 個の箱のいずれかに入っているとする。このとき、少なくとも1個の箱には2個以上のボールが入っている。[5]
数学的帰納法
自然数に関する命題 P(n) が全ての n に対して成立することを示す論法。まず P(1) が成立することを示し、次に P(n) が成立すれば P(n+1) が成立することを示す。[6]
反例
命題「全てのxがP(x)を満たす」 が偽であることを示すには、 P(x) を満たさない x を一つあげればよいというもの。￢∀x, P(x) と ∃x, ￢P(x) が同値であることを利用する（∀は「全ての」、∃は「存在する」）。[4]
URLﾘﾝｸ(en.wikipedia.org)
Mathematical proof
(google訳)
性質と目的
実践においては、証明は自然言語で表現され、聴衆に陳述の真実性を納得させることを目的とした厳密な議論です。厳密さの基準は絶対的なものではなく、歴史を通じて変化してきました。証明は、想定される聴衆に応じて異なる方法で提示されます。証明が受け入れられるためには、共同体の厳密さの基準を満たす必要があり、曖昧または不完全とみなされる議論は却下される可能性があります。
証明は、その数学的な美しさゆえに称賛されることがあります。数学者ポール・エルデシュは、特に優雅だと感じた証明を「ザ・ブック」、すなわち各定理を証明する最も美しい方法を網羅した架空の大著から引用したと表現したことで知られています。 2003年に出版された『ザ・ブックからの証明』は、編集者が特に魅力的だと感じた32の証明を紹介しています。
168:１３２人目の素数さん
25/11/16 17:55:54.42 kAoOd+f+.net
>>163
おまえは馬鹿なのか？
聞いてるのはおまえの言うところの
>数学の証明のロジックの基本
とは何かであって、証明のwikipediaを丸コピペしても回答になっとらんわ
169:現代数学の系譜 雑談
25/11/16 18:01:09.36 bJgXpWGQ.net
>>163 補足
(引用開始)
証明が受け入れられるためには、共同体の厳密さの基準を満たす必要があり、曖昧または不完全とみなされる議論は却下される可能性があります。
証明は、その数学的な美しさゆえに称賛されることがあります。数学者ポール・エルデシュは、特に優雅だと感じた証明を「ザ・ブック」、すなわち各定理を証明する最も美しい方法を網羅した架空の大著から引用したと表現したことで知られています。 2003年に出版された『ザ・ブックからの証明』は、編集者が特に魅力的だと感じた32の証明を紹介しています。
(引用終り)
なるほど・・・
これを望月IUTについて見ると・・
１）望月氏のIUTの証明は、美しさ や 優雅さに欠けている と言えるかもだが
２）しかし、しばしば 最初に提示される 大定理の証明は これはありうる話で
つまり、最初の証明は 力技で 数学をねじ伏せるが ごときの場合が多いのです
その後、（より）”エレガント”な 別証明が提示されたりする
３）上記の”証明が受け入れられるためには、共同体の厳密さの基準を満たす必要があり、曖昧または不完全とみなされる議論は却下される可能性があります”
も当たっている 気がする
つまり 望月氏と フェルマーのワイルズ氏とを比較すると
ワイルズ氏は、集会を開いて １週間に渡る連続講義によって 自分の証明の解説をしたが
望月氏は 直接の海外出張による 説明を拒否していることが 悪印象になっている と思われる
まあ、ここらは・・
おそらくは、時間が解決するでしょう！ （＾＾；
170:現代数学の系譜 雑談
25/11/16 18:03:35.31 bJgXpWGQ.net
>>164
ふっふ、ほっほ
ヒキコモリ数学基礎論くんか
ご苦労さまです
おクスリ のんでいるか？
健康に気をつけて がんばってくれ
171:１３２人目の素数さん
25/11/16 18:15:34.19 jvBfhEs3.net
たったひとつの取り柄？の相手の推定もできんのか
なんも出来んな。
何かできることないんか？ゴミ
172:１３２人目の素数さん
25/11/16 18:31:07.04 BOyzW7zS.net
>>162
あなたがscholzeさんの書いたことを理解して居ないからですよ
ストローマンさん
173:現代数学の系譜 雑談
25/11/16 18:32:28.91 bJgXpWGQ.net
>>153
>こんどのBoydの記事でも
>数学社会の大勢はS-Sの議論を受け入れて
>既に決着済みと見做していると報じてるのに
今年ある会合で 友人が
『神戸の人に聞いたら 「神戸のおばちゃん連中は、立花のいうことを信じている」』と行っていたな （＾＾
最近 逮捕された人がいる
SNSのガセネタを 信じる 数学徒がいるらしいな。”神戸のおばちゃん連中”と同じだね、ｗ大数学科のオチコボレさんよｗ
実際、下記のwoit氏ブログ ”ウワサを 信じちゃ いけないよ”とは 歌の文句だったな(下記)
(参考)
URLﾘﾝｸ(www.city.funabashi.lg.jp)
豊中つれづれ草（ほぼ毎日豊中日記）2020年４月豊富中学校公式Ｗｅｂサイト
P88
「ウワサを信じちゃいけないよ～♪」と熱く歌っていた。うわさを鵜呑み（うのみ）にしちゃいけないということだ
実際、フランス人にアンチIUTは居ない。ドイツ人もあの二人を除いて アンチIUTは居ない！！ （＾＾
前スレより
ｽﾚﾘﾝｸ(math板:22番)
所詮、James Douglas Boydは、数学者ではないってことだね （＾＾
ｽﾚﾘﾝｸ(math板:764番)
woit氏ブログ
abcコメント2025.10.27
Mochizuki’s response to Boyd’s report:
(Feel free to disregard this, as the response contains ad hominem attacks.)
URLﾘﾝｸ(www.math.columbia.edu)
Two Number Theory Items (and Woody Allen)
Posted on September 20, 2025 by woit
James Douglas Boyd has recently spent a lot of time interacting with Mochizuki and others at RIMS working in anabelian geometry. Material from interviews he conducted are available here (Mochizuki on IUT) and here (on anabelian geometry at RIMS). He also has written a summary of IUT and of the basic problem with the abc proof. These include detailed comments on the issue pointed out by Scholze-Stix and why this is a significant problem for the proof. I’d be curious to hear from anyone who has looked at this closely about whether they agree with Boyd’s characterization of the situation.
There’s also a lot of material the IUT ideas, independent of the problematic abc proof, and about what Mochizuki and others are now trying to do with these ideas.
Update: A commenter points to this from Mochizuki, which denounces Boyd and his report, as well as discussing prospects for formalizing IUT and the abc proof.
URLﾘﾝｸ(jp.linkedin.com)
James Douglas Boyd
CEO/CTO at Sci Research | Ex-Wolfram
学歴
Wolfram Summer School
Postgraduate
Advisor: Stephen Wolfram
The New School
Graduate
University of Michigan
Undergraduate
174:現代数学の系譜 雑談
25/11/16 18:35:44.91 bJgXpWGQ.net
>>169 タイポ訂正 （文の並び順の訂正）
実際、下記のwoit氏ブログ ”ウワサを 信じちゃ いけないよ”とは 歌の文句だったな(下記)
(参考)
URLﾘﾝｸ(www.city.funabashi.lg.jp)
豊中つれづれ草（ほぼ毎日豊中日記）2020年４月豊富中学校公式Ｗｅｂサイト
P88
「ウワサを信じちゃいけないよ～♪」と熱く歌っていた。うわさを鵜呑み（うのみ）にしちゃいけないということだ
実際、フランス人にアンチIUTは居ない。ドイツ人もあの二人を除いて アンチIUTは居ない！！ （＾＾
↓
実際、下記のwoit氏ブログ ”ウワサを 信じちゃ いけないよ”とは 歌の文句だったな(下記)
実際、フランス人にアンチIUTは居ない。ドイツ人もあの二人を除いて アンチIUTは居ない！！ （＾＾
(参考)
URLﾘﾝｸ(www.city.funabashi.lg.jp)
豊中つれづれ草（ほぼ毎日豊中日記）2020年４月豊富中学校公式Ｗｅｂサイト
P88
「ウワサを信じちゃいけないよ～♪」と熱く歌っていた。うわさを鵜呑み（うのみ）にしちゃいけないということだ
175:１３２人目の素数さん
25/11/16 18:38:58.72 BOyzW7zS.net
>>169
>実際、フランス人にアンチIUTは居ない。ドイツ人もあの二人を除いて アンチIUTは居ない！！ （＾＾
また｢公理がないのは公理の否定｣と同じ誤解あるいはミスリードをしてますね
176:１３２人目の素数さん
25/11/16 18:44:18.63 kAoOd+f+.net
>>166
はいまた逃亡
逃亡するなら最初から数学板に書き込むなよ
177:１３２人目の素数さん
25/11/16 18:44:53.87 BOyzW7zS.net
世界中の数学者の認識は
IUT理論もしくはそれによるABC予想の証明には問題があるらしくABC予想は未だ証明されておらず予想のまま
というものです
178:１３２人目の素数さん
25/11/16 18:49:47.56 jvBfhEs3.net
現実などどうでもいい。自分の作り上げた妄想世界で王となる心地よさから抜けられない。
179:１３２人目の素数さん
25/11/16 20:04:41.95 26xE/0f4.net
Boydの数学的理解じゃなくて
数学者らへのインタビュー結果について言ってるんだけど
seta猿は話ずらすのやめような
Boydとscisciのことは検索で調べたんだろ
SNS上のことではないな
あと数学者とは言えなくともBoydは
IUT SummitやIUGC Conferenceで講演までしてる
立派な研究者ですよｗｗｗ
180:現代数学の系譜 雑談
25/11/16 20:44:30.79 bJgXpWGQ.net
>>168
>あなたがscholzeさんの書いたことを理解して居ないからですよ
ふっふ、ほっほ
下記のKirti JoshiのSCHOLZE文書の批判より
１）P4 Table1 Comparison of claims of Mochizuki,Scholze-Stix and Joshi
において 少なくとも ５点の 望月IUT論文の改ざんを Kirti Joshiは 指摘しています
２）P5 Table2 で [Scholze and Stix,2018],[Scholze,2021] を厳しく批判しています
どちらが正しいか？
私には 分りませんが
[Scholze and Stix,2018],[Scholze,2021] を礼賛する人だけでは 無いってことです■
(参考)>>11より再録
Kirti Joshi で、SCHOLZE文書批判を読むべし
URLﾘﾝｸ(arxiv.org)
[Submitted on 29 Apr 2025]
Final Report on the Mochizuki-Scholze-Stix Controversy
Kirti Joshi
This report provides my mathematical findings regarding the Mochizuki-Scholze-Stix controversy surrounding Mochizuki's Inter-Universal Teichmüller Theory.
P3
§ 1.3 Tabulation of Findings The following tables (Tables 1 and 2) provide a comparison of hypotheses of Mochizuki and Joshi and the omissions of these hypothesis by Scholze-Stix leading to incorrect mathematical conclusions.
P4
Table1 Comparison of claims of Mochizuki,Scholze-Stix and Joshi
(object Mochizuki vs Scholze-Stix)
・geom. base point ignored
・Valuationdata nomention of distinct valuation data
・log-Links ignored
・Theta-Links argue that such objects cannot exist
・distinct Arith. declare that these cannot exist
Holomorphic Structures
P5
Table2 Status of various assertions of [Scholze and Stix,2018],[Scholze,2021]
Sect. 2.1.2(and also[Scholze, 2021]) asserts that distinct
(1) Hodge Theaters
(2) Etale Pictures
(3) Frobenius Pictures
do not exist
vs
(1) distinct Hodge-Theaters exist [Joshi, 2024a,Theorem10.11.5.1];
(2) distinct´etale Pictures exist[Joshi,2024a, Proposition8.3.1.1];
(3) distinct Frobenius Pictures exist [Joshi, 2024a,Proposition8.3.1.2]
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
Section2.2(maindisproofargument)
vs
This argument of [Scholze and Stix,2018] fails because the Θgau-Link does come with a nontrivial j2-scaling factor for j=1,..., (ℓ－1)/2 and also is equipped with a non-trivial Galois action [Joshi,2024a,Theorem 4.2.2.1 and §4.2.3 and §8.10]
181:現代数学の系譜 雑談
25/11/16 21:03:46.57 bJgXpWGQ.net
>>175
>あと数学者とは言えなくともBoydは
>IUT SummitやIUGC Conferenceで講演までしてる
>立派な研究者ですよｗｗｗ
哲学系ですね 彼は。数学者でなく
「鳴かぬなら鳴くまで待とう ほととぎす」徳川家康
望月先生が、徳川家康なみの度量があれば、もっと早く天下を取れたかもですが・・
ピュアな数学天才に それを求めても・・
「鳴かぬなら殺してしまえ ほととぎす」織田信長
と Boyd氏を攻撃する・・
しょせん 哲学系で 「勉強熱心だが 数学の深いところの理解までは 時間がかかるものだな」
と ゆったりと 囲碁でも打つ感じで 対応すれば 良さそうに思うのだが・・（ですよね OT）
(参考)
URLﾘﾝｸ(crd.ndl.go.jp)
レファレンス協同データベース
事例詳細
事例作成日
2011年03月04日
提供館
山梨県立図書館 (2110005)
（時鳥：ほととぎす）
「鳴かぬなら殺してしまえ時鳥」が織田信長、
「鳴かぬなら鳴かせてみしょう時鳥」が豊臣秀吉、
「鳴かぬなら鳴くまで待とう時鳥」が徳川家康の句とされている。
182:１３２人目の素数さん
25/11/16 21:06:31.02 BOyzW7zS.net
>>176
理解して居ないあなたの指摘それがストローマンそのものですから
数学の議論をする資格はありません
183:１３２人目の素数さん
25/11/16 21:07:35.20 BOyzW7zS.net
>>176
>どちらが正しいか？
>私には 分りませんが
分からないんですねストローマンさん
184:現代数学の系譜 雑談
25/11/16 21:25:11.70 bJgXpWGQ.net
>>178-179
囲碁の形勢判断としては
望月IUTが、形勢を盛り返していると見ますね
すなわち
[Scholze and Stix,2018]の支持を
公に支持を公言する人は 数学三流ばかり
一方、望月IUTを支持する人は、下記のIVAN FESENKO氏のPDFと
下記 Arithmetic & Homotopic Galois Theory IRN の Members & Partners の何人か
（もちろん 全ての人が 手放しで IUT賛成ではないとしても 何割かは賛成でしょう）
囲碁の目算ができれば
形勢判断は 簡単にできるｗ ；ｐ）
まあ。３モク半勝ちか 中押し勝ちか （＾＾
(参考)
URLﾘﾝｸ(ivanfesenko.org)
ABOUT THE STATE OF PLAY AROUND IUT IVAN FESENKO
. In March 2021 four IUT papers were published by European Math Society in a special volume of Publications of RIMS. The decision to publish the IUT papers was made by appointed editors including M. Kashiwara (Abel, Kyoto and Chern prizes), T. Mochizuki (Breakthrough prize), A. Tamagawa (pioneer and top expert in anabelian geometry), H. Nakajima (International Math Union president in 2022–2026)
URLﾘﾝｸ(ahgt.math.cnrs.fr)
Arithmetic & Homotopic Galois Theory IRN
Members & Partners
185:１３２人目の素数さん
25/11/16 21:26:57.04 BOyzW7zS.net
>>180
形勢判断もできないのですね
ストローマンさん
186:現代数学の系譜 雑談
25/11/16 21:27:32.41 bJgXpWGQ.net
>>180 タイポ訂正
[Scholze and Stix,2018]の支持を
公に支持を公言する人は 数学三流ばかり
↓
[Scholze and Stix,2018]支持を
公言する人は 数学三流ばかり
187:１３２人目の素数さん
25/11/16 21:27:33.81 BOyzW7zS.net
>>180
>もちろん 全ての人が 手放しで IUT賛成ではないとしても 何割かは賛成でしょう
居ません
188:１３２人目の素数さん
25/11/16 21:29:49.28 BOyzW7zS.net
兎にも角にも
望月さんとscholzeさんstixさんの意見の相違が解消するまでは
IUT理論およびABC予想の証明は成立しないという認識です
189:１３２人目の素数さん
25/11/16 21:47:11.27 kAoOd+f+.net
>>180
>すなわち
>[Scholze and Stix,2018]の支持を
>公に支持を公言する人は 数学三流ばかり
すなわち二流以上からは相手にもしてもらえない
190:１３２人目の素数さん
25/11/16 21:50:42.16 26xE/0f4.net
違うでしょ
iut側が数学として成立する読解可能な
証明を出すまで証明は認められない
です
scholzeが反対してるかどうかは関係ねえっての
scholzeがこの話に参入したのは2018で
iut論文発表は2012
2018年当時も認められてなかったし
仮にscholzeの参入がなかったとしても
現在も認められてないっての
だって誰もアイディアも何も見つけられないんだから
（ただしjoshiを除く！）
191:１３２人目の素数さん
25/11/16 22:17:57.58 5jsSomG6.net
>>158
唐人の寝言
ここに極まれり
192:１３２人目の素数さん
25/11/16 23:18:35.57 jvBfhEs3.net
>>180
これなんかも典型的な駄々こねやな
「囲碁の話がウソ」と言われたら「そんな事ない、できるできるできるできる」
発言の全てがことごとくゴミ
193:現代数学の系譜 雑談
25/11/16 23:57:36.01 bJgXpWGQ.net
>>176 補足
(引用開始)
P4
Table1 Comparison of claims of Mochizuki,Scholze-Stix and Joshi
(object Mochizuki vs Scholze-Stix)
・geom. base point ignored
・Valuationdata nomention of distinct valuation data
・log-Links ignored
・Theta-Links argue that such objects cannot exist
・distinct Arith. declare that these cannot exist
Holomorphic Structures
(引用終り)
この部分は、おそらく完全に客観的な事実
即ち、simplification で ”ignored”とか しでかした 項目ですね
(引用開始)
P5
Table2 Status of various assertions of [Scholze and Stix,2018],[Scholze,2021]
Sect. 2.1.2(and also[Scholze, 2021]) asserts that distinct
(1) Hodge Theaters
(2) Etale Pictures
(3) Frobenius Pictures
do not exist
vs
(1) distinct Hodge-Theaters exist [Joshi, 2024a,Theorem10.11.5.1];
(2) distinct´etale Pictures exist[Joshi,2024a, Proposition8.3.1.1];
(3) distinct Frobenius Pictures exist [Joshi, 2024a,Proposition8.3.1.2]
(引用終り)
この部分は、おそらく simplification で ”ignored”とか しでかしたので
3つの事項が ”do not exist”になってしまった
（Joshi氏は distinct exist だと 言っていますよ ；ｐ）
194:１３２人目の素数さん
25/11/17 00:35:04.32 qKq1d2A0.net
まぁ当たり前やわな。ショルツは「全体の意味が通るような解釈をあーでもない、こーでもないと色々検討してみた」けど結果全部の文章がうまくいくような解釈見つけてないんやから。その無視した部分もひっくるめてしまうとますます矛盾してしまう。無視するという事はそこの部分も考慮すると可能な解釈がますます減ってしまうんだけど、それは置いといてもそれ以外の部分で「これこれの可能性に限定されてしまいますよね」から議論を始めてる。もちろん数学的にキチンとした議論。高校の数学Aの集合と命題で習うレベルの話。
もうそのくらいの時点から落ちこぼれてる、
とことん無能
195:１３２人目の素数さん
25/11/17 05:42:31.34 ffrCA2aM.net
>>189
あなたが読んだものを理解して居ないので
あなたがsholzeさんを批判することは
ストローマン論法そのものです
196:現代数学の系譜 雑談
25/11/17 07:30:58.08 s/n6oJ/j.net
>>191
あなたが読んだものを理解して居ないので
あなたがsholzeさんを批判することは
ストローマン論法そのものです
(引用終り)
ふむふむ、半分正しいかもよｗ
だが、圏論的にいえば 下記ｗｗ （＾＾
＜世間のIUT理解＞
ショルツェ氏理解 → IUT理解
↓随伴（右か左か知らず）
＜私のショルツェ氏SS文書の理解＞
Joshi氏理解 → ショルツェ氏SS文書の理解
みたいな ことだな
要するに、世間は ショルツェ氏SS文書を通して IUTを理解し
私は Joshi氏理解を通して ショルツェ氏SS文書を理解する
のだと
よって、文句あるなら
Joshi氏理解を
攻撃してねｗｗ ；ｐ）
197:現代数学の系譜 雑談
25/11/17 07:34:36.13 s/n6oJ/j.net
>>190
ご苦労さまです
ショルツ氏の ディベート ストローマン論法の詳しい解説
ありがとうｗｗ （＾＾
198:１３２人目の素数さん
25/11/17 08:15:16.10 ffrCA2aM.net
>>192
>ふむふむ、半分正しいかもよｗ
>だが、圏論的にいえば 下記ｗｗ （＾＾
下らない話題そらしですね
理解してないのにストローマンを立てて批判しているのはあなたです
199:１３２人目の素数さん
25/11/17 08:16:14.82 ffrCA2aM.net
>>193
そしてあなたにそれは理解できないようですね
ストローマンさん
200:１３２人目の素数さん
25/11/17 09:10:51.79 Upe0x5d5.net
■望月新一のやってること
電線Aと電線Bがある 両方にまたがると感電死
電線A、電線B、それぞれから言えることを「合わせる」と
系3.12が導けて、そこからABC予想が証明できる
■ショルツェが示したこと
「あわせる」には電線Aと電線Bに同時にまたがる必要があるので死ぬ
■望月新一が言ってること
電線Aと電線Bに同時にまたがらなくてもいい詭弁を延々と弄する
■ ◆yH25M02vWFhPがやったこと
両方にまたがり真っ黒焦げになる（笑）
201:１３２人目の素数さん
25/11/17 09:55:51.20 qKq1d2A0.net
>>192
wwwwwwww
矢印いっぱい書いたよ～だから圏論使ってみたよ～～
wwwwwwwwこれは過去一最高のゴミwwwwwwwwwww
202:１３２人目の素数さん
25/11/17 11:49:02.64 EezEaFwz.net
圏論圏論言っとけばεδ論法が理解できず落ちこぼれた過去を無かったことにできると思ってるんでしょうこの自己愛性人格障害者は
203:１３２人目の素数さん
25/11/17 11:59:50.18 qKq1d2A0.net
普通の数学は自然言語をモデルにして構成されてるから理解してなくても見よう見まねでそれっぽい文章が作れん事もない、文法は日常会話のそれと変わらんからな。でも矢印と文字の上に意味を乗せていく圏論の表現法は日常では使わないから勉強しないとそれっぽいものすら作れん。
まぁこのポンコツには無理だわなwwwww