| Ангус Макинтайр | |
|---|---|
 Ангус Макинтайр в 2009 году | |
| Родившийся | Ангус Джон Макинтайр 1941 (возраст 79–80) |
| Альма-матер |
|
| Награды | |
| Научная карьера | |
| Учреждения | Лондонский университет королевы Марии, Эдинбургский университет, Оксфордский университет, Йельский университет |
| Тезис | Классифицирующие пары реально замкнутых полей (1968) |
| Докторант | Дана Скотт [2] |
| Докторанты | Зое Чатзидакис [2] |
| Веб-сайт | математика |
Ангус Джон Макинтайр FRS , [1] FRSE (родился в 1941 г.) - британский математик и логик , ведущий специалист в области теории моделей , логики и их приложений в алгебре , алгебраической геометрии и теории чисел . Он является почетным профессором математики Лондонского университета королевы Марии . [3]
Образование [ править ]
После бакалавриата в Кембриджском университете он защитил докторскую диссертацию в Стэнфордском университете под руководством Даны Скотт в 1968 году [2].
Карьера и исследования [ править ]
С 1973 по 1985 год он был профессором математики Йельского университета . С 1985 по 1999 г. он был профессором математической логики в Мертон - колледж в Оксфордском университете . В 1999 году , Макинтайр не переехал в Эдинбургском университете , где он был профессором математики до 2002 года, когда он переехал в Queen Mary College , Лондонский университет . Макинтайр был первым научным директором Международного центра математических наук (ICMS) в Эдинбурге.
Macintyre известен многими важными результатами. К ним относится классификация алеф-уновских категориальных теорий групп и полей в 1971 г., которая оказала большое влияние на развитие теории геометрической устойчивости. [ необходимая цитата ] В 1976 году он доказал результат об исключении кванторов для p-адических полей, из которого следует теория полуалгебраической и субаналитической геометрии для p-адических полей (по аналогии с теорией для вещественного поля), как показал Ян Денеф и Лу ван ден Дрис и другие. Эта теорема исключения квантора была использована Яном Денефом в 1984 году для доказательства гипотезы Жан-Пьера Серра.о рациональности различных p-адических рядов Пуанкаре, и впоследствии эти методы были применены для доказательства рациональности широкого круга производящих функций в теории групп (например, рост подгрупп) и теории чисел различными авторами, особенно Дэном Сигалом и Маркусом дю Сотуа . Макинтайр работал с Зоэ Чатзидакис и Лу ван ден Дрис над определимыми множествами над конечными полями, обобщая оценки Сержа Ланга и Андре Вейля на определимые множества, и пересматривая работу Джеймса Экспо логике конечных и псевдоконечных полей. Он инициировал и доказал результаты по модельной теории разностных полей и автоморфизмов Фробениуса, где он доказал расширения работы Ax в этой ситуации (включая модели-компаньоны и разрешимость). Независимо Эхуд Грушовски доказал теоретико-модельные результаты об автоморфизмах Фробениуса. Макинтайр разработал модельную теорию первого порядка для теории пересечений и показал связь со стандартными гипотезами Александра Гротендика об алгебраических циклах.
Макинтайр доказал множество результатов по модельной теории действительного и комплексного возведения в степень. Вместе с Алексом Уилки он доказал разрешимость вещественных экспоненциальных полей (решение проблемы Альфреда Тарски ) по модулю гипотезы Шануэля из трансцендентной теории чисел. Вместе с Лу ван ден Дрисом он начал и изучал модельную теорию логарифмических рядов и полей Харди. Вместе с Дэвидом Маркером и Лу ван ден Дрисом он доказал несколько результатов по модельной теории реального поля, снабженного ограниченными аналитическими функциями, которое нашло много приложений для возведения в степень и O-минимальности.. Работа ван ден Дриса-Макинтайра-Маркера нашла множество приложений (и является очень естественной средой для проблем) диофантовой геометрии на многообразиях Шимуры ( Ананд Пиллай , Сергей Старченко , Джонатан Пила ) и теории представлений ( Вильфрид Шмид и Кари Вилонен). ). Макинтайр доказал результаты теории комплексного возведения в степень Бориса Зильбера и псевдоэкспоненциальных полей Зильбера.
Макинтайр и Джамшид Деракшане разработали теорию модели для адельного кольца из в числовом поле , где они доказывают результаты по элиминации кванторов и измеримости определимых множеств. Они используют и расширяют основную работу Соломона Фефермана и Роберта Воота по теории первого порядка произведений алгебраических структур. Кольцо аделей было представлено Клодом Шевалле . (Слово «Adele» является аббревиатурой «аддитивной иделя » [2] , и он был изобретен Вейль . Предыдущее название было векторы оценки. [ Править ]) Первоначальной целью введения аделей было упрощение и прояснение теории поля классов . Он быстро нашел приложения в широком круге проблем теории чисел после диссертации Джона Тейта , работы Андре Вейля и Цунео Тамагавы по адельным группам и многообразиям, а также работы Роберта Ленглендса и других по программе Ленглендса.
Макинтайр и Марек Карпински доказали несколько результатов по VC-измерению, которые нашли применение в теоретической информатике и нейронных сетях.
Награды и награды [ править ]
Он был избран членом Королевского общества в 1993 году [1] В 2003 году он был удостоен PolyA премии в Лондонского математического общества . С 2009 по 2011 год он был президентом Лондонского математического общества (LMS).
Ссылки [ править ]
- ^ а б в Анон (1993). "Профессор Ангус Макинтайр FRS" . Лондон: Королевское общество . Архивировано из оригинального 17 ноября 2015 года. CS1 maint: обескураженный параметр ( ссылка ) Одно или несколько предыдущих предложений включают текст с веб-сайта royalsociety.org, где:
«Весь текст, опубликованный под заголовком« Биография »на страницах профилей участников, доступен по международной лицензии Creative Commons Attribution 4.0 ». - «Положения, условия и политика Королевского общества» . Архивировано 25 сентября 2015 года . Проверено 9 марта +2016 . CS1 maint: параметр не рекомендуется ( ссылка ) CS1 maint: bot: исходный статус URL неизвестен ( ссылка )
- ^ a b c Ангус Макинтайр в проекте « Математическая генеалогия»
- ^ Анон (2016). "Профессор Макинтайр ФРС" . Лондонский университет королевы Марии. Архивировано из оригинала 4 марта 2016 года. CS1 maint: обескураженный параметр ( ссылка )
