Алекс Уилки

Алекс Уилки
Уилки, на фото 2007 года.
Рожденный	Алекс Джеймс Уилки 1948 (возраст 75–76 лет) Нортгемптон , Англия
Национальность	Британский
Альма-матер	Университетский колледж Лондона Бедфордский колледж Лондонского университета
Известный	Теорема Уилки
Награды	Премия Карпа (1993). Член Королевского общества (2001). Премия Полиа (LMS) (2017)
Научная карьера
Поля	Математика, Теория моделей
Учреждения	Манчестерский университет
Докторантура	Уилфрид Ходжес

Алекс Джеймс Уилки FRS (родился в 1948 году в Нортгемптоне) . ) — британский математик, известный своим вкладом в теорию моделей и логику . Ранее он был преподавателем математической логики в Оксфордском университете , а в 2007 году был назначен на кафедру чистой математики Филдена в Манчестерском университете .

Образование

Алекс Уилки учился в гимназии Эйлсбери , а затем получил степень бакалавра математики с отличием первой степени в Университетском колледже Лондона в 1969 году, степень магистра (в области математической логики) в Лондонском университете в 1970 году и докторскую степень в Бедфордском колледже Университета. из Лондона в 1973 году под руководством Уилфрида Ходжеса с диссертацией на тему «Модели теории чисел» .

и

После получения докторской степени он работал преподавателем математики в Лестерском университете с 1972 по 1973 год, затем научным сотрудником в Открытом университете с 1973 по 1978 год. Два периода он проработал младшим преподавателем математики в Оксфордском университете (1978 г.) . –80 и 1981-2) с (1980-1) в качестве приглашенного доцента в Йельском университете . В 1980 году Уилки решил школьную алгебраическую задачу Тарского .

В октябре 1982 года Уилки был назначен научным сотрудником на кафедре математики в Парижском университете VII , а затем вернулся в Англию в следующем году, чтобы пройти трехлетнюю стажировку передовых исследований SERC (ныне EPSRC ) в Манчестерском университете. Через два года он был назначен преподавателем кафедры математики. В 1986 году он поступил в Оксфорд, где был назначен читателем по математической логике, который освободился после выхода на пенсию Робина Ганди . Он оставался на этом посту до назначения на кафедру Филдена в Манчестере.

Награды и почести

Уилки был избран членом Королевского общества в 2001 году. Цитируя цитату

Уилки объединил логические методы и дифференциально-геометрические методы, чтобы установить фундаментальные теоремы конечности для множеств, определяемых с помощью экспоненциальной функции, и более общих функций Пфаффа . Результаты, выходящие далеко за рамки результатов, полученных обычными методами, уже нашли поразительное применение к группам Ли.

Уилки получил премию Кэрол Карп (высшую награду, присуждаемую Ассоциацией символической логики каждые пять лет) совместно с Эхудом Грушовски в 1993 году. Он был избран в Совет Лондонского математического общества в 2007 году, вице-президентом Ассоциации символической логики (2006 год) и президентом Ассоциации символической логики в 2009 году. В 2012 году он стал членом Американского математического общества . Он снова получил Премию Карпа в 2013 году совместно с Моти Гитиком, Яаковым Петерзилем, Джонатаном Пилой и Сергеем Старченко. В 2017 году Уилки был удостоен премии Полиа .

Он был приглашенным докладчиком на Международном конгрессе математиков в Беркли в 1986 году. и в Берлине в 1998 г.

В 2015 году Уилки прочел гёделевскую лекцию на тему « Комплексные продолжения функций, определяемых в $\mathbb {R} _{an,exp}$ с диофантовым приложением.