[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 49 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
54(1): 2020/04/12(日)14:49:40.67 ID:F1mh9bp2(8/35) AAS
>>50
京大は逃げてるつもりだろうが、日本の報道では、京大が、望月の証明は正しいと発表した、
と報じてるから、逃げるのは難しいと思う。
誰かが望月の証明を正しいと判断したわけだから、そいつの説明責任は免れないよ。
175(1): 2020/04/12(日)16:59:39.67 ID:9CVqpcej(1/4) AAS
Remark 5の間違いって何よ？
それが本当にこの件と関係あるなら何が間違ってるのよ
373: 2020/04/12(日)22:51:43.67 ID:5wAo5bEu(3/3) AAS
ネトウヨ絶叫w
負け犬の遠キャイーンアーベルw
↓
402: 2020/04/13(月)00:52:29.67 ID:6BL8A6i5(4/15) AAS
>>400
そういうこと。
543(1): 2020/04/13(月)16:18:58.67 ID:hC942ZHM(5/6) AAS
宇宙際と聞いていたのに、京都限定タイヒミュラー理論だったってことですかね。
頑張ってほしいですね。
570: 2020/04/13(月)17:19:13.67 ID:CNPa1jiZ(3/3) AAS
スキームの局所環付き空間としての定義が分からないという代数幾何勉強中の人はいないだろうし
例えば50年くらい駆け上がったとしてもきちんと論証すれば分かるのでは？
949: 2020/04/15(水)00:37:40.67 ID:YChyVKjg(1) AAS
タイポ、省略レベルの重箱の隅に難癖つけて人格攻撃してただけなんだな。
959: 2020/04/15(水)04:22:36.67 ID:PZKJ5Zxj(1) AAS
Wって誰？
974(1): 2020/04/15(水)10:59:05.67 ID:5SCSS1OZ(2/4) AAS
これやっぱり駄目じゃないの？やり取り見た感じ
読み込んだが本当に理解不能って印象
990(2): 2020/04/15(水)13:22:26.67 ID:LTi2Xsr9(3/5) AAS
>>987
カリー＝ハワード同型対応
は正しいが
Coqにそれが正しく実装されている保証がない
ゆえに、ふつうは二つの異なる証明系に食わせて、結果の一致までを見ることで精度上げることはよくやられる
１．もし、人間の証明と機械の証明結果が一致すれば、人の証明が正しい裏付けになる
２．もし、人間の証明と機械の証明結果が一致しない場合、人の証明が間違っている可能性が高いが、機械への入力ミスなどの可能捨てきれない
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.048s