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

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

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

---

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

---

850: １３２人目の素数さん [] 2019/06/30(日) 11:25:59.33 ID:w4Iq1GYn >>842 いや、自分もIUT自体にはそういう人材は集まらないかなとは思いますよw というよりは自動化に向けた期待です。怪しい理論とはいうものの、圏論や整数論の基本的な使用に 少し理論内容を付加すれば検証できるでしょうし、HoTT路線がそういう強いシステムにまずなったら良い で、例えば京都の関係者である照井氏や文元氏が協力して、数論幾何とコンピュータ科学をブリッジできる 人材を育成してみたら良い。つまり二重の発展が望まれる コンピュータ科学と相性が良いはずのIUTの性質が確認できたら万々歳だし、形式化できないとか 明らかにエラーにしかならないとなったら、それはそれで良い。まああまり学派が今みたいなやり方を 貫くなら十年後そうなるのが一番だろうという期待ですね。その必要もないかもしれませんが http://rio2016.5ch.net/test/read.cgi/math/1559125072/850

---

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

---

あと 152 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.096s*