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

---

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

---

974(1): 2020/04/15(水)10:59 ID:5SCSS1OZ(2/4) AAS
これやっぱり駄目じゃないの？やり取り見た感じ
読み込んだが本当に理解不能って印象

---

7: 2020/04/12(日)10:44 ID:F1mh9bp2(1/35) AAS
前スレ

994１３２人目の素数さん2020/04/12(日) 10:29:26.82ID:Lsg09Vo4

>>974
＞いやだから、機械ってなんのこと?
＞論証のプログラム自体が回答だよ。
＞それに対して、IUT支持側は自明だって言ってるんだから、
＞すでに論証されてるって立場。トートロジーってこと。
省3

---

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

---

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

---

ぬこの手 ぬこTOP 0.031s