Inter-universal geometryとABC予想(シン応援スレ) 92 (437ﾚｽ)
上下前次1-新
335: 07/19(日)18:46 ID:tZJSVLSb(11/12) AAS
>>330
誰もそんなこと言ってないけど君、幻覚でも見えるの？
336: 07/19(日)18:47 ID:dIige2Ai(2/5) AAS
>>334
手順がないものをalgorithmと呼ぶ時点で狂ってたな
337: 07/19(日)18:47 ID:dIige2Ai(3/5) AAS
>>331
えー
338: 07/19(日)18:51 ID:tZJSVLSb(12/12) AAS
>>334
読めないのに無理しなくていいよ
339(1): 07/19(日)18:52 ID:nUKgsSja(10/13) AAS
転載：ID:dythpcIC さん、ありがと
2chｽﾚ:math
2026/07/17(金) 14:18:47.39 ID:dythpcIC
LANAプロジェクトに一定の敬意を払いつつも
逃げ腰でLEANの公開なしってのは流石にどうかと思ったから俺のOpus4.8とFable5で作った
プロトタイプ、スケルトン、未完成、言い方は何でも良いが公開しとくわ
コメントはほぼ日本語なんで海外勢向けではないがな
まぁAIに読み込ませてコメント英語化するとか容易だろうし許せ
外部ﾘﾝｸ:github.com
Opus4.8とFable5で作ったIUTの形式化
340: 07/19(日)19:03 ID:S1PMNEss(14/15) AAS
まーたコピペIUT仕草でクソ漏らし始めたw
論破されるとすぐこれだからなあIUT擁護派って
341(1): 07/19(日)19:19 ID:/OKcu5l/(1/2) AAS
Set Aは四年前は
”2026年のICMでは、望月新一がABC予想解決で招待講演する”
とかフカしてたが、今はとてもそんな状況ではないと観念したはず
もう負け犬の遠吠えはやめとけ
工学部卒の数学素人が何を言っても無駄
342(1): 07/19(日)19:21 ID:/OKcu5l/(2/2) AAS
＞問題点は、q-pilot対数的体積の二つの計算が「tautologicalに同値」とされている点
これを望月新一予想と名付けると、まだ誰にも証明されてない、ということか
343: 07/19(日)19:24 ID:mRLH3SpR(1) AAS
沖のカモメにふかしイモ取られて、ツイてね～♪
344(1): 07/19(日)19:35 ID:dIige2Ai(4/5) AAS
>>342
@FumiharuKato 7月7日
数学においてもっとも深遠でもっとも危険な概念は「等しい」ということだ。ふたつの抽象的構造を等号で結ぶことだ。
345: 07/19(日)19:35 ID:SacczO1f(1/2) AAS
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■□■■■■■■■■■■□■■■□■■■■■■■■■■■■■■■■■■■■■■■□■■■■■■
■□□□□□□□□□□□■■□□□□□□□□□□□■■■□□□□□□□□□■■■■■■■■□■■■■■■
■■■■□■■■□■■■■■■■■□■■■□■■■■■■■■■■■■■■■■■■□□□□□□□□□□□■
■■■■■□□□■■■■■■□□□□■□■□■□■■■■■■■■■■■■■■■■■■■□■■■□■■■■
■■■■□□□□□■■■■■□■■□■□■□□□■■■■■■■■■■■■■■■■■□□□□□□□□□□■
■□□□■■■■■□□□■■□■■□□□□□□□□■■□□□□□□□□□□□■■■□■■■■■□■■■■
■■□□□□□□□□□■■■□□□□■■□■□■■■■■■■□■■□■■■■■■■□■■□□□■■■■■
■■■□□□□□□□□■■■□■■□□□□□□□□■■■■■□■■□■■■■■■■□■□■■■□□■■■
■■□□■■□■■■□■■■□□□□■□■□■□□■■■■■□■■□■■■■■■■□■■□□□■■□□■
省5
346: 07/19(日)19:36 ID:SacczO1f(2/2) AAS
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■□■■■■■■■■■■□■■□□□■■■■■■■□■■■■■■■■■■■■■■
■■■■■■■■■■■■■□■■■■■■■■□□□■■□■□■■■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■■■□■■■■■■■■□□□■■□■□■□■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■■■□■■■■■■■□□■■■□■■□□□■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■■□□□■■■■■■■■□■■■■■■■■■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■■□■□■■■■■■□□□□□□□□□□■■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■■□■■□■■■■■■■□■■■□■■□■■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■□■■■□□■■■■■□□□■■□□□■■■■■■□□■■■■■□■■■■■■■■
■■■■■■■■■■□■■■■■□□■■■□■□■□■■□□■■■■■■■□■■■□□■■■■■■■■■
省3
347(1): 07/19(日)20:17 ID:S1PMNEss(15/15) AAS
>>344
そういうのって
「すげえ危険なことやってんだぜえー」
みたいな幼稚なレトリックだよ
加藤とかガチで幼稚だろ
文章も汚ねえし
348: 07/19(日)20:27 ID:dIige2Ai(5/5) AAS
>>347
単発で見るとレトリックっぽいが
実際には非常に具体的な望月のミスった箇所の指摘なんだよ
望月への配慮から事例として上げてないが
349(1): 07/19(日)20:39 ID:nUKgsSja(11/13) AAS
>>341
>Set Aは四年前は
>”2026年のICMでは、望月新一がABC予想解決で招待講演する”
>とかフカしてたが、今はとてもそんな状況ではないと観念したはず
まあ、そう慌てるな
慌てる乞食は貰いが少ない
たしかに、2026年望月新一がABC予想解決で招待講演が無いことは
半年以上前に分っていたことだ
が、今後(2030)がどうなるか？ 神のみぞ知る
要するに いまのLean 証明に乗せればいいだけでしょ
省7
350: 07/19(日)20:56 ID:vLR4xaTQ(2/4) AAS
遠アーベル自体がなんか変な分野なんだよな
そこにさらにF1の絶対数学とか眉唾なものが
351: 07/19(日)21:17 ID:/UFaYt6V(1/3) AAS
>>349
慌て始めてるのがIUTじゃん
メクラw
352: 07/19(日)21:17 ID:/UFaYt6V(2/3) AAS
コピペ爺さんまじやべえな
文盲じゃね
353: 07/19(日)21:33 ID:nUKgsSja(12/13) AAS
>>334 追加
望月一派に捧ぐ
下記”チャールズ・ケタリング『問題をきちんと述べられれば、半分は解決したようなものだ』”
頑張ってください
ICM2030日本開催をめざして
外部ﾘﾝｸ:www.gravityofdivine.com
The Gravity of Divine
チャールズ・ケタリング『問題をきちんと述べられれば、半分は解決したようなものだ。』
20260511
目次
省13
354(1): 07/19(日)21:45 ID:vLR4xaTQ(3/4) AAS
（正確に定義できてないから検証に乗せられないのにね）
355: 07/19(日)22:02 ID:/UFaYt6V(3/3) AAS
半分w
356: 07/19(日)23:07 ID:nUKgsSja(13/13) AAS
>>354
ですね人？
今回のLEAN プロジェクト >>264
プロジェクトメンバーの
ヨハン・コメリン/Johan Commelin（ユトレヒト大学助教）
キラン・ケドラヤ/Kiran Kedlaya（カリフォルニア大学サンディエゴ校 教授）
アダム・トパーズ/Adam Topaz（アルバータ大学 准教授）
それに
加藤文元氏を加えた4人の数学者が
かなり論点整理をしてくれている>>334
省9
357: 07/19(日)23:13 ID:vLR4xaTQ(4/4) AAS
（つまり証明にはなってないってことね）
358: 07/20(月)00:40 ID:AtZID/Oc(1/4) AAS
IUT擁護派はバカしかいねーからな
まず精神分裂病みたいなまとまりのない文しか書けない
集合も論理もわかってないから一投稿の内部でも矛盾する
359: 07/20(月)04:34 ID:taEbqJD/(1) AAS
人格攻撃は不要
大事なのは証明の成否
360: 07/20(月)04:57 ID:nz34QvDF(1) AAS
今更何周遅れの話してんだこいつら
> 日本経済新聞
数学難問ABC予想、望月教授の証明の問題点「絞り込めた」 ZEN大学
361: 07/20(月)05:52 ID:yfXAOadu(1/2) AAS
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□■□□□□□□□□□□■□□□■□□□□□□□□□□□□□□□□□□□□□□□■□□□□□□
□■■■■■■■■■■■□□■■■■■■■■■■■□□□■■■■■■■■■□□□□□□□□■□□□□□□
□□□□■□□□■□□□□□□□□■□□□■□□□□□□□□□□□□□□□□□□■■■■■■■■■■■□
□□□□□■■■□□□□□□■■■■□■□■□■□□□□□□□□□□□□□□□□□□□■□□□■□□□□
□□□□■■■■■□□□□□■□□■□■□■■■□□□□□□□□□□□□□□□□□■■■■■■■■■■□
□■■■□□□□□■■■□□■□□■■■■■■■■□□■■■■■■■■■■■□□□■□□□□□■□□□□
□□■■■■■■■■■□□□■■■■□□■□■□□□□□□□■□□■□□□□□□□■□□■■■□□□□□
□□□■■■■■■■■□□□■□□■■■■■■■■□□□□□■□□■□□□□□□□■□■□□□■■□□□
□□■■□□■□□□■□□□■■■■□■□■□■■□□□□□■□□■□□□□□□□■□□■■■□□■■□
省4
362: 07/20(月)05:52 ID:yfXAOadu(2/2) AAS
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□■□□□□□□□□□□■□□■■■□□□□□□□■□□□□□□□□□□□□□□
□□□□□□□□□□□□□■□□□□□□□□■■■□□■□■□□□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□□■□□□□□□□□■■■□□■□■□■□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□□■□□□□□□□■■□□□■□□■■■□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□■■■□□□□□□□□■□□□□□□□□□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□■□■□□□□□□■■■■■■■■■■□□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□■□□■□□□□□□□■□□□■□□■□□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□■□□□■■□□□□□■■■□□■■■□□□□□□■■□□□□□■□□□□□□□□
省4
363: 07/20(月)08:28 ID:OURAIP0F(1/4) AAS
『POPOPO』開発8年、川上量生が私財30億円突っ込み4ヶ月でサ終！ひろゆき 庵野秀明 GACKTが参画 [977790669]
2chｽﾚ:news
364: 07/20(月)08:29 ID:OURAIP0F(2/4) AAS
ひろゆき「POPOPOのサ終の真因は『川上さんの心が折れた』こと。川上さんにとって30億円は端金なんで金が原因ではないです」 [153736977]
2chｽﾚ:poverty
365: 07/20(月)08:29 ID:OURAIP0F(3/4) AAS
【高市】川上「POPOPOは100億かけたけ足りなかった。1000億なら成功してた」アンチ「3兆でも無理だろ」川上「あなたがやればね」 [856698234]
2chｽﾚ:poverty
366: 07/20(月)08:29 ID:OURAIP0F(4/4) AAS
【高市】川上「POPOPOは30億かけたけ足りなかった。1000億なら成功してた」 [856698234]
2chｽﾚ:news
367(2): 07/20(月)08:40 ID:a0+1odGL(1/7) AAS
>>334 補足
外部ﾘﾝｸ:zen.ac.jp
LANAプロジェクト
現時点での評価、残された課題、Scholze–Stix報告書との関係を報告
外部ﾘﾝｸ[pdf]:github.com
公開文書「Project LANA Interim Report on IUT Theory」報告書全文 2026/07/17
抜粋
P44
画像ﾘﾝｸ[jpeg]:i.imgur.com
Figure 6. The η algorithm
省15
368(1): 07/20(月)09:18 ID:tXBgWMjQ(1) AAS
昔は日本では認められなかった理論が
外国で評価されて話題になったものだったが
369: 07/20(月)15:41 ID:a0+1odGL(2/7) AAS
sage
370: [set] 07/20(月)16:07 ID:4Gvstadc(1/2) AAS
>>367
あくまで神風が吹くことを期待する
国粋🐎🦌のSet A
いとをかし
371(1): 07/20(月)16:31 ID:a0+1odGL(3/7) AAS
>>368
>昔は日本では認められなかった理論が
>外国で評価されて話題になったものだったが
ID:tXBgWMjQ は、御大か
巡回とレスありがとうございます
企業では、SONYが有名ですね
江崎 玲於奈さんは、ノーベル賞
372: 07/20(月)16:33 ID:a0+1odGL(4/7) AAS
>>371
追加
(参考)
ja.wikipedia.org
SONYの歴史
ja.wikipedia.org
江崎 玲於奈（1925年〈大正14年〉3月12日[1] - ）
1973年（昭和48年）、トンネル効果の研究に関連して、ジョゼフソンとともにノーベル物理学賞を受賞
1956年、東京通信工業株式会社（現在のSONY）に移籍する
373: 07/20(月)16:38 ID:mnKr1/Da(1) AAS
江崎グリコ
374(1): 07/20(月)17:16 ID:a0+1odGL(5/7) AAS
星裕一郎先生
元気ですね
頑張ってください
下記
Makoto Matsumoto AMAGAERU Institute of Free Mathematics
は、松本眞先生か
(参考)
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
星 裕一郎 の ホームページ
講演
省15
375(1): 07/20(月)17:31 ID:4Gvstadc(2/2) AAS
発●するSet A
おだいじに
376(1): 07/20(月)18:19 ID:AtZID/Oc(2/4) AAS
IUT擁護派おじさんが発狂コピペしててワラタw
【数学】「ＡＢＣ予想」巡る望月新一教授の証明、検証チーム「不明瞭な点がある」と中間報告 [すらいむ★]
2chｽﾚ:scienceplus
377(2): 07/20(月)20:07 ID:a0+1odGL(6/7) AAS
>>375-376
つまらん
それよか 下記
ID:13yLpBZq さん >>242-245 & ID:dythpcIC さん>>339
(同一人物だが)
”Claude Opus4.8とFable5使ってIUTを1から地道に検証するプロジェクトを個人的にこの一ヶ月やってみたがFable5の言い分は以下だった
IUT理解者に対する要請部分のみを書く”
と ”LEANの公開”
いまどきのAI使った 世間のアマ数学者個人の仕事が
すごいねと思ったよ
省38
378: 07/20(月)20:19 ID:a0+1odGL(7/7) AAS
>>377 追加
>が、これも しばしばあるが、
>”自明”されたことが 結局後世に キチンと数学的に証明されることは多い
実例を挙げておくと
ポアンカレ予想の証明において、ペレルマンは 体積崩壊定理を 証明せずに用いた
それを証明したのが 塩谷・山口氏です
(google検索)
ポアンカレ予想証明 塩谷・山口 定理
AI による概要
ポアンカレ予想の証明において、日本の数学者である塩谷隆氏（東北大学教授）と山口孝男氏（京都大学名誉教授）の共同研究による「体積崩壊理論（崩壊定理）」は決定的な役割を果たしました。これは、多様体が潰れていく極限構造を明らかにした幾何学の定理です
省14
379(1): 07/20(月)20:49 ID:uqomNNcQ(1) AAS
Q.まったく価値のない持論を何度も繰り返すのは病気ですか？
A.何度も同じ持論を繰り返されると、聞く方も疲れてしまい、「何か病気なのだろうか」と疑問に思うのは当然のことです。結論から言うと、単に本人の性格やコミュニケーションの癖である場合が多いですが、背景に脳の病気や精神疾患が隠れている可能性もあります。
380(1): 07/20(月)22:23 ID:AtZID/Oc(3/4) AAS
IUT擁護派おじさんついにバックレるの巻
👇
157 名無しのひみつ 2026/07/20(月) 20:08:24.06 ID:jDVnUfx7
そもそも査読は、論文としての体裁が整ってるかどうかって判定にしか機能してねー、どころか、体裁が整ってても査読者の気に入らない
結果だと、屁理屈つけられて落ちる
ってか、査読システムが全く機能してねーのに、査読論文数とか被引用数で研究業績評価するから、世の中は屑論文であふれてるわけな
2chｽﾚ:scienceplus
381(1): 07/20(月)22:24 ID:AtZID/Oc(4/4) AAS
論破されてコピペで精神分裂投稿連打でクソ漏らし
IUT仕草でございますw
382(1): 07/20(月)22:35 ID:B6WVrHSM(1) AAS
ですね
383: 07/21(火)11:09 ID:oOVYpKSk(1/3) AAS
>>379-382
ばかか、こいつらｗ （＾＾
１）
>Q.まったく価値のない持論を何度も繰り返すのは病気ですか？
「まったく価値のない持論」については
そこ 数学的には 強すぎるので
証明できないよ その命題は
”まったく”は、少しでも価値があれば 命題は否定される
よって その主張は主観にすぎない！！ｗｗ
２）
省13
384: 07/21(火)11:11 ID:5xceQTWC(1/3) AAS
あい、とぅいまてんw
385: 07/21(火)11:26 ID:9lPB4r8c(1/2) AAS
また他人が馬鹿に見える病の発作か
やばいね
386: 07/21(火)11:33 ID:5xceQTWC(2/3) AAS
🐴🦌に見えるよね、とぅいまてんw
387: 07/21(火)12:56 ID:B/i3Ot9C(1/3) AAS
IUT擁護派のキチガイ精神分裂ショータイムw
388: 07/21(火)14:11 ID:+/6+R6XN(1/3) AAS
「問題点は、q-pilot対数的体積の二つの計算が「tautologicalに同値」とされている点」
このギャップが最初からまったく埋められず、自明と吠えまくる●違い著者
389: 07/21(火)14:12 ID:+/6+R6XN(2/3) AAS
「意味わからんけど？」
大学１年の微積と線形代数で落第した高卒には無理
390: 07/21(火)14:13 ID:+/6+R6XN(3/3) AAS
結論
大学１年の数学で落ちこぼれた国粋高卒が
外国人を異常に嫌う●違い数学者に全てを賭けた結果
スッテンテンになる
391: 07/21(火)14:15 ID:5xceQTWC(3/3) AAS
ヤッチンチン
ドドスコLOVE注入
392(1): 07/21(火)16:50 ID:oOVYpKSk(2/3) AAS
>>384-391
面白いやつらだね バカがいるｗｗ
>また他人が馬鹿に見える病の発作か
いやいや おまえは「馬鹿に見える」ぞ
そもそも IUTのスレを分けているだろ？
それ 知らないのか？
”場合分け”が分からない？ 中学校の数学で習うだろ？ｗ
Interuniversal geometry とABC 予想61
と
Inter-universal geometryとABC予想(シン応援スレ) 92
省15
393(1): 07/21(火)17:03 ID:diu0Idzx(1/2) AAS
（自分の世界に閉じこもりたくて堪らないようです）
394(1): 07/21(火)17:29 ID:CSFPuf3w(1/3) AAS
楽しくないんご
395(1): 07/21(火)17:29 ID:CSFPuf3w(2/3) AAS
楽しんごじゃないw
396: 07/21(火)17:55 ID:B/i3Ot9C(2/3) AAS
>>392
ほら
発狂中じゃん
文章まとめてまともな反論すれば？
知能低すぎてできないんだろうけど
397: 07/21(火)17:56 ID:oOVYpKSk(3/3) AAS
>>393-395
おもしれえやつらだね
素人はこれだからなｗ
まず 下記
外部ﾘﾝｸ:ahgt.math.cnrs.fr
Arithmetic & Homotopic Galois Theory IRN
Activities - Conferences & Seminars
ここに
Promenade in Inter-Universal Teichmüller Theory Lille-RIMS seminar 2020-2021
Sept. 2020 - Apr. 21, 2021 Org.: B.Collas, P.Dèbes, B.Fresse
省27
398(1): 07/21(火)18:11 ID:CSFPuf3w(3/3) AAS
私にアンカーを付けられてもねぇw
踊って注入しかできないンゴw
399: 07/21(火)18:23 ID:diu0Idzx(2/2) AAS
（IUT擁護派の世界は崩れ落ちたのにね）
400(2): 07/21(火)18:55 ID:9lPB4r8c(2/2) AAS
>ああ Lean形式化の発表でギャップ見つかった話？ ギャップ埋めればいいだけでしょ？
ああ リーマン予想は未証明って話？ 証明すればいいだけでしょ？
401: 07/21(火)19:38 ID:B/i3Ot9C(3/3) AAS
>>398
ワラタ
402: 07/21(火)19:56 ID:2GPRU5Zx(1/2) AAS
>>400
ですね
403: 07/21(火)19:59 ID:1oLhTN1K(1) AAS
ギャップを埋めるために、まずは公理をいじってIUTが正しいとしようぜ
404: 07/21(火)20:07 ID:2GPRU5Zx(2/2) AAS
それで「自明」になる訳ですね
405(1): 07/21(火)23:47 ID:IngSDRcX(1) AAS
>>400
>>ああ Lean形式化の発表でギャップ見つかった話？ ギャップ埋めればいいだけでしょ？
>ああ リーマン予想は未証明って話？ 証明すればいいだけでしょ？
例えば 過去レスにも書いたが
下記のフェルマー最終定理の証明と対比するのが適当だろう
ワイルズによる証明は、100点満点の99点で ただし1点足りない状態で
リチャード・テイラーの協力を仰ぐ
そして、1年 『彼はほとんど誤りの訂正を諦める寸前で、証明に失敗したことを認める瀬戸際』だった
そのとき もの凄いアイデアが降ってきた！
『不意に、コリヴァキアン＝フラッハ法の適用の際に問題となっている部分そのものが（コリヴァキアン＝フラッハ法のアプローチから得た経験を援用することで）岩澤理論の適用を可能にすることに気がついた』
省9
406: 07/22(水)00:01 ID:u5VrSqGL(1/10) AAS
Q.まったく価値のない持論を何度も繰り返すのは病気ですか？
A.何度も同じ持論を繰り返されると、聞く方も疲れてしまい、「何か病気なのだろうか」と疑問に思うのは当然のことです。結論から言うと、単に本人の性格やコミュニケーションの癖である場合が多いですが、背景に脳の病気や精神疾患が隠れている可能性もあります。
407(1): 07/22(水)00:22 ID:V9GWtChn(1) AAS
フェルマーの最終定理の証明は最後のギャップが埋まらなかったとしてもそこ以外は価値のあるものだったが
IUTは3.11→3.12のギャップが埋まらなければ全体が完全に無価値なんですよね
408: 07/22(水)01:19 ID:Zr/Df7zJ(1/4) AAS
>>407
はい
409: 07/22(水)05:12 ID:mVv9Tn8+(1) AAS
jinは頭の病気
統合失調症
410(1): 07/22(水)10:48 ID:RAZlqblh(1) AAS
駄々をこねるの本質
相手が嫌になって引いて行くのを期待してる
それで「自分の勝ち」と思う
小学校あたりで人間的成長が止まってる
411(2): 07/22(水)10:56 ID:u5VrSqGL(2/10) AAS
>>258
そもそも証明検証ツールが本格的に運用されるようになったのは今世紀以降。
いかなる非形式的証明もギャップが無いことが検証されていない。
それでも数学者は長年培ってきた数学的思考によりたいていの証明につきギャップの有無を判断できる。
ところがIUTは既存の数学とは全く異なる言語で記述されており長年の経験が役に立たない。
そのようなIUT固有の事情を考慮せずに
>時代が進まないと、ギャップに気付かないということは
>数学史上しばしばあった
などと言ったところでまったく的外れ。
>代数学の基本定理（＝代数方程式は複素数根を持つ）
省2
412: 07/22(水)12:08 ID:QCaNv3B1(1/2) AAS
>>405
固執してるね
長いの直せないんだから
自分の中では理屈が通ってるから長文で粘着していいと
413: 07/22(水)13:31 ID:Zr/Df7zJ(2/4) AAS
>>410
それが朝鮮IUT仕草
414(1): 07/22(水)13:53 ID:n+1eBk57(1/2) AAS
>>411
>そもそも証明検証ツールが本格的に運用されるようになったのは今世紀以降。
ショルツがやったやったやつみたいに
ホッカホカの最新の数学が検証されたのはたしかに最近
>いかなる非形式的証明もギャップが無いことが検証されていない。
これは言い過ぎでIsabelle, HOL, Coqは前世紀から使われてるし
利用する公理の範囲を検討する逆数学との関係で
ギャプ探しは結構行われてた
415(2): 07/22(水)13:54 ID:n+1eBk57(2/2) AAS
>>411
>ところがIUTは既存の数学とは全く異なる言語で記述されており長年の経験が役に立たない
これも大した問題じゃない
ギャプがあると問題だけど
416: 07/22(水)14:33 ID:u5VrSqGL(3/10) AAS
>>414
>>いかなる非形式的証明もギャップが無いことが検証されていない。
>これは言い過ぎでIsabelle, HOL, Coqは前世紀から使われてるし
え？ それ形式化してるやん
非形式的証明って書いてるんだけど字読める？
417(1): 07/22(水)14:35 ID:u5VrSqGL(4/10) AAS
>>415
なんで勝手に問題と言ってることに脳内変換すんの？
418: 07/22(水)14:37 ID:u5VrSqGL(5/10) AAS
こういう勝手に脳内変換する人って会話が成り立たないから疲れるね
419: 07/22(水)14:44 ID:1xaWQya/(1) AAS
>代数学の基本定理（＝代数方程式は複素数根を持つ）
複素数体は代数的閉体だといえるが、逆、すなわち
代数的閉体は複素数体である、とはいえない
420(1): 07/22(水)14:47 ID:u5VrSqGL(6/10) AAS
>代数的閉体は複素数体である、とはいえない
誰か言えるって言ったの？ 見えない敵と戦ってる？
421: 07/22(水)15:56 ID:Zr/Df7zJ(3/4) AAS
>>417
それがキチガイIUT仕草
命題から逃げて延々ズレたコピペを繰り返す
422(1): 07/22(水)16:32 ID:/bpX0nWF(1) AAS
>>420
君を応援したんだけど
423: 07/22(水)17:09 ID:u5VrSqGL(7/10) AAS
キモチワルイ
424: 07/22(水)17:27 ID:Zr/Df7zJ(4/4) AAS
庵野が使うシンは李氏朝鮮清のシンww
425: 07/22(水)17:51 ID:dnk3CYgU(1) AAS
>>422
キモチイイ
426(1): 07/22(水)18:09 ID:j1T6QVV5(1) AAS
>>415
>ギャプがあると問題だけど
GAPがあっても埋めれば問題がないと言い始めてるのがIUTサイドかな
まあ埋めれば問題がないのは結果オーライてことだけど
当初論文にGAPがあったのに出版したPubl. of RIMSは責められても仕方ないのでは
それに埋めれるかどうかまったく不明ですし
埋めたら埋めた人の業績になるべきで
その場合当初論文はその呼び水って扱いになるのかな
427: 07/22(水)18:34 ID:cSy5wfDp(1) AAS
>>377
少なくともペレルマンは指摘された問題点に素直に向き合って照明のギャップを埋める作業をやったわけだが。
428(2): 07/22(水)19:24 ID:Te3LA19E(1) AAS
>>426
ギャップが小さければほとんど望月の仕事と認められるだろうけど
その可能性は全くないよね
8年間改善できなかったんだから
小さいギャップなら望月かショルツか他の誰かがとっくに埋めてる
みんな何処に問題あるか知ってたんだから
429(1): 07/22(水)20:31 ID:T9Q165NM(1/3) AAS
下記(参考)引用
「 Interuniversal geometry とABC 予想61 」からだが
これは いい話だね
思うに
１）望月＆星氏は 加藤氏のLANAプロジェクトに 現状のLeanコードを公開すべきだろう
２）そして、問題点を明らかにして オープンな議論を惹起すべし
３）望月＆星氏は 今回の加藤氏のLANAプロジェクト中間発表について コメントを出すべきだろう
４）その上で、今後どうしていくのかのロードマップを公表すべきだ
要するに
衆知を集めて 遠アーベル関係者みなで議論して 解決策を模索するべし！だね
省31
430: 07/22(水)20:35 ID:T9Q165NM(2/3) AAS
>>429 タイポ訂正
１）望月＆星氏は 加藤氏のLANAプロジェクトに 現状のLeanコードを公開すべきだろう
↓
１）望月＆星氏は 加藤氏のLANAプロジェクトに 現状のLeanコードを公開要請すべきだろう
補足
いまどき
Leanコードでの証明未達では
世間では通用しないことは
明白
査読を通って 掲載されてしまった論文だから
省1
431: 07/22(水)20:50 ID:QCaNv3B1(2/2) AAS
leanをaiに学習させられないだろうか
432: 07/22(水)20:52 ID:opwAmroW(1) AAS
>>428
ですね
分かりやすい指摘です
433(1): 07/22(水)22:04 ID:T9Q165NM(3/3) AAS
>>428
(引用開始)
ギャップが小さければほとんど望月の仕事と認められるだろうけど
その可能性は全くないよね
8年間改善できなかったんだから
小さいギャップなら望月かショルツか他の誰かがとっくに埋めてる
みんな何処に問題あるか知ってたんだから
(引用終り)
うん、君にだってチャンスあるぞｗ （＾＾
いま、AIつかって 数学未解決問題を解かせたという話がどんどん出ている
省41
434: 07/22(水)23:00 ID:u5VrSqGL(8/10) AAS
解決策がある前提なのが馬鹿
上下前次1-新書関写板覧索設栞歴
あと 3 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s