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