Алекс Уилки | |
---|---|
Родившийся | Алекс Джеймс Уилки 1948 (72–73 года) Нортгемптон , Англия |
Национальность | Британский |
Альма-матер | Университетский колледж Лондона, Бедфордский колледж, Лондонский университет |
Известен | Теорема Уилки |
Награды | Премия Карпа (1993), член Королевского общества (2001), Премия Поля (LMS) (2017) |
Научная карьера | |
Поля | Математика, теория моделей |
Учреждения | Манчестерский университет |
Докторант | Уилфрид Ходжес |
Алекс Джеймс Уилки FRS (родился в 1948 году в Нортгемптоне [1] ) - британский математик, известный своим вкладом в теорию моделей и логику . Ранее читатель математической логики в Оксфордском университете , он был назначен на Fielden кафедру теоретической математики на Манчестерском университете в 2007 году [2] [3] [4]
Образование [ править ]
Алекс Уилки учился в средней школе Эйлсбери и получил степень бакалавра математики с отличием в Университетском колледже Лондона в 1969 году, степень магистра (по математической логике) в Лондонском университете в 1970 году и докторскую степень в Бедфордском колледже при университете. в Лондоне в 1973 году под руководством Уилфрида Ходжеса с диссертацией « Модели теории чисел» .
Карьера и исследования [ править ]
После получения докторской степени он продолжал работать преподавателем математики в Лестерском университете с 1972 по 1973 год, затем научным сотрудником Открытого университета с 1973 по 1978 год. Два периода он проработал младшим преподавателем математики в Оксфордском университете (1978 год). –80 и 1981–2) с (1980–1) в качестве приглашенного доцента Йельского университета . В 1980 году Уилки решил школьную задачу Тарского по алгебре .
В октябре 1982 года Уилки был назначен научным сотрудником кафедры математики Парижского университета VII , а в следующем году вернулся в Англию, чтобы пройти трехлетнюю стипендию для продвинутых исследований SERC (теперь EPSRC ) в Манчестерском университете. Через два года он был назначен преподавателем кафедры математики. В 1986 году он поступил в Оксфорд, где был назначен там читателем математической логики, который освободился после ухода Робина Ганди на пенсию . Он оставался на этом посту до назначения на кафедру Филдена в Манчестере.
Награды и награды [ править ]
Уилки был избран членом этого Королевского общества в 2001 году Цитирую цитату
- Уилки объединил логические методы и дифференциально-геометрические методы, чтобы установить фундаментальные теоремы конечности для множеств, определяемых с помощью экспоненциальной функции, и более общих функций Пфаффа . Результаты, выходящие далеко за рамки результатов, полученных обычными методами, уже нашли поразительное применение к группам Ли. [5]
Уилки получил премию Кэрол Карп (высшая награда, присуждаемая Ассоциацией символической логики каждые пять лет) вместе с Эхудом Грушовски в 1993 году. [6] [7] Он был избран в Совет Лондонского математического общества в 2007 году, вице- президент. -президент Ассоциации символической логики (2006) и президент Ассоциации символической логики в 2009 году. В 2012 году он стал членом Американского математического общества . [8] Он снова получил Премию Карпа в 2013 году совместно с Моти Гитиком, Яаковым Петерсилом, Джонатаном Пилой и Сергеем Старченко. [7] В 2017 году Уилки был награжденПоля Приз . [9]
Он был приглашенным спикером Международного конгресса математиков в Беркли в 1986 году [10] и в Берлине в 1998 году [11].
Ссылки [ править ]
- ^ Уилки, Алекс Джеймс, Кто есть кто в образовании, Inglewood Books, 2003
- ^ Домашняя страница Алекса Уилки в Манчестере
- ↑ Алекс Уилки в проекте « Математическая генеалогия»
- ^ Список публикаций из Microsoft Academic
- ^ УВЕДОМЛЕНИЯ, Бюллетень символической логики, Том 7, № 3, p436, 2001
- ^ УВЕДОМЛЕНИЯ о премии Кэрол Карп, J. Символическая логика, том 58, номер 2, июнь 1993 г.
- ^ a b «Получатели премии Карпа» . Ассоциация символической логики . Архивировано из оригинала 6 марта 2017 года . Проверено 10 мая 2018 . CS1 maint: обескураженный параметр ( ссылка )
- ^ Список членов Американского математического общества . Проверено 1 сентября 2013 года.
- ↑ Список лауреатов премии Pólya . Проверено 10 октября 2019.
- ^ Уилки, AJ "О схемах аксиоматизирующей арифметики". Труды ICM, 1986, Беркли . С. 331–337.
- Перейти ↑ Wilkie, AJ (1998). «О-минимальность» . Док. Математика. (Билефельд) Extra Vol. ICM Berlin, 1998, т. Я . С. 633–636.
Предшественник Марк Полликотт | Филдена Кафедра чистой математики 2007– | Преемник текущего держателя |