Докторская диссертация 1968 года в Стэнфордском университете под руководством Даны Скотт положила начало исследовательской карьере, которая переосмыслила применение теории моделей в алгебре и теории чисел. Ангус Макинтайр, британский математик, установил фундаментальные результаты в теории геометрической стабильности и p-адическом полевом анализе, которые повлияли на десятилетия последующих математических исследований.
Академическая карьера
Его карьера включала длительную работу в Йельском университете с 1973 по 1985 год. Впоследствии он работал профессором математической логики в Мертон-колледже Оксфордского университета с 1985 по 1999 год. После этого он занимал должности в Эдинбургском университете и Лондонском университете королевы Марии. Он также был первым научным директором Международного центра математических наук в Эдинбурге.
Теория моделей и алгебраические основы
В 1971 году Макинтайр классифицировал алеф-один-категоричные теории групп и полей, создав основу для теории геометрической стабильности. К 1976 году он доказал теорему об исключении кванторов для p-адических полей. Эта работа способствовала развитию полуалгебраической и субаналитической геометрии, которые Ян Денэф позже применил для доказательства рациональности p-адических рядов Пуанкаре. Его исследования также распространились на поля с разностями, автоморфизмы Фробениуса и теорию пересечений, где он связал модельно-теоретические методы со стандартными гипотезами об алгебраических циклах.
Возведение в степень и о-минимальность
Сотрудничество с Алексом Уилки, Лу ван ден Дрисом и Дэвидом Маркером позволило Макинтайру решить сложные проблемы в теории трансцендентных чисел. Вместе с Уилки он доказал разрешимость вещественных экспоненциальных полей при условии гипотезы Шануэла. Наряду с ван ден Дрисом и Маркером он исследовал теорию моделей вещественного поля с ограниченными аналитическими функциями, заложив основу для исследований в области о-минимальности и диофантовой геометрии. Его работа также затрагивает VC-размерность, находя применение в теоретической информатике и нейронных сетях.
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Недавний вклад и профессиональное признание
Макинтайр постоянно занимался теоретической структурой числовых полей. В сотрудничестве с Джамшидом Дерахшаном он разработал теорию моделей для кольца аделей, расширив основополагающую работу Соломона Фефермана и Роберта Вота. В 2023 году Дерахшан и Макинтайр положительно разрешили проблему разрешимости 1968 года, поставленную Джеймсом Аксом в отношении теории конечных полей. Макинтайр является членом Лондонского королевского общества и Королевского общества Эдинбурга. Он получил премию Поля в 2003 году и занимал пост президента Лондонского математического общества с 2009 по 2011 год.
Краткие факты
- Родился: 1941 - Гражданство: Великобритания - Научный руководитель: Дана Скотт - Лектор Гёделя: 1993 - Член Лондонского королевского общества: Избран в 1993 - Премия Поля: 2003 - Президент Лондонского математического общества: 2009–2011
Вопросы читателей
### Какова основная область специализации Макинтайра?
Он математик и логик, специализирующийся на теории моделей и ее приложениях к алгебре, алгебраической геометрии и теории чисел.
### Какую крупную математическую проблему он решил в 2023 году?
Работая с Джамшидом Дерахшаном, он доказал разрешимость класса всех Z/mZ, разрешив гипотезу Джеймса Акса 1968 года.
