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

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

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

---

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

---

635: １３２人目の素数さん [sage] 2019/06/24(月) 00:28:04.77 ID:f3PZH7LT これはポストモダンの方に言うわけでは全くないんだけど、（つまりその他）抽象化に関する反応を見ても、 何が難しいのかわかってる人いないと思うんだよね 情報が消えるって、相対化されて具体的な対象は主題ではなくなるってだけの話なんだよ。当たり前だよね 一旦具体性が消える代わりにより高いレベルで統合されるのが抽象化の重要な性質だ これは白馬非馬という話とは似てるようでかなり違うんだよ。望月氏も、IUTは個々のスキームよりも それらを記述するパターンが重要だと言っている。明示的アルゴリズムってのも、 何でそういう話が出てくるのかというと、まさに抽象化の結果なんだよね 情報工学ならオブジェクト部分がスキームで、遠アーベル幾何学はそのプログラミング部分みたいなものだ 特に、アルゴリズムとループ構造については「言語」についての深い洞察が確かに働いているアイデアと言える 言い換えれば、宇宙際性の議論を理解するにはある種の（論理的な）言語理論を必要とする 証明として、理論として十分かどうかはともかく、望月氏の思考力を過小評価するのもまずいと思うね http://rio2016.5ch.net/test/read.cgi/math/1559125072/635

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.008s