[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 49 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
93(1): 2020/04/12(日)15:26:51.19 ID:F1mh9bp2(17/35) AAS
>>90
頭おかしいね。
ショルツは証明の不十分な点を指摘すれば十分。
ワイルズだって最初の証明をカッツに不十分さを指摘されたが、カッツはそれ以上何もやっていない。
ショルツが何か証明してくたら、それはショルツの手柄。
110: 2020/04/12(日)15:37:33.19 ID:F1mh9bp2(21/35) AAS
>>105
自明ならば機械で検証できる証明文があります。
これは望月の側が提示しなくてはいけない。
現実には、存在しないｗ
204(1): 2020/04/12(日)17:29:13.19 ID:AOxj0b7h(14/38) AAS
>>199
講究録べっさつとPRIMSは発行主体も編集規定も原稿規定も全く異なるが
227: 2020/04/12(日)17:48:14.19 ID:s9T/z/SM(2/3) AAS
あと研究不正での内部処分よりも数学界での処遇だろうね。
ICMがどう出るかだが（Kに受賞させてこの結果だから今後は慎重になる）。
245: Brother No.1 2020/04/12(日)17:59:23.19 ID:OlsRjmnt(24/38) AAS
>>232
あ、まだこの🐎🦌、シュルツって云ってる
ショルツだって ホント、物覚えが悪い🐎🦌だなｗ
385(1): 2020/04/12(日)23:46:27.19 ID:TNJvnnRz(3/3) AAS
>>381
四則演算わかってるならせめて微分くらい教えてやるだろw
数学科の解析は常微分方程式の話にほとんど必要ないしね
500(1): 2020/04/13(月)12:25:22.19 ID:E/8DKtpa(2/5) AAS
故意にやった → 不正 → RIMS解体
故意ではない → 無能 → RIMS解体
ど ち ら に せ よ RIMS 解 体 ！ ！
561: 2020/04/13(月)16:55:43.19 ID:GJRuKvRa(1/5) AAS
モッチーのIUTは未来を開く数学やぞ
画像ﾘﾝｸ[jpg]:special.sankei.com
数学の望月理論「人類初、数百年に１度の偉業」 加藤文元氏に聞く
外部ﾘﾝｸ[html]:www.sankei.com
635(1): 2020/04/13(月)19:42:03.19 ID:Ot14yWWM(3/3) AAS
iTunesアルバム ワールドワイド(最新アルバム)
BABYMETALが日本の頂点である
ワールドワイドに人気の無いアーティストは下位となる
Worldwide iTunes Album Chart
1位 BABYMETAL - METAL GALAXY 2019/10/11
2位 宇多田ヒカル - 初恋 2019/06/27
4位 ONE OK ROCK - Eye of the Storm 2019/02/15
省20
654: 2020/04/13(月)20:23:02.19 ID:DYqPl9DE(5/9) AAS
>>648
648 名前：野暮天[sage] 投稿日：2020/04/13(月) 20:13:29.17 ID:ukZx7597 [63/63]
[63/63]か、暇人だなｗ（＾＾；
817(1): 野暮天 2020/04/14(火)16:07:49.19 ID:KeVcPD0N(17/51) AAS
やあ （´・ω・｀)
ようこそ、居酒屋 野暮天へ。
この付け出しはサービスだから、まず食べて落ち着いて欲しい。
うん、「また」なんだ。済まない。
仏の顔もって言うしね、謝って許してもらおうとも思っていない。
でも、このＨＮを見たとき、君は、きっと言葉では言い表せない
「ときめき」みたいなものを感じてくれたと思う。
省3
838: 野暮天 2020/04/14(火)18:00:04.19 ID:KeVcPD0N(28/51) AAS
一杉裕志
外部ﾘﾝｸ[html]:staff.aist.go.jp
この人がその昔NetNewsのfj.rec.idolで
有名な投票システムi-aurasを開発した人
なんてことはもはや忘れ去られてるのじゃろうな
861: 2020/04/14(火)19:46:28.19 ID:mIlcNUlX(1/7) AAS
>>855
私は
粋蕎さんを止めに行っているんだよ
（>>841）
止めなきゃ、もっと荒れるぜ
973: 2020/04/15(水)10:53:10.19 ID:b4Ht7CST(1) AAS
そらショルツは望月が何をやりたいかやりたかったか理解してるだろうその上での指摘だとおもわれる
996: 2020/04/15(水)13:30:09.19 ID:/g+JzMtk(7/9) AAS
>>993
そもそも、理論として出来上がっているかどうかが疑問視されているなら
Coqへの実装は無意味ではないだろう
999: 2020/04/15(水)14:26:02.19 ID:upGWUHod(3/4) AAS
>>983->>998
のやり取りみるだけで、擁護派は数学的真理などどうでもよく、
機械検証をいわれたら逃げ回り、
ひたすら「望月がABC予想を証明した功績を認めろ」と強弁しているだけであることがわかる。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.050s