[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 49 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
14(1): 2020/04/12(日)12:20:51.74 ID:uhjyERyF(1) AAS
DeepL使えよｗ
135(1): 2020/04/12(日)16:05:04.74 ID:/qSNNgIO(2/5) AAS
>>127
最低限、IUT論文の掲載はみあわせないとまずい
さらに、なぜこうなってしまったか、
世界の数学者に説明しないと
Q2XpeR4Lとかなにものかな
229(1): Brother No.1 2020/04/12(日)17:49:55.74 ID:OlsRjmnt(20/38) AAS
擁護派は基本ネトウヨ 数学は知らない
数学知ってたらこの件で不用意に支持とか言わない
面目失うからな
きっとIUT事件は第二のSTAP事件とかいわれるんだろうな（憂鬱）
369(1): 2020/04/12(日)22:47:14.74 ID:aky/S9fB(1) AAS
>>367
ショルツだろ？
524: 2020/04/13(月)14:59:28.74 ID:LWCqzmt8(1) AAS
学術の巨大掲示板群 - アルファ・ラボ
外部ﾘﾝｸ:x0000.net
数学 物理学 化学 生物学 天文学 地理地学
IT 電子 工学 言語学 国語 方言 など
678(1): 2020/04/13(月)23:06:34.74 ID:vWi06T7g(10/13) AAS
>>671
コミュニティが公にSSレポートの誤りを認識しない理由は何だと思う？
単純に望月が望月レポートで否定してるから？
731: 2020/04/14(火)09:04:51.74 ID:G3rA8umE(2/2) AAS
村八分というよりIUT汚染の封じ込め
でしょ。
784: 2020/04/14(火)13:26:15.74 ID:1qnJddCc(3/4) AAS
反論するレベルにすら至っていない証明、説明であったから、放っておいても廃れるだけだろうと思っていたのに、
査読が通ったから口を出さざるを得なくなった、というのが正しい
きちんと真っ当にリジェクトされるのが本来の流れだったにも関わらずアクセプトしてきたから黙っていられなくなった、というのが流れだな
本来はショルツが反論するまでもなくリジェクトされて終わる理論だった
だからアクセプトされた途端コメントするのはある意味当たり前
787: 2020/04/14(火)13:36:00.74 ID:1qnJddCc(4/4) AAS
アクセプトされたあとの結果論から「ショルツはなんで反論しなかったんだ」って主張している人がいるが、
アクセプトされる直前までは「ショルツがなにか言うまでもなくリジェクトされる理論だった」んだからな
PRIMSが圧力に屈してアクセプトしたから、騙される人も増えた
だからショルツも口を出すしかなくなった
825(2): 野暮天 2020/04/14(火)17:17:20.74 ID:KeVcPD0N(19/51) AAS
今後の展開
１．IUTから矛盾が導かれる (望月破滅）
２．IUTが既存の圏論とは異なる理論と証明される （望月別世界に隔離）
３．IUTが圏論の拡張となると示されABC予想の証明が認められる （望月大勝利）
４．IUTは理論として理解されずABC予想の証明もギャップありで認められず （望月 忘却される）
まあ、４じゃろな
919(1): 2020/04/14(火)21:30:50.74 ID:6SSYj6NR(1) AAS
>>915
まーたでたよ糞クイズw
代数体の場合は復元可能
有限体の場合は明らかに復元不可w
混標数局所体の場合は復元不可
有限体上関数体の場合は多分復元不可
971: 2020/04/15(水)10:33:58.74 ID:+ag2Wthg(1) AAS
望月-ショルツの定理と呼ぶか
ショルツ-望月の定理と呼ぶかで100スレ消費
に10モッチ
985(1): 2020/04/15(水)13:10:33.74 ID:/g+JzMtk(2/9) AAS
>>984
具体的に説明するか
Coq証明系の存在証明をCoqで書いて
プログラムとして抽出すればいいってこと
カリー＝ハワード同型対応
外部ﾘﾝｸ:ja.wikipedia.org
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s