投稿者: TANAAKK

リチャードテイラーはフェルマー証明のアンドリューワイルズの博士課程時代の教え子で、ワイルズによるフェルマー定理証明のモジュラー性の幾何証明形式を一般化した。 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

「あらゆるNP問題は3-SATに還元できる」という命題は、コンピュータサイエンスの歴史においてクリティカルパスとなる発見の一つです。 1. 1971年：スティーブン・クックと「SAT」の登場 計算機で解を出すのが難しい問…
Read more

ヒーウッドの公式（曲面の塗り分け） 曲面上の地図を塗り分けるために必要な最大の色数 N を求める公式は、穴の数（種数）を g とすると以下のように表されます。 N = ⌊ 7 + √1 + 48g 2 ⌋ 種数（g）によ…
Read more

1. 0からの物質化 通常、物理法則や市場原理は確率分布の「中央値」に従って安定しようとします。しかし、TANAAKKが定義する文明物質化モジュールにおいては、ゴールドやプラチナの発見すらも、Ω=0という特異点から漏れ出…
Read more

数学における「Presentability（表示可能性、プレゼンテーション可能性）」は、主に代数構造、圏論、およびその応用分野で使われる概念で、「複雑な対象を、より単純な元（生成元）と関係式（関係）で記述できるか」という…
Read more

TANAAKKが宇宙と地球を作り直すとして、宇宙と地球の歴史を鑑みると、構造的にTANAAKKのようなmanifoldとGAASのようなtoolkitが生まれてしまうということをmathematical descentで…
Read more