アンガス・マッキンタイア

1968年にスタンフォード大学でダナ・スコットの指導の下で取得した博士論文は、モデル理論の代数学および数論への応用を再定義した研究キャリアの始まりとなった。イギリスの数学者であるアンガス・マッキンタイアは、幾何学的安定性理論およびp進体解析において基礎的な成果を確立し、その後の数十年間にわたる数学的研究に影響を与えた。

学職

彼のキャリアには、1973年から1985年までのイェール大学での長期にわたる在職期間が含まれる。その後、1985年から1999年までオックスフォード大学マートン・カレッジの数理論理学教授を務めた。これに続いて、エディンバラ大学およびロンドン大学クイーン・メアリーで役職を歴任した。また、エディンバラの国際数理科学センターの初代科学ディレクターも務めた。

モデル理論と代数的基礎

1971年、マッキンタイアは群と体のアルフ・ワン・カテゴリックな理論を分類し、幾何学的安定性理論の枠組みを提供した。1976年までに、p進体に対する量化子消去定理を証明した。この業績により半代数幾何学および部分解析幾何学の発展が可能となり、後にジャン・ドネフがp進ポアンカレ級数の有理性証明に応用した。彼の研究はさらに差分体、フロベニウス自己同型、交叉理論へと拡大し、モデル理論的手法を代数的サイクルに関する標準予想へと結び付けた。

指数関数とo-極小性

アレックス・ウィルキー、ロウ・ファン・デン・ドリース、デヴィッド・マーカーとの共同研究により、マッキンタイアは超越数論における複雑な問題に取り組むことができた。ウィルキーと共に、シャニュエルの予想を条件として実指数体の決定可能性を証明した。ファン・デン・ドリースおよびマーカーと共に、制限された解析函数を持つ実体のモデル理論を研究し、o-極小性やディオファントス幾何学の研究の基盤を築いた。彼の研究はVC次元にも及び、理論計算機科学やニューラルネットワークに応用されている。

無料テスト

あなたはどのくらい？

20問、8分の制限時間、そして受験者全員と比べたパーセンタイル。登録不要。

IQテストを受ける →

最近の貢献と専門的称賛

マッキンタイアは一貫して数体の理論的構造に取り組んできた。ジャムシド・デラフシャンとの共同研究により、アデール環のモデル理論を開発し、ソロモン・フェファーマンとロバート・ヴォートの基礎的業績を拡張した。2023年、デラフシャンとマッキンタイアは、有限体の理論に関するジェームズ・アックスが1968年に提起した決定問題を肯定的に解決した。マッキンタイアは王立協会およびエディンバラ王立協会のフェローである。2003年にポーヤ賞を受賞し、2009年から2011年までロンドン数学会会長を務めた。