[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 48 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

981(2): 2020/04/12(日)10:17 ID:F1mh9bp2(4/4) AAS
>>979
確かに現実的にはその可能性が高い。
しかしあまりにも長大で、多くの人がそもそもまともに読んているか疑わしい証明などは、
機械で検証にかけるのは有意義だろう。
これからは、証明できてるかできてないかもめるケースで、
証明できたと称するチームは、機械検証が義務づけられるだろう。

---

985(1): Brother No.1 2020/04/12(日)10:21 ID:OlsRjmnt(35/41) AAS
>>981
もめるもめないとは無関係に
数学の証明の形式化は有用だから
推進すべきだろう

---
次スレッド　Inter-universal geometry と ABC 予想 49
2chｽﾚ:math

---

995(1): 粋蕎 ◆C2UdlLHDRI 2020/04/12(日)10:29 ID:J5mKuUVX(23/24) AAS
>>981
そもそも機械証明できる性質か否かの問題も有る。四色定理とは違う｡

---

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

---

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

---

ぬこの手 ぬこTOP 0.215s*