[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 48 (1002ﾚｽ)

Inter-universal geometry と ABC 予想 48 http://rio2016.5ch.net/test/read.cgi/math/1586385308/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

981: １３２人目の素数さん [] 2020/04/12(日) 10:17:40.78 ID:F1mh9bp2 >>979 確かに現実的にはその可能性が高い。 しかしあまりにも長大で、多くの人がそもそもまともに読んているか疑わしい証明などは、 機械で検証にかけるのは有意義だろう。 これからは、証明できてるかできてないかもめるケースで、 証明できたと称するチームは、機械検証が義務づけられるだろう。 http://rio2016.5ch.net/test/read.cgi/math/1586385308/981

985: Brother No.1 [sage] 2020/04/12(日) 10:21:02.21 ID:OlsRjmnt >>981 もめるもめないとは無関係に 数学の証明の形式化は有用だから 推進すべきだろう --- 次スレッド　Inter-universal geometry と ABC 予想 49 http://itest.5ch.net/rio2016/test/read.cgi/math/1586650355 http://rio2016.5ch.net/test/read.cgi/math/1586385308/985

995: 粋蕎 ◆C2UdlLHDRI [sage] 2020/04/12(日) 10:29:54.53 ID:J5mKuUVX >>981 そもそも機械証明できる性質か否かの問題も有る。四色定理とは違う｡ http://rio2016.5ch.net/test/read.cgi/math/1586385308/995

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.219s*