Алекс Уилки - Alex Wilkie

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

Алекс Джеймс Уилки FRS (родился в 1948 году в Нортгемптоне ) - британский математик, известный своим вкладом в теорию моделей и логику . Ранее Считыватель в математической логики в Оксфордском университете , он был назначен на Fielden кафедры теоретической математики в Университете Манчестера в 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 году Wilkie был удостоен премии Pólya Prize .

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

Ссылки