Inter-universal geometryとABC予想(シン応援スレ) 92 (441ﾚｽ)
上下前次1-新
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(3): 07/22(水)20:31 ID:T9Q165NM(1/3) AAS
下記(参考)引用
「 Interuniversal geometry とABC 予想61 」からだが
これは いい話だね
思うに
１）望月＆星氏は 加藤氏のLANAプロジェクトに 現状のLeanコードを公開すべきだろう
２）そして、問題点を明らかにして オープンな議論を惹起すべし
３）望月＆星氏は 今回の加藤氏のLANAプロジェクト中間発表について コメントを出すべきだろう
４）その上で、今後どうしていくのかのロードマップを公表すべきだ
要するに
衆知を集めて 遠アーベル関係者みなで議論して 解決策を模索するべし！だね
省31
430(1): 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
解決策がある前提なのが馬鹿
435: 07/22(水)23:34 ID:u5VrSqGL(9/10) AAS
>>433
>望月IUTは、いままでで 一番ABC予想解決に近づいた論文かもしれない
IUTは、複数の異なる宇宙を用意しその間を通信経路で結ぶことで、通常の数学（ひとつの宇宙）では分離できない掛け算と足し算の絡み合いを解きほぐそうとするもの。
このアイデアが機能するかは系3.12を証明できるかにかかっている。証明できなければIUTはただのゴミでABC予想解決にまったく近づいていない。
そしてLANAは証明に失敗し解決の見通しはまったくの白紙、1年後を目途に次の報告をしたいと述べるのがやっとの惨憺たる有様。
436(1): 07/22(水)23:42 ID:u5VrSqGL(10/10) AAS
ショルツェは流石だね。単にギャップを指摘するだけではなくIUTというアイデア自体がゴミであることを正確に見抜いていた。
一方でLANAは2年がかりでショルツェの発言を補強したに過ぎない。
国粋馬鹿よ、これが現実だ。
437: 07/23(木)01:33 ID:4ighMvmG(1) AAS
>>436
あいつらは国粋じゃない
旧満州由来の在日朝鮮人偽右翼
438: 07/23(木)04:56 ID:zcxB6y9j(1) AAS
jin は頭の病気
439: 07/23(木)05:45 ID:/998dqFb(1/2) AAS
>>429-430
>望月＆星氏は 加藤氏のLANAプロジェクトに
>現状のLeanコードを公開要請すべきだろう
見せてもらっても無駄だろ
望月も星も答えをもってないんだから
>そして、問題点を明らかにして
>オープンな議論を惹起すべし
問題点は明らか
すでにオープンに議論されてる
>望月＆星氏は
省8
440: 07/23(木)05:50 ID:/998dqFb(2/2) AAS
>>429
>衆知を集めて 遠アーベル関係者みなで議論して 解決策を模索するべし！
無駄 誰もノープランなんだから議論にならない
>IUT論文は、すでに２つ投稿され 査読掲載されている
>一つは望月氏自身のIUTの大作で
>もう一つは5人共著のフェルマー解決論文で Kodai mathに掲載された
前者は不正査読な
後者は前者を認めた上での評価として逃げられるだろうけど
>さらには、中国の若手の周忠鵬の論文もある
省8
441: 07/23(木)07:20 ID:5zPtkw66(1) AAS
いずれにせよこれで一段落ということにしてはどうか
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.738s*