カテゴリー: HOUSE VIEW

皆が次元の裏側に気付き出したら次は裏を書き換える競争になるのか、それとも物理的な限界で気付き得ないのか 1. 「裏側の書き換え競争」が始まるシナリオ もし「裏側」へのアクセス・インターフェース（例えば、高次元コホモロジー…
Read more

プリンストン高等研究所（IAS）の**歴史学部門（School of Historical Studies）**は、古代から現代に至るまでの人類の歴史、美術史、哲学、言語学など、広範な人文科学を研究対象としています。 1…
Read more

プリンストン高等研究所（IAS）の柱である数学部門（School of Mathematics）**は1930年のIAS創設時に最初に設立された部門です。 1. 設立年と設立経緯 2. 存命の現任教授（Permanent…
Read more

プリンストン高等研究所（IAS）の自然科学部門（School of Natural Sciences）は、物理学と天体物理学の研究拠点です。 1. 設立年と設立経緯 2. 存命の現任教授（Permanent Facult…
Read more

1. 設立年と設立経緯 2. 存命の現任教授（Permanent Faculty） 2026年現在、社会科学部門の「終身教授（Permanent Faculty）」として現職にあるのは以下の2名です。 ※IASの教授ポス…
Read more

数学の世界では点がどの大きさをとった宇宙と比べたとしても同値であることが証明された。実数宇宙発生前の宇宙であれ、無限宇宙であれ、どの一点も、全体集合であってもUniversal Univalenceがあるということがすで…
Read more

IAS（プリンストン高等研究所）数学部門の正教授一覧 2026年現在、IAS数学部門の終身教授（Permanent Faculty）は、世界最高峰の知性が集まる極めて少数精鋭のグループです。以下に主要な教授陣のプロフィー…
Read more

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

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

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