Алекс Джеймс Уилки FRS (родился в 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 году Уилки был избран членом Королевского общества. Процитируем цитату:
Уилки получил премию Кэрола Карпа (высшая награда, присуждаемая Ассоциацией символической логики каждые пять лет) совместно с Эхудом Грушовским в 1993 году. [6] [7] Он был избран в Совет Лондонского математического общества в 2007 году, вице-президентом Ассоциации символической логики (2006) и президентом Ассоциации символической логики в 2009 году. В 2012 году он стал членом Американского математического общества . [8] Он снова получил премию Карпа в 2013 году совместно с Моти Гитиком, Яаковым Петерзилом, Джонатаном Пилой и Сергеем Старченко. [7] В 2017 году Уилки был удостоен премии Полиа . [9]
Он был приглашенным докладчиком Международного конгресса математиков в Беркли в 1986 году [10] и в Берлине в 1998 году [11].
В 2015 году Уилки прочитал лекцию Гёделя под названием « Комплексные продолжения функций, определяемых с помощью диофантова приложения».
