Vladimir Voevodsky

ウラジーミル・ボエボドスキー（Vladimir Voevodsky, 1966/6/4–2017/9/30）は、21世紀の数学者です。

1. 第一の革命：モチヴィック・コホモロジー

30代までの彼は、アレクサンドル・グロタンディークが夢見た「モチーフ（Motives）」という壮大な概念を現実のものにしました。

• 業績: 代数的サイクルとホモトピー論を融合させ、**「モチヴィック・コホモロジー」**を構築。これを用いて、長年の難問であった「ミルナー予想」や「ブロッホ・カトー予想」を解決しました。
• 栄誉: 2002年、これらの業績により数学界の最高栄誉であるフィールズ賞を受賞しました。
• 数学的スタイル: 非常に幾何学的な直感に優れ、代数的な対象を「空間の変形」として捉えるロシア数学の伝統を極限まで進化させました。

2. 第二の革命：ユニヴァレント基盤（Univalent Foundations）

フィールズ賞受賞後、彼の関心は「新しい定理を見つけること」から**「数学の基盤そのものを造り変えること」**へと劇的にシフトしました。

• 動機: 自身の過去の論文に誤りを見つけた経験から、「人間による査読」の限界に絶望。コンピュータが1行ずつ証明を検証できる仕組みが必要だと確信しました。
• HoTT（ホモトピー型理論）: 集合論（ZFC）に代わる基礎付けとして、**「型理論」を採用。そこに自身の専門であるホモトピー論の知見を注入し、「単価公理（Univalence Axiom）」**を提唱しました。
• 哲学: 「同値なものは同一である」というこの公理は、数学を「静的な集合の集まり」から「動的な構造のネットワーク」へと変貌させました。

ボエボドスキーを象徴する言葉

彼はかつて、数学の未来についてこう語っています。

「現代数学はあまりに複雑になりすぎて、一人の人間がすべてを検証することは不可能になった。コンピュータの助けなしに、数学の誠実さを保つことはできない」

彼は、数学という学問が「信じるもの」から「計算（検証）されるもの」へと変わる転換点にいたオッペンハイマーであり、同時にアインシュタインでもあったと言えるでしょう。