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

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

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

---

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

---

159: １３２人目の素数さん [] 2019/11/13(水) 19:47:55.88 ID:SR9BhXvW ブリコラージュは プログラミング分野にも あるんだね。 数学の証明は完全性定理を満たす必要が あるけど 「IUT理論は一般の数学内では語れない、 まったく新しい フレームワークと言語・ 概念体系を基盤に して構築されている」 そうだ。 上手く逃げて？いるなあ http://rio2016.5ch.net/test/read.cgi/math/1572150086/159

160: １３２人目の素数さん [sage] 2019/11/13(水) 20:26:35.47 ID:8EoKOdSc >>159 > 数学の証明は完全性定理を満たす必要が > あるけど 訳のわからんことを言う奴だな http://rio2016.5ch.net/test/read.cgi/math/1572150086/160

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.033s