[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 42 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
159(1): １３２人目の素数さん [] 2019/11/13(水) 19:47:55.88 ID:SR9BhXvW(1/2) AAS
ブリコラージュは プログラミング分野にも
あるんだね。
数学の証明は完全性定理を満たす必要が
あるけど
「IUT理論は一般の数学内では語れない、
まったく新しい フレームワークと言語・
概念体系を基盤に して構築されている」
そうだ。
上手く逃げて？いるなあ
161(1): １３２人目の素数さん [] 2019/11/13(水) 20:39:16.92 ID:SR9BhXvW(2/2) AAS
圏論を知らないんだな
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s