Алекс Уилки - Alex Wilkie
Алекс Уилки | |
---|---|
Уилки, на фото 2007 год. | |
Родившийся | Алекс Джеймс Уилки 1948 (71–72 года) Нортгемптон, Англия |
Национальность | Британский |
Альма-матер | Университетский колледж Лондона Бедфорд-колледж, Лондонский университет |
Известен | Теорема Уилки |
Награды | Премия Карпа (1993) Член Королевского общества (2001) Pólya Prize (LMS) (2017) |
Научная карьера | |
Поля | Математика, Теория моделей |
Учреждения | Манчестерский университет |
Докторант | Уилфрид Ходжес |
Алекс Джеймс Уилки ФРС (родился в 1948 г. Нортгемптон[1]) - британский математик, известный своим вкладом в теория моделей и логика. Ранее читал по математической логике в Оксфордский университет, он был назначен в Филдена Кафедра чистой математики на Манчестерский университет в 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 году Уилки был награжден Pólya Prize.[9]
Он был приглашенным спикером Международный конгресс математиков в Беркли в 1986 году[10] и в Берлине в 1998 году.[11]
Рекомендации
- ^ Уилки, Алекс Джеймс, Кто есть кто в образовании, Inglewood Books, 2003
- ^ Домашняя страница Алекса Уилки в Манчестере
- ^ Алекс Уилки на Проект "Математическая генеалогия"
- ^ Список публикаций из Microsoft Academic
- ^ УВЕДОМЛЕНИЯ, Бюллетень символической логики, Том 7, № 3, стр. 436, 2001 г.
- ^ УВЕДОМЛЕНИЯ Премия Кэрол Карп, J. Символическая логика, том 58, номер 2, июнь 1993 г.
- ^ а б «Лауреаты премии Карпа». Ассоциация символической логики. Архивировано из оригинал 6 марта 2017 г.. Получено 10 мая 2018.
- ^ Список членов Американского математического общества. Проверено 1 сентября 2013 года.
- ^ Список лауреатов премии Pólya. Проверено 10 октября 2019.
- ^ Уилки, А. Дж. "О схемах, аксиоматизирующих арифметику". Труды ICM, 1986, Беркли. С. 331–337.
- ^ Уилки, А. Дж. (1998). «О-минимальность». Док. Математика. (Билефельд) Extra Vol. ICM Berlin, 1998, т. я. С. 633–636.
Предшествует Марк Полликотт | Филдена Кафедра чистой математики 2007– | Преемник Текущий держатель |