投稿者: TANAAKK

The implicit agreement in mathematics is that one can identify the homotopy type of an object and build constr…
Read more

数学は失敗を許容する。数学の論理を修正するために必要なコストは紙、鉛筆、またはタイピングのみである。数学は失敗をしたとしても修正が効きやすい学問である。一方で、数学的なhypothesisがtheoremであるかどうかを…
Read more

RanG(X) BunG(X) Ran(X) algebraic geometry(代数幾何) と algebraic topology（代数トポロジー） の関係性の学問はラングランズプログラムのように現代数学の主流であ…
Read more

21世紀を代表する現代数学者を勝手に5人選ぶとすると以下である。 Jacob Lurie ジェイコブルーリー IAS, United States Avi Wigderson アヴィウィグダーソン IAS, United…
Read more

Avi WigdersonはIASの教授であり、証明複雑性や回路複雑性など、なぜ難しいか？どの程度難しいか？というランダムネスと複雑性の分類についてZero Knowledge Proofなどの革新的な概念を提唱していま…
Read more

リチャードテイラーはフェルマー証明のアンドリューワイルズの博士課程時代の教え子で、ワイルズによるフェルマー定理証明のモジュラー性の幾何証明形式を一般化した。 Richard Taylor公式ページ https://vir…
Read more

Robert LanglandsからAndre Weilに送られた手紙から始まったプロジェクトが数学を幾何で統合するラングランズプログラムです。 https://publications.ias.edu/sites/de…
Read more

Terence Tao公式ホームページ https://terrytao.wordpress.com 参考動画

ピーター・ショルツ（Peter Scholze）氏は、 1987年生まれ。24歳でボン大学の教授に就任しました。これはドイツ国内で最年少の教授記録です。 公式ホームページ：https://people.mpim-bonn…
Read more

∞-simplexからhigher category theory的に構成されるabelian category, monoidal categoryの性質を分類しつつ、simplicialな構成法による三角形、四面体に…
Read more