1968年在斯坦福大学获得博士学位（导师为达纳·斯科特）标志着他研究生涯的开始，这一生涯重新定义了几何稳定性理论在代数和数论中的应用。英国数学家安格斯·麦金太尔在几何稳定性理论和p进域分析中建立了奠基性的成果，对随后的几十年数学研究产生了影响。
学术职务
他的职业生涯包括从1973年至1985年在耶鲁大学的长期任职。随后，他在1985年至1999年担任牛津大学莫顿学院数理逻辑教授。此后，他在爱丁堡大学和伦敦玛丽女王大学担任职务。他还担任过爱丁堡国际数学科学中心的首任科学主任。
模型论与代数基础
1971年，麦金太尔对群和域的阿勒夫一范畴理论进行了分类，为几何稳定性理论提供了框架。到1976年，他证明了p进域的量词消去定理。这项工作推动了半代数几何和次解析几何的发展，扬·德内夫后来将其应用于证明p进庞加莱级数的有理性。他的研究进一步扩展到差分域、弗罗贝尼乌斯自同构和相交理论，将模型论方法与代数循环的标准猜想联系起来。
指数函数与o-极小性
通过与亚历克斯·威尔基、娄·范·登·德里斯和大卫·马克的合作，麦金太尔得以解决超越数论中的复杂问题。他与威尔基合作，在假设沙纽尔猜想成立的条件下，证明了实指数域的可判定性。他与范·登·德里斯及马克一起，研究了带有受限解析函数的实域的模型论，为o-极小性和丢番图几何的研究奠定了基础。他的工作还涉及VC维，在理论计算机科学和神经网络中得到了应用。
近期贡献与专业认可
麦金太尔一直致力于数域的理论结构。通过与贾姆希德·德拉赫尚合作，他发展了阿代尔环的模型论，扩展了索洛曼·费弗曼和罗伯特·沃特的奠基性工作。2023年，德拉赫尚和麦金太尔肯定地解决了詹姆斯·艾克斯在1968年提出的关于有限域理论的判定问题。麦金太尔是英国皇家学会和爱丁堡皇家学会院士。他于2003年获得波利亚奖，并于2009年至2011年担任伦敦数学学会会长。
快速事实
- 出生：1941年 - 国籍：英国 - 博士导师：达纳·斯科特 - 哥德尔演讲者：1993年 - 皇家学会院士：1993年当选 - 波利亚奖：2003年 - LMS会长：2009–2011年
读者常见问题
### 麦金太尔的主要专业领域是什么？
他是一位数学家和逻辑学家，专攻模型论及其在代数、代数几何和数论中的应用。
### 他在2023年解决了哪个重大数学问题？
他与贾姆希德·德拉赫尚合作，证明了所有 Z/mZ 类的可判定性，解决了詹姆斯·艾克斯在1968年提出的猜想。
