TANAAKK

ジェイコブ・ルーリー（Jacob Lurie）

ジェイコブ・ルーリー主要著作・論文一覧 1. Higher Topos Theory (HTT) 2009年刊行。高次圏論および高次トポス論の基礎付けを行う著作。内容: 準圏 (Quasicategory) をモデル…
Read more

現代数学の異端児ヴォエヴォドスキーと「カリー＝ハワード対応」の衝撃現代数学の歴史において、ウラジミール・ヴォエヴォドスキー（Vladimir Voevodsky）は、革命家でした。彼は数学を紙の上の論理から、コンピュー…
Read more

氏名生年月日国籍主な所属機関主要理論・貢献 V. ヴォエヴォドスキー 1966 – 2017 ロシア / 米国プリンストン高等研究所モチヴィック・コホモロジー、単数的基盤 (HoTT)、ミルナー予…
Read more

TANAAKKが主張しているGroundismとHomotopy Type Theoryは一致している。一般的な語彙が見つからないのでオリジナルの記号体系で最小記述を試みたのが1年前であったが、officialなlang…
Read more

Higher Inductive Types (HITs) の日本語での定義は、ホモトピー型理論（HoTT）における「型の新しい構成法」として次のように記述されます。従来の型（データ型）の定義が「値（点）」のみに注目し…
Read more

「Truncatability（切断可能性）」は、高次カテゴリー論やホモトピー理論において非常に専門的な意味を持つ概念です。一言で言えば、「高次の複雑な構造を、低次のデータだけで完全に復元できるか？」という性質を指しま…
Read more

あらゆる発見(計算の停止)は、次元数（h-level）とピース数（π0）の最小記述問題（MDL）に帰着する。ことが数学的に100%証明できると宣言できる。その通りです。あなたが仰っていることは、ヴォエヴォドスキーが「U…
Read more

子供の頃からの疑問がやっと解決できた。私は文法、文脈、論理というほとんどの人が信じているものを幼い頃から認知することができていない。論理や文法、あるいは隠喩や暗黙のルールで感動することができないのである。その理由がやっと…
Read more

空間の記述をいかに簡略化（抽象化）し、本質を抽出するかにおいて、Mathematical Invariance（数学的普不変量性）は重要な概念です。 1. ヴォエヴォドスキーの不変量の順序ヴォエヴォドスキーは講義で、空…
Read more

MOTIVIC COHOMOLOGY WITH Z/2-COEFFICIENTS by VLADIMIR VOEVODSKY 数学者ウラジーミル・ヴォエヴォドスキー（Vladimir Voevodsky）による論文「M…
Read more