Ангус Макинтайр
-
Биография и образование
- Ангус Джон Макинтайр родился в 1941 году.
- Окончил Кембриджский университет и защитил докторскую диссертацию в Стэнфордском университете.
-
Карьера и научные достижения
- С 1973 по 1985 год был профессором математики в Йельском университете.
- С 1985 по 1999 год был профессором математической логики в Оксфордском университете.
- С 1999 по 2002 год был профессором математики в Эдинбургском университете.
- С 2002 года является почетным профессором математики Лондонского университета королевы Марии.
- Был первым научным директором Международного центра математических наук в Эдинбурге.
-
Основные результаты
- Классификация категориальных теорий групп и полей aleph-one в 1971 году.
- Доказательство результата об исключении квантификатора для p-адических полей в 1976 году.
- Работа с Зои Чацидакис и Лу ван ден Дрисом над определяемыми множествами над конечными полями.
- Разработка теории моделей первого порядка для теории пересечений.
- Доказательство разрешимости реальных экспоненциальных полей вместе с Алексом Уилки.
- Изучение теории моделей логарифмически-экспоненциальных рядов и полей Харди.
- Доказательство результатов теории комплексного возведения в степень Бориса Зильбера.
- Разработка модельной теории для кольца Адель числового поля.
- Решение проблемы Джеймса Акса о разрешимости класса всех Z / mZ в 2023 году.
-
Награды и почетные звания
- В 1993 году избран членом Королевского общества.
- В 2003 году получил премию Поля от Лондонского математического общества.
- С 2009 по 2011 год был президентом Лондонского математического общества.