Interuniversal geometry とABC 予想61
(447ﾚｽ)
上下前次1-新
348: 07/20(月)20:24 ID:AtZID/Oc(9/10) AAS
>>347
ID:joumQYeu
そのIUT擁護派おじさんはLLMコピペしてるだけなので、、、
LLM使おうにも基礎ができてないとピエロなだけっていうのを教えてくれるサンプルですね
349: 07/20(月)20:57 ID:joumQYeu(8/8) AAS
>>347
新しいロジック？？どう言う意味？
350: 07/20(月)21:26 ID:nvAAFNKw(1) AAS
ブログで法の支配とか適正手続を強調してたんだから一応適正手続が保障されて納得はしてるんちゃうの
351: 07/20(月)22:23 ID:AtZID/Oc(10/10) AAS
IUT擁護派おじさんついにバックレるの巻
👇
157 名無しのひみつ 2026/07/20(月) 20:08:24.06 ID:jDVnUfx7
そもそも査読は、論文としての体裁が整ってるかどうかって判定にしか機能してねー、どころか、体裁が整ってても査読者の気に入らない
結果だと、屁理屈つけられて落ちる
ってか、査読システムが全く機能してねーのに、査読論文数とか被引用数で研究業績評価するから、世の中は屑論文であふれてるわけな
2chｽﾚ:scienceplus
352: 07/20(月)22:36 ID:B6WVrHSM(6/7) AAS
理解してないのに何か擁護できると思っているのは不可思議ですね
353: 07/20(月)22:38 ID:afIwWzT/(1) AAS
そりゃそう思うわな LEAN でできることできないことが全くわかってないんやろ
LEAN で形式化できないならもうそんなもん数学の論文でもなんでもないというのがわかってない
そのレベルのあんぽんたんなのにわけもわからずでかい口たたいてんだからたたかれて当然やわな
354: 07/20(月)22:39 ID:IyeyWlPF(1/2) AAS
問．次の三者の意見から仲間外れを探しなさい
Scholze ＠ Woitブログ
>As I said, it's very easy to convince me that (2) is wrong:
>Just point to one diagram whose commutativity is rescued by
>allowing this indeterminate isomorphism of π_1(X)'s
【訳】既に述べたように、(2)【注：同型コピーは不要という主張】が
間違っていることを私に納得させるのは非常に簡単です。
π_1(X)のこのような不定な同型を許容することで可換性が助かる
図式を１つでも示せばよいのです。
LANA ＠ 動画ﾘﾝｸ[YouTube] 50:00〜
省4
355: 07/20(月)22:44 ID:IyeyWlPF(2/2) AAS
LANAが「壁」（普通の言葉では「ギャップ」）と呼ぶものが
望月にとってはtautologyである理由はたぶん
LANAが避けたspecies/mutationsの理論に
ミソがあるからなんじゃないか
しばらくしたらご託宣がある？
species/mutationsの理論は形式化できないから
実はミソじゃない方なのかも知らんけど
356(2): 07/20(月)23:02 ID:GA8zqCsb(1) AAS
MathlibにZFC形式化を実装させればspecies/mutationの形式化はできるんじゃないの？
それができれば、解決に近づく
357: 07/20(月)23:31 ID:B6WVrHSM(7/7) AAS
>>356
>species/mutation
て何？
358: 07/21(火)01:27 ID:9lPB4r8c(1/4) AAS
IUTが形式化できなければ
>そんな等式は"tautological"な理由により成り立つ
は数学の主張ではなくただのお気持ち表明。
さあ困ったね望月さん。
359: 07/21(火)01:58 ID:0mZfL8hO(1) AAS
RIMSもIUTの形式化に取り組んでるらしいね
LANAが形式化に失敗してRIMSが形式化に成功したと言って対立したら面白い
360: 07/21(火)02:15 ID:Jsxsb6pu(1) AAS
>>356
ZFCのライブラリはあるし
中間報告書もそんな事は問題にしてない
361: 07/21(火)03:25 ID:/fTizQNY(1/5) AAS
普通にleanの公式documentにある。
そもそもleanは可算無限階層の集合論までまんまで形式化できる。
ZFCの分出公理を形式化をもとめても2階くらいですむ。
lean の能力で形式化できないような数学ならそんなもの元々無矛盾性の担保をどうするかの問題もでる。Lean に実装してるレベルならふつうの ZFC 内部に Forcing できるので問題にならない(Lean の体系が矛盾してるならそもそもZFCが矛盾してるわけだからLeanがどうこうの話でなくなるから)
大体そもそも今回の報告で「Leanの表現力ではIUTを形式化できなかった」なんて話だれもいってない。「俺たちの思う形式化はできた、でもそれだと証明は完成してなかった」という話。
もちろんその「俺たちの思う形式化」がまちがってて望月先生のそれとはずれてるという言い訳はできるわけだが。
結局「LANAの形式化」があってるなら証明にはあながあったって話になるし、間違ってるというならじゃあ正しい形式化はなんやねんとなる。もちろんこれは望月先生ご本人がなんかコメントだすしかないわけだが、まぁもうでてこんやろ
だいたいその「LANAの形式化」が発表のなかにはいってないんだからそれもほんまにつくってみたのかどうなのかまったくわからん。
せめて「LANAの形式化」をちゃんと発表するのが筋やろ。給料分の成果みせろっちゅねん
362: 07/21(火)03:40 ID:QgpPXy4g(1) AAS
まあその通りだけど
基礎論向こうで言うところのLogicが分からん人には通じないかと
望月のやってるような凄く新しい数学も
凄く狭い範囲内ですごく複雑なことをやってる
と基礎論の立場からは言える事をわかってない
既存のLogicの枠に収まらない数学だと思ってしまっている
363: 07/21(火)03:40 ID:g8yakgFo(1/2) AAS
致命的なギャップを聞く耳持たずで自明自明言い張り続け
指摘者に圧力かけまくり誹謗中傷しまくりだった恥ずかしい老害、leanでトドメを刺されて死亡
364: 07/21(火)04:53 ID:wRfTFcAQ(1/8) AAS
species/mutation
普通の数学では
* 群
* 環
* スキーム
などは「対象(object)」として扱います。
そして
省8
365: 07/21(火)04:54 ID:wRfTFcAQ(2/8) AAS
IUTでは
> 「アルゴリズム」
そのものが重要になります。
例えば
```
あるHodge theater
↓
Theta-link
↓
別のHodge theater
省10
366: 07/21(火)04:55 ID:wRfTFcAQ(3/8) AAS
speciesは
> "ある種の数学的対象"
です。
例えば
* group
* ring
* scheme
* diagram
省6
367: 07/21(火)04:56 ID:wRfTFcAQ(4/8) AAS
つまり
普通なら
```
G = この群
```
ですが、
speciesでは
省9
368: 07/21(火)04:57 ID:wRfTFcAQ(5/8) AAS
mutationは
speciesからspeciesへの
**アルゴリズム**
です。
例えば
省17
369: 07/21(火)04:58 ID:wRfTFcAQ(6/8) AAS
つまり
```
入力
↓
決まった処理
↓
省9
370: 07/21(火)04:58 ID:wRfTFcAQ(7/8) AAS
普通の圏論では
```
Category
↓
Functor
↓
省8
371: 07/21(火)04:59 ID:wRfTFcAQ(8/8) AAS
例えば
```
Ring
↓
Multiplicative Monoid
```
では
省8
372: 07/21(火)06:33 ID:OdOdc1g9(1) AAS
謙虚さも忘れてしまったのか
373: 07/21(火)06:33 ID:/fTizQNY(2/5) AAS
何上からしゃべってんの？
圏論も基礎論も計算論もなにもかも真面目に勉強したことないやろ？
そんな態度でなんかしゃべる資格自分にあると思ってんの？
あほか
374(1): 07/21(火)08:32 ID:u/7sGhoh(1/3) AAS
LANAは中立でもなんでもなく、Zen大学でIUTの講義をやってたり
ブンゲンさんがIUTで稼いでたりしててもろ利害関係者なわけよ
だから、宇宙際まで旅したけどABC予想の証明の最後の１マイルだけ
道が通ってなかったってストーリーがLANAに許容できる限界なわけ
実はIUTは意味のないガラクタを寄せ集めた伽藍堂でした
みたいな結論には絶対にならない
LANAが表立ってIUTの根幹（species/mutations）まで
突っ込まないのはたぶんそのせい
（望月新年日記によれば内内でのやり取りはあったはず）
狂信者にとってみれば
省2
375: 07/21(火)08:44 ID:u/7sGhoh(2/3) AAS
IUT賛同派が母体のLANAですら
「論文中に（形式化可能なｗ）証明がない」
ってことを認めざるを得なかったのは
部外者を中核メンバー入れたからなわけだけど
これはIUTビジネスのスポンサー（かわんご）の意向でしょう
376(1): 07/21(火)08:53 ID:vJOY+ce+(1) AAS
かわんごがいなかったらと思うと彼は結構良いことをしたよね。まあ界隈外の数学者にとってはとっくに意味をなくしていたのだろうから、日本村の解体への貢献だが
377: 07/21(火)09:08 ID:Sbbv0w/u(1/2) AAS
まあさすがに最後の理性は残ってたってところだな。LEANの出力内容を誤魔化すってことだけは流石にできなかった。
あのグループにできる最後の言い訳がショルツも正しくないっていちゃもんつけるってところだけだったってことだわ。
378: 07/21(火)09:12 ID:rReqYplZ(1/3) AAS
「3.11 = 3.12」 を分解して形式化をはじめている
前半 (3.11)
APT (アルゴリズム的並行移動)
IPL (入力整合性)
→第1~第3三角形
後半 (3.11.5= 3.12)
SHE (同時正則表現可能性)
IPL (input prime-strip link)
→第4三角形 (現在RIMSが形式化に取り組んでいる箇所)
379: 07/21(火)09:18 ID:Lks9T9bp(1/3) AAS
>>374
加藤は望月の盟友みたいなもんだぞ
望月がIUT理論考えてる時のブレインストーミング相手なんだから
だからあんな優しい中間報告書に留まってるのに
お前は人でなしだな
380: 07/21(火)09:22 ID:Lks9T9bp(2/3) AAS
>>376
LANAプロジェクトなければabc予想証明失敗は有耶無耶になっていたと思うからZEN大学の数学への貢献だわな
プロジェクトチームに人呼ぶにも金がかかるからな
381: 07/21(火)09:29 ID:rReqYplZ(2/3) AAS
4つの三角形について
この理論は4つのステップに分かれる
・第1三角形
入力:BPS
出カ:マルチラジアル表現
→「0列」との貼り合わせとして理解できる
・第2三角形(下降 dsc)
情報を簡略化する
完全なデータ→群論的部分だけへ
・第3三角形 (HDD)
省6
382: 07/21(火)09:38 ID:rReqYplZ(3/3) AAS
lUTのLean形式化は、次の段階に分けて進める
・Stage1
[IUTchlll] 定理3.11=系3.12
・Stage2
[UTchll]定理3.11の証明
・Stage3
[UTchl-ll]
・Stage4
1995年以降の先行研究
・Stage5
省1
383: 07/21(火)10:10 ID:HmviCjmF(1) AAS
IUT批判者は、第三者が検証できる証明しか認めない数学至上主義者
IUT理解者は、従来の数学観にとらわれず、より相手を罵倒できた方が正しいという柔軟な思考の持ち主
384: 07/21(火)10:14 ID:IQ1y4DK2(1/2) AAS
とりあえずマトモな論文誌なら証明に重大なギャップが見つかったら撤回させるけど
385: 07/21(火)10:32 ID:V6ApQNCT(1) AAS
だよナ
386: 07/21(火)10:33 ID:jOSA88iL(1) AAS
既存のLeanでは、HoTTのUnivalenceを定理として導入することはできない。通常は公理（axiom）として追加するしかない。そして、公理として追加した場合、その公理に対応する計算規則（computation rule）がないため、その部分はカーネルによる計算・簡約（reduction）ができない
これに反論できるleanの専門家いるの？
まぁHoTTを要するかは別問題だが、トートロジカルな部分の型計算って意味では、AIは真っ先にキュービカルAgdaを思いつくらしいね
387: 07/21(火)10:59 ID:5xceQTWC(1) AAS
HoTTであち～
388(1): 07/21(火)11:04 ID:diu0Idzx(1/2) AAS
speciesは何らかの数学上の「概念」で
mutationはある「概念」を別の「概念」に引き写す操作
みたいな？
なんか圏論（object/morphismとfunctor）と大して違いないような
389: 07/21(火)11:07 ID:IQ1y4DK2(2/2) AAS
>>388
みんな思ってるけど、言ったらブログで罵倒されるから言えないだけ
390: 07/21(火)11:13 ID:MquMtAhh(1) AAS
ブンゲンは昔から絶対にIUTが正しいとか一言も言ってない
新しい体系が必要とか素人向きの本書いたり
ZEN大学で企画ぶち上げたりLANAにかんだり
望月の親友ポジを強調するだけで真偽は自分にはわからないで
一貫してるよ
391(1): 07/21(火)11:19 ID:9lPB4r8c(2/4) AAS
圏論ベースだからね
標準的な圏論との違いは複数の宇宙とその間の通信（Θ-link）を考えること
392: 07/21(火)11:28 ID:Lks9T9bp(3/3) AAS
そして望月が思った以上にとてつもなくデカいlog-shell
393: 07/21(火)11:42 ID:g8yakgFo(2/2) AAS
ぶんげんってスネ夫だもんね完全に
チャンスがあればジャイアンの寝首も平気でかくw
394: 07/21(火)12:28 ID:kV9kxYTJ(1) AAS
ブンゲンは最悪トンズラできるように私はIUTを理解していないスタンスを取ってるからな
395: 07/21(火)12:53 ID:B/i3Ot9C(1/2) AAS
無駄に改行入れて的外れなLLMコピペ連発するIUT擁護派の精神分裂w
396: 07/21(火)13:12 ID:diu0Idzx(2/2) AAS
>>391
複数の圏とその間の関手でいいのでは
397: 07/21(火)14:51 ID:/fTizQNY(3/5) AAS
text【微分方程式 y' = -e^(-xy) (y(0) > 0) の有限時間発散の厳密な証明】
この方程式の解が、有限の x で「必ず -∞ に発散（爆発現象）する」ことの証明の大筋です。
論理は以下の2ステップで完結します。
1. 負の領域への進入（背理法）
すべての x >= 0 で y(x) >= 0（正のまま存在）と仮定します。
このとき積は常に xy >= 0 なので、指数関数の性質から e^(-xy) <= 1 です。
元の式に当てはめると、導関数の上界は常に y' <= -1 となります。
これを 0 から x まで積分すると、 y(x) <= y(0) - x が得られます。
右辺は直線的に減少するため、x > y(0) では y(x) < 0 となり、最初の仮定に矛盾します。
したがって、解は永遠に正のままではいられず、有限の x で必ず 0 を通過して負の領域に入ります。
省14
398: 07/21(火)14:51 ID:/fTizQNY(4/5) AAS
誤爆 orz
399(1): 07/21(火)14:55 ID:/fTizQNY(5/5) AAS
AI 優秀すぎる
400: 07/21(火)15:37 ID:B/i3Ot9C(2/2) AAS
>>399
知的障害者にはそう見えるんだろうな
バカがLLM使っても無駄な実例
そもそも文脈もないゴミを掲示板に貼り付けてクソ漏らすところが既に精神分裂
401: 07/21(火)17:37 ID:n06kHoGH(1) AAS
ショルツも間違ってたんだよバーカって言いたいからここまでグダグダ引き伸ばしたのか
402: 07/21(火)19:09 ID:9lPB4r8c(3/4) AAS
ショルツェは何も間違ってない。彼はIUT語で書かれたIUTを無理やり数学に翻訳したうえで証明に失敗してると言った。
一方LANAは形式化に失敗し、IUT語で書かれたIUTは数学ではないと言った。
どちらも本質的には同じこと。
403: 07/21(火)19:20 ID:9lPB4r8c(4/4) AAS
つまり、望月は不当なsimplificationだと批判したが、そもそもIUTが数学になってないからsimplificationしたまでであって、問題の根本はIUTが数学でないことだ。
間違いなのではなく、そもそも正誤を判断する対象ですらない（Not even wrong）。
404: 07/21(火)19:28 ID:u/7sGhoh(3/3) AAS
ホントその通り
それなのに問題点を指摘したS-Sを悪役にして
指摘を罵倒で返したMや論文を通したRIMSは無問題って
控えめに言っても（自粛）ですね
外部ﾘﾝｸ:note.com
＞Scholze-Stix報告は、その影響力の大きさから、IUTは単純に
＞間違っているという印象を強く世界に押印しましたが、
＞それは非常に不幸なことだったと思います。"
405(1): 07/21(火)20:39 ID:Sbbv0w/u(2/2) AAS
アティヤがリーマン予想証明した言うても向こうの人も半信半疑だったのに日本人だとなんでこうなっちゃうんだろうね
406: 07/21(火)21:54 ID:IaiRgbSK(1) AAS
加藤和也の名前の字面がいつ見ても加法的整数論
407: 07/21(火)22:43 ID:cX3LD5gv(1) AAS
世界で2番目のIUT理論研究拠点
IUGC (後に突然ZMCへ改称)を設立
⚫︎加藤文元所長.
IUT理論と現行数学との違いを完全に言語化する新しい数学の言語体系を早急に作らねばならない。
⚫︎アナウス.
abc予想を解決したIUT理論。
1.
加藤文元発言とアナウスは
原因と結果の因果律も矛盾している
⚫︎
省25
408: 07/21(火)23:28 ID:H9CC5wyx(1) AAS
IUTほど徹底してIUT語を前面に出して比較写像を無視した
「比較不能性」理論の中核原理に据えた数論は前例がありません。
409: 07/22(水)00:20 ID:opwAmroW(1/4) AAS
>>405
忖度が美徳の国ですから
410(2): 07/22(水)00:48 ID:zsnSMjE4(1) AAS
なんかXに3.12の解決策みたいなのを提示している人がいるな
アカウントがキリル文字の人
411: 07/22(水)05:52 ID:opwAmroW(2/4) AAS
>>410
何で論文で出さんと？
412(2): 07/22(水)07:36 ID:d0DXYLLw(1/3) AAS
ようやく国外でも報道があったよ
外部ﾘﾝｸ:www.newscientist.com
Effort to solve biggest controversy in mathematics has made no progress
『進展なし』だってさｗ
＞“Most people believe that there is a serious gap,”
＞“And I think that this particular report is fully consistent
＞with that: it has not managed to formalise it, which is what
＞we would expect if this big theory had some serious gaps.”
結局「人間に理解できる証明がないのに形式化なんて出来るわけない」
って前々から言われてた通りの結果になったよね
省4
413(1): 07/22(水)08:10 ID:uJ7mtINc(1) AAS
>>410
IUTの難しさは望月が思春期の女ぐらいの気持ちで禁止してることと許可してることを雰囲気で決めてるからで、最近のタオがやってる謎の解析のほうが完全に難しいだろ
とか言ってるしもう弄ってるだろコレ
414: 07/22(水)08:51 ID:Zr/Df7zJ(1/5) AAS
>>412
加藤の安っちいポエムとかなw
415: 07/22(水)10:00 ID:opwAmroW(3/4) AAS
>>413
>最近のタオがやってる謎の解析
とは？
416(2): 07/22(水)10:10 ID:nPK9wZWm(1/4) AAS
尊師の声明もないし完全敗北だな
417: 07/22(水)10:34 ID:Zr/Df7zJ(2/5) AAS
>>416
年始の謎日記で爆発w
418: 07/22(水)11:13 ID:u5VrSqGL(1/3) AAS
>>412
そう。IUTは望月新一語で書かれたポエム。
LANAが示したのはポエムは形式化できないという当然の結果に過ぎない。
419: 07/22(水)11:20 ID:u5VrSqGL(2/3) AAS
>>416
SSのときと違って今回は身内の星だから何も言えんやろね
420(1): 07/22(水)11:57 ID:eqbKQYQG(1) AAS
IUTについて興味がある人にSSはなんで間違っていたかを説明するとactual q-pilot images/anabelian reconstructionはpoly-isomで結ばれ、compatibilityによりlog-volume集合は一点集合になるのだが、SSは異なる経路からの二点が一致せずに矛盾すると言っている。つまりより最悪なことが起きている
421(1): 07/22(水)12:35 ID:icAAfXq8(1) AAS
IUTの国ではICMは開けないってよ
はやく撤回してね
422: 07/22(水)12:47 ID:nPK9wZWm(2/4) AAS
言うに事欠いてショルツに学部レベルもわかってないとまで
言い切ってたのに分かってないのは自分だったとか
首吊るレベルの恥辱だろうな
423: 07/22(水)13:20 ID:/4x68Cj1(1/3) AAS
ドンキホーテみたいに
最後の最期で正気に戻って
死後残る恥の後悔に苛まれながら死んでいくんだろうな
424: 07/22(水)13:30 ID:cSy5wfDp(1) AAS
外部ﾘﾝｸ:plaza.rakuten.co.jp
これ読む限りは本人は本気で正しいと思ってたんやろな。
日本の数学会の組織としての問題と捉えた方が良いのかもしれん。
425: 07/22(水)13:38 ID:/4x68Cj1(2/3) AAS
日本の数学会ってか、数理研の体質だな
たいして実績出してもいない経歴だけの人を甘やかしすぎた
主犯は玉川と言っても過言ではない
426(1): 07/22(水)13:38 ID:eGM2as+Q(1/2) AAS
>>420
>SSはなんで間違っていたかを説明
IUTは現行の数学とギャップがあり、
望月新一語の間違ってすらいない偽の
理論。
間違ってすらいないIUTから望む結論が導ける。
IUT理論と現行数学との違いを完全に言語化する新しい数学の言語体系を早急に作らねばならない。
LANAプロジェクト加藤文元。
427: 07/22(水)13:53 ID:Zr/Df7zJ(3/5) AAS
>>426
そいつもダブスタだよな
数学といったり
数学でないといったり
加工したような不自然な顔面と
安っちい中身のないレトリックばかり
428: 07/22(水)14:13 ID:u5VrSqGL(3/3) AAS
IUT理論はポエム
はい、現行数学との違いを完全に言語化しますた
429(2): 07/22(水)14:43 ID:B9g47mQF(1) AAS
星 + 望月 = 星新一
430: 07/22(水)14:51 ID:c+hkhx91(1) AAS
ペンギンがくるくる回って昇天
431: 07/22(水)17:06 ID:eGM2as+Q(2/2) AAS
>>421
そのとおりです。
ICM2030はグラスゴーに決定。
2026年7月21日にニューヨークで開催されたIMU総会において、グラスゴー、香港、東京の3都市が2030年のICM招致のプレゼンテーションを行いました。
総会での投票の結果、2030年のICMの開催地はグラスゴーに決定しました
省1
432: 07/22(水)17:08 ID:/4x68Cj1(3/3) AAS
ごね得狙いの望月のせいで日本の数学界の信頼とプレゼンスが失われているってことだな
433(1): 07/22(水)18:59 ID:ufPO4LGT(1) AAS
icmがどこで行われようと数学者には関係ない
数学政治家にとっては重大な課題であろうが
434: 07/22(水)19:13 ID:d0DXYLLw(2/3) AAS
>>429 がびーん！最も強い言葉で評価する！！
435(1): 07/22(水)19:38 ID:qE5kB22C(1) AAS
数学界の政治好きに巻き込まれずに済んでよかった
何一つメリットないもんな
436: 07/22(水)19:58 ID:dnk3CYgU(1/2) AAS
苗木トークンを生成する
437: 07/22(水)20:00 ID:Zr/Df7zJ(4/5) AAS
>>435
めちゃくちゃ巻き込まれてんんじゃん
ドワンゴ麻生
笹川朝財団
438: 07/22(水)20:02 ID:dnk3CYgU(2/2) AAS
ヌワンコ・カヌ
439: 07/22(水)20:24 ID:qtUx/ekZ(1) AAS
でもまあショルツがLean使った理由て「優れた数学者でも間違うのは多々ある、自分や周囲の見解だけで正しいとジャッジして良いのか？」てなったからなんだよな
そういう意味では意義が十分あったと思う、アティヤもペンローズも飛躍して派手なことを主張するようになってったし
440: 07/22(水)20:48 ID:QCaNv3B1(1) AAS
人生終盤は統合の段階だから
包括的になるよう大きいことを言いがちになり、個別具体的なことは引っ込むから、派手な主張が増える
441: 07/22(水)20:54 ID:opwAmroW(4/4) AAS
俺もある有名な名誉教授が
デタラメな公演して
弟子から即死適されたのを見たときある
442: 07/22(水)21:29 ID:d0DXYLLw(3/3) AAS
外部ﾘﾝｸ:www.yomiuri.co.jp
＞理論を構築した京都大の望月新一教授と議論を続け、１年をめどに次の報告を行うという。
本当に証明があるんだったら詳細を詰めるのに１年もかかるわけないだろ。いい加減にしろ。
443: 07/22(水)21:31 ID:fDlLOF34(1) AAS
>>429
ちょっと評価する
444(1): 07/22(水)21:32 ID:nPK9wZWm(3/4) AAS
尊師は首吊るのか、
はたまた間違っていることを自覚しても墓場まで狂人を演じ続けるのか
結末に期待w
445: 07/22(水)21:48 ID:Zr/Df7zJ(5/5) AAS
>>444
背後の汚い金と政治の流れ
望月1人におっかぶせるだろうね
持ち上げてた奴らこそ悪なのに
446: 07/22(水)23:44 ID:nPK9wZWm(4/4) AAS
なんか文元も年取って薄汚い感じになったな
やっぱりやってきたことが人相に出るんかね
447: 07/23(木)01:50 ID:5iST218o(1) AAS
>>433
>icm
international congress of mathematicians
国際数学者会議の略。
数学の遠アーベル幾何学と異なり全く新しい「理論」を称するIUTは数学ではなく、当然IUT は過去のICMでも議題にIUTがありませんでした。
ICM2026にもありません。
日本には京大数理研発のSTAPまがいのIUTがありながら、
日本数学会のICM2030へ開催立候補は数学とトンデモIUTの混合より
数学の破壊につながる行為だった
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s